scientific article; zbMATH DE number 1318520

MaRDI QIDQ4256652zbMATH OpenFDO

Authors Y. S. Ramakrishna, L. K. Dillon, G. Kutty, L. E. Moser, P. M. Melliar-Smith

Publication date 8 August 1999

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• Interval logics and their decision procedures. I: An interval logic
• A real-time interval logic and its decision procedure
• scientific article; zbMATH DE number 1354149
• Interval logics and their decision procedures. II: A real-time interval logic

Cited in

(5)

• scientific article; zbMATH DE number 1354149 (Why is no real title available?)
• scientific article; zbMATH DE number 1536556 (Why is no real title available?)
• A real-time interval logic and its decision procedure
• Interval logics and their decision procedures. I: An interval logic
• Interval logics and their decision procedures. II: A real-time interval logic

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