Browse by Journal and Volume
Up a level23 June 2017
Fuhs, Carsten and Kop, C. and Nishida, N. (2017) Verifying procedural programs via constrained rewriting induction. ACM Transactions on Computational Logic 18 (2), ISSN 1529-3785.
21 August 2017
Bresolin, D. and Kurucz, A. and Muñoz-Velasco, E. and Ryzhikov, Vladislav and Sciavicco, G. and Zakharyaschev, Michael (2017) Horn fragments of the Halpern-Shoham Interval Temporal Logic. ACM Transactions on Computational Logic 18 (3), pp. 1-39. ISSN 1529-3785.
19 December 2017
Chen, Hubie and Mueller, M. (2017) One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. ACM Transactions on Computational Logic 18 (4), ISSN 1529-3785.
