Provability, Complexity, Grammars (American Mathematical Society Translations) - Hardcover

Beklemishev, Lev Dmitrievich; Pentus, Mati Reinovich; Vereshchagin, Nikolai Konstantinovich

 
9780821810781: Provability, Complexity, Grammars (American Mathematical Society Translations)
Hardcover
ISBN 10: 0821810782 ISBN 13: 9780821810781
Verlag: American Mathematical Society, 1999

Inhaltsangabe

The book contains English translations of three outstanding dissertations in mathematical logic and complexity theory. L. Beklemishev proves that all provability logics must belong to one of the four previously known classes. The dissertation of M. Pentus proves the Chomsky conjecture about the equivalence of two approaches to formal languages: the Chomsky hierarchy and the Lambek calculus. The dissertation of N. Vereshchagin describes a general framework for criteria of reversability in complexity theory.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

The book contains English translations of three outstanding dissertations in mathematical logic and complexity theory. L. Beklemishev proves that all provability logics must belong to one of the four previously known classes. The dissertation of M. Pentus proves the Chomsky conjecture about the equivalence of two approaches to formal languages: the Chomsky hierarchy and the Lambek calculus. The dissertation of N. Vereshchagin describes a general framework for criteria of reversability in complexity theory.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
American Mathematical Society
Erscheinungsdatum
1999
Sprache
Englisch
ISBN 10 
0821810782
ISBN 13 
9780821810781
Einband
Tapa dura
Anzahl der Seiten
172
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar