Sciweavers

3891 search results - page 11 / 779

» A logic for strategic reasoning

27

CADE
2006
Springer

127views Logical Reasoning» more CADE 2006»

Matrix Interpretations for Proving Termination of Term Rewriting

13 years 11 months 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 »

25

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

13 years 11 months ago

System Description: GCLCprover + GeoThms

Download www.mat.uc.pt

Predrag Janicic, Pedro Quaresma

claim paper

Read More »

20

CADE
2001
Springer

105views Logical Reasoning» more CADE 2001»

A Model-Based Completeness Proof of Extended Narrowing and Resolution

13 years 11 months ago

A Model-Based Completeness Proof of Extended Narrowing and Resolution

Download hal.archives-ouvertes.fr

Jürgen Stuber

claim paper

Read More »

22

CADE
2008
Springer

122views Logical Reasoning» more CADE 2008»

13 years 9 months ago

Download www.valleybible.net

Nachum Dershowitz

claim paper

Read More »

29

CADE
2008
Springer

108views Logical Reasoning» more CADE 2008»

Title, Preface, Table of Contents

13 years 9 months ago

Title, Preface, Table of Contents

Download www.nber.org

Bernhard Beckert, Gerwin Klein

claim paper

Read More »

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