Complexity analysis for term rewriting by integer transition systems

DOI10.1007/978-3-319-66167-4_8zbMath1495.68116MaRDI QIDQ1687548

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

Publication date: 4 January 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66167-4_8

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68Q42: Grammars and rewriting systems

Uses Software

• AProVE
• ABC
• TcT