Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/Ambos-Spies89,
  author       = {Klaus Ambos{-}Spies},
  title        = {On the Relative Complexity of Hard Problems for Complexity Classes
                  without Complete Problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {1},
  pages        = {43--61},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90066-2},
  doi          = {10.1016/0304-3975(89)90066-2},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ambos-Spies89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BensonT89,
  author       = {David B. Benson and
                  Jerzy Tiuryn},
  title        = {Fixed Points in Free Process Algebras, Part {I}},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {3},
  pages        = {275--294},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90010-8},
  doi          = {10.1016/0304-3975(89)90010-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BensonT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Birget89,
  author       = {Jean{-}Camille Birget},
  title        = {Concatenation of Inputs in a Two-Way Automaton},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {2},
  pages        = {141--156},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90075-3},
  doi          = {10.1016/0304-3975(89)90075-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Birget89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BloomE89,
  author       = {Stephen L. Bloom and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Equational Logic of Circular Data Type Specification},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {3},
  pages        = {303--331},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90012-1},
  doi          = {10.1016/0304-3975(89)90012-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BloomE89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DuB89,
  author       = {Ding{-}Zhu Du and
                  Ronald V. Book},
  title        = {On Inefficient Special Cases of NP-Complete Problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {3},
  pages        = {239--252},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90015-7},
  doi          = {10.1016/0304-3975(89)90015-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DuB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Felice89,
  author       = {Clelia de Felice},
  title        = {Construction of a Family of Finite Maximal Codes},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {2},
  pages        = {157--184},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90076-5},
  doi          = {10.1016/0304-3975(89)90076-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Felice89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GardarinGM89,
  author       = {Georges Gardarin and
                  Ir{\`{e}}ne Guessarian and
                  Christophe de Maindreville},
  title        = {Translation of Logic Programs into Functional Fixpoint Equations},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {3},
  pages        = {253--274},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90009-1},
  doi          = {10.1016/0304-3975(89)90009-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GardarinGM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GinsburgT89,
  author       = {Seymour Ginsburg and
                  Chang{-}jie Tang},
  title        = {Cohesion of Object Histories},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {1},
  pages        = {63--90},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90067-4},
  doi          = {10.1016/0304-3975(89)90067-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GinsburgT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hagiya89,
  author       = {Masami Hagiya},
  title        = {Generalization from Partial Parametrization in Higher-Order Type Theory},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {2},
  pages        = {113--139},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90074-1},
  doi          = {10.1016/0304-3975(89)90074-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hagiya89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Hromkovic89,
  author       = {Juraj Hromkovic},
  title        = {Tradeoffs for Language Recognition on Alternating Machines},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {2},
  pages        = {203--221},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90078-9},
  doi          = {10.1016/0304-3975(89)90078-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hromkovic89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Johnson89,
  author       = {J. Howard Johnson},
  title        = {A Unified Framework for Disambiguating Finite Transductions},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {1},
  pages        = {91--111},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90068-6},
  doi          = {10.1016/0304-3975(89)90068-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Johnson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Lingas89,
  author       = {Andrzej Lingas},
  title        = {Subgraph Isomorphism for Biconnected Outerplanar Graphs in Cubic Time},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {3},
  pages        = {295--302},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90011-X},
  doi          = {10.1016/0304-3975(89)90011-X},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lingas89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Livesey89,
  author       = {Mike Livesey},
  title        = {Stable Families of Behavioural Equivalences},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {1},
  pages        = {19--41},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90065-0},
  doi          = {10.1016/0304-3975(89)90065-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Livesey89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LucaV89,
  author       = {Aldo de Luca and
                  Stefano Varricchio},
  title        = {Some Combinatorial Properties of the Thue-Morse Sequence and a Problem
                  in Semigroups},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {3},
  pages        = {333--348},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90013-3},
  doi          = {10.1016/0304-3975(89)90013-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LucaV89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pelc89,
  author       = {Andrzej Pelc},
  title        = {Searching with Known Error Probability},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {2},
  pages        = {185--202},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90077-7},
  doi          = {10.1016/0304-3975(89)90077-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Pelc89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SaitoN89,
  author       = {Takashi Saito and
                  Hidenosuke Nishio},
  title        = {Structural and Behavioral Equivalence Relations in Automata Networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {2},
  pages        = {223--237},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90079-0},
  doi          = {10.1016/0304-3975(89)90079-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SaitoN89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Schmidt89,
  author       = {Ursula Schmidt},
  title        = {Avoidable Patterns on Two Letters},
  journal      = {Theor. Comput. Sci.},
  volume       = {63},
  number       = {1},
  pages        = {1--17},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90064-9},
  doi          = {10.1016/0304-3975(89)90064-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schmidt89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}