The Half-Levels of the FO2 Alternation Hierarchy. Fleischer, L., Kufleitner, M., & Lauser, A. Theory Comput. Syst., 61(2):352-370, 2017. Link Paper bibtex @article{journals/mst/FleischerKL17,
added-at = {2017-07-13T00:00:00.000+0200},
author = {Fleischer, Lukas and Kufleitner, Manfred and Lauser, Alexander},
biburl = {http://www.bibsonomy.org/bibtex/2b9419edb9c2b956b7ba50f6fb0ac248d/dblp},
ee = {https://doi.org/10.1007/s00224-016-9712-2},
interhash = {41b74a75c54f11cbbf7c28b192b663f8},
intrahash = {b9419edb9c2b956b7ba50f6fb0ac248d},
journal = {Theory Comput. Syst.},
keywords = {dblp},
number = 2,
pages = {352-370},
timestamp = {2017-07-14T11:36:06.000+0200},
title = {The Half-Levels of the FO2 Alternation Hierarchy.},
url = {http://dblp.uni-trier.de/db/journals/mst/mst61.html#FleischerKL17},
volume = 61,
year = 2017
}
Downloads: 0
{"_id":"FzXpPxPAWBz7BhupG","bibbaseid":"fleischer-kufleitner-lauser-thehalflevelsofthefo2alternationhierarchy-2017","downloads":0,"creationDate":"2018-01-27T11:26:50.406Z","title":"The Half-Levels of the FO2 Alternation Hierarchy.","author_short":["Fleischer, L.","Kufleitner, M.","Lauser, A."],"year":2017,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Lukas Fleischer?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2017-07-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Fleischer"],"firstnames":["Lukas"],"suffixes":[]},{"propositions":[],"lastnames":["Kufleitner"],"firstnames":["Manfred"],"suffixes":[]},{"propositions":[],"lastnames":["Lauser"],"firstnames":["Alexander"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2b9419edb9c2b956b7ba50f6fb0ac248d/dblp","ee":"https://doi.org/10.1007/s00224-016-9712-2","interhash":"41b74a75c54f11cbbf7c28b192b663f8","intrahash":"b9419edb9c2b956b7ba50f6fb0ac248d","journal":"Theory Comput. Syst.","keywords":"dblp","number":"2","pages":"352-370","timestamp":"2017-07-14T11:36:06.000+0200","title":"The Half-Levels of the FO2 Alternation Hierarchy.","url":"http://dblp.uni-trier.de/db/journals/mst/mst61.html#FleischerKL17","volume":"61","year":"2017","bibtex":"@article{journals/mst/FleischerKL17,\n added-at = {2017-07-13T00:00:00.000+0200},\n author = {Fleischer, Lukas and Kufleitner, Manfred and Lauser, Alexander},\n biburl = {http://www.bibsonomy.org/bibtex/2b9419edb9c2b956b7ba50f6fb0ac248d/dblp},\n ee = {https://doi.org/10.1007/s00224-016-9712-2},\n interhash = {41b74a75c54f11cbbf7c28b192b663f8},\n intrahash = {b9419edb9c2b956b7ba50f6fb0ac248d},\n journal = {Theory Comput. Syst.},\n keywords = {dblp},\n number = 2,\n pages = {352-370},\n timestamp = {2017-07-14T11:36:06.000+0200},\n title = {The Half-Levels of the FO2 Alternation Hierarchy.},\n url = {http://dblp.uni-trier.de/db/journals/mst/mst61.html#FleischerKL17},\n volume = 61,\n year = 2017\n}\n\n","author_short":["Fleischer, L.","Kufleitner, M.","Lauser, A."],"key":"journals/mst/FleischerKL17","id":"journals/mst/FleischerKL17","bibbaseid":"fleischer-kufleitner-lauser-thehalflevelsofthefo2alternationhierarchy-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/s00224-016-9712-2","Paper":"http://dblp.uni-trier.de/db/journals/mst/mst61.html#FleischerKL17"},"keyword":["dblp"],"downloads":0,"html":""},"search_terms":["half","levels","fo2","alternation","hierarchy","fleischer","kufleitner","lauser"],"keywords":["dblp"],"authorIDs":[],"dataSources":["eBY86phisqJ5enLeT"]}