On the dimension of the Hull

Rapport d'activite 1990. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.2 /...

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

Rapport d'activite 1992. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.2 /...

A complete implementation for computing general dimensional convex hulls

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet SafirSIGLEAvailable at INI...

On the unity of logic

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

January 1991

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

Objets conditionels et objets inconnus

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

January 1994

Programme 2 - Calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

Collections, sets and types

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CoqSIGLEAvailable at INIST ...

Reseaux de processus reactifs

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

January 1992

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

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
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 logiciel. Projet algorithmesSIGLEAvailable a...

Programming language specifications and environments

Bertot, Y.
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...

A modular module system

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

January 1996

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet CristalSIGLEAvailable at I...

Programmation du systeme Unix en Calm Light

Leroy, Xavier
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...

Codes and finite geometries

Assmus, Edward F.
Key, Jennifer D.
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 logicielAvailable at INIST (FR), Document Su...

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

Parallel logic programming systems

Chassin de Kergommeaux, Jacques
Codognet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

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

Rapport d'activite 1990. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.2 /...

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

Rapport d'activite 1992. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.2 /...

A complete implementation for computing general dimensional convex hulls

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet SafirSIGLEAvailable at INI...

On the unity of logic

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

January 1991

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

Objets conditionels et objets inconnus

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

January 1994

Programme 2 - Calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

Collections, sets and types

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

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CoqSIGLEAvailable at INIST ...

Reseaux de processus reactifs

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

January 1992

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

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
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 logiciel. Projet algorithmesSIGLEAvailable a...

Programming language specifications and environments

Bertot, Y.
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...

A modular module system

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

January 1996

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet CristalSIGLEAvailable at I...

Programmation du systeme Unix en Calm Light

Leroy, Xavier
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...

Codes and finite geometries

Assmus, Edward F.
Key, Jennifer D.
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 logicielAvailable at INIST (FR), Document Su...

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

Parallel logic programming systems

Chassin de Kergommeaux, Jacques
Codognet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

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

Rapport d'activite 1990. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.2 /...

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

Rapport d'activite 1992. Annexe technique Programme 2 : calcul symbolique, programmation et genie logiciel

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.2 /...

On the dimension of the Hull

Abstract

Extracted data

On the dimension of the Hull

Abstract

Extracted data

Related items

Related items