Author of the publication

Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures.

, , and . FGCS, page 473-480. IOS Press, (1992)

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.

 

Other publications of authors with the same name

Co-de: an online learning platform for computational thinking., , , and . WiPSCE, page 32:1-32:2. ACM, (2018)Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures., , and . Theor. Comput. Sci., 122 (1&2): 97-117 (1994)Positioning computer science in Flemish K-12 education: a reflection., and . WiPSCE, page 35-36. ACM, (2013)Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph., and . Expert Database Conf., page 567-601. Benjamin/Cummings, (1988)Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures., , and . FGCS, page 473-480. IOS Press, (1992)Starting from scratch: experimenting with computer science in Flemish secondary education., , and . WiPSCE, page 12-15. ACM, (2014)A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation., and . META, volume 649 of Lecture Notes in Computer Science, page 192-204. Springer, (1992)Integrity Constraints and Interactive Concept-Learning., , and . ML, page 394-398. Morgan Kaufmann, (1991)Preserving Termination of Tabled Logic Programs While Unfolding., , and . LOPSTR, volume 1463 of Lecture Notes in Computer Science, page 189-205. Springer, (1997)Controlling Conjunctive Partial Deduction., , , and . PLILP, volume 1140 of Lecture Notes in Computer Science, page 152-166. Springer, (1996)