scientific article; zbMATH DE number 3444822
From MaRDI portal
Publication:4770009
Cited in
(9)- Unification theory
- Paramodulated connection graphs
- Basic research problems: The problem of strategy and hyperresolution
- The problem of hyperparamodulation
- The problem of guaranteeing the existence of a complete set of reductions
- Horn equational theories and paramodulation
- A finitely axiomatized formalization of predicate calculus with equality
- Proof normalization for resolution and paramodulation
- Constrained equational deduction
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 Q4770009)
