Search Sciweavers | Sciweavers

3552 search results - page 24 / 711

» Proof theory in the abstract

152

click to vote

ESOP
2007
Springer

122views Programming Languages» more ESOP 2007»

A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)

16 years 7 days ago

Download www.doc.ic.ac.uk

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

135

click to vote

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 11 months ago

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »

107

click to vote

ICCAD
2003
IEEE

97views Hardware» more ICCAD 2003»

Iterative Abstraction using SAT-based BMC with Proof Analysis

15 years 11 months ago

Download www.cs.wmich.edu

Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav ...

claim paper

Read More »

178

click to vote

CTRS
1994

156views Theoretical Computer Science» more CTRS 1994»

Abstract Notions and Inference Systems for Proofs by Mathematical Induction

15 years 9 months ago

Download www.ags.uni-sb.de

Claus-Peter Wirth, Klaus Becker

claim paper

Read More »

131

click to vote

FLAIRS
2007

118views Artificial Intelligence» more FLAIRS 2007»

Abstracting Web Agent Proofs into Human-Level Justifications

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers