Sciweavers

3776 search results - page 4 / 756

» Partition-Based Logical Reasoning

34

CADE
1999
Springer

124views Logical Reasoning» more CADE 1999»

Fault-Tolerant Distributed Theorem Proving

13 years 12 months ago

Fault-Tolerant Distributed Theorem Proving

Download www.cs.cornell.edu

Jason Hickey

claim paper

Read More »

37

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

13 years 12 months ago

System Description: LEO - A Higher-Order Theorem Prover

Download www.ags.uni-sb.de

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »

26

CADE
1997
Springer

151views Logical Reasoning» more CADE 1997»

SETHEO Goes Software Engineering: Application of ATP to Software Reuse

13 years 11 months ago

SETHEO Goes Software Engineering: Application of ATP to Software Reuse

Download eprints.ecs.soton.ac.uk

Bernd Fischer 0002, Johann Schumann

claim paper

Read More »

28

CADE
1997
Springer

153views Logical Reasoning» more CADE 1997»

Automatic Verification of Cryptographic Protocols with SETHEO

13 years 11 months ago

Automatic Verification of Cryptographic Protocols with SETHEO

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

24

CADE
1994
Springer

161views Logical Reasoning» more CADE 1994»

The Complexity of Counting Problems in Equational Matching

13 years 11 months ago

The Complexity of Counting Problems in Equational Matching

Download www.lix.polytechnique.fr

Miki Hermann, Phokion G. Kolaitis

claim paper

Read More »

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