CADE 2010 - PDF Preprint Papers

CADE 2010 Automated Deduction

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CADE-2010 Paper

click to vote

CADE
2010
Springer

370views Logical Reasoning» more CADE 2010»

On Hierarchical Reasoning in Combinations of Theories

12 years 9 months ago

Download www.mpi-inf.mpg.de

Carsten Ihlemann, Viorica Sofronie-Stokkermans

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	370	On Hierarchical Reasoning in Combinations of Theories	claim
2	366	An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ	claim
3	351	Tractable Extensions of the Description Logic EL with Numerical Datatypes	claim
4	261	Automating Security Analysis: Symbolic Equivalence of Constraint Systems	claim
5	258	Analytic Tableaux for Higher-Order Logic with Choice	claim
6	251	Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion	claim
7	242	MCMT: A Model Checker Modulo Theories	claim
8	240	Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development	claim
9	235	Multi-Prover Verification of Floating-Point Programs	claim
10	233	Focused Inductive Theorem Proving	claim
11	227	iProver-Eq: An Instantiation-Based Theorem Prover with Equality	claim
12	222	Monotonicity Criteria for Polynomial Interpretations over the Naturals	claim
13	220	A Slice-Based Decision Procedure for Type-Based Partial Orders	claim
14	219	Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)	claim
15	216	Classical Logic with Partial Functions	claim
16	216	Decreasing Diagrams and Relative Termination	claim
17	206	A Decision Procedure for CTL* Based on Tableaux and Automata	claim
18	204	An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic	claim
19	202	Termination Tools in Ordered Completion	claim
20	201	Global Caching for Coalgebraic Description Logics	claim
21	198	MUNCH - Automated Reasoner for Sets and Multisets	claim
22	192	Interpolation and Symbol Elimination in Vampire	claim
23	190	Sledgehammer: Judgement Day	claim
24	190	Terminating Tableaux for Hybrid Logic with Eventualities	claim
25	187	Optimized Description Logic Reasoning via Core Blocking	claim
26	172	Premise Selection in the Naproche System	claim
27	165	Monotonicity Inference for Higher-Order Formulas	claim
28	162	Verifying Safety Properties with the TLA+ Proof System	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers