Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/ita/Arz83,
  author       = {Johannes Arz},
  title        = {Syntactic Congruences and Syntactic Algebras},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {3},
  pages        = {231--238},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170302311},
  doi          = {10.1051/ITA/1983170302311},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Arz83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BatiniD83,
  author       = {Carlo Batini and
                  Alessandro D'Atri},
  title        = {Relational Data Base Design Using Refinement Rules},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {2},
  pages        = {97--119},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170200971},
  doi          = {10.1051/ITA/1983170200971},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BatiniD83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Brandstadt83,
  author       = {Andreas Brandst{\"{a}}dt},
  title        = {Space Classes, Intersection of Languages and Bounded Erasing Homomorphisms},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {2},
  pages        = {121--130},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170201211},
  doi          = {10.1051/ITA/1983170201211},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Brandstadt83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/BroyW83,
  author       = {Manfred Broy and
                  Martin Wirsing},
  title        = {Algebraic Definition of a Functional Programming Language and Its
                  Semantic Models},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {2},
  pages        = {137--161},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170201371},
  doi          = {10.1051/ITA/1983170201371},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/BroyW83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/CaludeP83,
  author       = {Cristian Calude and
                  Gheorghe Paun},
  title        = {Independent Instances for Some Undecidable Problems},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {1},
  pages        = {49--54},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170100491},
  doi          = {10.1051/ITA/1983170100491},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/CaludeP83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/CulikK83,
  author       = {Karel Cul{\'{\i}}k II and
                  Juhani Karhum{\"{a}}ki},
  title        = {On the Ehrenfeucht Conjecture for {DOL} Languages},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {3},
  pages        = {205--230},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170302051},
  doi          = {10.1051/ITA/1983170302051},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ita/CulikK83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/EhrenfeuchtR83,
  author       = {Andrzej Ehrenfeucht and
                  Grzegorz Rozenberg},
  title        = {On the Separating Power of Eol Systems},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {1},
  pages        = {13--22},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170100131},
  doi          = {10.1051/ITA/1983170100131},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/EhrenfeuchtR83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Franchi-Zannettacci83,
  author       = {M. P. Franchi{-}Zannettacci},
  title        = {Un Algorithme de Calcul Formel des S{\'{e}}ries {\'{E}}num{\'{e}}ratrices
                  de Langage Lin{\'{e}}aire},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {4},
  pages        = {343--364},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170403431},
  doi          = {10.1051/ITA/1983170403431},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Franchi-Zannettacci83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/JanssensR83,
  author       = {Dirk Janssens and
                  Grzegorz Rozenberg},
  title        = {Hypergraph Systems and Their Extensions},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {2},
  pages        = {163--196},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170201631},
  doi          = {10.1051/ITA/1983170201631},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/JanssensR83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Kemp83,
  author       = {Rainer Kemp},
  title        = {The Reduction of Binary Trees by Means of an Input-Restricted Deque},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {3},
  pages        = {249--284},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170302491},
  doi          = {10.1051/ITA/1983170302491},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Kemp83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Knast83,
  author       = {Robert Knast},
  title        = {A Semigroup Characterization of Dot-Depth one Languages},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {4},
  pages        = {321--330},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170403211},
  doi          = {10.1051/ITA/1983170403211},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Knast83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Knast83a,
  author       = {Robert Knast},
  title        = {Some Theorems on Graph Congruences},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {4},
  pages        = {331--342},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170403311},
  doi          = {10.1051/ITA/1983170403311},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Knast83a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/LeviP83,
  author       = {Giorgio Levi and
                  A. M. Pegna},
  title        = {Top-Down Mathematical Semantics and Symbolic Execution},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {1},
  pages        = {55--70},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170100551},
  doi          = {10.1051/ITA/1983170100551},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/LeviP83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Louchard83,
  author       = {Guy Louchard},
  title        = {The Brownian Motion: {A} Neglected Tool for the Complexity Analysis
                  of Sorted Tables Manipulation},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {4},
  pages        = {365--385},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170403651},
  doi          = {10.1051/ITA/1983170403651},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Louchard83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Marchetti-SpaccamelaT83,
  author       = {Alberto Marchetti{-}Spaccamela and
                  Maurizio Talamo},
  title        = {Probabilistic Analysis of Two Euclidean Location Problems},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {4},
  pages        = {387--395},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170403871},
  doi          = {10.1051/ITA/1983170403871},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Marchetti-SpaccamelaT83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/MargariaZ83,
  author       = {Ines Margaria and
                  Maddalena Zacchi},
  title        = {Right and Left Invertibility in lambda-beta-Calculus},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {1},
  pages        = {71--88},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170100711},
  doi          = {10.1051/ITA/1983170100711},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/MargariaZ83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Pansiot83,
  author       = {Jean{-}Jacques Pansiot},
  title        = {Mots Infinis de Fibonacci et Morphismes It{\'{e}}r{\'{e}}s},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {2},
  pages        = {131--135},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170201311},
  doi          = {10.1051/ITA/1983170201311},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Pansiot83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/PaulVW83,
  author       = {Wolfgang J. Paul and
                  Uzi Vishkin and
                  Hubert Wagener},
  title        = {Parallel Computation on 2-3-Trees},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {4},
  pages        = {397--404},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170403971},
  doi          = {10.1051/ITA/1983170403971},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/PaulVW83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Prodinger83,
  author       = {Helmut Prodinger},
  title        = {Topologies on Free Monoids Induced by Families of Languages},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {3},
  pages        = {285--290},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170302851},
  doi          = {10.1051/ITA/1983170302851},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Prodinger83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Robin83,
  author       = {Guy Robin},
  title        = {M{\'{e}}thodes D'Optimisation pour un Probl{\`{e}}me de Th{\'{e}}orie
                  des Nombres},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {3},
  pages        = {239--247},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170302391},
  doi          = {10.1051/ITA/1983170302391},
  timestamp    = {Wed, 29 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Robin83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Sakarovitch83,
  author       = {Jacques Sakarovitch},
  title        = {Deux Remarques sur un Th{\'{e}}or{\`{e}}me de S. Eilenberg},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {1},
  pages        = {23--48},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170100231},
  doi          = {10.1051/ITA/1983170100231},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Sakarovitch83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Soria83,
  author       = {Mich{\`{e}}le Soria},
  title        = {Une Extension des Langages D{\'{e}}terministes},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {4},
  pages        = {301--319},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170403011},
  doi          = {10.1051/ITA/1983170403011},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Soria83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Wechler83,
  author       = {Wolfgang Wechler},
  title        = {Characterization of Rational and Algebraic Power Series},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {17},
  number       = {1},
  pages        = {3--11},
  year         = {1983},
  url          = {https://doi.org/10.1051/ita/1983170100031},
  doi          = {10.1051/ITA/1983170100031},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Wechler83.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.