130
click to vote
SOFSEM
2010
Springer
16 years 4 hour ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...