One result on the expressive power of term rewriting systems

Systemes specifiques d'indemnisation 2e rapport intermediaire

Divernet, Christophe
Ministere de la Justice, 75 - Paris (France)
Ministere de la Justice, 75 - Paris (France). Direction des Affaires Civiles et du Sceau

January 1994

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

Conception des systemes d'information Support de cours

Foucaut, Odile
Thiery, Odile
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 enseignementSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 1...

Themistocle Results and prospects

Eschstruth, Paul
Institut National de Physique Nucleaire et de Physique des Particules, 91 - Orsay (France). Lab. de l'Accelerateur Lineaire
Paris-11 Univ., 91 - Orsay (France). Lab. de l'Accelerateur Lineaire

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12618 / 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...

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...

Crossed term rewriting systems

Hermann, Miki
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)
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 10692 / INIST-CNRS - ...

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...

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...

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...

Reachability analysis over term rewriting systems

Feuillade, Guillaume
Genet, Thomas
Viet Triem Tong, Valerie
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Themes 1 et 2 - Reseaux et systemes - Genie logiciel et calcul symbolique - ProjetsS4 et LandeSIGLEA...

Reachability analysis of term rewriting systems with Timbuk

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

January 2001

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.200...

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....

On ground-reducibility problem for word rewriting systems with variables

Rusinowitch, Michael
Kucherov, Gregory
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-1 Univ., 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 12381 / INIST-CNRS - ...

Premices of a theory of formal texts design

Jacquot, J.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 1991

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

On relationship between term rewriting systems and regular tree languages

Kucherov, G.A.
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Systemes specifiques d'indemnisation 2e rapport intermediaire

Divernet, Christophe
Ministere de la Justice, 75 - Paris (France)
Ministere de la Justice, 75 - Paris (France). Direction des Affaires Civiles et du Sceau

January 1994

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

Conception des systemes d'information Support de cours

Foucaut, Odile
Thiery, Odile
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 enseignementSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 1...

Themistocle Results and prospects

Eschstruth, Paul
Institut National de Physique Nucleaire et de Physique des Particules, 91 - Orsay (France). Lab. de l'Accelerateur Lineaire
Paris-11 Univ., 91 - Orsay (France). Lab. de l'Accelerateur Lineaire

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12618 / 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...

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...

Crossed term rewriting systems

Hermann, Miki
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)
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 10692 / INIST-CNRS - ...

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...

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...

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...

Reachability analysis over term rewriting systems

Feuillade, Guillaume
Genet, Thomas
Viet Triem Tong, Valerie
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Themes 1 et 2 - Reseaux et systemes - Genie logiciel et calcul symbolique - ProjetsS4 et LandeSIGLEA...

Reachability analysis of term rewriting systems with Timbuk

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

January 2001

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.200...

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....

On ground-reducibility problem for word rewriting systems with variables

Rusinowitch, Michael
Kucherov, Gregory
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-1 Univ., 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 12381 / INIST-CNRS - ...

Premices of a theory of formal texts design

Jacquot, J.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 1991

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

On relationship between term rewriting systems and regular tree languages

Kucherov, G.A.
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

Systemes specifiques d'indemnisation 2e rapport intermediaire

Divernet, Christophe
Ministere de la Justice, 75 - Paris (France)
Ministere de la Justice, 75 - Paris (France). Direction des Affaires Civiles et du Sceau

January 1994

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

Conception des systemes d'information Support de cours

Foucaut, Odile
Thiery, Odile
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 enseignementSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 1...

Themistocle Results and prospects

Eschstruth, Paul
Institut National de Physique Nucleaire et de Physique des Particules, 91 - Orsay (France). Lab. de l'Accelerateur Lineaire
Paris-11 Univ., 91 - Orsay (France). Lab. de l'Accelerateur Lineaire

January 1994

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

One result on the expressive power of term rewriting systems

Abstract

Extracted data

One result on the expressive power of term rewriting systems

Abstract

Extracted data

Related items

Related items