Jørgensen, Jesper

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

Efficiently generating efficient generating extensions in prolog

Jørgensen, J., & Leuschel, M. (1996) · Lecture Notes in Computer Science

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

Cited by 26

Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN

Leuschel, M., & Jørgensen, J. (2000) · Electronic Notes in Theoretical Computer Science

Logic, programming, and type systemsAdvanced Database Systems and Queries

Cited by 11