Sciweavers

3773 search results - page 4 / 755

» Logical Reasoning

31

CADE
2006
Springer

127views Logical Reasoning» more CADE 2006»

Matrix Interpretations for Proving Termination of Term Rewriting

14 years 7 days ago

Matrix Interpretations for Proving Termination of Term Rewriting

Download www.imn.htwk-leipzig.de

Jörg Endrullis, Johannes Waldmann, Hans Zante...

claim paper

Read More »

27

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

14 years 7 days ago

System Description: GCLCprover + GeoThms

Download www.mat.uc.pt

Predrag Janicic, Pedro Quaresma

claim paper

Read More »

21

CADE
2001
Springer

105views Logical Reasoning» more CADE 2001»

A Model-Based Completeness Proof of Extended Narrowing and Resolution

14 years 5 days ago

A Model-Based Completeness Proof of Extended Narrowing and Resolution

Download hal.archives-ouvertes.fr

Jürgen Stuber

claim paper

Read More »

24

CADE
2008
Springer

122views Logical Reasoning» more CADE 2008»

13 years 10 months ago

Download www.valleybible.net

Nachum Dershowitz

claim paper

Read More »

31

CADE
2008
Springer

108views Logical Reasoning» more CADE 2008»

Title, Preface, Table of Contents

13 years 10 months ago

Title, Preface, Table of Contents

Download www.nber.org

Bernhard Beckert, Gerwin Klein

claim paper

Read More »

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