Finding Finite Herbrand Models

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12)
Seiten138-152
Seitenumfang15
PublikationsstatusVeröffentlicht - 2012
Peer-Review-StatusJa

Externe IDs

Scopus 84858304025

Schlagworte

Schlagwörter

  • herbrand models