Weak monadic theories of the second order as a basis for creating data specification languages

MaRDI QIDQ1286567zbMATH OpenFDO

Authors A. V. Babichev

Publication date 3 May 1999

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

weak monadic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A second order theory of data types
• wMSO theories as grammar formalisms
• scientific article; zbMATH DE number 554481
• Publication:4934253

Cited in

(5)

• Model-100: specification language for interacting processes
• scientific article; zbMATH DE number 4007714 (Why is no real title available?)
• Standard model semantics for DSL. A data type specification language
• scientific article; zbMATH DE number 7324076 (Why is no real title available?)
• A second order theory of data types

This page was built for publication: Weak monadic theories of the second order as a basis for creating data specification languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1286567)