scientific article
zbMath0761.03005MaRDI QIDQ4032313
L. K. Dillon, Y. S. Ramakrishna, G. Kutty, Louise E. Moser, P. Michael Melliar-Smith
Publication date: 1 April 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
complexitycompletenesssoundnessautomata-theoretic decision procedurelinear-time propositional temporal logicreasoning about computer systemsreasoning about concurrencysince/until temporal logic
Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items
This page was built for publication: