Ein Vollständigkeitssatz für Programme und Schaltkreise. (A completeness theorem for programs and switching circuits.)

DOI10.1007/BF00264292zbMath0227.94021MaRDI QIDQ2549682

Volker Claus

Publication date: 1971

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Categories of machines, automata (18B20)

Related Items (3)

Concatenation of graphs ⋮ Graph automata ⋮ An axiomatization of graphs

Cites Work

• Some definitional suggestions for automata theory
• On the automatic simplification of computer programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Ein Vollständigkeitssatz für Programme und Schaltkreise. (A completeness theorem for programs and switching circuits.)