Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

One quantifier alternation in first-order logic with modular predicates

Manfred Kufleitner, Tobias Walter

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

Published online: 2015-02-18

DOI: https://doi.org/10.1051/ita/2014024

This article has been cited by the following article(s):

Level Two of the Quantifier Alternation Hierarchy Over Infinite Words

Manfred Kufleitner and Tobias Walter
Theory of Computing Systems 62 (3) 467 (2018)
DOI: 10.1007/s00224-017-9801-x
See this article

Computer Science – Theory and Applications

Manfred Kufleitner and Tobias Walter
Lecture Notes in Computer Science, Computer Science – Theory and Applications 9691 223 (2016)
DOI: 10.1007/978-3-319-34171-2_16
See this article