Level Two of the Quantifier Alternation Hierarchy Over Infinite Words.
Saved in:
| Title: | Level Two of the Quantifier Alternation Hierarchy Over Infinite Words. |
|---|---|
| Authors: | Kufleitner, Manfred1, kufleitner@fmi.uni-stuttgart.de, Walter, Tobias1, 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.
|
|
Be the first to leave a comment!
