Preuves de terminaison des systemes de reecriture : un outil fonde sur les interpretations polynomiales

Etude du moniteur d'un systeme fonctionnellement reparti

Souai, Mohamed
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1987

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

Theorie algebrique des systemes a evenements discrets

Moller, Pierre
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1988

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

Etude d'un systeme de tri aux defauts d'aspects des fruits

Roget, J.
Davenel, A.
Guizard, Ch.
Sevila, F.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre Technique des Industries Mecaniques, 60 - Senlis (France)

January 1986

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

Preuves de terminaison de systemes de reecriture fondees sur les interpretations polynomiales. Une methode basee sur le theoreme de Sturm

Rouyer, Jocelyne
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Publie dans : Informatique theorique et applications. 1990SIGLEAvailable at INIST (FR), Document Sup...

Proprietes polynomiales et croissance des fonctions entieres

Madani Yssaad, Abderrahmane

January 1987

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

Semantique des calculs par systemes de reecriture de termes

Boudol, Gerard
Institut National de Recherche en Informatique et en Automatique, Centre de Sophia Antipolis Valbonne (FRANCE)

January 1983

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

Utilisation du calcul formel pour l'etude des systemes d'equations polynomiales (applications en modelisation)

Raksanyi, Atilla

January 1986

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

Terminaison des systemes de reecriture

Mouffron, M
Centre National d'Etudes des Telecommunications, Paris A, Division Centres et Logiciels de Commutation Issy-les-Moulineaux (FRANCE)

January 1983

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

Systemes de reecriture avec selecteur

Moreau, Philippe

January 1984

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

Les systemes de gestion de fichiers repartis

Papageorgiou, Mario

January 1988

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

Les systemes d'aeriens du sondeur a retrodiffusion du CNET

Le Saout, Jean-Yves

January 1990

SIGLEINIST T 72084 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Operations polynomiales sur les langages rationnels, caracterisations syntactiques et resultats de decidabilite

Arfi, Mustapha

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77917 / INIST-CNRS -...

Contribution a l'explication du raisonnement dans les systemes experts: un systeme combinant regles et objets

Touhami, Hasna

January 1990

SIGLEINIST T 70601 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Resolution d'un systeme d'equations de relation floue, contribution a l'identification de systemes complexes

Dubois, Gilbert

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81729 / INIST-CNRS -...

Termination of rewriting systems by polynomial interpretations and its implementation

Cherifa, Ahlem Ben
Lescanne, Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1987

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

Etude du moniteur d'un systeme fonctionnellement reparti

Souai, Mohamed
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1987

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

Theorie algebrique des systemes a evenements discrets

Moller, Pierre
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1988

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

Etude d'un systeme de tri aux defauts d'aspects des fruits

Roget, J.
Davenel, A.
Guizard, Ch.
Sevila, F.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre Technique des Industries Mecaniques, 60 - Senlis (France)

January 1986

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

Preuves de terminaison de systemes de reecriture fondees sur les interpretations polynomiales. Une methode basee sur le theoreme de Sturm

Rouyer, Jocelyne
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Publie dans : Informatique theorique et applications. 1990SIGLEAvailable at INIST (FR), Document Sup...

Proprietes polynomiales et croissance des fonctions entieres

Madani Yssaad, Abderrahmane

January 1987

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

Semantique des calculs par systemes de reecriture de termes

Boudol, Gerard
Institut National de Recherche en Informatique et en Automatique, Centre de Sophia Antipolis Valbonne (FRANCE)

January 1983

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

Utilisation du calcul formel pour l'etude des systemes d'equations polynomiales (applications en modelisation)

Raksanyi, Atilla

January 1986

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

Terminaison des systemes de reecriture

Mouffron, M
Centre National d'Etudes des Telecommunications, Paris A, Division Centres et Logiciels de Commutation Issy-les-Moulineaux (FRANCE)

January 1983

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

Systemes de reecriture avec selecteur

Moreau, Philippe

January 1984

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

Les systemes de gestion de fichiers repartis

Papageorgiou, Mario

January 1988

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

Les systemes d'aeriens du sondeur a retrodiffusion du CNET

Le Saout, Jean-Yves

January 1990

SIGLEINIST T 72084 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Operations polynomiales sur les langages rationnels, caracterisations syntactiques et resultats de decidabilite

Arfi, Mustapha

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77917 / INIST-CNRS -...

Contribution a l'explication du raisonnement dans les systemes experts: un systeme combinant regles et objets

Touhami, Hasna

January 1990

SIGLEINIST T 70601 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Resolution d'un systeme d'equations de relation floue, contribution a l'identification de systemes complexes

Dubois, Gilbert

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81729 / INIST-CNRS -...

Termination of rewriting systems by polynomial interpretations and its implementation

Cherifa, Ahlem Ben
Lescanne, Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1987

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

Etude du moniteur d'un systeme fonctionnellement reparti

Souai, Mohamed
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1987

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

Theorie algebrique des systemes a evenements discrets

Moller, Pierre
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1988

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

Etude d'un systeme de tri aux defauts d'aspects des fruits

Roget, J.
Davenel, A.
Guizard, Ch.
Sevila, F.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Centre Technique des Industries Mecaniques, 60 - Senlis (France)

January 1986

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

Preuves de terminaison des systemes de reecriture : un outil fonde sur les interpretations polynomiales

Abstract

Extracted data

Preuves de terminaison des systemes de reecriture : un outil fonde sur les interpretations polynomiales

Abstract

Extracted data

Related items

Related items