Search Sciweavers | Sciweavers

3228 search results - page 90 / 646

» Computationally Sound Proofs

click to vote

BIRTHDAY
2004
Springer

86views Applied Computing» more BIRTHDAY 2004»

Mathematical Proofs at a Crossroad?

14 years 2 months ago

Download www.cs.auckland.ac.nz

Cristian Calude, Solomon Marcus

claim paper

Read More »

click to vote

BIRTHDAY
2000
Springer

100views Applied Computing» more BIRTHDAY 2000»

Concepts in Proof Planning

14 years 1 months ago

Download www.activemath.org

Erica Melis, Jörg H. Siekmann

claim paper

Read More »

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

14 years 1 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

A Formalization of the Strong Normalization Proof for System F in LEGO

14 years 29 days ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

102views Applied Computing» more BIRTHDAY 2006»

Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

14 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers