Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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:34.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 = {},
language = {eng},
number = {02n03},
number-of-cited-references = {34},
pages = {183-224},
publisher = {World Scientific Publishing},
research-areas = {Computer Science},
timestamp = {2023-10-17T12:27:34.000+0200},
title = {Forbidden Patterns for FO2 Alternation Over Finite and Infinite Words},
unique-id = {WOS:000936991800002},
year = 2023
}