The Π0 2-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)

Cached

Download Links

by Jakob Grue Simonsen
Citations:4 - 0 self

Active Bibliography

14 Data-Oblivious Stream Productivity – Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
5 Complexity of Fractran and productivity – Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks - 2009
1 Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus – Jeroen Ketema, Jakob Grue Simonsen
6 Beating the Productivity Checker Using Embedded Languages – Nils Anders Danielsson
11 Syntacticness, Cycle-Syntacticness and Shallow Theories – Hubert Comon, Marianne Haberstrau, Jean-Perre Jouannaud - 1994
2 Levels of Undecidability in Rewriting – Jörg Endrullis , Herman Geuvers , Jakob Grue Simonsen , Hans Zantema - 2011
The Exact Hardness of Deciding Derivational and Runtime Complexity ∗ – Andreas Schnabl, Jakob Grue Simonsen
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
2 Undecidable Properties on Length-Two String Rewriting Systems – Masahiko Sakai
Degrees of Undecidability in Rewriting – Jörg Endrullis, Herman Geuvers, Hans Zantema - 902
43 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997
0 Least Upper Bounds on the Size of Confluence and Church-Rosser Diagrams in Term Rewriting and λ-Calculus 1 – unknown authors
Primitive and Partial Rewriting – Nachum Dershowitz - 2000
Computation Modular Termination Proofs for Rewriting Using Dependency Pairs – Jürgen Giesl, Thomas Arts, J Urgen Giesl, Enno Ohlebusch
2 Relative Undecidability in Term Rewriting Part 2: The Confluence Hierarchy – Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema - 2002
26 A Collection of Examples for Termination of Term Rewriting Using Dependency Pairs – Thomas Arts, Jürgen Giesl - 2001
TERMINATION OF LINEAR BOUNDED TERM REWRITING SYSTEMS – Ir Ène, Durand, G Éraud, Sénizergues, Marc Sylvestre
REPRESENTATIONS OF STREAM PROCESSORS USING NESTED FIXED POINTS – Peter Hancock A, Dirk Pattinson B, Neil Ghani C - 2008
15 Representations of stream processors using nested fixed points – Peter Hancock, Dirk Pattinson, Neil Ghani