
Search the dblp DataBase
Laurent Kott:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Laurent Kott
A System for Proving Equivalences of Recursive Programs. [Citation Graph (0, 0)][DBLP] CADE, 1980, pp:6369 [Conf]
 Philippe Darondeau, Laurent Kott
On the Observational Semantics of Fair Parallelism. [Citation Graph (0, 0)][DBLP] ICALP, 1983, pp:147159 [Conf]
 Philippe Darondeau, Laurent Kott
A formal proof system for infinitary rational expressions. [Citation Graph (0, 0)][DBLP] Automata on Infinite Words, 1984, pp:6880 [Conf]
 Laurent Kott
systèmes schématiques généralises. [Citation Graph (0, 0)][DBLP] Theoretical Computer Science, 1977, pp:184189 [Conf]
 Philippe Darondeau, Laurent Kott
Towards a Formal Proof System for omegaRational Expressions. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1984, v:19, n:4, pp:173177 [Journal]
 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:237263 [Journal]
 Gérard Boudol, Laurent Kott
Recursion Induction Principle Revisited. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1983, v:22, n:, pp:135173 [Journal]
Preuves de programmes sans induction. [Citation Graph (, )][DBLP]
Search in 0.013secs, Finished in 0.013secs
