Article thumbnail

A Scalable Inclusion Constraint Solver Using Unification

By Ye Zhang and Flemming Nielson
Publisher: Springer Verlag
Year: 2007
OAI identifier: oai:pure.atira.dk:publications/bc20ff9b-55f9-4cc3-9ab0-128350f2d3fd
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://orbit.dtu.dk/en/public... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.