( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Termination Analysis for Tabled Logic Programming.

, , , , и . LOPSTR, том 1463 из Lecture Notes in Computer Science, стр. 111-127. Springer, (1997)

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.

Erwin Bern

Arno Bern

Bern Ebel

Bern-Dietrich Buller

Bern-Ludwig Carrière

 

Другие публикации лиц с тем же именем

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