Sciweavers

80
Voted
IJCAI
1997
14 years 10 months ago
Strategies in Rigid-Variable Methods
We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus with equality. We show some intr...
Andrei Voronkov
RELMICS
2000
Springer
15 years 11 days ago
A Decision Method for Duration Calculus
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 ...
Nathalie Chetcuti-Sperandio, Luis Fariñas d...