Descriptive complexity, canonisation, and definable graph structure theory

Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book appro...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Grohe, M.
Format:	E-Book
Sprache:	English
Veröffentlicht:	Cambridge Cambridge University Press 2017
Schriftenreihe:	Lecture notes in logic 47
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!