Sciweavers

47 search results - page 1 / 10

» cade 2006

13

CADE
2006
Springer

117views Logical Reasoning» more CADE 2006»

Representing and Reasoning with Operational Semantics

14 years 4 months ago

Representing and Reasoning with Operational Semantics

Download www.easychair.org

Dale Miller

claim paper

Read More »

17

CADE
2006
Springer

192views Logical Reasoning» more CADE 2006»

Formal Global Optimisation with Taylor Models

14 years 4 months ago

Formal Global Optimisation with Taylor Models

Download www.nianet.org

Roland Zumkeller

claim paper

Read More »

16

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

13 years 8 months ago

System Description: GCLCprover + GeoThms

Download www.mat.uc.pt

Predrag Janicic, Pedro Quaresma

claim paper

Read More »

15

CADE
2006
Springer

127views Logical Reasoning» more CADE 2006»

Matrix Interpretations for Proving Termination of Term Rewriting

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

8

CADE
2006
Springer

111views Logical Reasoning» more CADE 2006»

Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation

14 years 4 months ago

Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation

Download users.soe.ucsc.edu

Allen Van Gelder, Geoff Sutcliffe

claim paper

Read More »

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