Search Sciweavers | Sciweavers

1894 search results - page 29 / 379

» A TLA Proof System

click to vote

ICALP
1998
Springer

125views Programming Languages» more ICALP 1998»

Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus

14 years 2 months ago

Download basics.sjtu.edu.cn

Huimin Lin

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 2 months ago

Download www.uni-ulm.de

Jochen Meßner, Jacobo Torán

claim paper

Read More »

click to vote

COCO
1992
Springer

92views Algorithms» more COCO 1992»

Interactive Proof Systems with Polynomially Bounded Strategies

14 years 2 months ago

Download www.cs.ubc.ca

Anne Condon, Richard E. Ladner

claim paper

Read More »

click to vote

ISAAC
1994
Springer

83views Algorithms» more ISAAC 1994»

On Helping and Interactive Proof Systems

14 years 2 months ago

Download www.uni-ulm.de

Vikraman Arvind, Johannes Köbler, Rainer Schu...

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 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers