default search action
LITP Spring School on Theoretical Computer Science (LITP)
Semantics of Systems of Concurrent Processes 1990: La Roche Posay, France
- Irène Guessarian:
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]
Formal Properties of Finite Automata and Applications 1988: Ramatuelle, France
- Jean-Eric Pin:
Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings. Lecture Notes in Computer Science 386, Springer 1989, ISBN 3-540-51631-X [contents]
Electronic Dictionaries and Automata in Computational Linguistics 1987: Saint-Pierre d'Oléron, France
- Maurice Gross, Dominique Perrin:
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]
Automata Networks 1986: Angelès-Village, France
- Christian Choffrut:
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]
Combinators and Functional Programming Languages 1985: Val d'Ajol, France
- Guy Cousineau, Pierre-Louis Curien, Bernard J. Robinet:
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]
Automata on Infinite Words 1984: Le Mont Dore, France
- 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 [contents]
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.