Compact suffix trees resemble PATRICIA tries Limiting distribution of depth

Specialization patterns

Schultz, Ulrik Pagh
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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)

January 1999

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

Complexite des logiciels de type 'flots de donnees'

Chevalier, Marcel
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)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1988

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

Systemes de reecritures orthogonaux non effacants et lineaires, droite application au probleme de Zantema

Tahhan Bittar, Elias
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

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

Varieties of increasing trees

Bergeron, Francois
Flajolet, Philippe
Salvy, Bruno
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...

Communication and memory optimized tree contraction and list ranking

Gustedt, Jens
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...

A survey of tree transduction

Raoult, Jean-Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1991

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

On generating functions of generating trees

Gouyou-Beauchamps, Dominique
Flajolet, Philippe
Gardy, Daniele
Denise, Alain
Bousquet-Melou, Mireille
Banderier, Cyril
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1999

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

Blossoming : a geometrical approach

Mazure, Marie-Laurence
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Modelisation et Calcul (LMC)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1997 ...

Selected domains and Lambda calculi

Amadio, Roberto M.
Curien, Pierre-Louis
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 logicielSIGLEAvailable at INIST (FR), Docume...

Epelle : un logiciel de detection de fautes d'orthographe

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

January 1993

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

Stratified least fixpoint logic

Compton, Kevin
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...

Une generalisation logique de l'analyse de concepts formels

Ridoux, Olivier
Ferre, Sebastien
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)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)

January 1999

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

Generalized digital trees and their difference-differential equations

Flajolet, Philippe
Richmond, Bruce
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...

Compact balanced tries

Nicodeme, Pierre
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...

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

Specialization patterns

Schultz, Ulrik Pagh
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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)

January 1999

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

Complexite des logiciels de type 'flots de donnees'

Chevalier, Marcel
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)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1988

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

Systemes de reecritures orthogonaux non effacants et lineaires, droite application au probleme de Zantema

Tahhan Bittar, Elias
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

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

Varieties of increasing trees

Bergeron, Francois
Flajolet, Philippe
Salvy, Bruno
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...

Communication and memory optimized tree contraction and list ranking

Gustedt, Jens
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...

A survey of tree transduction

Raoult, Jean-Claude
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1991

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

On generating functions of generating trees

Gouyou-Beauchamps, Dominique
Flajolet, Philippe
Gardy, Daniele
Denise, Alain
Bousquet-Melou, Mireille
Banderier, Cyril
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1999

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

Blossoming : a geometrical approach

Mazure, Marie-Laurence
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Modelisation et Calcul (LMC)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1997 ...

Selected domains and Lambda calculi

Amadio, Roberto M.
Curien, Pierre-Louis
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 logicielSIGLEAvailable at INIST (FR), Docume...

Epelle : un logiciel de detection de fautes d'orthographe

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

January 1993

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

Stratified least fixpoint logic

Compton, Kevin
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...

Une generalisation logique de l'analyse de concepts formels

Ridoux, Olivier
Ferre, Sebastien
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)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)

January 1999

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

Generalized digital trees and their difference-differential equations

Flajolet, Philippe
Richmond, Bruce
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...

Compact balanced tries

Nicodeme, Pierre
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...

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

Specialization patterns

Schultz, Ulrik Pagh
Lawall, Julia L.
Muller, Gilles
Consel, Charles
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (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)
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)

January 1999

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

Complexite des logiciels de type 'flots de donnees'

Chevalier, Marcel
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)
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM 3)

January 1988

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

Systemes de reecritures orthogonaux non effacants et lineaires, droite application au probleme de Zantema

Tahhan Bittar, Elias
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

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

Compact suffix trees resemble PATRICIA tries Limiting distribution of depth

Abstract

Extracted data

Compact suffix trees resemble PATRICIA tries Limiting distribution of depth

Abstract

Extracted data

Related items

Related items