Difference between revisions of "Tools:Nonloop"

From Termination-Portal.org
Jump to navigationJump to search
 
(One intermediate revision by one other user not shown)
Line 12: Line 12:
 
|university=HTWK Leipzig
 
|university=HTWK Leipzig
 
|developers=Martin Oppelt
 
|developers=Martin Oppelt
 +
|publication=[[Bibtex:Oppelt08]]
 
}}
 
}}
  

Latest revision as of 05:37, 20 May 2009


Nonloop (Nonloop)


Proves non-termination of string rewriting, by searching for patterns in derivations. Can handle non-looping non-termination.