View in EDS HTML Full Text PDF Full Text

Level Two of the Quantifier Alternation Hierarchy Over Infinite Words.

Saved in:

Bibliographic Details
Title:	Level Two of the Quantifier Alternation Hierarchy Over Infinite Words.
Authors:	Kufleitner, Manfred¹, kufleitner@fmi.uni-stuttgart.de, Walter, Tobias¹, walter@fmi.uni-stuttgart.de
Source:	Theory of Computing Systems; Apr2018, Vol. 62 Issue 3, p467-480, 14p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	14324350
DOI:	10.1007/s00224-017-9801-x