Lower Bounds for Runtime Complexity of Term Rewriting

Document Details

Document Type
Pub Defense Publication
Publication Date
Dec 17, 2016
Source ID
10.1007/s10817-016-9397-x

Entities

People

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

Organizations

  • Air Force Research Laboratory
  • German Research Foundation