Sciweavers

50 search results - page 2 / 10
» dlog 2008
Sort
View
DLOG
2008
15 years 9 months ago
The SAT-Tableau Calculus
Uwe Keller, Stijn Heymans
134
Voted
DLOG
2008
15 years 9 months ago
Bridging Heterogeneous Representations of Binary Relations: First Results
Chiara Ghidini, Luciano Serafini, Sergio Tessaris