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

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

Details

Original languageEnglish
Pages (from-to)8-31
Number of pages24
JournalInformation and computation
Volume215
Publication statusPublished - 2012
Peer-reviewedYes

External IDs

Scopus 84858734594

Keywords