Decidability of regularity and related properties of ground normal form languages

La normalisation au service du droit de l'environnement

Gueguen, Elisabeth
Ministere de l'Environnement, 75 - Paris (France). Mission Juridique

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 185 (3778) / INIST-CN...

Normalisation conditionnelle des criteres de contingence: approche relationnelle et algorithmique

Messatfa, H.
IBM France Cie., 75 - Paris (France)

January 1987

SIGLECNRS RP 250 (102) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Formes normales de matrices

Gil, I.
Villard, G.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1992 n.91 / ...

Decidability of Regularity and Related Properties of Ground Normal Form Languages

Kucherov, G.
Tajine, M.

April 1995

AbstractWe study language-theoretical properties of the set of reducible ground terms and its comple...

Decidable approximations of sets of descendants and sets of normal forms -exented version-

Genet, Thomas
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable from INIST (FR), Documen...

Decidable properties and optimal normalization in persistent term rewriting systems

Khasidashvili, Zurab
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Normalisation formantique des locuteurs a l'aide de connaissances et d'un apprentissage minimal

Bonneau, Anne
Fohr, Dominique
Lonchamp, Francois
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 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11231 / INIST-CNRS - ...

Some decidability results on limit sets

Durand, Bruno
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Institut Informatique et Mathematiques Appliquees de Grenoble (IMAG), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11388 / INIST-CNRS - ...

Normalisation et theorie comptable

Burlaud, Alain
Paris-12 Univ., 94 - Saint-Maur-des-Fosses (France). Inst. de Recherche en Gestion

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 1705 / INIST-CNRS - I...

Verification of elementary properties in abstract data types

Lazrak, N.
Perrin, G.-R.
Finance, J.-P.
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)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10718 / INIST-CNRS - ...

On strong normalisation of explicit substitution calculi

Lang, Frederic
Lescanne, Pierre
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme

January 1999

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

Normalite de certains anneaux determinantiels quantiques

Rigal, Laurent
Poitiers Univ., 86 (France). Dept. de Mathematiques

January 1998

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22466, issue : a.1998 ...

Techniques de regularisation et de lissage en analyse discriminante

Cransveld, Conchita

January 1991

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

Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems

Dauchet, Max
Heuillard, Thierry
Tison, Sophie
Lescanne, Pierre
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)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Paru dans Information and computation, 88(2) : p.187-201, 1990. <8341>SIGLEAvailable at INIST ...

L'avenir de la normalisation comptable a la francaise Compte rendu de la table ronde organisee par l'association Dauphine Compta 124 en octobre 1991

Paris-6 Univ., 75 (France). Centre de Recherche en Finance et en Gestion (CREFIGE)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 1617 / INIST-CNRS - I...

La normalisation au service du droit de l'environnement

Gueguen, Elisabeth
Ministere de l'Environnement, 75 - Paris (France). Mission Juridique

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 185 (3778) / INIST-CN...

Normalisation conditionnelle des criteres de contingence: approche relationnelle et algorithmique

Messatfa, H.
IBM France Cie., 75 - Paris (France)

January 1987

SIGLECNRS RP 250 (102) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Formes normales de matrices

Gil, I.
Villard, G.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1992 n.91 / ...

Decidability of Regularity and Related Properties of Ground Normal Form Languages

Kucherov, G.
Tajine, M.

April 1995

AbstractWe study language-theoretical properties of the set of reducible ground terms and its comple...

Decidable approximations of sets of descendants and sets of normal forms -exented version-

Genet, Thomas
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable from INIST (FR), Documen...

Decidable properties and optimal normalization in persistent term rewriting systems

Khasidashvili, Zurab
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Normalisation formantique des locuteurs a l'aide de connaissances et d'un apprentissage minimal

Bonneau, Anne
Fohr, Dominique
Lonchamp, Francois
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 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11231 / INIST-CNRS - ...

Some decidability results on limit sets

Durand, Bruno
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Institut Informatique et Mathematiques Appliquees de Grenoble (IMAG), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11388 / INIST-CNRS - ...

Normalisation et theorie comptable

Burlaud, Alain
Paris-12 Univ., 94 - Saint-Maur-des-Fosses (France). Inst. de Recherche en Gestion

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 1705 / INIST-CNRS - I...

Verification of elementary properties in abstract data types

Lazrak, N.
Perrin, G.-R.
Finance, J.-P.
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)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 10718 / INIST-CNRS - ...

On strong normalisation of explicit substitution calculi

Lang, Frederic
Lescanne, Pierre
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme

January 1999

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

Normalite de certains anneaux determinantiels quantiques

Rigal, Laurent
Poitiers Univ., 86 (France). Dept. de Mathematiques

January 1998

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22466, issue : a.1998 ...

Techniques de regularisation et de lissage en analyse discriminante

Cransveld, Conchita

January 1991

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

Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems

Dauchet, Max
Heuillard, Thierry
Tison, Sophie
Lescanne, Pierre
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)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Paru dans Information and computation, 88(2) : p.187-201, 1990. <8341>SIGLEAvailable at INIST ...

L'avenir de la normalisation comptable a la francaise Compte rendu de la table ronde organisee par l'association Dauphine Compta 124 en octobre 1991

Paris-6 Univ., 75 (France). Centre de Recherche en Finance et en Gestion (CREFIGE)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 1617 / INIST-CNRS - I...

La normalisation au service du droit de l'environnement

Gueguen, Elisabeth
Ministere de l'Environnement, 75 - Paris (France). Mission Juridique

January 1996

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 185 (3778) / INIST-CN...

Normalisation conditionnelle des criteres de contingence: approche relationnelle et algorithmique

Messatfa, H.
IBM France Cie., 75 - Paris (France)

January 1987

SIGLECNRS RP 250 (102) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Formes normales de matrices

Gil, I.
Villard, G.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1992 n.91 / ...

Decidability of regularity and related properties of ground normal form languages

Abstract

Extracted data

Decidability of regularity and related properties of ground normal form languages

Abstract

Extracted data

Related items

Related items