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

DOI10.1007/BF00264292zbMATH Open0227.94021MaRDI QIDQ2549682FDOQ2549682

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

• Some definitional suggestions for automata theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the automatic simplification of computer programs

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)