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

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.