The following pages link to Automated Deduction – CADE-20 (Q5394627):
Displaying 16 items.
- Model evolution with equality -- revised and implemented (Q429586) (← links)
- A combined superposition and model evolution calculus (Q438531) (← links)
- A sound and complete model-generation procedure for consistent and confidentiality-preserving databases (Q549726) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- The equivalence between the TE, TM model and the Darwin models (Q977245) (← links)
- First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
- Superposition as a decision procedure for timed automata (Q1949086) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
- The model evolution calculus as a first-order DPLL method (Q2389629) (← links)
- A model for relative evolution of 0 and 1, the 2 fixed points of multiplication (Q2827627) (← links)
- Planning with Effectively Propositional Logic (Q4916083) (← links)
- The Relative Power of Semantics and Unification (Q4916085) (← links)
- Superposition and Model Evolution Combined (Q5191094) (← links)
- Model Evolution with Equality Modulo Built-in Theories (Q5200017) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q6111523) (← links)
