On rational graphs

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

Un algorithme polynomial pour le probleme du voyageur de commerce sur une classe de graphes

Elnachef, Anwar
Fonlupt, Jean
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques de Systemes (ARTEMIS)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)

January 1986

Available at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n.6 / I...

On cyclic orders and synchronisation graphs

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

January 2000

Theme 1 - Reseaux et systemes - Action MCRSIGLEAvailable from INIST (FR), Document Supply Service, u...

Rationalite et reconnaissabilite dans des graphes

Bossut, Francis

January 1986

SIGLECNRS T 59212 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Sur la complexite de quelques problemes de graphes

Saad, Rachid

January 1992

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

Graphes de dependance pour les demonstrateurs de theoremes interactifs

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

January 2000

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

Le probleme du voyageur de commerce relaxe sur quelques classes de graphes

Fonlupt, J.
Nachef, A.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques de Systemes (ARTEMIS)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)

January 1987

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1987 n....

Two-connected graphs with given diameter

Jarry, Aubin
Laugier, Alexandre
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

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

Handsome proof-nets R&B-graphs, perfect matchings and series-parallel graphs

Retore, Christian
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 1999

Theme 1 - Reseaux et systemes. Projet ParagrapheSIGLEAvailable from INIST (FR), Document Supply Serv...

Linear control of live marked graphs

Xie, Xiaolan
Darondeau, Philippe
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes

January 2001

Themes 1 et 4 - Reseaux et systemes - Simulation et optimisation de systemes complexes - Projets S4 ...

Etude et realisation d'un module de pilotage et d'un outil de representation graphique appliques a la conception d'un systeme de production flexible

Hebrard, Agnes

January 1992

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

Constructions d'algorithmes pour les graphes structures par des methodes algebriques et logiques

Mosbah, Mohamed

January 1992

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

Etude et mise au point d'un algorithme parallele pour l'assemblage et la resolution d'un systeme lineaire a coefficient complexes

Bonnemason, P.
Meltz, B.
Vitart, F.
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Service Mathematiques et Codes Numeriques

January 1993

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

Generation dynamique de representations graphiques pour l'aide au raisonnement de l'apprenant

Bennani, M.
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 1993

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

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

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

Un algorithme polynomial pour le probleme du voyageur de commerce sur une classe de graphes

Elnachef, Anwar
Fonlupt, Jean
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques de Systemes (ARTEMIS)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)

January 1986

Available at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n.6 / I...

On cyclic orders and synchronisation graphs

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

January 2000

Theme 1 - Reseaux et systemes - Action MCRSIGLEAvailable from INIST (FR), Document Supply Service, u...

Rationalite et reconnaissabilite dans des graphes

Bossut, Francis

January 1986

SIGLECNRS T 59212 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Sur la complexite de quelques problemes de graphes

Saad, Rachid

January 1992

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

Graphes de dependance pour les demonstrateurs de theoremes interactifs

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

January 2000

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

Le probleme du voyageur de commerce relaxe sur quelques classes de graphes

Fonlupt, J.
Nachef, A.
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques de Systemes (ARTEMIS)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)

January 1987

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1987 n....

Two-connected graphs with given diameter

Jarry, Aubin
Laugier, Alexandre
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

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

Handsome proof-nets R&B-graphs, perfect matchings and series-parallel graphs

Retore, Christian
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 1999

Theme 1 - Reseaux et systemes. Projet ParagrapheSIGLEAvailable from INIST (FR), Document Supply Serv...

Linear control of live marked graphs

Xie, Xiaolan
Darondeau, Philippe
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Unite de Recherche de Rennes

January 2001

Themes 1 et 4 - Reseaux et systemes - Simulation et optimisation de systemes complexes - Projets S4 ...

Etude et realisation d'un module de pilotage et d'un outil de representation graphique appliques a la conception d'un systeme de production flexible

Hebrard, Agnes

January 1992

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

Constructions d'algorithmes pour les graphes structures par des methodes algebriques et logiques

Mosbah, Mohamed

January 1992

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

Etude et mise au point d'un algorithme parallele pour l'assemblage et la resolution d'un systeme lineaire a coefficient complexes

Bonnemason, P.
Meltz, B.
Vitart, F.
CEA Centre d'Etudes de Limeil-Valenton, 94 - Villeneuve-Saint-Georges (France). Service Mathematiques et Codes Numeriques

January 1993

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

Generation dynamique de representations graphiques pour l'aide au raisonnement de l'apprenant

Bennani, M.
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 1993

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

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

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

Un algorithme polynomial pour le probleme du voyageur de commerce sur une classe de graphes

Elnachef, Anwar
Fonlupt, Jean
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques de Systemes (ARTEMIS)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)

January 1986

Available at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1986 n.6 / I...

On cyclic orders and synchronisation graphs

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

January 2000

Theme 1 - Reseaux et systemes - Action MCRSIGLEAvailable from INIST (FR), Document Supply Service, u...

On rational graphs

Abstract

Extracted data

On rational graphs

Abstract

Extracted data

Related items

Related items