On the Computational Intractability of Analytic Tableau Methods (Q4318171)
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: On the Computational Intractability of Analytic Tableau Methods |
scientific article; zbMATH DE number 706787
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Computational Intractability of Analytic Tableau Methods |
scientific article; zbMATH DE number 706787 |
Statements
On the Computational Intractability of Analytic Tableau Methods (English)
0 references
2 January 1995
0 references
analytic tableaux
0 references
computational complexity
0 references
intractability
0 references
path dissolution
0 references