Search Sciweavers | Sciweavers

1322 search results - page 18 / 265

» Unsound Theorem Proving

click to vote

BIRTHDAY
2000
Springer

74views Applied Computing» more BIRTHDAY 2000»

Matrix-based Constructive Theorem Proving

13 years 12 months ago

Download www.nuprl.org

Christoph Kreitz, Jens Otten, Stephan Schmitt, Bri...

claim paper

Read More »

click to vote

CADE
1999
Springer

124views Logical Reasoning» more CADE 1999»

Fault-Tolerant Distributed Theorem Proving

13 years 11 months ago

Download www.cs.cornell.edu

Jason Hickey

claim paper

Read More »

click to vote

CAV
1999
Springer

90views Hardware» more CAV 1999»

Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation

13 years 11 months ago

Download www.cs.utexas.edu

Panagiotis Manolios, Kedar S. Namjoshi, Robert Sum...

claim paper

Read More »

click to vote

FASE
1999
Springer

91views Software Engineering» more FASE 1999»

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

13 years 11 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr...

claim paper

Read More »

click to vote

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers