Sciweavers

22018 search results - page 171 / 4404
» or 2004
Sort
View
AISC
2004
Springer
16 years 14 days ago
On the Combination of Congruence Closure and Completion
Christelle Scharff, Leo Bachmair
139
Voted
AISC
2004
Springer
16 years 14 days ago
A Paraconsistent Higher Order Logic
Jørgen Villadsen
AMAI
2004
Springer
16 years 14 days ago
Analysis of Greedy Robot-Navigation Methods
Apurva Mudgal, Craig A. Tovey, Sven Koenig