scientific article; zbMATH DE number 810105
From MaRDI portal
Publication:4853317
zbMath0830.03009MaRDI QIDQ4853317
Y. S. Ramakrishna, L. K. Dillon, G. Kutty, P. Michael Melliar-Smith, Louise E. Moser
Publication date: 30 January 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)
Related Items (2)
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:
