LITP Spring School on Theoretical Computer Science

Semantics of Systems of Concurrent Processes 1990: La Roche Posay, France

Irène Guessarian (Ed.): Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings. Lecture Notes in Computer Science 469 Springer 1990, ISBN 3-540-53479-2
Contents BibTeX

Formal Properties of Finite Automata and Applications 1988: Ramatuelle, France

Jean-Eric Pin (Ed.): Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 25-29, 1987, Proceedings. Lecture Notes in Computer Science 386 Springer 1989, ISBN 3-540-51631-X
Contents BibTeX

Electronic Dictionaries and Automata in Computational Linguistics 1987: Saint-Pierre d'Oléron, France

Maurice Gross, Dominique Perrin (Eds.): Electronic Dictionaries and Automata in Computational Linguistics, LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May 25-29, 1987, Proceedings. Lecture Notes in Computer Science 377 Springer 1989, ISBN 3-540-51465-1
Contents BibTeX

Automata Networks 1986: Angelès-Village, France

Christian Choffrut (Ed.): Automata Networks, LITP Spring School on Theoretical Computer Science, Angelès-Village, France, May 12-16, 1986, Proceedings. Lecture Notes in Computer Science 316 Springer 1988, ISBN 3-540-19444-4
Contents BibTeX

Combinators and Functional Programming Languages 1985: Val d'Ajol, France

Guy Cousineau, Pierre-Louis Curien, Bernard Robinet (Eds.): Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings. Lecture Notes in Computer Science 242 Springer 1986, ISBN 3-540-17184-3
Contents BibTeX

Automata on Infinite Words 1984: Le Mont Dore, France

Maurice Nivat, Dominique Perrin (Eds.): Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, May 14-18, 1984. Lecture Notes in Computer Science 192 Springer 1985, ISBN 3-540-15641-0
Contents BibTeX