Automata

A data base as a model of constructive logic

V. A. Brudno

Institute of Control Sciences, Russian Academy of Sciences

UDC: 519.256

MSC: 68P15


Received: 13.10.1992

 English version: Automation and Remote Control, 1993, 54:8, 1299–1303

Bibliographic databases:

• 
•