6 search results - page 2 / 2 » Deciding Intuitionistic Propositional Logic via Translation ... |
RELMICS
2000
Springer
13 years 9 months ago
2000
Springer
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...