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

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

    Middeldorp A. Counterexamples to completeness results for basic narrowing / A. Middeldorp, E. Hamoen, 1991. - 44 p. - Текст : непосредственный.

    Middeldorp A. Completeness of combinations of constructor systems / A. Middeldorp, Y. Toyama, 1990. - 18 p. - Текст : непосредственный.

    Middeldorp A. Modular properties of conditional term rewriting systems / A. Middeldorp, 1991. - 42 p. - Текст : непосредственный.

    Middeldorp A. rewrite approach to polynomial ideal theory / A.Middeldorp,M.Starcevic, 1991. - 28 p. - Текст : непосредственный.

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

    Middeldorp A. Confluence of the disjoint union of conditional term rewriting systems / A.Middeldorp, 1989. - 18 p. - Текст : непосредственный.

    Middeldorp A. Termination of disjoint unions of conditional term rewriting systems / A.Middeldorp, 1989. - 24 p. - Текст : непосредственный.

    Middeldorp A. Unique normal forms for disjoint unions of conditional term rewriting systems / A.Middeldorp, 1990. - 16 p. - Текст : непосредственный.

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

    Processes, terms and cycles: steps on the road to infinity : essays dedicated to Jan Willem klopon the occasion of his 60th birthday / SpringerLink (Online service), 2005 r=on-line