This article is cited in 1 paper

Computer-Aided Design and Programming

Weak Monadic Theories of Second Order as the Basis for Constructing Data Specification Languages

A. V. Babichev

Institute of Control Sciences, Russian Academy of Sciences, Moscow

UDC: 519.254


Received: 05.01.1995

 English version: Automation and Remote Control, 1997, 58:2, 310–319

Bibliographic databases:

• 
•