[Termtools] Incompatible Lower and Upper Bounds in "Runtime Complexity - Full Rewriting"

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Mon Aug 29 13:20:16 CEST 2016

Previous message: [Termtools] Timeouts and Updates of Tools
Next message: [Termtools] Incompatible Lower and Upper Bounds in "Runtime Complexity - Full Rewriting"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all, my recent tests show some incompatible answers
in "Runtime Complexity - Full Rewriting"
http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/18024
- J.

Previous message: [Termtools] Timeouts and Updates of Tools
Next message: [Termtools] Incompatible Lower and Upper Bounds in "Runtime Complexity - Full Rewriting"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list