CSL 2001 - PDF Preprint Papers

CSL 2001 Workshop on Computer Science Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSL-2001 Paper

click to vote

CSL
2001
Springer

169views Automated Reasoning» more CSL 2001»

Constrained Hyper Tableaux

14 years 3 months ago

Download www.ozsl.uu.nl

Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...

Jan van Eijck

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	169	Constrained Hyper Tableaux	claim
2	151	Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories	claim
3	135	Local Reasoning about Programs that Alter Data Structures	claim
4	132	A Logic for Approximate First-Order Reasoning	claim
5	119	Decidable Navigation Logics for Object Structures	claim
6	118	The Anatomy of Innocence	claim
7	114	On a Generalisation of Herbrand's Theorem	claim
8	109	An Existential Locality Theorem	claim
9	109	An Abstract Look at Realizability	claim
10	108	Uniform Derivation of Decision Procedures by Superposition	claim
11	106	Markov's Principle for Propositional Type Theory	claim
12	98	Categorical and Kripke Semantics for Constructive S4 Modal Logic	claim
13	93	Non-commutativity and MELL in the Calculus of Structures	claim
14	93	Life without the Terminal Type	claim
15	93	A Logic for Abstract State Machines	claim
16	83	Capture Complexity by Partition	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers