default search action

combined dblp search
author search
venue search
publication search

ask others

Laurent Kott

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1986
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/1986
Laurent Kott:
Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings. Lecture Notes in Computer Science 226, Springer 1986, ISBN 3-540-16761-7 [contents]
1984
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/DarondeauK84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/DarondeauK84
Philippe Darondeau, Laurent Kott:
Towards a Formal Proof System for omega-Rational Expressions. Inf. Process. Lett. 19(4): 173-177 (1984)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/litp/DarondeauK84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/litp/DarondeauK84
Philippe Darondeau, Laurent Kott:
A formal proof system for infinitary rational expressions. Automata on Infinite Words 1984: 68-80
1983
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BoudolK83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BoudolK83
Gérard Boudol, Laurent Kott:
Recursion Induction Principle Revisited. Theor. Comput. Sci. 22: 135-173 (1983)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/DarondeauK83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/DarondeauK83
Philippe Darondeau, Laurent Kott:
On the Observational Semantics of Fair Parallelism. ICALP 1983: 147-159
1980
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/caap/BegayK80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/BegayK80
Didier Bégay, Laurent Kott:
Preuves de programmes sans induction. CLAAP 1980: 182-198
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Kott80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Kott80
Laurent Kott:
A System for Proving Equivalences of Recursive Programs. CADE 1980: 63-69

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1977
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Kott77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Kott77
Laurent Kott:
Sémantique Algébrique d'un Langage de Programmation Type Algol. RAIRO Theor. Informatics Appl. 11(3): 237-263 (1977)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tcs/Kott77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tcs/Kott77
Laurent Kott:
systèmes schématiques généralises. Theoretical Computer Science 1977: 184-189

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.