Kott, Laurent.
Kott, L.
VIAF ID: 166034455 ( Personal )
Permalink: http://viaf.org/viaf/166034455
Preferred Forms
- 200 _ | ‡a Kott ‡b Laurent
-
-
- 100 1 _ ‡a Kott, Laurent
-
-
-
- 100 1 _ ‡a Kott, Laurent
-
- 100 1 _ ‡a Kott, Laurent
-
- 100 1 _ ‡a Kott, Laurent
-
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Artificial intelligence and computer science : [preprints] | |
Automata, languages and programming : 13th international colloquium, [ICALP 86], Rennes, France, July 15-19, 1986 : proceedings | |
AUTOMATED VERIFICATION OF LOGICAL PROPERTIES OF PROTOCOLS ON SIMULATIONS, USING AN OBSERVER APPROACH. | |
BONS PREORDRES SUR LES ARBRES ASSOCIES A DES ENSEMBLES INEVITABLES ET PREUVES DE TERMINAISON DE SYSTEMES DE REECRITURE | |
Chercheurs et entrepreneurs, c'est possible : belles histoires du numérique à la française | |
COUNTER AUTOMATA SYSTEMS AND SEMILINEARITY OF REACHABILITY SETS: FORLON HOPE. | |
Franco-Japanese Symposium on Programming of Future Generation Computers (2nd : 1987 : Cannes, France). Programming of future generation computers II, 1988: | |
Guide pratique de la levée de fonds : [décoder le comportement des financiers, savoir présenter son business plan, éviter les pièges juridiques] | |
ICALP 86 | |
L'informatique au lycée | |
Recursion induction principle revisited | |
SYSTEMES D'AUTOMATES A COMPTEURS ET SEMI-LINEARITE DES ENSEMBLES D'ETATS ACCESSIBLES : FORLORN HOPE | |
Unfold/fold program transformations | |
VERIFICATION DE PROPRIETES LOGIQUES DES PROTOCOLES ET SYSTEMES REPARTIS PAR OBSERVATION DE SIMULATIONS | |
Well quasi-orderings on trees related to unavoidable sets and termination of recwriting system proofs. |