Compact labelings for efficient first-order model-checking
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha KantéVolume:
21
Language:
english
Pages:
28
DOI:
10.1007/s10878-009-9260-7
Date:
January, 2011
File:
PDF, 701 KB
english, 2011