Open AccessA real-time interval logic and its decision procedure
Author(s) -
Y. S. Ramakrishna,
Laura K. Dillon,
L.E. Moser,
P. M. MelliarSmith,
G. Kutty
Publication year - 1996
Publication title -
sadhana
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.268
H-Index - 49
eISSN - 0973-7677
pISSN - 0256-2499
DOI - 10.1007/bf02745518
Subject(s) - interval temporal logic , decidability , temporal logic , linear temporal logic , computer science , dynamic logic (digital electronics) , temporal logic of actions , predicate logic , multimodal logic , programming language , algorithm , interval (graph theory) , mathematics , description logic , combinatorics , physics , transistor , voltage , quantum mechanics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom