Search dblp for Publications

export results for "toc:db/journals/ita/ita10.bht:"

 download as .bib file

@article{DBLP:journals/ita/ArnoldD76,
  author       = {Andr{\'{e}} Arnold and
                  Max Dauchet},
  title        = {Transductions de Forets Reconnaissables Monadiques Forets Coregulieres},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {1},
  pages        = {5--28},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R100051},
  doi          = {10.1051/ITA/197610R100051},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/ArnoldD76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BermondK76,
  author       = {Jean{-}Claude Bermond and
                  Yves Kodratoff},
  title        = {Une Heuristique pour le Calcul de l'Indice de Transitivit{\'{e}}
                  d'un Tournoi},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {1},
  pages        = {83--92},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R100831},
  doi          = {10.1051/ITA/197610R100831},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BermondK76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Berry76,
  author       = {G{\'{e}}rard Berry},
  title        = {Bottom-Up Computation of Recursive Programs},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {1},
  pages        = {47--82},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R100471},
  doi          = {10.1051/ITA/197610R100471},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Berry76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Brzozowski76,
  author       = {Janusz A. Brzozowski},
  title        = {Hierarchies of Aperiodic Languages},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {2},
  pages        = {33--49},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R200331},
  doi          = {10.1051/ITA/197610R200331},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Brzozowski76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Finance76,
  author       = {Jean{-}Pierre Finance},
  title        = {Une Formalisation de la S{\'{e}}mantique des Langages de Programmation},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {2},
  pages        = {5--32},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R200051},
  doi          = {10.1051/ITA/197610R200051},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Finance76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Finance76a,
  author       = {Jean{-}Pierre Finance},
  title        = {Une Formalisation de la S{\'{e}}mantique des Langages de Programmation},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {3},
  pages        = {5--21},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R300051},
  doi          = {10.1051/ITA/197610R300051},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Finance76a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Francon76,
  author       = {Jean Fran{\c{c}}on},
  title        = {Arbres Binaires de Recherche: Propri{\'{e}}t{\'{e}}s Combinatioires
                  et Applications},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {3},
  pages        = {35--50},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R300351},
  doi          = {10.1051/ITA/197610R300351},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Francon76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Gondran76,
  author       = {M. Gondran},
  title        = {Valeurs Propres et Vecteurs Propres en Calssification Hi{\'{e}}rarchique},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {1},
  pages        = {39--46},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R100391},
  doi          = {10.1051/ITA/197610R100391},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Gondran76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Hartmanis76,
  author       = {Juris Hartmanis},
  title        = {On Effective Speed-Up and Long Proofs of Trivial Theorems in Formal
                  Theories},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {1},
  pages        = {29--38},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R100291},
  doi          = {10.1051/ITA/197610R100291},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Hartmanis76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Lescanne76,
  author       = {Pierre Lescanne},
  title        = {{\'{E}}quivalence Entre la Famille des Ensembles R{\'{e}}guliers
                  et la Famille des Ensembles Alg{\'{e}}briques},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {2},
  pages        = {57--81},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R200571},
  doi          = {10.1051/ITA/197610R200571},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Lescanne76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Mignotte76,
  author       = {Maurice Mignotte},
  title        = {Sur la Complexit{\'{e}} de Certains Algorithmes ou Intervient
                  la S{\'{e}}paration des Racines d'un Polynome},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {2},
  pages        = {51--55},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R200511},
  doi          = {10.1051/ITA/197610R200511},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Mignotte76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Soittola76,
  author       = {Matti Soittola},
  title        = {Remarks on {DOL} Growth Sequences},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {10},
  number       = {3},
  pages        = {23--34},
  year         = {1976},
  url          = {https://doi.org/10.1051/ita/197610R300231},
  doi          = {10.1051/ITA/197610R300231},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Soittola76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.