On the complexity of entailment in existential conjunctive first-order logic with atomic negation

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)8-31
Seitenumfang24
FachzeitschriftInformation and computation
Jahrgang215
PublikationsstatusVeröffentlicht - 2012
Peer-Review-StatusJa

Externe IDs

Scopus 84858734594

Schlagworte