( en | de | ru )

 

Disambiguation of "Martens, Bern"

Author of the publication

copydeleteadd this publication to your clipboard
Project Report on LP+: A Second Generation Logic Programming Language.

, , , , , and . AI Commun., 13 (1): 13-18 (2000)

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

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).Project Report on LP+: A Second Generation Logic Programming Language., , , , , and . AI Commun., 13 (1): 13-18 (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)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)Compiling Bottom-up and Mixed Derivations into Top-down Executable Logic Programs., , , and . J. Autom. Reason., 7 (3): 337-358 (1991)