Formal Properties of Finite Automata and Applications

Keyphrases

Publications

volume 386, 1989

Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings Formal Properties of Finite Automata and Applications 386 (1989)

1988

Antonio Restivo
Codes and Automata. Formal Properties of Finite Automata and Applications (1988)
Howard Straubing, Denis Thérien
Finite automata and computational complexity. Formal Properties of Finite Automata and Applications (1988)
Maxime Crochemore
Algorithms and automata. Formal Properties of Finite Automata and Applications (1988)
Marcel Paul Schützenberger
Décomposition polynomiale des fonctions rationnelles (English summary). Formal Properties of Finite Automata and Applications (1988)
Imre Simon
Properties of factorization forests. Formal Properties of Finite Automata and Applications (1988)
Pascal Weil
Concatenation product: a survey. Formal Properties of Finite Automata and Applications (1988)
Irène Guessarian
A characterization of fair computations of finite state SCCS processes. Formal Properties of Finite Automata and Applications (1988)
Howard Straubing
The wreath product and its applications. Formal Properties of Finite Automata and Applications (1988)
John C. Meakin
Automata and the word problem. Formal Properties of Finite Automata and Applications (1988)
Wolfgang Thomas
Automata and quantifier hierarchies. Formal Properties of Finite Automata and Applications (1988)
Aldo de Luca, Stefano Varricchio
A finiteness condition for semigroups. Formal Properties of Finite Automata and Applications (1988)
Jean-Camille Birget
Basic techniques for two-way finite automata. Formal Properties of Finite Automata and Applications (1988)
Jorge Almeida
Equations for pseudovarieties. Formal Properties of Finite Automata and Applications (1988)
Jean-Eric Pin
Relational morphisms, transductions and operations on languages. Formal Properties of Finite Automata and Applications (1988)
Didier Vergamini
Verification of distributed systems: an experiment. Formal Properties of Finite Automata and Applications (1988)
Kosaburo Hashiguchi
Relative star height, star height and finite automata with distance functions. Formal Properties of Finite Automata and Applications (1988)
Jean Berstel
Finite automata and rational languages. An introduction. Formal Properties of Finite Automata and Applications (1988)
G. Rauzy
Numbers and automata. Formal Properties of Finite Automata and Applications (1988)