AProVE Web Interface

This is the AProVE Web Interface for the paper "Lower Bounds for Runtime Complexity of Term Rewriting".

Show Help for TRS Language (in new window)
Include (GOAL COMPLEXITY)(STARTTERM CONSTRUCTOR-BASED) to enable complexity analysis.

Choose file

Accepted file formats: trs and xml

Upload a File or Text?

Timeout (10 seconds minimum, 300 seconds maximum):

Output format:

HTML

Plain Text

Version lowerbounds-journal