scientific article; zbMATH DE number 3438414

zbMath0278.68066MaRDI QIDQ4404457

Mitchell Wand

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01) Computability and recursion theory (03D99)

Related Items

Unnamed Item, Unnamed Item, The equational logic of fixed points, Varieties of chain-complete algebras, Recursion-closed algebraic theories, The IO- and OI-hierarchies, On rational definitions in complete algebras without rank, An extensional fixed-point semantics for nondeterministic data flow, Rewriting on cyclic structures: Equivalence between the operational and the categorical description, IO and OI. I, IO and OI. II, Fixed-point constructions in order-enriched categories