1986 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1986 2019

Filter
Paper
2002

A theory of overloading

Stuckey, P. J. & Sulzmann, M., 1 Dec 2002, p. 167-178. 12 p.

Research output: Contribution to conferencePaperOtherpeer-review

Exception analysis for non-strict languages

Glynn, K., Stuckey, P. J., Sulzmann, M. & Søndergaard, H., 1 Dec 2002, p. 98-109. 12 p.

Research output: Contribution to conferencePaperOtherpeer-review

Reducing search space in local search for constraint satisfaction

Fang, H., Kilani, Y., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2002, p. 28-33. 6 p.

Research output: Contribution to conferencePaperOtherpeer-review

1991

Magic sets and bottom-up evaluation of well-founded models

Kemp, D. B., Stuckey, P. J. & Srivastava, D., 1 Dec 1991, p. 337-351. 15 p.

Research output: Contribution to conferencePaperOtherpeer-review

Semantics of logic programs with aggregates

Kemp, D. B. & Stuckey, P. J., 1 Dec 1991, p. 387-401. 15 p.

Research output: Contribution to conferencePaperOtherpeer-review