Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Moustapha Kant
Information about the author Moustapha Kant will soon be added to the site.
Found
1 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
Compact labelings for efficient first‐order model‐checking
2011
We consider graph properties that can be checked from labels, i.e., bit sequences, of...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
