scientific article; zbMATH DE number 1300967
From MaRDI portal
Publication:4246725
zbMATH Open0925.03074MaRDI QIDQ4246725FDOQ4246725
Authors: Leo Bachmair, Harald Ganzinger, Uwe Waldmann 
Publication date: 29 July 1999
Title of this publication is not available (Why is that?)
Recommendations
Cited In (21)
- Title not available (Why is that?)
- SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment
- AVATAR: The Architecture for First-Order Theorem Provers
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Hierarchic superposition revisited
- Harald Ganzinger's legacy: contributions to logics and programming
- First-order theorem proving: foreword
- First-order logic theorem proving and model building via approximation and instantiation
- Title not available (Why is that?)
- Hierarchic superposition with weak abstraction
- Theorem Proving in Higher Order Logics
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System
- Refutational theorem proving for hierarchic first-order theories
- Title not available (Why is that?)
- Finite Quantification in Hierarchic Theorem Proving
- Automated Reasoning
- Towards automating duality
- Title not available (Why is that?)
- Title not available (Why is that?)
- Beagle -- a hierarchic superposition theorem prover
- On first-order theorem proving using generalized odd-superpositions II
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 Q4246725)
