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. Springer 1990 Lecture Notes in Computer Science 469 ISBN 3-540-53479-2 [ contents ]
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. Springer 1989 Lecture Notes in Computer Science 386 ISBN 3-540-51631-X [ contents ]
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. Springer 1989 Lecture Notes in Computer Science 377 ISBN 3-540-51465-1 [ contents ]
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. Springer 1988 Lecture Notes in Computer Science 316 ISBN 3-540-19444-4 [ contents ]
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. Springer 1986 Lecture Notes in Computer Science 242 ISBN 3-540-17184-3 [ contents ]
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. Springer 1985 Lecture Notes in Computer Science 192 ISBN 3-540-15641-0 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team