Glück, Robert

An Algorithm of Generalization in Positive Supercompilation

Sørensen, M. H., & Glück, R. (1995) · Logic Programming

Logic, programming, and type systemsComputability, Logic, AI Algorithms

Cited by 145

Occam's razor in metacomputation: the notion of a perfect process tree

Glück, R., & Klimov, A. V. (1993) · Lecture Notes in Computer Science

Logic, programming, and type systemssemigroups and automata theory

Cited by 106

Conjunctive partial deduction: foundations, control, algorithms, and experiments

De Schreye, D., Glück, R., Jørgensen, J., Leuschel, M., Martens, B., & Sørensen, M. H. (1999) · The Journal of Logic Programming

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 96