Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity

Olivier Laurent, Lorenzo Tortora de Falco. Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. In 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings. pages 179-188, IEEE Computer Society, 2006. [doi]

Authors

Olivier Laurent

This author has not been identified. Look up 'Olivier Laurent' in Google

Lorenzo Tortora de Falco

This author has not been identified. Look up 'Lorenzo Tortora de Falco' in Google