Lower Bounds for Runtime Complexity of Term Rewriting

Dordrecht [u.a.] / Springer Science + Business Media B.V. (2016, 2017) [Contribution to a book, Journal Article]

Journal of automated reasoning
Volume: 59
Issue: 1
Page(s): 121-163

Authors

Authors

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

Identifier