Article4019

PublikationenPublications

• Nach AutorBy Author
  • Michaël ThomazoMichaël Thomazo
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

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

Marie-Laure MugnierMarie-Laure Mugnier,  Geneviève SimonetGeneviève Simonet,  Michaël ThomazoMichaël Thomazo

Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Inf. Comput., 215:8-31, 2012

• Details
• Bibtex

• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@article{MST2012,
  author  = {Marie-Laure Mugnier and Genevi{\`{e}}ve Simonet and Micha{\"{e}}l
             Thomazo},
  title   = {On the complexity of entailment in existential conjunctive
             first-order logic with atomic negation},
  journal = {Inf. Comput.},
  volume  = {215},
  year    = {2012},
  pages   = {8-31}
}