A hierarchy of propositional Horn formuls (Q1122571)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A hierarchy of propositional Horn formuls |
scientific article; zbMATH DE number 4106824
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A hierarchy of propositional Horn formuls |
scientific article; zbMATH DE number 4106824 |
Statements
A hierarchy of propositional Horn formuls (English)
0 references
1989
0 references
number of alternations between players in a game
0 references
hierarchy of propositional Horn formulas
0 references
satisfiability of Horn formulas
0 references
bounded- depth circuits
0 references
