Provability, complexity, grammars

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Beklemishev, Lev D. (BerichterstatterIn), Pentus, Mati (BerichterstatterIn), Vereščagin, Nikolaj K. (BerichterstatterIn), Beklemišev, Lev D. (BerichterstatterIn), Pentus, Mati Reĭnovich (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Providence, RI American Mathematical Society 1999
Schriftenreihe:	Translations / American Mathematical Society Ser. 2, v. 192
Schlagworte:	Hochschulschrift > Modallogik > Beweistheorie > Mathematische Linguistik > Berechnungskomplexität
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Includes bibliographical references Contains three doctoral dissertations in mathematical logic, mathematical linguistics, and complexity theory, translated from the Russian - Includes bibliographical references
Beschreibung:	IX, 172 S graph. Darst.
ISBN:	0821810782 0-8218-1078-2