%0 Journal Article %1 henriksson2023forbidden %A Henriksson, Viktor %A Kufleitner, Manfred %D 2023 %I World Scientific Publishing %J International journal of foundations of computer science %K ubs_10005 ubs_20008 ubs_30080 ubs_40106 unibibliografie wos %N 02n03 %P 183-224 %R 10.1142/S0129054123440021 %T Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words

@article{henriksson2023forbidden, added-at = {2023-10-17T14:27:31.000+0200}, affiliation = {Kufleitner, M (Corresponding Author), Univ Stuttgart, Stuttgart, Germany. Henriksson, Viktor, Loughborough Univ, Loughborough, England. Kufleitner, Manfred, Univ Stuttgart, Stuttgart, Germany.}, author = {Henriksson, Viktor and Kufleitner, Manfred}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f7ed3002dcef7c93040cede516fe7e27/unibiblio}, doi = {10.1142/S0129054123440021}, interhash = {803b541bc3948fbc82585273044317b5}, intrahash = {f7ed3002dcef7c93040cede516fe7e27}, issn = {{0129-0541} and {1793-6373}}, journal = {International journal of foundations of computer science}, keywords = {ubs_10005 ubs_20008 ubs_30080 ubs_40106 unibibliografie wos}, language = {eng}, number = {02n03}, number-of-cited-references = {34}, pages = {183-224}, publisher = {World Scientific Publishing}, research-areas = {Computer Science}, timestamp = {2023-10-17T14:27:31.000+0200}, title = {Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words}, unique-id = {WOS:000936991800002}, year = 2023 }