1![Non-termination of String and Cycle Rewriting by Automata Hans Zantema and Alexander Fedotov Eindhoven, Nijmegen The Netherlands Non-termination of String and Cycle Rewriting by Automata Hans Zantema and Alexander Fedotov Eindhoven, Nijmegen The Netherlands](https://www.pdfsearch.io/img/946173e4d23ce7614aa5ed6babe4f9fb.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.atLanguage: English - Date: 2016-09-11 10:17:32
|
---|
2![Termination of term graph rewriting Hans Zantema Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen Joined work with Dennis Nolte and Barbara K¨ onig Termination of term graph rewriting Hans Zantema Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen Joined work with Dennis Nolte and Barbara K¨ onig](https://www.pdfsearch.io/img/94afa239afda65720b1eb09cf6517577.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.atLanguage: English - Date: 2016-09-11 10:17:32
|
---|
3![SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany](https://www.pdfsearch.io/img/ada0108b5b0c8519a99f4bd72c89947b.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2009-06-09 05:12:21
|
---|
4![Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009 Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009](https://www.pdfsearch.io/img/43f8d7d4b5d5ac4e6944a817a9310512.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2010-01-06 11:26:31
|
---|