scientific article; zbMATH DE number 19146
From MaRDI portal
Publication:3976574
zbMATH Open0738.03007MaRDI QIDQ3976574FDOQ3976574
Authors: Christian G. Fermüller
Publication date: 26 June 1992
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 512974
- scientific article; zbMATH DE number 4047185
- Solving constrained Horn clauses using dependence-disjoint expansions
- scientific article; zbMATH DE number 3860436
- On generalized Horn formulas and \(k\)-resolution
- Combinatorial Problems for Horn Clauses
- Read-once resolutions in Horn formulas
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Cited In (15)
- Title not available (Why is that?)
- On renaming a set of clauses as a Horn set
- Title not available (Why is that?)
- A formal grammatical model of the resolution method for the propositional calculus
- Title not available (Why is that?)
- Deciding \(\mathcal H_1\) by resolution
- Some techniques for proving termination of the hyperresolution calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An overview of resolution decision procedures
- A linear algorithm for renaming a set of clauses as a Horn set
- Combinatorial Problems for Horn Clauses
- Title not available (Why is that?)
- Title not available (Why is that?)
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 Q3976574)