Collaborated with:
J.Niehren A.Podelski
Talks about:
constraint (1) inclus (1) empti (1) tree (1) set (1) non (1)
Person: Martin Müller 0001
DBLP: 0001:Martin_M=uuml=ller
Contributed to:
Wrote 1 papers:
- TAPSOFT-1997-MullerNP #constraints #set
- Inclusion Constraints over Non-empty Sets of Trees (MM0, JN, AP), pp. 345–356.