Kung-Kiu Lau (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

25 Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund: Steadfast Logic Programs. J. Log. Program. 38(3): 259-294 (1999)

10 Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund: The Halting Problem for Deductive Synthesis of Logic Programs. ICLP 1994: 665-683

Selection of 2 from 77 records - Kung-Kiu Lau has 47 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

25		Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund: Steadfast Logic Programs. J. Log. Program. 38(3): 259-294 (1999)
10		Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund: The Halting Problem for Deductive Synthesis of Logic Programs. ICLP 1994: 665-683