Disjunctive constraint lambda calculi

Matthias Holzl, John Newsome Crossley

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

    1 Citation (Scopus)
    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
    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