Lower Bounds for Runtime Complexity of Term Rewriting

Dordrecht [u.a.] / Springer Science + Business Media B.V. (2016, 2017) [Buchbeitrag, Fachzeitschriftenartikel]

Journal of automated reasoning
Band: 59
Ausgabe: 1
Seite(n): 121-163

Autorinnen und Autoren

Autorinnen und Autoren

Frohn, Florian
Giesl, Jürgen
Hensel, Jera
Aschermann, Cornelius
Ströder, Thomas

Identifikationsnummern