Herbrand Constraint Solving in HAL

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

    Original languageEnglish
    Title of host publicationLogic Programming Proceedings of the 1999 International Conference on Logic Programming
    Place of PublicationMassachusets USA
    PublisherMassachusetts Institute of Technology Press
    Pages260 - 274
    Number of pages15
    Publication statusPublished - 1999
    EventInternational Conference on Logic Programming 1999 - Las Cruces, United States of America
    Duration: 29 Nov 19994 Dec 1999
    Conference number: 16th

    Conference

    ConferenceInternational Conference on Logic Programming 1999
    Abbreviated titleICLP 1999
    Country/TerritoryUnited States of America
    CityLas Cruces
    Period29/11/994/12/99

    Cite this