Sciweavers

33 search results - page 1 / 7
» cade 2010
Sort
View
CADE
2010
Springer
14 years 10 months ago
Termination Tools in Ordered Completion
Sarah Winkler, Aart Middeldorp
CADE
2010
Springer
14 years 7 months ago
On Hierarchical Reasoning in Combinations of Theories
Carsten Ihlemann, Viorica Sofronie-Stokkermans
CADE
2010
Springer
14 years 10 months ago
A Decision Procedure for CTL* Based on Tableaux and Automata
Oliver Friedmann, Markus Latte, Martin Lange
CADE
2010
Springer
14 years 10 months ago
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Despoina Magka, Yevgeny Kazakov, Ian Horrocks
CADE
2010
Springer
14 years 8 months ago
Verifying Safety Properties with the TLA+ Proof System
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport,...