Kung-Kiu Lau (lau-kk)

Contributi a Philosophie.ch

Bibliography

Lau, Kung-Kiu and Ornaghi, Mario. 1994. “On Specification Frameworks and Deductive Synthesis of Logic Programs.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 104–121. Berlin: Springer.