DCTP
From MaRDI portal
Software:18709
swMATH6621MaRDI QIDQ18709FDOQ18709
Author name not available (Why is that?)
Cited In (19)
- Duality for goal-driven query processing in disjunctive deductive databases
- Automated Deduction – CADE-19
- Ordered semantic hyper tableaux
- History and Prospects for First-Order Automated Deduction
- The IJCAR ATP system competition
- The Relative Power of Semantics and Unification
- Title not available (Why is that?)
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- Semantically-guided goal-sensitive reasoning: model representation
- Title not available (Why is that?)
- The disconnection tableau calculus
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods
- Automated Reasoning with Analytic Tableaux and Related Methods
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies
- Automated Reasoning About Metric and Topology
- Proof and Model Generation with Disconnection Tableaux
- A relevance restriction strategy for automated deduction
- Proof Systems for Effectively Propositional Logic
This page was built for software: DCTP
