Search Sciweavers | Sciweavers

3658 search results - page 76 / 732

» The logic of proofs, semantically

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

14 years 1 months ago

Download www.qatar.cmu.edu

Iliano Cervesato

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

KGC
1993
Springer

72views Automated Reasoning» more KGC 1993»

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs

14 years 1 months ago

Download www-philo.univ-paris1.fr

Vincent Danos, Jean-Baptiste Joinet, Harold Schell...

claim paper

Read More »

click to vote

TAMC
2010
Springer

241views Applied Computing» more TAMC 2010»

Proof Complexity of Non-classical Logics

14 years 27 days ago

Download www.informatik.uni-bremen.de

Olaf Beyersdorff

claim paper

Read More »

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

14 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers