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

DOI10.1007/BF00264292MaRDI QIDQ2549682zbMATH OpenFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3251427 (Why is no real title available?)
• scientific article; zbMATH DE number 3282607 (Why is no real title available?)
• On the automatic simplification of computer programs
• Some definitional suggestions for automata theory

Cited in

(3)

• An axiomatization of graphs
• Concatenation of graphs
• Graph automata

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

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