Algebre des operateurs generiques et transformation de programmes en LPG

Projet d'etude: evolution de l'institut de conception de produits (IPC)

Ecole Nationale Superieure de Mecanique, 44 - Nantes (France)
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

SIGLECNRS AR 12816 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Outils de calcul sur les programmes

Bert, D.
Bensalem, S.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Conservatoire genetique de la souris

Bonhomme, Francois
DGRST Paris (FRANCE)
Universite de Montpellier 2, Institut des Sciences de l'Evolution Montpellier (FRANCE)

January 1982

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

Specification et programmation en LPG

Bensalem, Saddek
Bert, Didier
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

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

Transformations de programme par pliage/depliage

Kott, Laurent
Institut National de Recherche en Informatique et en Automatique Le Chesnay (FRANCE)

January 1982

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

Proprietes algebriques de l'ensemble des processus communicants reguliers

Roge, Sylvie
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Genie genetique des levures industrielles

Gaillardin, Claude
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Institut National de la Recherche Agronomique (INRA), 78 - Thiverval-Grignon (France). Lab. de Genetique des Micro-Organismes Industriels

January 1987

SIGLECNRS AR 12668 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Operations fondamentales dans l'algebre de Weyl

Chen, Guoting
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1988

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

Autour des algebres genetiques

Squalli Houssaini, Mohamed El Jawad

January 1985

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

Grands programmes et configuration du potentiel scientifique et technologique de la France

Chesnais, F.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Paris-10 Univ., 92 - Nanterre (France). Centre d'Etudes et de Recherches sur l'Entreprise Multinationale

January 1980

SIGLECNRS AR 13381 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algebre de programmes dans un univers type

Bensalem, Saddek
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

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

Principes et specifications d'un generateur d'editeurs

Marty, Jean-Charles
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)

January 1984

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Predicats et sous-types en LPG. Realisation de la E-unification

Echaed, Rachid
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Paillet, Jean-Luc
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Atelier de Recherche sue les Techniques Mathematiques et Informatiques de Systemes

January 1988

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

Une methode de transformation de programmes applicable a la systolisation

Durand, Raymond
Joinnault, Brigitte
Vergne, Martine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)

January 1987

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Projet d'etude: evolution de l'institut de conception de produits (IPC)

Ecole Nationale Superieure de Mecanique, 44 - Nantes (France)
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

SIGLECNRS AR 12816 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Outils de calcul sur les programmes

Bert, D.
Bensalem, S.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Conservatoire genetique de la souris

Bonhomme, Francois
DGRST Paris (FRANCE)
Universite de Montpellier 2, Institut des Sciences de l'Evolution Montpellier (FRANCE)

January 1982

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

Specification et programmation en LPG

Bensalem, Saddek
Bert, Didier
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1984

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

Transformations de programme par pliage/depliage

Kott, Laurent
Institut National de Recherche en Informatique et en Automatique Le Chesnay (FRANCE)

January 1982

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

Proprietes algebriques de l'ensemble des processus communicants reguliers

Roge, Sylvie
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Genie genetique des levures industrielles

Gaillardin, Claude
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Institut National de la Recherche Agronomique (INRA), 78 - Thiverval-Grignon (France). Lab. de Genetique des Micro-Organismes Industriels

January 1987

SIGLECNRS AR 12668 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Operations fondamentales dans l'algebre de Weyl

Chen, Guoting
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3)

January 1988

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

Autour des algebres genetiques

Squalli Houssaini, Mohamed El Jawad

January 1985

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

Grands programmes et configuration du potentiel scientifique et technologique de la France

Chesnais, F.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Paris-10 Univ., 92 - Nanterre (France). Centre d'Etudes et de Recherches sur l'Entreprise Multinationale

January 1980

SIGLECNRS AR 13381 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algebre de programmes dans un univers type

Bensalem, Saddek
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

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

Principes et specifications d'un generateur d'editeurs

Marty, Jean-Charles
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Informatique et Mathematiques Appliquees de Grenoble
Grenoble-1 Univ., 38 (France)
Institut National Polytechnique de Grenoble, 38 (France)

January 1984

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Predicats et sous-types en LPG. Realisation de la E-unification

Echaed, Rachid
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

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

Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Paillet, Jean-Luc
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Atelier de Recherche sue les Techniques Mathematiques et Informatiques de Systemes

January 1988

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

Une methode de transformation de programmes applicable a la systolisation

Durand, Raymond
Joinnault, Brigitte
Vergne, Martine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)

January 1987

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Projet d'etude: evolution de l'institut de conception de produits (IPC)

Ecole Nationale Superieure de Mecanique, 44 - Nantes (France)
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1987

SIGLECNRS AR 12816 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Outils de calcul sur les programmes

Bert, D.
Bensalem, S.
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Lab. d'Informatique Fondamentale et d'Intelligence Artificielle

January 1985

SIGLECNRS RS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Conservatoire genetique de la souris

Bonhomme, Francois
DGRST Paris (FRANCE)
Universite de Montpellier 2, Institut des Sciences de l'Evolution Montpellier (FRANCE)

January 1982

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

Algebre des operateurs generiques et transformation de programmes en LPG

Abstract

Extracted data

Algebre des operateurs generiques et transformation de programmes en LPG

Abstract

Extracted data

Related items

Related items