Levels of Undecidability in Rewriting (2011)

Cached

Download Links

by Jörg Endrullis , Herman Geuvers , Jakob Grue Simonsen , Hans Zantema
Citations:2 - 1 self

Active Bibliography

Degrees of Undecidability in Rewriting – Jörg Endrullis, Herman Geuvers, Hans Zantema - 902
2 Decidable Call-by-Need Computations in Term Rewriting – Irène Durand, Aart Middeldorp - 2004
Bottom-up rewriting for words and terms – Irène Durand, Géraud Sénizergues - 2009
15 Approximating dependency graphs using tree automata techniques – Aart Middeldorp - 2001
TERMINATION OF LINEAR BOUNDED TERM REWRITING SYSTEMS – Ir Ène, Durand, G Éraud, Sénizergues, Marc Sylvestre
2 Relative Undecidability in Term Rewriting Part 2: The Confluence Hierarchy – Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema - 2002
5 Complexity of Fractran and productivity – Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks - 2009
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
4 Decidability of termination for semi-constructor TRSs, left-linear shallow TRSs and related systems – Yi Wang, Masahiko Sakai - 2006
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems – Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe
1 Kleene’s Amazing Second Recursion Theorem (Extended Abstract) – Yiannis N. Moschovakis
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
On the Complexity of Deciding Call-by-Need – Irène Durand, Aart Middeldorp
Church’s Thesis – Guram Bezhanishvili
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
28 Evaluation Strategies for Functional Logic Programming – Sergio Antoy - 2001
Left-linear Bounded TRSs are Inverse Recognizability Preserving – Irène Durand, Marc Sylvestre - 2011
43 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997