Skip to main navigation Skip to search Skip to main content

Abstract Domains Based on Regular Types

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    431 Downloads (Pure)
    Original languageDanish
    Title of host publication20th International Conference, ICLP 2004, Proceedings
    EditorsBart Demoen, Vladimir Lifschitz
    PublisherSpringer
    Publication date2004
    ISBN (Print)3-540-22671-0
    Publication statusPublished - 2004
    EventThe 20th International Conference on Logic Programming - Saint-Malo, France
    Duration: 6 Sept 200410 Sept 2004

    Conference

    ConferenceThe 20th International Conference on Logic Programming
    Country/TerritoryFrance
    CitySaint-Malo
    Period06/09/200410/09/2004

    Citation Styles