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!

Keine Ergebnisse!