Search Sciweavers | Sciweavers

12774 search results - page 56 / 2555

» A Framework for Proof Systems

click to vote

FASE
2005
Springer

101views Software Engineering» more FASE 2005»

Automated Compositional Proofs for Real-Time Systems

14 years 2 months ago

Download se.ethz.ch

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...

claim paper

Read More »

click to vote

CADE
2004
Springer

147views Logical Reasoning» more CADE 2004»

Modular Proof Systems for Partial Functions with Weak Equality

14 years 2 months ago

Download www.mpi-inf.mpg.de

The paper presents a modular superposition calculus for the combination of ﬁrst-order theories involving both total and partial functions. Modularity means that inferences are pu...

Harald Ganzinger, Viorica Sofronie-Stokkermans, Uw...

claim paper

Read More »

click to vote

MKM
2009
Springer

98views Information Technology» more MKM 2009»

Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

14 years 1 months ago

Download www.unirioja.es

Jónathan Heras, Vico Pascual, Julio Rubio

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers