Levels of Undecidability in Rewriting (2011)

Cached

Download Links

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

Documents Related by Co-Citation

954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
481 Recursively enumerable sets and degrees – Robert I Soare - 1987
63 Containers: Constructing strictly positive types – M Abbott, T Altenkirch, N Ghani - 2005
61 Theory of Recursive Functions and Effective Computability – H Rogers Jr - 1967
50 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
44 Recursive predicates and quantifiers – S C Kleene - 1943
27 On Folk Theorems – David Harel - 1980
21 The Tower of Hanoi – A HINZ - 1989
26 Termination of Term Rewriting – Hans Zantema - 2000