Automata on Infinite Words - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540156413, 9783540395058

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deterministic asynchronous automata

Automata on Infinite Words - Lecture Notes in Computer Science ◽

10.1007/3-540-15641-0_26 ◽

1985 ◽

pp. 89-98 ◽

Cited By ~ 11

Author(s):

M. W. Shields

Keyword(s):

Asynchronous Automata

Download Full-text

Ensembles reconnaissables de mots bi-inpinis Limite et déterminisme

Automata on Infinite Words - Lecture Notes in Computer Science ◽

10.1007/3-540-15641-0_21 ◽

1985 ◽

pp. 28-46 ◽

Cited By ~ 3

Author(s):

D. Beauquier

Download Full-text

Overlap free words on two symbols

Automata on Infinite Words - Lecture Notes in Computer Science ◽

10.1007/3-540-15641-0_35 ◽

1985 ◽

pp. 198-206 ◽

Cited By ~ 23

Author(s):

Antonio Restivo ◽

Sergio Salemi

Download Full-text

A formal proof system for infinitary rational expressions

Automata on Infinite Words - Lecture Notes in Computer Science ◽

10.1007/3-540-15641-0_24 ◽

1985 ◽

pp. 68-80 ◽

Cited By ~ 1

Author(s):

Ph. Darondeau ◽

L. Kott

Keyword(s):

Formal Proof ◽

Proof System ◽

Rational Expressions

Download Full-text

Automates boustrophedon sur des mots infinis

Automata on Infinite Words - Lecture Notes in Computer Science ◽

10.1007/3-540-15641-0_22 ◽

1985 ◽

pp. 47-54 ◽

Cited By ~ 1

Author(s):

J. P Pecuchet

Download Full-text

Languages and subshifts

Automata on Infinite Words - Lecture Notes in Computer Science ◽

10.1007/3-540-15641-0_30 ◽

1985 ◽

pp. 137-146 ◽

Cited By ~ 2

Author(s):

F. Blanchard ◽

G. Hansel

Download Full-text

Star-free ω-languages and first order logic

Automata on Infinite Words - Lecture Notes in Computer Science ◽

10.1007/3-540-15641-0_23 ◽

1985 ◽

pp. 55-67

Author(s):

J. E. Pin

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

The adherences of languages as topological spaces

Automata on Infinite Words - Lecture Notes in Computer Science ◽

10.1007/3-540-15641-0_31 ◽

1985 ◽

pp. 147-163 ◽

Cited By ~ 5

Author(s):

Tom Head

Keyword(s):

Topological Spaces

Download Full-text

On various classes of infinite words obtained by iterated mappings

Automata on Infinite Words - Lecture Notes in Computer Science ◽

10.1007/3-540-15641-0_34 ◽

1985 ◽

pp. 188-197 ◽

Cited By ~ 6

Author(s):

Jean-Jacques Pansiot

Keyword(s):

Infinite Words

Download Full-text

Mots infinis en arithmetique

Automata on Infinite Words - Lecture Notes in Computer Science ◽

10.1007/3-540-15641-0_32 ◽

1985 ◽

pp. 164-171 ◽

Cited By ~ 11

Author(s):

G. Rauzy

Download Full-text

Automata on Infinite Words - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Deterministic asynchronous automata

Ensembles reconnaissables de mots bi-inpinis Limite et déterminisme

Overlap free words on two symbols

A formal proof system for infinitary rational expressions

Automates boustrophedon sur des mots infinis

Languages and subshifts

Star-free ω-languages and first order logic

The adherences of languages as topological spaces

On various classes of infinite words obtained by iterated mappings

Mots infinis en arithmetique

Automata on Infinite Words - Lecture Notes in Computer Science
Latest Publications