Sciweavers

3773 search results - page 2 / 755

» Logical Reasoning

24

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

13 years 9 months ago

Reducing Model Checking of the Many to the Few

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

27

CADE
2000
Springer

91views Logical Reasoning» more CADE 2000»

Support Ordered Resolution

13 years 9 months ago

Support Ordered Resolution

Download www.cs.unb.ca

Bruce Spencer, Joseph Douglas Horton

claim paper

Read More »

17

CADE
1999
Springer

156views Logical Reasoning» more CADE 1999»

Extensional Higher-Order Paramodulation and RUE-Resolution

13 years 9 months ago

Extensional Higher-Order Paramodulation and RUE-Resolution

Download www.ags.uni-sb.de

Christoph Benzmüller

claim paper

Read More »

20

CADE
1999
Springer

124views Logical Reasoning» more CADE 1999»

Fault-Tolerant Distributed Theorem Proving

13 years 9 months ago

Fault-Tolerant Distributed Theorem Proving

Download www.cs.cornell.edu

Jason Hickey

claim paper

Read More »

22

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

13 years 9 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 »

« Prev « First page 2 / 755 Last » Next »