Q3976574
type: Item
instance of: scholarly article
zbMATH Open document ID: 0738.03007
author: Christian G. Fermüller
publication date: 1992-06-26T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 19146
zbMATH Keywords: resolution
zbMATH Keywords: decision method
zbMATH Keywords: Horn clause
MaRDI profile type: Publication
Recommended article: Q4281685
Recommended article: Q3783627
Recommended article: Q3384902
Recommended article: Q3327748
Recommended article: On generalized Horn formulas and \(k\)-resolution
Recommended article: Combinatorial Problems for Horn Clauses
Recommended article: Read-once resolutions in Horn formulas
description: scientific article; zbMATH DE number 19146