scientific article; zbMATH DE number 1318520
From MaRDI portal
Publication:4256652
zbMath0919.03007MaRDI QIDQ4256652
L. K. Dillon, Y. S. Ramakrishna, G. Kutty, Louise E. Moser, P. Michael Melliar-Smith
Publication date: 8 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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) Complexity of computation (including implicit computational complexity) (03D15)
Related Items
Interval logics and their decision procedures. I: An interval logic ⋮ A real-time interval logic and its decision procedure