Partial algebra + order-sorted algebra = G algebra

Mathematiques appliquees a la maitrise de la qualite et a la surete de fonctionnement

January 1996

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15826 / INIST-CNRS - Ins...

Representation cartesienne, rationalite mathematique et rationalite du quotidien chez des eleves de college

Lerouge, Alain

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : TD 82125 / INIST-CNRS - Ins...

Etude algebrique des multitableaux: apports de l'algebre tensorielle

Franc, Alain

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83893 / INIST-CNRS -...

Partial algebra + order-sorted algebra = galactic algebra

Megrelis, A.
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

Extrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992...

Computer algebra libraries for combinatorial structures

Flajolet, Philippe
Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a...

Termination of rewriting in order-sorted algebras

Gnaedig, Isabelle
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 11452 / INIST-CNRS - ...

An introduction to galactic algebra

Megrelis, Aristide
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 11843 / INIST-CNRS - ...

Operations sur l'homologie d'algebres de matrices et homologie cyclique

Gaucher, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82274 / INIST-CNRS ...

Petri algebras

Badouel, Eric
Chenou, Jules
Guillou, Goulven
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 2004

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

Logiciel de classification pyramidale

Brito, P.
Bertrand, P.
Diday, E.
Jacques, G.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Intelligence Logicielle (ILOG), 94 - Gentilly (France)

January 1991

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

Architecture logicielle pour processeur de morphologie mathematique

Bilodeau, Michel
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83016 / INIST-CNRS -...

Partial orderings in object-based representations

Napoli, Amedeo
Ducournau, Roland
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

Submitted to : IJCAI 1993SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number :...

Ensembles flous et morphologie mathematique

Bloch, Isabelle
Maitre, Henri
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France). Dept. Images

January 1992

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

Dix annees de modeles d'equations structurelles : un etat de l'art

Valette-Florence, Pierre
Centre National de la Recherche Scientifique (CNRS), 38 - Grenoble (France). Centre d'Etudes et de Recherches Appliquees a la Gestion
Grenoble-2 Univ., 38 - Grenoble (France). Centre d'Etudes et de Recherches Appliquees a la Gestion (CERAG)

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : DO 1748 / INIST-CNRS - Instit...

Mathematiques et informatique

Paris-6 Univ., 75 (France).= Lab. d'Informatique Theorique et Programmation
Paris-7 Univ., 75 (France). Lab. d'Informatique Theorique et Programmation
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique Theorique et Programmation

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : AR 15765 / INIST-CNRS ...

Mathematiques appliquees a la maitrise de la qualite et a la surete de fonctionnement

January 1996

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15826 / INIST-CNRS - Ins...

Representation cartesienne, rationalite mathematique et rationalite du quotidien chez des eleves de college

Lerouge, Alain

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : TD 82125 / INIST-CNRS - Ins...

Etude algebrique des multitableaux: apports de l'algebre tensorielle

Franc, Alain

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83893 / INIST-CNRS -...

Partial algebra + order-sorted algebra = galactic algebra

Megrelis, A.
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

Extrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992...

Computer algebra libraries for combinatorial structures

Flajolet, Philippe
Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a...

Termination of rewriting in order-sorted algebras

Gnaedig, Isabelle
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 11452 / INIST-CNRS - ...

An introduction to galactic algebra

Megrelis, Aristide
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 11843 / INIST-CNRS - ...

Operations sur l'homologie d'algebres de matrices et homologie cyclique

Gaucher, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82274 / INIST-CNRS ...

Petri algebras

Badouel, Eric
Chenou, Jules
Guillou, Goulven
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 2004

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

Logiciel de classification pyramidale

Brito, P.
Bertrand, P.
Diday, E.
Jacques, G.
Ministere de la Recherche et de l'Espace (MRE), 75 - Paris (France)
Intelligence Logicielle (ILOG), 94 - Gentilly (France)

January 1991

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

Architecture logicielle pour processeur de morphologie mathematique

Bilodeau, Michel
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83016 / INIST-CNRS -...

Partial orderings in object-based representations

Napoli, Amedeo
Ducournau, Roland
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

Submitted to : IJCAI 1993SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number :...

Ensembles flous et morphologie mathematique

Bloch, Isabelle
Maitre, Henri
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France). Dept. Images

January 1992

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

Dix annees de modeles d'equations structurelles : un etat de l'art

Valette-Florence, Pierre
Centre National de la Recherche Scientifique (CNRS), 38 - Grenoble (France). Centre d'Etudes et de Recherches Appliquees a la Gestion
Grenoble-2 Univ., 38 - Grenoble (France). Centre d'Etudes et de Recherches Appliquees a la Gestion (CERAG)

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : DO 1748 / INIST-CNRS - Instit...

Mathematiques et informatique

Paris-6 Univ., 75 (France).= Lab. d'Informatique Theorique et Programmation
Paris-7 Univ., 75 (France). Lab. d'Informatique Theorique et Programmation
Centre National de la Recherche Scientifique (CNRS), 75 - Paris (France). Informatique Theorique et Programmation

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : AR 15765 / INIST-CNRS ...

Mathematiques appliquees a la maitrise de la qualite et a la surete de fonctionnement

January 1996

Available from INIST (FR), Document Supply Service, under shelf-number : AR 15826 / INIST-CNRS - Ins...

Representation cartesienne, rationalite mathematique et rationalite du quotidien chez des eleves de college

Lerouge, Alain

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : TD 82125 / INIST-CNRS - Ins...

Etude algebrique des multitableaux: apports de l'algebre tensorielle

Franc, Alain

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 83893 / INIST-CNRS -...

Partial algebra + order-sorted algebra = G algebra

Abstract

Extracted data

Partial algebra + order-sorted algebra = G algebra

Abstract

Extracted data

Related items

Related items