A Scalable Inclusion Constraint Solver Using Unification

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 17th International Symposium on Logic-Based Program Symthesis and Transformation
    Number of pages217
    PublisherSpringer Verlag
    Publication date2007
    Pages121-137
    ISBN (Print)978-3-540-78768-6
    Publication statusPublished - 2007
    EventA Scalable Inclusion Constraint Solver Using Unification -
    Duration: 1 Jan 2007 → …

    Conference

    ConferenceA Scalable Inclusion Constraint Solver Using Unification
    Period01/01/2007 → …
    SeriesLecture Notes in Computer Science
    Number4915

    Cite this