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]
@inproceedings{LaurentF06,
title = {Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity},
author = {Olivier Laurent and Lorenzo Tortora de Falco},
year = {2006},
doi = {10.1109/LICS.2006.37},
url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2006.37},
researchr = {https://researchr.org/publication/LaurentF06},
cites = {0},
citedby = {0},
pages = {179-188},
booktitle = {21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings},
publisher = {IEEE Computer Society},
}