Вход
Электронный каталог
Klop J.W. Term rewriting systems / J. W. Klop, 1990. - 132 p. - Текст : непосредственный.
Klop J.W. geometric proof of confluence by decreasing diagrams / J.W.Klop,V.van Oostrom,R.de Vrijer, 2000. - 22 p. - Текст : непосредственный.
simplified proof of Toyama's theorem / J.W.Klop,A.Middeldorp,Y.Toyama,R.C. de Vrijer, 1991. - 9 p. - Текст : непосредственный.