OUP accepted manuscript

DOI10.1093/logcom/exx007zbMath1444.03108arXiv1511.02175OpenAlexW2963010131MaRDI QIDQ5894702

Carlos E. P. Ortiz, Argimiro A. Arratia

Publication date: 13 February 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1511.02175

Mathematics Subject Classification ID

Logic in computer science (03B70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13)

This page was built for publication: OUP accepted manuscript