Morten Heine Sørensen

University of Copenhagen

2 papers on CoChat

Most cited papers

Verified
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
Verified
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

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free