scientific article; zbMATH DE number 3557186
From MaRDI portal
Publication:4133082
zbMATH Open0357.68006MaRDI QIDQ4133082FDOQ4133082
Authors:
Publication date: 1976
Title of this publication is not available (Why is that?)
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)
- Fixed point theorems and semantics: A folk tale
- Using circular programs to eliminate multiple traversals of data
- Multi-valued logic and Gröbner bases with applications to modal logic
- A logic covering undefinedness in program proofs
- Duration calculus: Logical foundations
- Characteristics of graph languages generated by edge replacement
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)
