Crossed term rewriting systems

Abstraction of conditional term rewriting systems

Bert, D.
Echahed, R.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique (LGI)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Genie Informatique (LGI)

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1995 n....

Re-engineering de l'entreprise et systemes ouverts

Lemaire, Bruno
Chambre de Commerce et d'Industrie de Paris, 78 - Jouy-en-Josas (France). Groupe HEC

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : DO 3081 / INIST-CNRS - Instit...

La reecriture concurrente

Viry, Patrick

January 1992

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

Addressed term rewriting systems

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

January 1999

Available from INIST (FR), Document Supply Service, under shelf-number : RP 15443 / INIST-CNRS - Ins...

Lazy completion of term rewriting systems

Hermann, Miki
Nancy-1 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-2 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

Available at INIST (FR), Document Supply Service, under shelf-number : RP 10716 / INIST-CNRS - Insti...

Rewriting Theory and applications

Kirchner, Claude
Kirchner, Helene
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

Rapport d'enseignementSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP...

Divergent term rewriting systems

Hermann, Miki
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

Paru aussi dans la revue : Journal of symbolic computation, 1990 - <20950>SIGLEAvailable at IN...

Implementations of term rewriting systems

Herman, M.
Kirchner, C.
Kirchner, H.
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 1991

Publie dans : The Computer Journal, vol 34, no 1, 1991, p. 20-33SIGLEAvailable at INIST (FR), Docume...

Related specification Reuse

Wolff, P.
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 1993

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

Retiming DAGs

Calland, Pierre-Yves
Vivien, Frederic
Mignotte, Anne
Peyran, Olivier
Robert, Yves
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1995

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

One result on the expressive power of term rewriting systems

Vorobyov, S.G.
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 1992

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11365 ...

Well rewrite orderings and well quasi-orderings

Lescanne, Pierre
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 1991

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

Ordonnancement de taches dans les systemes temps-reel et repartis

Cardeira, C.
Mammeri, Z.
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 1993

Available at INIST (FR), Document Supply Service, under shelf-number : RP 12398 / INIST-CNRS - Insti...

Schema d'amenagement des bassins pluviaux de Marseille : le systeme d'acteurs

Plan Urbain, 75 - Paris (France)
Marseille (ville), 13 - Marseille (France). Direction de l'assainissement
Centre d'Etude et de Recherche sur les Pratiques de l'Espace (CERPE), 13 - Marseille (France)

January 1993

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

Systeme politique, institution scolaire et repartition des revenu

L'Hoir, Mathieu
Centre National de la Recherche Scientifique, 75 - Paris (France). Unite Mixte de Service de la Maison des Sciences Economiques
Paris-1 Univ., 75 - Paris (France). Maison des Sciences Economiques
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Theorie et Applications en Microeconomie et Macroeconomie (TEAM)
Paris-1 Univ., 75 - (France). Theorie et Applications en Microeconomie et Macroeconomie (TEAM)

January 2001

Available from INIST (FR), Document Supply Service, under shelf-number : RP 16173 / INIST-CNRS - Ins...

Abstraction of conditional term rewriting systems

Bert, D.
Echahed, R.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique (LGI)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Genie Informatique (LGI)

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1995 n....

Re-engineering de l'entreprise et systemes ouverts

Lemaire, Bruno
Chambre de Commerce et d'Industrie de Paris, 78 - Jouy-en-Josas (France). Groupe HEC

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : DO 3081 / INIST-CNRS - Instit...

La reecriture concurrente

Viry, Patrick

January 1992

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

Addressed term rewriting systems

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

January 1999

Available from INIST (FR), Document Supply Service, under shelf-number : RP 15443 / INIST-CNRS - Ins...

Lazy completion of term rewriting systems

Hermann, Miki
Nancy-1 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-2 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

Available at INIST (FR), Document Supply Service, under shelf-number : RP 10716 / INIST-CNRS - Insti...

Rewriting Theory and applications

Kirchner, Claude
Kirchner, Helene
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

Rapport d'enseignementSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP...

Divergent term rewriting systems

Hermann, Miki
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

Paru aussi dans la revue : Journal of symbolic computation, 1990 - <20950>SIGLEAvailable at IN...

Implementations of term rewriting systems

Herman, M.
Kirchner, C.
Kirchner, H.
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 1991

Publie dans : The Computer Journal, vol 34, no 1, 1991, p. 20-33SIGLEAvailable at INIST (FR), Docume...

Related specification Reuse

Wolff, P.
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 1993

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

Retiming DAGs

Calland, Pierre-Yves
Vivien, Frederic
Mignotte, Anne
Peyran, Olivier
Robert, Yves
Ecole Normale Superieure de Lyon, 69 (France). Lab. de l'Informatique du Parallelisme
Lyon-1 Univ., 69 (France). Lab. de l'Informatique du Parallelisme
Centre National de la Recherche Scientifique (CNRS), 69 - Lyon (France). Lab. de l'Informatique du Parallelisme

January 1995

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

One result on the expressive power of term rewriting systems

Vorobyov, S.G.
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 1992

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11365 ...

Well rewrite orderings and well quasi-orderings

Lescanne, Pierre
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 1991

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

Ordonnancement de taches dans les systemes temps-reel et repartis

Cardeira, C.
Mammeri, Z.
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 1993

Available at INIST (FR), Document Supply Service, under shelf-number : RP 12398 / INIST-CNRS - Insti...

Schema d'amenagement des bassins pluviaux de Marseille : le systeme d'acteurs

Plan Urbain, 75 - Paris (France)
Marseille (ville), 13 - Marseille (France). Direction de l'assainissement
Centre d'Etude et de Recherche sur les Pratiques de l'Espace (CERPE), 13 - Marseille (France)

January 1993

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

Systeme politique, institution scolaire et repartition des revenu

L'Hoir, Mathieu
Centre National de la Recherche Scientifique, 75 - Paris (France). Unite Mixte de Service de la Maison des Sciences Economiques
Paris-1 Univ., 75 - Paris (France). Maison des Sciences Economiques
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Theorie et Applications en Microeconomie et Macroeconomie (TEAM)
Paris-1 Univ., 75 - (France). Theorie et Applications en Microeconomie et Macroeconomie (TEAM)

January 2001

Available from INIST (FR), Document Supply Service, under shelf-number : RP 16173 / INIST-CNRS - Ins...

Abstraction of conditional term rewriting systems

Bert, D.
Echahed, R.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique de Grenoble (LGIG)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Genie Informatique (LGI)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Genie Informatique (LGI)

January 1995

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1995 n....

Re-engineering de l'entreprise et systemes ouverts

Lemaire, Bruno
Chambre de Commerce et d'Industrie de Paris, 78 - Jouy-en-Josas (France). Groupe HEC

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : DO 3081 / INIST-CNRS - Instit...

La reecriture concurrente

Viry, Patrick

January 1992

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

Crossed term rewriting systems

Abstract

Extracted data

Topics

Crossed term rewriting systems

Abstract

Extracted data

Topics

Related items

Related items