SULZMANN, MARTIN

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

SULZMANN, MARTIN

(not current staff)

Variants

Sulzmann, M.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcssulzm@nus.edu.sg

Refined By:

Author: Duck, G.J.

Author: Sulzmann, M.

Department: DEPARTMENT OF COMPUTER SCIENCE

Results 1-3 of 3 (Search time: 0.002 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2007	Observable confluence for constraint handling rules	Duck, G.J.; Stuckey, P.J.; Sulzmann, M.
2	2004	Sound and decidable type inference for functional dependencies	Duck, G.J.; Peyton-Jones, S.; Stuckey, P.J.; Sulzmann, M.
3	2007	Understanding functional dependencies via constraint handling rules	Sulzmann, M. ; Duck, G.J.; Peyton-Jones, S.; Stuckey, P.J.