Laurent Kott

Publication Activity (10 Years)

Years Active: 1977-1984
Publications (10 Years): 0

Publications

Philippe Darondeau, Laurent Kott
A formal proof system for infinitary rational expressions. Automata on Infinite Words (1984)
Philippe Darondeau, Laurent Kott
Towards a Formal Proof System for omega-Rational Expressions. Inf. Process. Lett. 19 (4) (1984)
Gérard Boudol, Laurent Kott
Recursion Induction Principle Revisited. Theor. Comput. Sci. 22 (1983)
Philippe Darondeau, Laurent Kott
On the Observational Semantics of Fair Parallelism. ICALP (1983)
Laurent Kott
A System for Proving Equivalences of Recursive Programs. CADE (1980)
Didier Bégay, Laurent Kott
Preuves de programmes sans induction. CLAAP (1980)
Laurent Kott
Sémantique Algébrique d'un Langage de Programmation Type Algol. RAIRO Theor. Informatics Appl. 11 (3) (1977)
Laurent Kott
systèmes schématiques généralises. Theoretical Computer Science (1977)