Closure properties of locally finite \(\omega\)-languages
type: Item
instance of: scholarly article
title: Closure properties of locally finite \(\omega\)-languages
zbMATH Open document ID: 1070.68067
author: Olivier Finkel
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 03D05
zbMATH DE Number: 2111105
zbMATH Keywords: Formal languages
zbMATH Keywords: Logical definability
zbMATH Keywords: Infinite words
zbMATH Keywords: Locally finite languages
zbMATH Keywords: Closure properties
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.03.025
OpenAlex ID: W2008877412
cites work: Q3859267
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Q5525343
cites work: The monadic second order theory of all countable ordinals
cites work: Model theory
cites work: Theory of \(\omega\)-languages. II: A study of various models of \(\omega\)- type generation and recognition
cites work: Subclasses of binary NP
cites work: Q4850061
cites work: Existential second-order logic over strings
cites work: Q4058132
cites work: Finite-model theory -- A personal perspective
cites work: Q3472087
cites work: Locally finite languages
cites work: Stretchings
cites work: Automates a file
cites work: Existential second-order logic over graphs
cites work: Q5592246
cites work: Languages that Capture Complexity Classes
cites work: Q4227581
cites work: Q4474840
cites work: A logical approach of Petri net languages
cites work: Q3766864
cites work: Q5317419
cites work: Logic, semigroups and automata on words
cites work: Formal languages defined by the underlying structure of their words
cites work: Q4385530
DOI: 10.1016/J.TCS.2004.03.025
description: scientific article; zbMATH DE number 2111105