Вы здесь

Lau K. -K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Correct OO Systems in Computational Logic 2004 Lau K. -K., Ornaghi M. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ Specifying Compositional Units for Correct Program Development in Computational Logic 2004 Lau K. -K., Ornanghi M. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.07.2004
СТ Logic for Component-Based Software Development 2002 Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 29.08.2002
СТ On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic 2000 Filipe J. K., Lau K. -K., Ornaghi M., Yatsu H. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.08.2000
СТ OOD Frameworks in Component-Based Software - Development in Computational Logic 1999 Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 16.04.1999
СТ On Correct Program Schemas 1998 Flener P., Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 14.10.1998
СТ Forms of Logic Specifications: A Preliminary Study 1997 Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 12.04.1997
СТ Correctness of Logic Program Transformations Based on Existential Termination 1995 Lau K. -K., Ornaghi M., Pettorossi A., Proietti M. Logic Programming: Proc. of the 1995 Intern. Symp. 25.04.1996
СТ A Formal Approach to Deductive Synthesis of Constraint Logic Programs 1995 Lau K. -K., Ornaghi M. Logic Programming: Proc. of the 1995 Intern. Symp. 25.04.1996
СТ Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs 1996 Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 30.03.1996
СТ The Halting Problem for Deductive Synthesis of Logic Programs 1994 Lau K. -K., Ornaghi M., Tarnlund S. -A. Logic Programming: Proc. of the Eleventh Intern. Conf. 01.02.1996
СТ A Tutorial on Synthesis of Logic Programs from Specifications 1994 Lau K. -K., Wiggins G. Logic Programming: Proc. of the Eleventh Intern. Conf. 31.01.1996
СТ On Specification Frameworks and Deductive Synthesis of Logic Programs 1994 Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 12.01.1995
СТ Synthesis of a Family of Recursive Sorting Procedures 1991 Lau K. -K., Prestwich S. D. Logic Programming: Proc./1991 Intern. Symp. 04.01.1995
СТ Towards an Introductory Formal Programming Course 1994 Lau K. -K., Bush V. J., Jinks P. J. SIGCSE Bull. 31.05.1994