Introduction to the rewriting calculus

Mathematics and proof presentation in Pcoq

Amerkad, Ahmed
Bertot, Yves
Pottier, Loic
Rideau, Laurence
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 LemmeSIGLEAvailable from INIST (FR), Document...

A language and an integrated environment for program transformation

Attali, Isabelle
Pascual, Valerie
Roudet, Christophe
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

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

Graph rewrite systems for program optimization

Assmann, Uwe
Joly, Patrick
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

Theme 2 - Genie logiciel et calcul symbolique - Projet OSCARSIGLEAvailable at INIST (FR), Document S...

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

Introduction a l'arithmetique par intervalles

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

January 2001

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

Cinq algorithmes de calcul symbolique

Zimmermann, Paul
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 EurecaAvailable from INIST (FR), Document Supp...

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

Vers une nouvelle approche du calcul scientifique en C++

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

January 1998

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

A few remarks on SKInT

Goubault-Larrecq, Jean
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projets CoqSIGLEAvailable from INIST (FR), Document S...

Conditional concurrent rewriting

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

January 1996

Programme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable at INIST (FR), Docum...

Semantique naturelle : specifications et preuves

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

January 1998

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

Semantique naturelle et Coq : vers la specification et les preuves sur les langages a objets

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

January 1997

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

Further reducing the redundancy of a notation over a minimally redundant digit set

Daumas, Marc
Matula, David W.
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2000

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

Deux variations sur le theme de la consistance d'arcs : maintien et renforcement

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

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet SecoiaAvailable at INIST (F...

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

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

January 2001

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

Mathematics and proof presentation in Pcoq

Amerkad, Ahmed
Bertot, Yves
Pottier, Loic
Rideau, Laurence
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 LemmeSIGLEAvailable from INIST (FR), Document...

A language and an integrated environment for program transformation

Attali, Isabelle
Pascual, Valerie
Roudet, Christophe
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

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

Graph rewrite systems for program optimization

Assmann, Uwe
Joly, Patrick
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

Theme 2 - Genie logiciel et calcul symbolique - Projet OSCARSIGLEAvailable at INIST (FR), Document S...

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

Introduction a l'arithmetique par intervalles

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

January 2001

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

Cinq algorithmes de calcul symbolique

Zimmermann, Paul
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 EurecaAvailable from INIST (FR), Document Supp...

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

Vers une nouvelle approche du calcul scientifique en C++

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

January 1998

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

A few remarks on SKInT

Goubault-Larrecq, Jean
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projets CoqSIGLEAvailable from INIST (FR), Document S...

Conditional concurrent rewriting

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

January 1996

Programme 2 - Genie logiciel et calcul symbolique. Projet PROTHEOSIGLEAvailable at INIST (FR), Docum...

Semantique naturelle : specifications et preuves

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

January 1998

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

Semantique naturelle et Coq : vers la specification et les preuves sur les langages a objets

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

January 1997

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

Further reducing the redundancy of a notation over a minimally redundant digit set

Daumas, Marc
Matula, David W.
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2000

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

Deux variations sur le theme de la consistance d'arcs : maintien et renforcement

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

January 1994

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet SecoiaAvailable at INIST (F...

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

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

January 2001

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

Mathematics and proof presentation in Pcoq

Amerkad, Ahmed
Bertot, Yves
Pottier, Loic
Rideau, Laurence
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 LemmeSIGLEAvailable from INIST (FR), Document...

A language and an integrated environment for program transformation

Attali, Isabelle
Pascual, Valerie
Roudet, Christophe
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

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

Graph rewrite systems for program optimization

Assmann, Uwe
Joly, Patrick
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1996

Theme 2 - Genie logiciel et calcul symbolique - Projet OSCARSIGLEAvailable at INIST (FR), Document S...

Introduction to the rewriting calculus

Abstract

Extracted data

Introduction to the rewriting calculus

Abstract

Extracted data

Related items

Related items