( en | de | ru )

 

Disambiguation of "Lau, Kung-Kiu"

Author of the publication

copydeleteadd this publication to your clipboard
Logic Program Synthesis

, and . Journal of Logic Programming, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zigmas Kungys

Hans Kungl

Angela Brigitte Kung

Martin Kiuntke

Matti Kiupel

 

Other publications of authors with the same name

Workflow Variability for Autonomic IoT Systems., and . ICAC, page 24-30. IEEE, (2019)Logic for Component-Based Software Development., and . Computational Logic: Logic Programming and Beyond, volume 2407 of Lecture Notes in Computer Science, page 347-373. Springer, (2002)FFT on a New Parallel Vector Processor., and . CONPAR, volume 237 of Lecture Notes in Computer Science, page 84-94. Springer, (1986)Logic Programming for Software Engineering: A Second Chance., and . ICLP, volume 2401 of Lecture Notes in Computer Science, page 437-451. Springer, (2002)Defining and Checking Deployment Contracts for Software Components., and . CBSE, volume 4063 of Lecture Notes in Computer Science, page 1-16. Springer, (2006)Control Encapsulation: A Calculus for Exogenous Composition of Software Components., and . CBSE, volume 5582 of Lecture Notes in Computer Science, page 121-139. Springer, (2009)Preface., , , and . CLASE, volume 153 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2005)A Formal Approach to Deductive Synthesis of Constraint Logic Programs., and . ILPS, page 543-557. MIT Press, (1995)Correct-Schema-Guided Synthesis of Steadfast Programs., , and . ASE, page 153-. IEEE Computer Society, (1997)X-MAN: An MDE Tool for Component-Based System Development., and . EUROMICRO-SEAA, page 158-165. IEEE Computer Society, (2012)