Вы здесь

Apt K. R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Explaining Constraint Programming 2005 Apt K. R. Lecture Notes in Computer Science Lecture Notes in Computer Science 21.03.2006
СТ Rule-Based Versus Procedure-Based View of Logic Programming 2001 Apt K. R., Smus J. -G. Joint Bull. of NCC and IIS 05.04.2002
СТ The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming 1999 Apt K. R., Scherff A. Lecture Notes in Computer Science 20.11.1999
СТ Component-Based Framework for Constraint Programming 1999 Apt K. R. Perspectives of System Informatics: Preliminary Proc. of A.Ershov Third Intern. Conf. 02.07.1999
СТ Logic Programming 1994 Apt K. R. Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B 27.01.1998
СТ Declarative Interpretations Reconsidered 1994 Apt K. R., Gabbrielli M. Logic Programming: Proc. of the Eleventh Intern. Conf. 31.01.1996
СТ Verification of Logic Programs with Delay Declarations 1995 Apt K. R., Luitjes I. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Arithmetic Classification of Perfect Models of Stratified Programs 1988 Apt K. R., Blair H. A. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 03.10.1994
СТ Declarative Programming in Prolog 1993 Apt K. R. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ On the Occur-Check-Free PROLOG Programs 1994 Apt K. R., Pellegrini A. ACM Trans. Programming Languages and Systems 01.09.1994
СТ On the Unification Free Prolog Programs 1993 Apt K. R., Etalle S. Lecture Notes in Computer Science 20.10.1993
СТ Why the Occur-check is Not a Problem 1992 Apt K. R., Pellegrini A. Lecture Notes in Computer Science 13.10.1992
СТ Ten Years of Hoare s Logic:A Survey - Part 1 1981 Apt K. R. ACM Trans. Programming Language and Systems 22.05.1992