Theorien automatischer Strukturen in der Exponentialzeithierarchie

Automatische Strukturen sind Strukturen, deren Bestandteile durch endliche Automaten beschreibbar sind: Ihr Universum ist regulär und ihre Relationen synchron-rational. Dies ermöglicht es, die Komplexität modelltheoretischer Probleme in Beziehung zur klassischen Automatentheorie zu setzen. Fundament...

Full description

Bibliographic Details
Main Author: Lindner, Peter (Author)
Other Involved Persons: Kuske, Dietrich (Degree supervisor) ; Abu Zaid, Faried (Other)
Format: Book
Language:German
Published: Ilmenau 2017
Physical Description:87 Seiten
Subjects:
Local Subject Headings:
QR Code: Show QR Code
Not owned by UB Ilmenau
Further Information:
Abstract
Feedback