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]

Authors

Hans-Jörg Burtschick

This author has not been identified. Look up 'Hans-Jörg Burtschick' in Google