%0 Journal Article %1 fleischer2017halflevels %A Fleischer, Lukas %A Kufleitner, Manfred %A Lauser, Alexander %D 2017 %I Springer %J Theory of computing systems %K %N 2 %P 352-370 %R 10.1007/s00224-016-9712-2 %T The Half-Levels of the FO2 Alternation Hierarchy %V 61

@article{fleischer2017halflevels, added-at = {2023-08-31T14:50:11.000+0200}, affiliation = {Kufleitner, M (Reprint Author), Univ Stuttgart, FMI, Stuttgart, Germany. Fleischer, Lukas; Kufleitner, Manfred; Lauser, Alexander, Univ Stuttgart, FMI, Stuttgart, Germany.}, author = {Fleischer, Lukas and Kufleitner, Manfred and Lauser, Alexander}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/243558a69b85757e34de3c1c2442571c4/puma-wartung}, doi = {10.1007/s00224-016-9712-2}, interhash = {41b74a75c54f11cbbf7c28b192b663f8}, intrahash = {43558a69b85757e34de3c1c2442571c4}, issn = {{1433-0490} and {1432-4350}}, journal = {Theory of computing systems}, keywords = {}, language = {eng}, number = 2, orcid-numbers = {Kufleitner, Manfred/0000-0003-3869-416X}, pages = {352-370}, publisher = {Springer}, research-areas = {Computer Science; Mathematics}, researcherid-numbers = {Kufleitner, Manfred/U-7725-2017}, timestamp = {2023-08-31T12:50:11.000+0200}, title = {The Half-Levels of the FO2 Alternation Hierarchy}, unique-id = {ISI:000405315000006}, volume = 61, year = 2017 }