RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

One quantifier alternation in first-order logic with modular predicates

Manfred Kufleitner and Tobias Walter

RAIRO-Theor. Inf. Appl., 49 1 (2015) 1-22

Published online: 18 February 2015

DOI: 10.1051/ita/2014024

Manfred Kufleitner

Tobias Walter

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)