Disjunctive constraint lambda calculi

Matthias Holzl, John Newsome Crossley

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 12th International Conference on Logic Programming, Artificial Intelligence, and Reasoning (LPAR 2005)
    EditorsGeoff Sutcliffe, Andrei Voronkov
    Place of PublicationBerlin Germany
    PublisherSpringer-Verlag London Ltd.
    Pages64 - 78
    Number of pages15
    Volume3835
    ISBN (Print)0302-9743
    DOIs
    Publication statusPublished - 2005
    EventInternational Conference on Logic Programming and Automated Reasoning 2005 - Montego Bay Jamaica, Berlin Germany
    Duration: 1 Jan 2005 → …

    Conference

    ConferenceInternational Conference on Logic Programming and Automated Reasoning 2005
    Abbreviated titleLPAR 2005
    CityBerlin Germany
    Period1/01/05 → …

    Cite this