Search the dblp DataBase

Publications of Author

1. Laurent Kott
   A System for Proving Equivalences of Recursive Programs. [Citation Graph (0, 0)][DBLP]
   CADE, 1980, pp:63-69 [Conf]
   
2. Philippe Darondeau, Laurent Kott
   On the Observational Semantics of Fair Parallelism. [Citation Graph (0, 0)][DBLP]
   ICALP, 1983, pp:147-159 [Conf]
   
3. Philippe Darondeau, Laurent Kott
   A formal proof system for infinitary rational expressions. [Citation Graph (0, 0)][DBLP]
   Automata on Infinite Words, 1984, pp:68-80 [Conf]
   
4. Laurent Kott
   systèmes schématiques généralises. [Citation Graph (0, 0)][DBLP]
   Theoretical Computer Science, 1977, pp:184-189 [Conf]
   
5. Philippe Darondeau, Laurent Kott
   Towards a Formal Proof System for omega-Rational Expressions. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1984, v:19, n:4, pp:173-177 [Journal]
   
6. Laurent Kott
   Sémantique Algébrique d'un Langage de Programmation Type Algol. [Citation Graph (0, 0)][DBLP]
   ITA, 1977, v:11, n:3, pp:237-263 [Journal]
   
7. Gérard Boudol, Laurent Kott
   Recursion Induction Principle Revisited. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1983, v:22, n:, pp:135-173 [Journal]
   
8. 
   Preuves de programmes sans induction. [Citation Graph (, )][DBLP]