On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Work
Year: 2012
Type: article
Source: Information and Computation
Institutions Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, Institut national de recherche en informatique et en automatique, Centre National de la Recherche Scientifique
Cites: 35
Cited by: 9
Related to: 10
FWCI: 0.726
Citation percentile (by year/subfield): 84.52
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze