New decidable upper bound of the second level in the Straubing-Therien concatenation hierarchy of star-free languages

special issue dedicated to the second edition of the conference AutoMathA: from Mathematics to Applications

Data and Resources

Additional Info

Field Value
Source ISSN: 1462-7264
Author Almeida, Jorge, Klima, Ondrej
Maintainer CCSD
Last Updated May 5, 2026, 11:23 (UTC)
Created May 5, 2026, 11:23 (UTC)
Identifier hal-00990443
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Departamento de Matemática [Porto] ; Faculdade de Ciências da Universidade do Porto (FCUP) ; Universidade do Porto = University of Porto-Universidade do Porto = University of Porto
creator Almeida, Jorge
date 2010-01-01T00:00:00
harvest_object_id d9a4cb04-2d1b-40c2-9b0d-c286413e1d41
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-11-25T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.46298/dmtcs.490
set_spec type:ART