Sciweavers

20 search results - page 1 / 4

» jar 2007

78

JAR
2007

71views more JAR 2007»

Structures for Abstract Rewriting

14 years 10 months ago

Structures for Abstract Rewriting

Download www.epigenomique.genopole.fr

Marc Aiguier, Diane Bahrami

claim paper

Read More »

58

JAR
2007

57views more JAR 2007»

Special Issue on User Interfaces in Theorem Proving: Preface

14 years 10 months ago

Special Issue on User Interfaces in Theorem Proving: Preface

Download www.informatik.uni-bremen.de

David Aspinall, Christoph Lüth

claim paper

Read More »

57

JAR
2007

62views more JAR 2007»

The ILTP Problem Library for Intuitionistic Logic

14 years 10 months ago

The ILTP Problem Library for Intuitionistic Logic

Download www.cs.uni-potsdam.de

Thomas Raths, Jens Otten, Christoph Kreitz

claim paper

Read More »

78

JAR
2007

67views more JAR 2007»

Optimizing Terminological Reasoning for Expressive Description Logics

14 years 10 months ago

Optimizing Terminological Reasoning for Expressive Description Logics

Download www.image.ece.ntua.gr

Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schne...

claim paper

Read More »

77

JAR
2007

83views more JAR 2007»

Theory Extension in ACL2(r)

14 years 10 months ago

Theory Extension in ACL2(r)

Download www.cs.uwyo.edu

ACL2(r) is a modiﬁed 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

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »