Вы здесь

Главная

Lau K. -K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Synthesis of a Family of Recursive Sorting Procedures 1991 Lau K. -K., Prestwich S. D. Logic Programming: Proc./1991 Intern. Symp. 04.01.1995
СТ 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
СТ 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
СТ Towards an Introductory Formal Programming Course 1994 Lau K. -K., Bush V. J., Jinks P. J. SIGCSE Bull. 31.05.1994
СТ On Specification Frameworks and Deductive Synthesis of Logic Programs 1994 Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 12.01.1995
СТ 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
СТ 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
СТ 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
СТ Forms of Logic Specifications: A Preliminary Study 1997 Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 12.04.1997
СТ On Correct Program Schemas 1998 Flener P., Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 14.10.1998
СТ 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 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
СТ Logic for Component-Based Software Development 2002 Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 29.08.2002
СТ 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 Based Program Synthesis and Transformation: Proc./10th Intern. Workshop, LOPSTR 2000, London, UK, July 2000 2001 Lecture Notes in Computer Science
  1. Lau K. -K.
 23.06.2001
СБ Formal Methods and Software Engineering: Proc./7th International Conference on Formal Engineering Methods, ICFEM 2005. Manchester, UK, November 2005 2005 Lecture Notes in Computer Science
  1. Lau K. -K.
  2. Banach R.
 06.12.2005
СБ Service-Oriented and Cloud Computing: Proc./2nd European Conference, ESOCC 2013, Malaga, Spain, September 2013 2013 Lecture Notes in Computer Science
  1. Lau K. -K.
  2. Lamersdorf W.
  3. Pimentel E.
 18.11.2013
СБ Service-Oriented and Cloud Computing: Proc./3rd European Conference, ESOCC 2014, Manchester, UK, September 2014 2014 Lecture Notes in Computer Science
  1. Villari M.
  2. Zimmermann W.
  3. Lau K. -K.
 18.11.2014