default search action

combined dblp search
author search
venue search
publication search

ask others

Automata on Infinite Words 1984: Le Mont Dore, France

> Home > Conferences and Workshops > Automata on Infinite Words

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/litp/1984
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/1984
Maurice Nivat, Dominique Perrin:
Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, France, May 14-18, 1984. Lecture Notes in Computer Science 192, Springer 1985, ISBN 3-540-15641-0

The Theory of Büchi and McNaughton

- view
  authority control:
- export record
  dblp key:
  - conf/litp/Perrin84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Perrin84
Dominique Perrin:
An introduction to finite automata on infinite words. 2-17
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Arnold84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Arnold84
André Arnold:
Deterministic and non ambiguous rational omega-languages. 18-27
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Beauquier84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Beauquier84
Danièle Beauquier:
Ensembles reconnaissables de mots bi -infinis limite et déterminisme. 28-46
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Pecuchet84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Pecuchet84
Jean-Pierre Pécuchet:
Automates boustrophédon sur des mots infinis. 47-54

Logic and Automata

- view
  authority control:
- export record
  dblp key:
  - conf/litp/Pin84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Pin84
Jean-Eric Pin:
Star free omega-languages and first order logic. 56-67
- view
  authority control:
- export record
  dblp key:
  - conf/litp/DarondeauK84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/DarondeauK84
Philippe Darondeau, Laurent Kott:
A formal proof system for infinitary rational expressions. 68-80
- view
  authority control:
- export record
  dblp key:
  - conf/litp/KobayashiTY84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/KobayashiTY84
Kojiro Kobayashi, Masako Takahashi, Hideki Yamasaki:
Logical formulas and four subclasses of omega-regular languages. 81-88
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Shields84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Shields84
M. W. Shields:
Deterministic asynchronous automata. 89-98

Automata on infinite trees

- view
  authority control:
- export record
  dblp key:
  - conf/litp/MullerS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/MullerS84
David E. Muller, Paul E. Schupp:
Alternating automata on infinite objects, determinacy and Rabin's theorem. 100-107
- view
  authority control:
- export record
  dblp key:
  - conf/litp/BraquelaireC84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/BraquelaireC84
Jean-Pierre Braquelaire, Bruno Courcelle:
The solution of two star height problems for regular trees. 108-117
- view
  authority control:
- export record
  dblp key:
  - conf/litp/DauchetT84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/DauchetT84
Max Dauchet, Erick Timmerman:
Decidability of yield's equality for infinite regular trees. 118-136

Topological aspects of automata on infinite words

- view
  authority control:
- export record
  dblp key:
  - conf/litp/BlanchardH84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/BlanchardH84
François Blanchard, Georges Hansel:
Languages and subshifts. 138-146
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Head84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Head84
Tom Head:
The adherences of languages as topological spaces. 147-163

Iterated morphisms and infinite words

- view
  authority control:
- export record
  dblp key:
  - conf/litp/Rauzy84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Rauzy84
G. Rauzy:
Mots infinis en arithmétique. 165-171
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Leconte84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Leconte84
Michel Leconte:
K-th power free codes. 172-187
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Pansiot84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Pansiot84
Jean-Jacques Pansiot:
On various classes of infinite words obtained by iterated mappings. 188-197
- view
  authority control:
- export record
  dblp key:
  - conf/litp/RestivoS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/RestivoS84
Antonio Restivo, Sergio Salemi:
Overlap-free words on two symbols. 198-206
- view
  authority control:
- export record
  dblp key:
  - conf/litp/Seebold84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/Seebold84
Patrice Séébold:
Overlap-free sequences. 207-215

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.