scientific article; zbMATH DE number 3537204

MaRDI QIDQ4113375zbMATH OpenFDO

Authors Willem P. Jun. de Roever

Publication date 1976

Mathematics Subject Classification ID

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

Cited in

(12)

• Partially additive categories and flow-diagram semantics
• Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II
• Stratified least fixpoint logic
• Relation-algebraic semantics
• Parallel constructions of maximal path sets and applications to short superstrings
• Nondeterministic semantics of compound diagrams
• Algebraic specification of data types: A synthetic approach
• RALL: machine-supported proofs for relation algebra
• Completeness of a relational calculus for program schemes
• Imperative abstractions for functional actions
• Automated temporal reasoning about reactive systems
• Results on the propositional \(\mu\)-calculus

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 Q4113375)