The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Laurent Kott: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Laurent Kott
    A System for Proving Equivalences of Recursive Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:63-69 [Conf]
  2. Philippe Darondeau, Laurent Kott
    On the Observational Semantics of Fair Parallelism. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:147-159 [Conf]
  3. Philippe Darondeau, Laurent Kott
    A formal proof system for infinitary rational expressions. [Citation Graph (0, 0)][DBLP]
    Automata on Infinite Words, 1984, pp:68-80 [Conf]
  4. Laurent Kott
    systèmes schématiques généralises. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1977, pp:184-189 [Conf]
  5. Philippe Darondeau, Laurent Kott
    Towards a Formal Proof System for omega-Rational Expressions. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1984, v:19, n:4, pp:173-177 [Journal]
  6. 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:237-263 [Journal]
  7. Gérard Boudol, Laurent Kott
    Recursion Induction Principle Revisited. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:22, n:, pp:135-173 [Journal]

  8. Preuves de programmes sans induction. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002