scientific article; zbMATH DE number 3564294

zbMath0362.68038MaRDI QIDQ4136521

No author found.

Publication date: 1976

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Classical first-order logic (03B10) General topics in the theory of software (68N01)

Related Items (4)

Programming in metric temporal logic ⋮ Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic ⋮ Propositional dynamic logic of regular programs ⋮ A generalized nexttime operator in temporal logic

This page was built for publication: