scholarly journals A Kleene Theorem for Languages of Words Indexed by Linear Orderings

2005 ◽  
pp. 158-167 ◽  
Author(s):  
Alexis Bès ◽  
Olivier Carton
Keyword(s):  
Linear Orderings ◽  
Kleene Theorem

scholarly journals A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS

2006 ◽  
Vol 17 (03) ◽  
pp. 519-541 ◽  
Author(s):  
ALEXIS BÈS ◽  
OLIVIER CARTON
Keyword(s):  
Preceding Paper ◽  
Linear Orderings ◽  
Rational Expressions ◽  
Kleene Theorem

In a preceding paper, Bruyère and Carton introduced automata, as well as rational expressions, which allow to deal with words indexed by linear orderings. A Kleene-like theorem was proved for words indexed by countable scattered linear orderings. In this paper we extend this result to languages of words indexed by all linear orderings.

Countably Complementable Linear Orderings

Order ◽  
2007 ◽  
Vol 23 (4) ◽  
pp. 321-331 ◽  
Author(s):  
Antonio Montalbán
Keyword(s):  
Linear Orderings

scholarly journals Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

2010 ◽  
Vol 262 ◽  
pp. 65-81
Author(s):  
Davide Bresolin ◽  
Dario Della Monica ◽  
Valentin Goranko ◽  
Angelo Montanari ◽  
Guido Sciavicco
Keyword(s):  
Linear Orderings
Sign in / Sign up

Export Citation Format

Share Document