Sciweavers

3773 search results - page 3 / 755

» Logical Reasoning

28

CADE
1997
Springer

151views Logical Reasoning» more CADE 1997»

SETHEO Goes Software Engineering: Application of ATP to Software Reuse

14 years 20 days 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 »

31

CADE
1997
Springer

153views Logical Reasoning» more CADE 1997»

Automatic Verification of Cryptographic Protocols with SETHEO

14 years 20 days ago

Automatic Verification of Cryptographic Protocols with SETHEO

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

26

CADE
1994
Springer

161views Logical Reasoning» more CADE 1994»

The Complexity of Counting Problems in Equational Matching

14 years 18 days ago

The Complexity of Counting Problems in Equational Matching

Download www.lix.polytechnique.fr

Miki Hermann, Phokion G. Kolaitis

claim paper

Read More »

30

CADE
1990
Springer

101views Logical Reasoning» more CADE 1990»

PARTHEO: A High-Performance Parallel Theorem Prover

14 years 17 days ago

PARTHEO: A High-Performance Parallel Theorem Prover

Download ti.arc.nasa.gov

Johann Schumann, Reinhold Letz

claim paper

Read More »

24

CADE
1990
Springer

57views Logical Reasoning» more CADE 1990»

A Prolog Technology Theorem Prover

14 years 17 days ago

A Prolog Technology Theorem Prover

Download www.cl.cam.ac.uk

Mark E. Stickel

claim paper

Read More »

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