Solver-Info of "THOR"

view original solver-info on star-exec: 1800
Name: THOR
Description: THOR is an automatic tool for proving Termination of Higher Order Rewriting developed by Cristina Borralleras and Albert Rubio. It is based on the Monotonic Higher Order Semantic Path Ordering and its associated constraint framework developed by the same authors.
Last Update from Star-Exec: 2015-07-31 12:10:11.772092 UTC