TORPA 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 all top 5 Cited by 12 Authors 5 Zantema, Hans 4 Hofbauer, Dieter 4 Waldmann, Johannes 3 Geser, Alfons 1 Durand, Irène A. 1 Giesl, Jürgen 1 Koprowski, Adam 1 Schneider-Kamp, Peter 1 Sylvestre, Marc 1 Thiemann, René 1 Valero Espada, Miguel 1 van de Pol, Jan Cornelis Cited in 2 Serials 1 Information and Computation 1 Journal of Automated Reasoning Cited in 1 Field 9 Computer science (68-XX) Citations by Year