Laurent Kott

According to our database, Laurent Kott authored at least 8 papers between 1977 and 1984.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1984

Towards a Formal Proof System for omega-Rational Expressions.

Philippe Darondeau, Laurent Kott

Inf. Process. Lett., 1984

A formal proof system for infinitary rational expressions.

Philippe Darondeau, Laurent Kott

Proceedings of the Automata on Infinite Words, 1984

1983

Recursion Induction Principle Revisited.

Gérard Boudol, Laurent Kott

Theor. Comput. Sci., 1983

On the Observational Semantics of Fair Parallelism.

Philippe Darondeau, Laurent Kott

Proceedings of the Automata, 1983

1980

A System for Proving Equivalences of Recursive Programs.

Laurent Kott

Proceedings of the 5th Conference on Automated Deduction, 1980

Preuves de programmes sans induction.

Didier Bégay, Laurent Kott

Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980

1977

Sémantique Algébrique d'un Langage de Programmation Type Algol.

Laurent Kott

RAIRO Theor. Informatics Appl., 1977

systèmes schématiques généralises.

Laurent Kott

Proceedings of the Theoretical Computer Science, 1977