Sciweavers

3773 search results - page 2 / 755

» Logical Reasoning

26

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

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

29

CADE
2000
Springer

91views Logical Reasoning» more CADE 2000»

Support Ordered Resolution

13 years 10 months ago

Support Ordered Resolution

Download www.cs.unb.ca

Bruce Spencer, Joseph Douglas Horton

claim paper

Read More »

21

CADE
1999
Springer

156views Logical Reasoning» more CADE 1999»

Extensional Higher-Order Paramodulation and RUE-Resolution

13 years 10 months ago

Extensional Higher-Order Paramodulation and RUE-Resolution

Download www.ags.uni-sb.de

Christoph Benzmüller

claim paper

Read More »

24

CADE
1999
Springer

124views Logical Reasoning» more CADE 1999»

Fault-Tolerant Distributed Theorem Proving

13 years 10 months ago

Fault-Tolerant Distributed Theorem Proving

Download www.cs.cornell.edu

Jason Hickey

claim paper

Read More »

25

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

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