Search Sciweavers | Sciweavers

1410 search results - page 17 / 282

» Proving theorems by reuse

127

click to vote

CAV
1999
Springer

90views Hardware» more CAV 1999»

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

15 years 10 months ago

Download www.cs.utexas.edu

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

claim paper

Read More »

110

click to vote

FASE
1999
Springer

91views Software Engineering» more FASE 1999»

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

15 years 10 months ago

Download www.informatik.uni-bremen.de

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

claim paper

Read More »

127

click to vote

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

15 years 10 months ago

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

claim paper

Read More »

140

click to vote

CADE
1994
Springer

190views Logical Reasoning» more CADE 1994»

The Applicability of Logic Program Analysis and Transformation to Theorem Proving

15 years 10 months ago

Download repository.readscheme.org

D. Andre de Waal, John P. Gallagher

claim paper

Read More »

117

click to vote

CADE
1990
Springer

107views Logical Reasoning» more CADE 1990»

The TPS Theorem Proving System

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers