scientific article; zbMATH DE number 3924139
From MaRDI portal
Publication:3698310
Recommendations
Cited in
(19)- On solving the equality problem in theories defined by Horn clauses
- Simplifying conditional term rewriting systems: Unification, termination and confluence
- History and basic features of the critical-pair/completion procedure
- The equational theory of parameterized specifications
- Efficient deduction in equality Horn logic by Horn-completion
- Automatic proofs by induction in theories without constructors
- A goal-type driven method of solving Horn logic with equality
- scientific article; zbMATH DE number 1004365 (Why is no real title available?)
- scientific article; zbMATH DE number 3871320 (Why is no real title available?)
- The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic
- scientific article; zbMATH DE number 4089521 (Why is no real title available?)
- scientific article; zbMATH DE number 4118335 (Why is no real title available?)
- scientific article; zbMATH DE number 1860670 (Why is no real title available?)
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
- A maximal-literal unit strategy for horn clauses
- Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation
- On theorem-proving in Horn theories with built-in algebras
- Theorem-proving with resolution and superposition
- On word problems in Horn theories
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 Q3698310)
