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

454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
622 Molecular Computation Of Solutions To Combinatorial Problems – Leonard M. Adleman - 1994
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
568 Term Rewriting Systems – J. W. Klop - 1992
639 A Survey of Program Slicing Techniques – F. Tip - 1995
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
310 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
14 Data-Oblivious Stream Productivity – Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks