Search Sciweavers | Sciweavers

3719 search results - page 25 / 744

» RACER System Description

179

click to vote

CADE
1998
Springer

162views Logical Reasoning» more CADE 1998»

System Description: card TAP: The First Theorem Prover on a Smart Card

15 years 8 months ago

Download users.cecs.anu.edu.au

Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...

Rajeev Goré, Joachim Posegga, Andrew Slater...

claim paper

Read More »

115

click to vote

CADE
2008
Springer

113views Logical Reasoning» more CADE 2008»

MTT: The Maude Termination Tool (System Description)

16 years 4 months ago

Download users.dsic.upv.es

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

claim paper

Read More »

126

click to vote

CADE
2002
Springer

142views Logical Reasoning» more CADE 2002»

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description

16 years 4 months ago

Download eprints.ecs.soton.ac.uk

Bernd Fischer 0002, Johann Schumann, Michael W. Wh...

claim paper

Read More »

click to vote

FLOPS
2010
Springer

246views Automated Reasoning» more FLOPS 2010»

Delimited Control in OCaml, Abstractly and Concretely: System Description

15 years 11 months ago

Download okmij.org

Oleg Kiselyov

claim paper

Read More »

126

click to vote

CADE
2005
Springer

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers