Homepage of Andreas Gebhardt


Research


WebSRS
WebSRS is a online tool which executes all participants of the termination contest for prooving termination of string rewriting systems.

Link : http://autotool.imn.htwk-leipzig.de:8080/websrs