LFCS 2007 - PDF Preprint Papers

LFCS 2007 Logical Foundations of Computer Science

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LFCS-2007 Paper

click to vote

LFCS
2007
Springer

186views Artificial Intelligence» more LFCS 2007»

Cut Elimination in Deduction Modulo by Abstract Completion

13 years 10 months ago

Download www.loria.fr

act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diﬀ...

Guillaume Burel, Claude Kirchner

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	186	Cut Elimination in Deduction Modulo by Abstract Completion	claim
2	184	A Temporal Dynamic Logic for Verifying Hybrid System Invariants	claim
3	157	Reasoning About Sequences of Memory States	claim
4	148	The Intensional Lambda Calculus	claim
5	122	Verifying Balanced Trees	claim
6	115	Density Elimination and Rational Completeness for First-Order Logics	claim
7	115	Compactness Properties for Stable Semantics of Logic Programs	claim
8	115	Model Checking Knowledge and Linear Time: PSPACE Cases	claim
9	111	On Decidability and Expressiveness of Propositional Interval Neighborhood Logics	claim
10	109	Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!	claim
11	107	A Decidable Temporal Logic of Repeating Values	claim
12	99	Total Public Announcements	claim
13	92	Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking	claim
14	89	Weighted Distributed Systems and Their Logics	claim
15	85	Multiplexor Categories and Models of Soft Linear Logic	claim
16	72	Realizations and LP	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers