Электронный каталог

страница из

всего найдено записей: 23,
  отображать
10 записей 20 записей 40 записей

CONCUR'90 : материал технической информации / Comp.: J. C.M. Baeten, J. W. Klop, 1990. - VII,536 p. p. - Текст : непосредственный.

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. - Текст : непосредственный.

Klop J.W. Term rewriting systems / J. W. Klop, 1990. - 132 p. - Текст : непосредственный.

Klop J.W. Extended term rewriting systems / J. W. Klop, R. C.de Vrijer, 1991. - 25 p. - Текст : непосредственный.

Ariola Z.M. Lambda calculus with explicit recursion / Z. M. Ariola, J. W. Klop, 1996. - 75 p. - Текст : непосредственный.

Ariola Z.M. Equational term graph rewriting / Z.M.Ariola,J.W.Klop, 1995. - 55 p. - Текст : непосредственный.

Bol R.N. analysis of loop checking mechanisms for logic programs / R.N.Bol,K.R.Apt,J.W.Klop, 1989. - 56 p. - Текст : непосредственный.

Dershowitz N. Open problems in rewriting / N.Dershowitz,J.-P.Jouannaud,J.W.Klop, 1991. - 23 p. - Текст : непосредственный.

Klop J.W. geometric proof of confluence by decreasing diagrams / J.W.Klop,V.van Oostrom,R.de Vrijer, 2000. - 22 p. - Текст : непосредственный.

Klop J.W. Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond / J.W.Klop, 1990. - 20 p. - Текст : непосредственный.

Klop J.W. Combinatory reduction systems:introduction and survey / J.W.Klop,V.van Oostrom,F.van Raamsdonk, 1993. - 26 p. - Текст : непосредственный.

Klop J.W. Sequentiality in orthogonal term rewriting system / J.W.Klop,A.Middeldorp, 1989. - 38 p. - Текст : непосредственный.

Dershowitz N. More problems in rewriting / N.Dershowitz,J.-P.Jouannaud,J.W.Klop, 1993. - 19 p. - Текст : непосредственный.

simplified proof of Toyama's theorem / J.W.Klop,A.Middeldorp,Y.Toyama,R.C. de Vrijer, 1991. - 9 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. - Текст : непосредственный.