Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

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

> Home > Search

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

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.