scientific article; zbMATH DE number 3557186
From MaRDI portal
Publication:4133082
zbMath0357.68006MaRDI QIDQ4133082
No author found.
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)
Related Items (6)
Characteristics of graph languages generated by edge replacement ⋮ Duration calculus: Logical foundations ⋮ Fixed point theorems and semantics: A folk tale ⋮ A logic covering undefinedness in program proofs ⋮ Using circular programs to eliminate multiple traversals of data ⋮ Multi-valued logic and Gröbner bases with applications to modal logic
This page was built for publication:
