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

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

    Boer F.S.de Embedding as a tool for language comparison / F. S.de Boer, C. Palamidessi, 1991. - 20 p. - Текст : непосредственный.

    failure of failures in a paradigm for asynchronous communication / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.M.Rutten, 1991. - 19 p. - Текст : непосредственный.

    Control flow versus logic: a denotational and a declarative model for quarded Horn clauses / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 15 p. - Текст : непосредственный.

    Semantic models for a version of Parlog / F.S.de Boer,J.N.Kok,C.Palamidessi,J.J.M.Rutten, 1989. - 30 p. - Текст : непосредственный.

    Report:Computer science / CWI. CS-R9216 : theory of first-order builtin's of prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 15 p. - Текст : непосредственный.

    CONCUR 2000 - Concurrency theory : 11th Intern. conf., University Park(Pa), Aug.22-25, 2000Proc. / Ed. C. Palamidessi, 2000. - XI,612 p. p. - Текст : непосредственный.

    Apt K.R. A declarative approach for first-order built-in's of Prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 45 p. - Текст : непосредственный.

    Boer F.S. de fully abstract model for concurrent logic languages / F.S. de Boer,C.Palamidessi, 1990. - 24 p. - Текст : непосредственный.