Publication:5660505
From MaRDI portal
zbMath0247.68033MaRDI QIDQ5660505
Publication date: 1971
68Q45: Formal languages and automata
Related Items
Axiomatization of if-then-else over possibly non-halting programs and tests, A survey of state vectors, Abstract data types and algebraic semantics of programming languages, Monoids of non-halting programs with tests