Pages that link to "Item:Q944709"
From MaRDI portal
The following pages link to Models and quantifier elimination for quantified Horn formulas (Q944709):
Displayed 5 items.
- Disjunctive closures for knowledge compilation (Q460617) (← links)
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Transformations into Normal Forms for Quantified Circuits (Q3007687) (← links)
- Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (Q3637174) (← links)
- Complexity and expressive power of second‐order extended Horn logic (Q4915214) (← links)