( en | de | ru )

 

Disambiguation of "Martens, Bern"

Author of the publication

copydeleteadd this publication to your clipboard
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance.

, and . ICLP, page 597-611. MIT Press, (1995)

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.

Erwin Bern

Arno Bern

Bern Ebel

Bern-Dietrich Buller

Bern-Ludwig Carrière

 

Other publications of authors with the same name

Project Report on LP+: A Second Generation Logic Programming Language., , , , , and . AI Commun., 13 (1): 13-18 (2000)Co-de: an online learning platform for computational thinking., , , and . WiPSCE, page 32:1-32:2. ACM, (2018)Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments., , , , , and . J. Log. Program., 41 (2-3): 231-277 (1999)Erratum: JLP 43(3): 265 (2000).Some Achievements and Prospects in Partial Deduction., , and . ACM Comput. Surv., 30 (3es): 4 (1998)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)Starting from scratch: experimenting with computer science in Flemish secondary education., , and . WiPSCE, page 12-15. ACM, (2014)Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures., , and . FGCS, page 473-480. IOS Press, (1992)Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph., and . Expert Database Conf., page 567-601. Benjamin/Cummings, (1988)Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs., , , and . J. Autom. Reason., 7 (3): 337-358 (1991)