3 search results - page 1 / 1 » A Tableau Calculus with Automaton-Labelled Formulae for Regu... |
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...
CADE
2009
Springer
13 years 9 months ago
2009
Springer
RELMICS
2000
Springer
13 years 8 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 ...