Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Tim Enger"'
Publikováno v:
Automated Reasoning ISBN: 9783642313646
IJCAR
IJCAR
We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-looping non-termination.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef2e1e31a17092f847ac00718e05590e
https://doi.org/10.1007/978-3-642-31365-3_19
https://doi.org/10.1007/978-3-642-31365-3_19
