Search dblp for Publications

export results for "toc:db/journals/tcs/tcs94.bht:"

 download as .bib file

@article{DBLP:journals/tcs/AlloucheMS92,
  author       = {Jean{-}Paul Allouche and
                  Patrick Morton and
                  Jeffrey O. Shallit},
  title        = {Pattern Spectra, Substring Enumeration, and Automatic Sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {161--174},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90032-B},
  doi          = {10.1016/0304-3975(92)90032-B},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/AlloucheMS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BaratchartOW92,
  author       = {Laurent Baratchart and
                  Martine Olivi and
                  Franck Wielonsky},
  title        = {On a Rational Approximation Problem in the Real Hardy Space {H2}},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {175--197},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90033-C},
  doi          = {10.1016/0304-3975(92)90033-C},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BaratchartOW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Caspi92,
  author       = {Paul Caspi},
  title        = {Clocks in Dataflow Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {1},
  pages        = {125--140},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90326-B},
  doi          = {10.1016/0304-3975(92)90326-B},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Caspi92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Dehornoy92a,
  author       = {Patrick Dehornoy},
  title        = {Probleme de mots dans les gerbes libres},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {199--213},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90034-D},
  doi          = {10.1016/0304-3975(92)90034-D},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Dehornoy92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ferenczi92,
  author       = {S{\'{e}}bastien Ferenczi},
  title        = {Tiling the Morse Sequence},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {215--221},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90035-E},
  doi          = {10.1016/0304-3975(92)90035-E},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ferenczi92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/FilippenkoM92,
  author       = {Ivan Filippenko and
                  F. Lockwood Morris},
  title        = {Domains for Logic Programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {1},
  pages        = {63--99},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90324-9},
  doi          = {10.1016/0304-3975(92)90324-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FilippenkoM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Frougny92,
  author       = {Christiane Frougny},
  title        = {Systemes de numeration linearires et Theta-representations},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {223--236},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90036-F},
  doi          = {10.1016/0304-3975(92)90036-F},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Frougny92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Galmiche92,
  author       = {Didier Galmiche},
  title        = {Program Development in Constructive Type Theory},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {237--259},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90037-G},
  doi          = {10.1016/0304-3975(92)90037-G},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Galmiche92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Gardy92,
  author       = {Dani{\`{e}}le Gardy},
  title        = {Methode de col et lois limites en analyse combinatoire},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {261--280},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90038-H},
  doi          = {10.1016/0304-3975(92)90038-H},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gardy92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Gil92,
  author       = {Bernahrd Gil},
  title        = {Complete Extension of General Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {281--294},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90039-I},
  doi          = {10.1016/0304-3975(92)90039-I},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Gil92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Koutny92,
  author       = {Maciej Koutny},
  title        = {Adequacy-Preserving Transformations of {COSY} Path Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {1},
  pages        = {141--158},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90327-C},
  doi          = {10.1016/0304-3975(92)90327-C},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Koutny92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lachaud92,
  author       = {Gilles Lachaud},
  title        = {Artin-Schreier Curves, Exponential Sums, and Coding Theory},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {295--310},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90040-M},
  doi          = {10.1016/0304-3975(92)90040-M},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lachaud92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lamarche92,
  author       = {Fran{\c{c}}ois Lamarche},
  title        = {Quantitative Domains and Infinitary Algebras},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {1},
  pages        = {37--62},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90323-8},
  doi          = {10.1016/0304-3975(92)90323-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lamarche92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MancaS92,
  author       = {Vincenzo Manca and
                  Antonino Salibra},
  title        = {Soundness and Completeness of the Birkhoff Equational Calculus for
                  Many-Sorted Algebras with Possibly Empty Carrier Sets},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {1},
  pages        = {101--124},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90325-A},
  doi          = {10.1016/0304-3975(92)90325-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MancaS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mery92,
  author       = {Dominique M{\'{e}}ry},
  title        = {The {N} {U} System as a Development System for Concurrent Programs:
                  delta {N} {U}},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {311--334},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90041-D},
  doi          = {10.1016/0304-3975(92)90041-D},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mery92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Parigot92,
  author       = {Michel Parigot},
  title        = {Recursive Programming with Proofs},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {335--336},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90042-E},
  doi          = {10.1016/0304-3975(92)90042-E},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Parigot92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Perrin92,
  author       = {Dominique Perrin},
  title        = {On Positive Matrices},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {357--366},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90043-F},
  doi          = {10.1016/0304-3975(92)90043-F},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Perrin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Restivo92,
  author       = {Antonio Restivo},
  title        = {A Note on Renewal Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {367--371},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90044-G},
  doi          = {10.1016/0304-3975(92)90044-G},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Restivo92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Waldmann92,
  author       = {Uwe Waldmann},
  title        = {Semantics of Order-Sorted Specifications},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {1},
  pages        = {1--35},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90322-7},
  doi          = {10.1016/0304-3975(92)90322-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Waldmann92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/WenW92,
  author       = {Zhi{-}Xiong Wen and
                  Zhi{-}Ying Wen},
  title        = {Some Studies on the (p, q)-Type Sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {94},
  number       = {2},
  pages        = {373--393},
  year         = {1992},
  url          = {https://doi.org/10.1016/0304-3975(92)90045-H},
  doi          = {10.1016/0304-3975(92)90045-H},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/WenW92.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.