scientific article; zbMATH DE number 3537204
From MaRDI portal
Publication:4113375
zbMath0344.68001MaRDI QIDQ4113375
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Algorithms in computer science (68W99) Proof theory and constructive mathematics (03F99)
Related Items
Stratified least fixpoint logic ⋮ Relation-algebraic semantics ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Imperative abstractions for functional actions ⋮ Partially additive categories and flow-diagram semantics ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II ⋮ Completeness of a relational calculus for program schemes ⋮ Algebraic specification of data types: A synthetic approach ⋮ RALL: Machine-supported proofs for relation algebra ⋮ Results on the propositional \(\mu\)-calculus ⋮ Nondeterministic semantics of compound diagrams
