Complexity Analysis for Term Rewriting by Integer Transition Systems

Cham / Springer International Publishing (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017 : proceedings / Clare Dixon, Marcelo Finger (eds.)
Seite(n): 132-150

Autorinnen und Autoren

Autorinnen und Autoren

Naaf, Matthias
Frohn, Florian
Brockschmidt, Marc
Fuhs, Carsten
Giesl, Jürgen

Identifikationsnummern