- Efficient Hierarchical Reasoning about Functions over Numerical Domains
- Representation theorems and the semantics of non-classical logics, and applications to
- Introduction The goal of this thesis is to study the applications of fibered structures in com
- Automated reasoning in some local extensions of ordered structures Viorica Sofronie-Stokkermans, Carsten Ihlemann
- Representation theorems and the semantics of
- A Superposition Decision Procedure for the Guarded Fragment with Equality Harald Ganzinger
- 2.10 Refutational Completeness of Resolution How to show refutational completeness of propositional
- Part 2: First-Order Logic First-order logic
- Chaining Techniques for Automated Theorem Proving in ManyValued Logics Harald Ganzinger, Viorica SofronieStokkermans
- Resolutionbased decision procedures for the positive theory of some finitely generated varieties of algebras
- Automated theorem proving by resolution in non-classical logics
- Towards a Sheaf Semantics for Cooperating Agents Scenarios
- 2.4 Algorithmic Problems Validity(F): |= F ?
- Interpolation in local theory extensions Viorica Sofronie-Stokkermans
- Resolution-based Theorem Proving for SH n -Logics
- Representation Theorems and Theorem Proving in NonClassical Logics Viorica SofronieStokkermans
- On Local Reasoning in Verification Carsten Ihlemann, Swen Jacobs, and Viorica Sofronie-Stokkermans
- Applications of hierarchical reasoning in the verification of complex systems
- Interpolation in local theory extensions Viorica SofronieStokkermans
- On the Universal Theory of Varieties of Distributive Lattices with Operators
- Representation theorems and the semantics of
- Conclusions and Plans of Future Work
- The 21st Conference on Automated Deduction Automated Deduction
- 4th International Joint Conference on Automated Reasoning Sydney, Australia, August 1015, 2008
- 22nd International Conference on Automated Deduction McGill University, Montreal, Canada
- UNIVERSITY OF OSLO Department of Informatics
- Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
- Automated reasoning in some local extensions of ordered structures
- Electronic Notes in Theoretical Computer Science Proceedings of the Fourth International Workshop
- 2.12 Ordered Resolution with Selection Motivation: Search space for Res very large.
- Constraint Solving for Interpolation Andrey Rybalchenko1,2
- Representation Theorems and Automated Theorem Proving
- Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of
- Part 3: First-Order Logic with Equality Equality is the most important relation in mathematics and
- Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of
- Journal Symbolic Computation (2003) 891--924 www.elsevier.com/locate/jsc Resolutionbased decision procedures the
- Fibered Structures and Applications to Automated Theorem Proving in Certain Classes of
- Modeling Interaction by Sheaves and Geometric Logic
- Priestley Duality for SHn-Algebras and Applications to the Study of Kripke-Style Models for SHn-Logics
- On uni cation for bounded distributive lattices Viorica Sofronie-Stokkermans
- Hierarchical and modular reasoning in complex theories: The case of local theory extensions
- Sheaves and geometric logic and applications to modular verification of complex systems1
- Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on
- Local reasoning in verification Viorica Sofronie-Stokkermans