Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/Abramsky87,
  author       = {Samson Abramsky},
  title        = {Observation Equivalence as a Testing Equivalence},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {225--241},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90065-X},
  doi          = {10.1016/0304-3975(87)90065-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Abramsky87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AttiyaM87,
  author       = {Hagit Attiya and
                  Yishay Mansour},
  title        = {Language Complexity on the Synchronous Anonymous Ring},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {169--185},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90062-4},
  doi          = {10.1016/0304-3975(87)90062-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AttiyaM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BeynonB87,
  author       = {Meurig Beynon and
                  John Buckle},
  title        = {On the Planar Monotone Computation of Boolean Functions},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {267--279},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90068-5},
  doi          = {10.1016/0304-3975(87)90068-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BeynonB87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Escrig87,
  author       = {David de Frutos{-}Escrig},
  title        = {Probabilistic Ianov's Schemes},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {67--97},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90027-2},
  doi          = {10.1016/0304-3975(87)90027-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Escrig87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EsikG87,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Ferenc G{\'{e}}cseg},
  title        = {On a Representation of Tree Automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {243--255},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90066-1},
  doi          = {10.1016/0304-3975(87)90066-1},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EsikG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/File87,
  author       = {Gilberto Fil{\'{e}}},
  title        = {Classical and Incremental Attribute Evaluation by Means of Recursive
                  Procedures},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {25--65},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90026-0},
  doi          = {10.1016/0304-3975(87)90026-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/File87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Garzon87,
  author       = {Max H. Garzon},
  title        = {Cyclic Automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {307--317},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90071-5},
  doi          = {10.1016/0304-3975(87)90071-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Garzon87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Hallnas87,
  author       = {Lars Halln{\"{a}}s},
  title        = {An Intensional Characterization of the Largest Bisimulation},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {335--343},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90073-9},
  doi          = {10.1016/0304-3975(87)90073-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hallnas87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LitovskyT87,
  author       = {Igor Litovsky and
                  Erick Timmerman},
  title        = {On Generators of Rational omega-Power Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {187--200},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90063-6},
  doi          = {10.1016/0304-3975(87)90063-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LitovskyT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Louchard87,
  author       = {Guy Louchard},
  title        = {Random Walks, Gaussian Processes and List Structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {99--124},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90028-4},
  doi          = {10.1016/0304-3975(87)90028-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Louchard87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MullerB87,
  author       = {Haiko M{\"{u}}ller and
                  Andreas Brandst{\"{a}}dt},
  title        = {The NP-Completeness of Steiner Tree and Dominating Set for Chordal
                  Bipartite Graphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {257--265},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90067-3},
  doi          = {10.1016/0304-3975(87)90067-3},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MullerB87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NishidaK87,
  author       = {Taishin Y. Nishida and
                  Youichi Kobuchi},
  title        = {Repeatable Words for Substitution},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {319--333},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90072-7},
  doi          = {10.1016/0304-3975(87)90072-7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/NishidaK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PelegU87,
  author       = {David Peleg and
                  Eli Upfal},
  title        = {The Generalized Packet Routing Problem},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {281--293},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90069-7},
  doi          = {10.1016/0304-3975(87)90069-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PelegU87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/PelinG87,
  author       = {Alex Pelin and
                  Jean H. Gallier},
  title        = {Building Exact Computation Sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {125--150},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90029-6},
  doi          = {10.1016/0304-3975(87)90029-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PelinG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Pettorossi87,
  author       = {Alberto Pettorossi},
  title        = {Derivation of Efficient Programs for Computing Sequences of Actions},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {151--167},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90030-2},
  doi          = {10.1016/0304-3975(87)90030-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Pettorossi87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/RytterG87,
  author       = {Wojciech Rytter and
                  Raffaele Giancarlo},
  title        = {Optimal Parallel Parsing of Bracket Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {295--306},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90070-3},
  doi          = {10.1016/0304-3975(87)90070-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/RytterG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SantoroSSU87,
  author       = {Nicola Santoro and
                  Jeffrey B. Sidney and
                  Stuart J. Sidney and
                  Jorge Urrutia},
  title        = {Geometric Containment and Vector Dominance},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {345--352},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90074-0},
  doi          = {10.1016/0304-3975(87)90074-0},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/SantoroSSU87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schnorr87,
  author       = {Claus{-}Peter Schnorr},
  title        = {A Hierarchy of Polynomial Time Lattice Basis Reduction Algorithms},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {201--224},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90064-8},
  doi          = {10.1016/0304-3975(87)90064-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schnorr87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Wagner87a,
  author       = {Eric G. Wagner},
  title        = {A Categorical Treatment of Pre- and Post-Conditions},
  journal      = {Theor. Comput. Sci.},
  volume       = {53},
  pages        = {3--24},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90025-9},
  doi          = {10.1016/0304-3975(87)90025-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Wagner87a.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.