scientific article; zbMATH DE number 3557186

zbMATH Open0357.68006MaRDI QIDQ4133082FDOQ4133082

Authors

Publication date 1976

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited in

(6)

• Multi-valued logic and Gröbner bases with applications to modal logic
• A logic covering undefinedness in program proofs
• Using circular programs to eliminate multiple traversals of data
• Duration calculus: Logical foundations
• Characteristics of graph languages generated by edge replacement
• Fixed point theorems and semantics: A folk tale

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133082)