swMATH ID: 10120
Software Authors: Zantema, H.
Description: TORPA: Termination of rewriting proved automatically. The tool TORPA (Termination of Rewriting Proved Automatically) can be used to prove termination of string rewriting systems (SRSs) fully automatically. The underlying techniques include semantic labelling, polynomial interpretations, recursive path order, the dependency pair method and match bounds of right hand sides of forward closures.
Homepage: http://link.springer.com/chapter/10.1007/978-3-540-25979-4_7
Related Software: AProVE; Matchbox; CiME; TPDB; Tsukuba; Jambox; CARIBOO; Tyrolean; Chaff; Timbuk; REVE
Cited in: 9 Publications

Citations by Year