Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ita/Berline92,
  author       = {Chantal Berline},
  title        = {R{\'{e}}tractions et interpr{\'{e}}tation interne du polymorphisme:
                  probl{\`{e}}me de la r{\'{e}}traction universelle},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {59--91},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260100591},
  doi          = {10.1051/ITA/1992260100591},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Berline92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/BlancB92,
  author       = {Georges Blanc and
                  No{\"{e}}lle Bleuzen{-}Guernalec},
  title        = {Alg{\`{e}}bres effectives dans la programmation logique avec constraintes},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {221--242},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260302211},
  doi          = {10.1051/ITA/1992260302211},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BlancB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Bousquet-Melou92,
  author       = {Mireille Bousquet{-}M{\'{e}}lou},
  title        = {Une bijection entre les polyominos convexes dirig{\'{e}}s et
                  les mots de Dyck bilat{\`{e}}res},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {205--219},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260302051},
  doi          = {10.1051/ITA/1992260302051},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Bousquet-Melou92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Courcelle92,
  author       = {Bruno Courcelle},
  title        = {The monadic second-order logic of graphs {III:} tree-decompositions,
                  minor and complexity issues},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {257--286},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260302571},
  doi          = {10.1051/ITA/1992260302571},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Courcelle92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/DevolderT92,
  author       = {Jeanne Devolder and
                  E. Timmerman},
  title        = {Finitary codes for biinfinite words},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {363--386},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260403631},
  doi          = {10.1051/ITA/1992260403631},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/DevolderT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/DuskeMP92,
  author       = {J{\"{u}}rgen Duske and
                  Martin Middendorf and
                  Rainer Parchmann},
  title        = {Indexed counter languages},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {93--113},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260100931},
  doi          = {10.1051/ITA/1992260100931},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/DuskeMP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/GardyG92,
  author       = {Dani{\`{e}}le Gardy and
                  Dominique Gouyou{-}Beauchamps},
  title        = {Enumerating Davenport-Schinzel sequences},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {387--402},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260503871},
  doi          = {10.1051/ITA/1992260503871},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/GardyG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/GutjahrP92,
  author       = {Walter J. Gutjahr and
                  Georg Ch. Pflug},
  title        = {The limiting common distribution of two leaf heights in a random brinary
                  tree},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {1--18},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260100011},
  doi          = {10.1051/ITA/1992260100011},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/GutjahrP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HarjuKL92,
  author       = {Tero Harju and
                  H. C. M. Kleijn and
                  Michel Latteux},
  title        = {Compositional representation of rational functions},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {243--255},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260302431},
  doi          = {10.1051/ITA/1992260302431},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/HarjuKL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HonkalaS92,
  author       = {Juha Honkala and
                  Arto Salomaa},
  title        = {Characterization results about {L} codes},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {287--301},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260302871},
  doi          = {10.1051/ITA/1992260302871},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/HonkalaS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KabilP92,
  author       = {Mustapha Kabil and
                  Maurice Pouzet},
  title        = {Une extension d'un th{\'{e}}or{\`{e}}me de P. Jullien sur les
                  {\^{a}}ges de mots},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {449--482},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260504491},
  doi          = {10.1051/ITA/1992260504491},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/KabilP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Krause92,
  author       = {Matthias Krause},
  title        = {Separating +L from L, NL, co-NL, and AL=P for oblivious turing machines
                  of linear access},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {507--522},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260605071},
  doi          = {10.1051/ITA/1992260605071},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Krause92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KrauseMW92,
  author       = {Matthias Krause and
                  Christoph Meinel and
                  Stephan Waack},
  title        = {Separating complexity classes related to certain input oblivious logarithmic
                  space-bounded turing machines},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {345--362},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260403451},
  doi          = {10.1051/ITA/1992260403451},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/KrauseMW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Lacaze92,
  author       = {L. Lacaze},
  title        = {Parties reconnaissables de mono{\"{\i}}des d{\'{e}}inis
                  par g{\'{e}}n{\'{e}}rateurs et relations},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {541--552},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260605411},
  doi          = {10.1051/ITA/1992260605411},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Lacaze92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Lambert92,
  author       = {Jean{-}Luc Lambert},
  title        = {The local catenativity of DOL-sequences in free communitative monoids
                  is decidable in the binary case},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {425--437},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260504251},
  doi          = {10.1051/ITA/1992260504251},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Lambert92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/MasiniM92,
  author       = {Andrea Masini and
                  Andrea Maggiolo{-}Schettini},
  title        = {{TTL:} {A} formalism to describe local and global properties of distributed
                  systems},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {115--149},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260201151},
  doi          = {10.1051/ITA/1992260201151},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/MasiniM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/MignosiP92,
  author       = {Filippo Mignosi and
                  Giuseppe Pirillo},
  title        = {Repetitions in the Fibonacci infinite word},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {199--204},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260301991},
  doi          = {10.1051/ITA/1992260301991},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/MignosiP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Peladeau92,
  author       = {Pierre P{\'{e}}ladeau},
  title        = {Sur le produit avec compteur modulo un nombre entier},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {553--564},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260605531},
  doi          = {10.1051/ITA/1992260605531},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Peladeau92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Pelz92,
  author       = {Elisabeth Pelz},
  title        = {Normalization of place/transition-systems preserves net behaviour},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {19--44},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260100191},
  doi          = {10.1051/ITA/1992260100191},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Pelz92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Rayward-SmithR92,
  author       = {Victor J. Rayward{-}Smith and
                  Djamal Rebaine},
  title        = {Open shop scheduling with delays},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {439--447},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260504391},
  doi          = {10.1051/ITA/1992260504391},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Rayward-SmithR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Regnier92,
  author       = {Mireille R{\'{e}}gnier},
  title        = {Enumeration of bordered words. Le langage de la vache-qui-rit},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {303--317},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260403031},
  doi          = {10.1051/ITA/1992260403031},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Regnier92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Rupert92,
  author       = {C. P. Rupert},
  title        = {Crossability of cancellative Kleene semigroups},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {151--161},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260201511},
  doi          = {10.1051/ITA/1992260201511},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Rupert92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/SaecL92,
  author       = {Bertrand Le Sa{\"{e}}c and
                  Igor Litovsky},
  title        = {Rebootable and suffix-closed omega-power languages},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {45--58},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260100451},
  doi          = {10.1051/ITA/1992260100451},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/SaecL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Schmid92,
  author       = {Ulrich Schmid},
  title        = {On a tree collision resolution algorithm in presence of capture},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {163--197},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260201631},
  doi          = {10.1051/ITA/1992260201631},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Schmid92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Simon92,
  author       = {Odile Simon},
  title        = {Algorithme de multiplicativit{\'{e}} des sommes des carr{\'{e}}s},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {485--506},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260604851},
  doi          = {10.1051/ITA/1992260604851},
  timestamp    = {Fri, 02 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ita/Simon92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/SteffenJM92,
  author       = {Bernhard Steffen and
                  C. Barry Jay and
                  Michael Mendler},
  title        = {Compositional characterization of observable program properties},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {403--424},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260504031},
  doi          = {10.1051/ITA/1992260504031},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/SteffenJM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/VanSL92,
  author       = {Do Long Van and
                  Bertrand Le Sa{\"{e}}c and
                  Igor Litovsky},
  title        = {On coding morphisms for zigzag codes},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {565--580},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260605651},
  doi          = {10.1051/ITA/1992260605651},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/VanSL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/WenW92,
  author       = {Zhi{-}Xiong Wen and
                  Zhi{-}Ying Wen},
  title        = {Mots infinis et produits de matrices {\`{a}} coefficents polynomiaux},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {26},
  pages        = {319--343},
  year         = {1992},
  url          = {https://doi.org/10.1051/ita/1992260403191},
  doi          = {10.1051/ITA/1992260403191},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/WenW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}