Search Sciweavers | Sciweavers

6274 search results - page 29 / 1255

» Proofs, Programs, Processes

142

click to vote

STACS
2010
Springer

145views Theoretical Computer Science» more STACS 2010»

Alternation-Trading Proofs, Linear Programming, and Lower Bounds

16 years 26 days ago

Download www.cs.cmu.edu

Ryan Williams

claim paper

Read More »

136

click to vote

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

Programming with Proofs: Language-Based Approaches to Totally Correct Software

15 years 11 months ago

Download vstte.ethz.ch

Aaron Stump

claim paper

Read More »

click to vote

ECAI
2004
Springer

77views Artificial Intelligence» more ECAI 2004»

A Tabulation Proof Procedure for Residuated Logic Programming

15 years 11 months ago

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,...

claim paper

Read More »

129

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

15 years 10 months ago

Download www.pst.informatik.uni-muenchen.de

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

122

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers