Title: Provability, complexity, grammars
First published: 1999
Subjects: Modality (Logic), Computational complexity, Mathematical linguistics, Proof theory, Modaliteit, Bewijstheorie, Complexiteit, Berechnungskomplexität, Beweistheorie, Mathematische Linguistik, Modalität, Complexité de calcul (Informatique), Linguistique mathématique, Modalité (Logique), Preuve, Théorie de la
LC classification: QA3 .A572 ser. 2, vol. 192, QA9.46 .A572 ser. 2, vol. 192