Definable operations in general algebras, and the theory of automata and flowcharts
- 6 March 2006
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- The correctness of programsJournal of Computer and System Sciences, 1969
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969
- Formalization of properties of recursively defined functionsPublished by Association for Computing Machinery (ACM) ,1969
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968
- Automata in general algebrasInformation and Control, 1967
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955