Article4019: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Long Cheng (Diskussion | Beiträge) K (1 Version: Automatically imported publication data from DBLP) |
Michael Thomazo (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname=Marie-Laure | |||
|ErsterAutorNachname=Mugnier | |ErsterAutorNachname=Mugnier | ||
|FurtherAuthors=Geneviève Simonet;Michaël Thomazo; | |||
|FurtherAuthors= | |||
Geneviève Simonet; | |||
Michaël Thomazo; | |||
}} | }} | ||
{{Article | {{Article | ||
|Referiert=1 | |Referiert=1 | ||
|Title=On the complexity of entailment in existential conjunctive first-order logic with atomic negation | |Title=On the complexity of entailment in existential conjunctive first-order logic with atomic negation | ||
|To appear=0 | |||
|Year=2012 | |Year=2012 | ||
|Journal=Information and Computation | |||
|Journal= | |||
|Volume=215 | |Volume=215 | ||
|Pages=8-31 | |Pages=8-31 | ||
|Publisher= | |Publisher=Elsevier | ||
|Address= | |Address= | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
| | |Download=Iac-12-mst.pdf | ||
| | |DOI Name=10.1016/j.ic.2012.03.001 | ||
| | |Forschungsgruppe=Computational Logic | ||
|DOI=http://dx.doi.org/10.1016/j.ic.2012.03.001 | |DOI=http://dx.doi.org/10.1016/j.ic.2012.03.001 | ||
}} | }} | ||
Aktuelle Version vom 28. Oktober 2014, 11:32 Uhr
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
Information and Computation, 215:8-31, 2012
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation, 215:8-31, 2012
- 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 = {Information and Computation},
volume = {215},
publisher = {Elsevier},
year = {2012},
pages = {8-31},
doi = {10.1016/j.ic.2012.03.001}
}
