Logic and rational languages of words indexed by linear orderings
type: Item
instance of: scholarly article
title: Logic and rational languages of words indexed by linear orderings
zbMATH Open document ID: 1205.68190
author: Nicolas Bedon
author: Alexis Bès
author: Olivier Carton
author: Chloé Rispal
published in: Theory of Computing Systems
publication date: 2010-08-13T00:00:00Z
full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5770225
zbMATH Keywords: linear orderings
zbMATH Keywords: monadic second-order logic
zbMATH Keywords: decidability
zbMATH Keywords: formal languages
zbMATH Keywords: automata
MaRDI profile type: Publication
OpenAlex ID: W2046438722
cites work: Logic over words on denumerable ordinals
cites work: Developments in Language Theory
cites work: A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS
cites work: Q4779147
cites work: Hierarchy among automata on linear orderings
cites work: Automata on linear orderings
cites work: Q4453459
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Q4708566
cites work: Application of model theoretic games to discrete linear orders and finite automata
cites work: Q5641083
cites work: Q4722056
cites work: Q3698327
cites work: First-order logic and star-free sets
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Q3949052
cites work: On finite monoids having only trivial subgroups
cites work: The monadic theory of order
cites work: Q4302435
cites work: Star-free regular sets of ω-sequences
cites work: Q4362730
cites work: Q3691083
DOI: 10.1007/S00224-009-9222-6
description: scientific article; zbMATH DE number 5770225