 | 1986 |
|---|
| 9 |       | Laurent Kott:
Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings
Springer 1986 |
| 1984 |
|---|
| 8 |  | Philippe Darondeau,
Laurent Kott:
A formal proof system for infinitary rational expressions.
Automata on Infinite Words 1984: 68-80 |
| 7 | | Philippe Darondeau,
Laurent Kott:
Towards a Formal Proof System for omega-Rational Expressions.
Inf. Process. Lett. 19(4): 173-177 (1984) |
| 1983 |
|---|
| 6 | | Philippe Darondeau,
Laurent Kott:
On the Observational Semantics of Fair Parallelism.
ICALP 1983: 147-159 |
| 5 | | Gérard Boudol,
Laurent Kott:
Recursion Induction Principle Revisited.
Theor. Comput. Sci. 22: 135-173 (1983) |
| 1980 |
|---|
| 4 | | Laurent Kott:
A System for Proving Equivalences of Recursive Programs.
CADE 1980: 63-69 |
| 3 | | Didier Bégay,
Laurent Kott:
Preuves de programmes sans induction.
CLAAP 1980: 182-198 |
| 1977 |
|---|
| 2 | | Laurent Kott:
systèmes schématiques généralises.
Theoretical Computer Science 1977: 184-189 |
| 1 | | Laurent Kott:
Sémantique Algébrique d'un Langage de Programmation Type Algol.
ITA 11(3): 237-263 (1977) |
