A generic object-calculus based on addressed term rewriting systems

Reachability analysis of term rewriting systems with Timbuk

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 2001

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

The origins of #lambda#-calculus and term rewriting systems

Bertot, Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1991

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

Introduction to the rewriting calculus

Cirstea, Horatiu
Kirchner, Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1999

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

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

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

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

A generic specification development model

Souquieres, J.
Vorobyov, S.
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

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

A Generic Object-Calculus Based on Addressed Term Rewriting Systems

Dougherty, Daniel J.
Lang, Frederic
Lescanne, Pierre
Liquori, Luigi
Rose, Kristoffer

May 2001

International audienceWe describe the foundations of LamObj^a, a framework, or generic calculus, for...

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

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

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

A generic object-calculus based on Addressed Term Rewriting Systems

Laboratoire de l'informatique du parallélisme
Dougherty, Daniel
Lang, Frédéric
Lescanne, Pierre
Liquori, Luigi
Rose, Kristoffer

December 1999

(eng) In a previous paper we have outlined a framework (or a generic object-calculus) called \Obja, ...

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

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

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

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

The origins of #lambda#-calculus and term rewriting systems

Bertot, Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1991

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

Introduction to the rewriting calculus

Cirstea, Horatiu
Kirchner, Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1999

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

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

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

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

A generic specification development model

Souquieres, J.
Vorobyov, S.
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

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

A Generic Object-Calculus Based on Addressed Term Rewriting Systems

Dougherty, Daniel J.
Lang, Frederic
Lescanne, Pierre
Liquori, Luigi
Rose, Kristoffer

May 2001

International audienceWe describe the foundations of LamObj^a, a framework, or generic calculus, for...

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

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

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

A generic object-calculus based on Addressed Term Rewriting Systems

Laboratoire de l'informatique du parallélisme
Dougherty, Daniel
Lang, Frédéric
Lescanne, Pierre
Liquori, Luigi
Rose, Kristoffer

December 1999

(eng) In a previous paper we have outlined a framework (or a generic object-calculus) called \Obja, ...

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

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

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

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

The origins of #lambda#-calculus and term rewriting systems

Bertot, Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1991

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

Introduction to the rewriting calculus

Cirstea, Horatiu
Kirchner, Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1999

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

A generic object-calculus based on addressed term rewriting systems

Abstract

Extracted data

Topics

A generic object-calculus based on addressed term rewriting systems

Abstract

Extracted data

Topics

Related items

Related items