On the adequacy of graph rewriting for simulating term rewriting / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.-J. de Vries, 1992. - 18 p. - Текст : непосредственный.
Transfinite reductions in orthogonal term rewriting systems (extended abstract) / J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J.de Vries, 1990. - 16 p. - Текст : непосредственный.
infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 12 p. - Текст : непосредственный.
Transfinite reductions in orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 48 p. - Текст : непосредственный.
Kennaway J.R. On transfinite abstract reduction systems / J.R.Kennaway, 1992. - 12 p. - Текст : непосредственный.
Event structures and orthogonal term graph rewriting / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.J.de Vries, 1993. - 19 p. - Текст : непосредственный.
Comparing curried and uncurried rewriting / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.J.de Vries, 1993. - 25 p. - Текст : непосредственный.
Infinitary lambda calculus / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.-J.de Vries, 1995. - 15 p. - Текст : непосредственный.
Приложение
для Android