Reachability analysis of term rewriting systems with Timbuk

Modular aspects of rewrite-based specifications

Gramlich, Bernhard
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...

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSAAvailable from INIST (FR), Document Supply Service, und...

Affichage et manipulation interactive de formules mathematiques dans les documents structures

Rideau, Laurence
Naciri, Hanane
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

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

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

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

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

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

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

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

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

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

Complexity analysis of term rewriting systems

Choppy, Christine
Kaplan, Stephane
Soria, Michele
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

On the ground reducibility problem for word rewriting systems with variables

Kucherov, Gregory
Rusinowitch, Michael
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

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

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

Modular aspects of rewrite-based specifications

Gramlich, Bernhard
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...

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSAAvailable from INIST (FR), Document Supply Service, und...

Affichage et manipulation interactive de formules mathematiques dans les documents structures

Rideau, Laurence
Naciri, Hanane
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

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

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

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

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

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

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

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

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

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

Complexity analysis of term rewriting systems

Choppy, Christine
Kaplan, Stephane
Soria, Michele
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France). Unite de Recherche de Rocquencourt

January 1988

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

On the ground reducibility problem for word rewriting systems with variables

Kucherov, Gregory
Rusinowitch, Michael
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

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

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

Modular aspects of rewrite-based specifications

Gramlich, Bernhard
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...

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSAAvailable from INIST (FR), Document Supply Service, und...

Affichage et manipulation interactive de formules mathematiques dans les documents structures

Rideau, Laurence
Naciri, Hanane
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet LemmeAvailable from INIST (FR), Document Supp...

Reachability analysis of term rewriting systems with Timbuk

Abstract

Extracted data

Reachability analysis of term rewriting systems with Timbuk

Abstract

Extracted data

Related items

Related items