Browse by Journal and Volume

14 July 2014

Chen, Hubie (2014) The tractability frontier of graph-like first-order query sets. In: UNSPECIFIED (ed.) CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM Publications. ISBN 9781450328869.

August 2017

Chen, Hubie (2017) The Tractability Frontier of Graph-Like First-Order Query Sets. Journal of the ACM 64 (4), pp. 1-29. ISSN 000-45411.