scientific article; zbMATH DE number 3581596
From MaRDI portal
zbMath0373.68026MaRDI QIDQ4151145
No author found.
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A complete axiomatic characterization of first-order temporal logic of linear time, Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic, A formal system for parallel programs in discrete time and space, The temporal logic of branching time, A generalized nexttime operator in temporal logic
