Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Reduction et synchronisation d'automates non ambigus

Carpi, Arturo

Publication date

January 1988

Abstract

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Extracted data

Related items

Algorithmique discrete et reseaux d'automates

Pellegrin, Didier

January 1986

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La recuperation de memoire dans les machines non-deterministes

Touraivane

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algebre de processus et synchronisation

Austry, Didier
Boudoul, Gerard
Institut National de Recherche en Informatique et en Automatisation, Centre de Sophia Antipolis Valbonne (FRANCE)
Ecole Nationale Superieure des Mines de Paris, Centre de Mathematiques Appliquees Valbonne (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Sur la puissance de la synchronisation bornee

Carrere-Kindler, Frederique

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

S.S.D. : systeme synchronise par les donnees

Lopisteguy, Philippe

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Equites et automates en SCCS

Niar-Dinedane, Waffa

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Automates avec cout et reconnaissabilite dans les monoiedes libres commutatifs

Gohon, Philippe

January 1986

SIGLECNRS T 58981 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Reseaux d'interconnexion et algorithmes repartis

Konig, Jean-Claude

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Contribution a l'automatisation du processus de repoussage

Oualia, Zeineddine
Ecole Normale Superieure des Arts et Metiers, 75 - Paris (France)

January 1987

SIGLECNRS TD Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Raisonnement automatique en logique modale et algorithmes d'unification

Herzig, Andreas

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Codage, automates locaux et entropie

Beal, Marie-Pierre

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Automatisation de l'analyse mecanique des mecanismes

Yang, Huanqing
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Generation automatique de l'accord du participe passe

Le Kien, Van

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Machine synchrone multidisque a aimants permanents

Chillet, Christian
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Autour de la biconvexite en optimisation

Ben Nahia, Khaled

January 1986

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algorithmique discrete et reseaux d'automates

Pellegrin, Didier

January 1986

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La recuperation de memoire dans les machines non-deterministes

Touraivane

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algebre de processus et synchronisation

Austry, Didier
Boudoul, Gerard
Institut National de Recherche en Informatique et en Automatisation, Centre de Sophia Antipolis Valbonne (FRANCE)
Ecole Nationale Superieure des Mines de Paris, Centre de Mathematiques Appliquees Valbonne (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Sur la puissance de la synchronisation bornee

Carrere-Kindler, Frederique

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

S.S.D. : systeme synchronise par les donnees

Lopisteguy, Philippe

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Equites et automates en SCCS

Niar-Dinedane, Waffa

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Automates avec cout et reconnaissabilite dans les monoiedes libres commutatifs

Gohon, Philippe

January 1986

SIGLECNRS T 58981 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Reseaux d'interconnexion et algorithmes repartis

Konig, Jean-Claude

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Contribution a l'automatisation du processus de repoussage

Oualia, Zeineddine
Ecole Normale Superieure des Arts et Metiers, 75 - Paris (France)

January 1987

SIGLECNRS TD Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Raisonnement automatique en logique modale et algorithmes d'unification

Herzig, Andreas

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Codage, automates locaux et entropie

Beal, Marie-Pierre

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Automatisation de l'analyse mecanique des mecanismes

Yang, Huanqing
Institut National des Sciences Appliquees (INSA), 69 - Villeurbanne (France)

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Generation automatique de l'accord du participe passe

Le Kien, Van

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Machine synchrone multidisque a aimants permanents

Chillet, Christian
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Autour de la biconvexite en optimisation

Ben Nahia, Khaled

January 1986

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algorithmique discrete et reseaux d'automates

Pellegrin, Didier

January 1986

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

La recuperation de memoire dans les machines non-deterministes

Touraivane

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algebre de processus et synchronisation

Austry, Didier
Boudoul, Gerard
Institut National de Recherche en Informatique et en Automatisation, Centre de Sophia Antipolis Valbonne (FRANCE)
Ecole Nationale Superieure des Mines de Paris, Centre de Mathematiques Appliquees Valbonne (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc