Automated complexity analysis of rewrite systems

Aachen (2018, 2019) [Doktorarbeit]

Seite(n): 1 Online-Ressource (282 Seiten) : Illustrationen

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Frohn, Florian

Identifikationsnummern

  • REPORT NUMBER: RWTH-2018-231555