The following pages link to Automated Deduction – CADE-20 (Q5394610):
Displaying 4 items.
- A combined superposition and model evolution calculus (Q438531) (← links)
- Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited (Q894695) (← links)
- Decision procedures for term algebras with integer constraints (Q2432767) (← links)
- Decision Procedures for Automating Termination Proofs (Q3075496) (← links)