Productivity of stream definitions (2008)
Endrullis, Jörg, Grabmayer, Clemens, Hendriks, D., Isihara, Ariya, Klop, J.W.
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called ‘productive’ if it can be evaluated continually in such...
Root Stabilisation Using Dependency Pairs (2008)
A dependency pair problem [1] is elegantly formulated as a relative termination problem [2]: For a TRS R = (Σ, R), does → DP(R) terminate relative to →R when the steps from → DP(R) occur as...
Productivity of Stream Definitions (2007)
Endrullis, Jörg, Grabmayer, Clemens, Hendriks, Dimitri, Isihara, Ariya, Klop, Jan
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called ‘productive’ if it can be evaluated continuously in such...
Productivity of Stream Definitions (2007)
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called ‘productive ’ if it can be evaluated continually in such...
Decomposing terminating rewrite relations (2006)
Jörg Endrullis, Dieter Hofbauer, Johannes Waldmann
We decompose an arbitrary rewrite relation into the product of a context-free system and an inverse context-free system with empty right-hand sides. By requiring both of these relations to be...