On Unification of QBF Resolution-Based Calculi (Q2922598)
From MaRDI portal
 | This is a page for a Wikibase entity. It is used by other Wikibase pages, but it is generally not meant to be viewed directly. See On Unification of QBF Resolution-Based Calculi for the user view. |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Unification of QBF Resolution-Based Calculi |
scientific article |
Statements
On Unification of QBF Resolution-Based Calculi (English)
0 references
14 October 2014
0 references
