Automated complexity analysis of rewrite systems

Aachen (2018, 2019) [Dissertation / PhD Thesis]

Page(s): 1 Online-Ressource (282 Seiten) : Illustrationen

Authors

Selected Authors

Frohn, Florian

Identifier

  • REPORT NUMBER: RWTH-2018-231555