Stem obsession$ (all stems)
1 papers:
LICS-2006-LaurentF #bound #clique #complexity #semantics- Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity (OL, LTdF), pp. 179–188.
LICS-2006-LaurentF #bound #clique #complexity #semantics