Sciweavers

20 search results - page 1 / 4
» jar 2007
Sort
View
JAR
2007
71views more  JAR 2007»
14 years 10 months ago
Structures for Abstract Rewriting
Marc Aiguier, Diane Bahrami
JAR
2007
62views more  JAR 2007»
14 years 10 months ago
The ILTP Problem Library for Intuitionistic Logic
Thomas Raths, Jens Otten, Christoph Kreitz
JAR
2007
67views more  JAR 2007»
14 years 10 months ago
Optimizing Terminological Reasoning for Expressive Description Logics
Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schne...
JAR
2007
83views more  JAR 2007»
14 years 10 months ago
Theory Extension in ACL2(r)
ACL2(r) is a modified version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...
Ruben Gamboa, John R. Cowles