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

страница из

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

Alma-O : сборник научных трудов / K. R. Apt, J. Brunekreef, V. Partington, A. Schaerf, 1997. - 42 p. - Текст : непосредственный.

Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.

Apt K.R. Search and imperative programming / K. R. Apt, A. Schaerf, 1996. - 21 p. - Текст : непосредственный.

Apt K.R. Program verification and Prolog / K. R. Apt, 1994. - 35 p. - Текст : непосредственный.

Apt K.R. Arrays,bounded quantification and iteration in logic and constraint logic programming / K.R.Apt, 1995. - 15 p. - Текст : непосредственный.

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

Apt K.R. A closer look at declarative interpretations / K.R.Apt,M.Gabbrielli,D.Pedreschi, 1994. - 31 p. - Текст : непосредственный.

Olderog E.-R. Using transformations to verify parallel programs / E.-R.Olderog,K.R.Apt, 1989. - 27 p. - Текст : непосредственный.

Apt K.R. The STO-problem is NP-hard / K.R.Apt,E.van Baas,A.Welling, 1994. - 7 p. - Текст : непосредственный.

Apt K.R. Comparing negation in logic programming and in prolog / K.R.Apt,F.Teusink, 1994. - 18 p. - Текст : непосредственный.

Apt K.R. Proving termination of parallel programs / K.R.Apt,F.S. de Boer,E.-R.Olderog, 1990. - 7 p. - Текст : непосредственный.

Apt K.R. Introduction to program verification / K.R.Apt,E.-R.Olderog, 1990. - 70 p. - Текст : непосредственный.

Apt K.R. Proving termination of general Prolog programs / K.R.Apt,D.Pedreschi, 1991. - 23 p. - Текст : непосредственный.

Apt K.R. Modular termination proofs for logic and pure Prolog programs / K.R.Apt,D.Pedreschi, 1993. - 35 p. - Текст : непосредственный.

Apt K.R. Declarative programming in Prolog / K.R.Apt, 1993. - 21 p. - Текст : непосредственный.

Apt K.R. Reasoning about Prolog programs:from modes through types to assertions / K.R.Apt,E.Marchiori, 1993. - 22 p. - Текст : непосредственный.

Apt K.R. Verification of sequential and concurrent programs / K.R.Apt,E.R.Olderog, 1997. - XVII,364 p. p. - Текст : непосредственный.

Apt K.R. From chaotic iteration to constraint propagation / K.R.Apt, 1997. - 17 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. - Текст : непосредственный.

Apt K.R. Studies in pure Prolog: termination / K.R.Apt,D.Pedreschi, 1990. - 25 p. - Текст : непосредственный.