Berechnungs- und Beschreibungskomplexität von Zählfunktionen und Lindströmquantoren

Hans-Jörg Burtschick. Berechnungs- und Beschreibungskomplexität von Zählfunktionen und Lindströmquantoren. PhD thesis, Berlin Institute of Technology, 1997. [doi]

Abstract

Abstract is missing.