| Title | Complexity Theory with Emphasis on the Complexity of Logical Theories |
| Publication Type | Conference Paper |
| Year of Publication | 1980 |
| Authors | Ladner RE |
| Conference Name | Proceedings of Logic Colloquium '79 |
| Pagination | 286-319 |
| Citation Key | 1848 |
| Title | Complexity Theory with Emphasis on the Complexity of Logical Theories |
| Publication Type | Conference Paper |
| Year of Publication | 1980 |
| Authors | Ladner RE |
| Conference Name | Proceedings of Logic Colloquium '79 |
| Pagination | 286-319 |
| Citation Key | 1848 |