Complexity of existential positive first-order logic

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

Contributors

  • Manuel Bodirsky - , Ecole Polytechnique (Author)
  • Miki Hermann - (Author)
  • Florian Richoux - (Author)

Details

Original languageEnglish
Pages (from-to)753-760
Number of pages8
Journal Journal of logic and computation
Volume23
Issue number4
Publication statusPublished - 2013
Peer-reviewedYes
Externally publishedYes

External IDs

Scopus 84880560602
ORCID /0000-0001-8228-3611/work/142241156

Keywords

Library keywords