Compact labelings for efficient first-order model-checking
Work
Year: 2009
Type: article
Institutions Université de Bordeaux, Centre National de la Recherche Scientifique, Laboratoire Bordelais de Recherche en Informatique
Cites: 36
Cited by: 5
Related to: 10
FWCI:
Citation percentile (by year/subfield): 66.38
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green