scientific article; zbMATH DE number 1765699
From MaRDI portal
Publication:4539640
zbMATH Open0988.03019MaRDI QIDQ4539640FDOQ4539640
Authors: Martin Giese 
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830545
Title of this publication is not available (Why is that?)
Recommendations
Cited In (17)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)
- Theorem proving with bounded rigid \(E\)-unification
- Differential dynamic logic for hybrid systems
- Incremental variable splitting
- Liberalized variable splitting
- First-order automated reasoning with theories: when deduction modulo theory meets practice
- Superposition-based equality handling for analytic tableaux
- Depth-first proof search without backtracking for free-variable clausal tableaux
- Free-variable tableaux for monotonic preorders
- Proof generalization in \(\mathrm {LK}\) by second order unifier minimization
- KeY: A Formal Method for Object-Oriented Systems
- Logics in Artificial Intelligence
- The model evolution calculus as a first-order DPLL method
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies
- Incremental theory reasoning methods for semantic tableaux
- Goal-sensitive reasoning with disconnection tableaux
- Satisfiability solving and model generation for quantified first-order logic formulas
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539640)
