


default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs63.bht:"
@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} }

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.