Sciweavers

51 search results - page 1 / 11

» cade 2008

38

CADE
2008
Springer

116views Logical Reasoning» more CADE 2008»

Certificate Translation

14 years 9 months ago

Certificate Translation

Download www.easychair.org

Gilles Barthe

claim paper

Read More »

24

CADE
2008
Springer

122views Logical Reasoning» more CADE 2008»

13 years 11 months ago

Download www.valleybible.net

Nachum Dershowitz

claim paper

Read More »

34

CADE
2008
Springer

108views Logical Reasoning» more CADE 2008»

Title, Preface, Table of Contents

13 years 11 months ago

Title, Preface, Table of Contents

Download www.nber.org

Bernhard Beckert, Gerwin Klein

claim paper

Read More »

25

CADE
2008
Springer

115views Logical Reasoning» more CADE 2008»

Evaluation of Systems for Higher-order Logic (ESHOL)

14 years 9 months ago

Evaluation of Systems for Higher-order Logic (ESHOL)

Download sunsite.informatik.rwth-aachen.de

Christoph Benzmüller, Florian Rabe, Carsten S...

claim paper

Read More »

25

CADE
2008
Springer

113views Logical Reasoning» more CADE 2008»

MTT: The Maude Termination Tool (System Description)

14 years 9 months ago

MTT: The Maude Termination Tool (System Description)

Download users.dsic.upv.es

Francisco Durán, Salvador Lucas, José...

claim paper

Read More »

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