Finding Finite Herbrand Models

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12)
Pages138-152
Number of pages15
Publication statusPublished - 2012
Peer-reviewedYes

External IDs

Scopus 84858304025

Keywords

Keywords

  • herbrand models