( en | de | ru )

 

Disambiguierung von "Martens, Bern"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures.

, , und . FGCS, Seite 473-480. IOS Press, (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Erwin Bern

Bern Ebel

Arno Bern

Bern-Dietrich Buller

Bern-Ludwig Carrière

 

Weitere Publikationen von Autoren mit dem selben Namen

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