Lower Bounds for Runtime Complexity of Term Rewriting

Frohn, Florian; Giesl, Jürgen (Corresponding author); Hensel, Jera; Aschermann, Cornelius; Ströder, Thomas

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

Identifikationsnummern