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

zbMATH Open0930.68088MaRDI QIDQ1286567FDOQ1286567

Authors: A. V. Babichev 

Publication date: 3 May 1999

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

Recommendations

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

zbMATH Keywords

weak monadic

Mathematics Subject Classification ID

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

Cited In (5)

• A second order theory of data types
• Title not available (Why is that?)
• Model-100: specification language for interacting processes
• Standard model semantics for DSL. A data type specification language
• Title not available (Why is that?)

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)