Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/Alaiwan84,
  author       = {H. Alaiwan},
  title        = {Equivalence of Infinite Behavior of Finite Automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {297--306},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90037-9},
  doi          = {10.1016/0304-3975(84)90037-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Alaiwan84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/AutebertBBS84,
  author       = {Jean{-}Michel Autebert and
                  Joffroy Beauquier and
                  Luc Boasson and
                  G{\'{e}}raud S{\'{e}}nizergues},
  title        = {Remarques sur les Langages de Parenth{\`{e}}ses},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {337--349},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90040-9},
  doi          = {10.1016/0304-3975(84)90040-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AutebertBBS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BruceL84,
  author       = {Kim B. Bruce and
                  Giuseppe Longo},
  title        = {On Combinatory Algebras and their Expansions},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {31--40},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90123-3},
  doi          = {10.1016/0304-3975(84)90123-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BruceL84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/EhrenfeuchtMR84,
  author       = {Andrzej Ehrenfeucht and
                  Michael G. Main and
                  Grzegorz Rozenberg},
  title        = {Restrictions on {NLC} Graph Grammars},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {211--223},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90135-X},
  doi          = {10.1016/0304-3975(84)90135-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/EhrenfeuchtMR84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Escrig84,
  author       = {David de Frutos{-}Escrig},
  title        = {A Characterization of Plotkin's Order in Powerdomains, and Some of
                  its Properties},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {73--82},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90127-0},
  doi          = {10.1016/0304-3975(84)90127-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Escrig84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GoguenB84,
  author       = {Joseph A. Goguen and
                  Rod M. Burstall},
  title        = {Some Fundamental Algebraic Tools for the Semantics of Computation.
                  Part 1: Comma Categories, Colimits, Signatures and Theories},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {175--209},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90134-8},
  doi          = {10.1016/0304-3975(84)90134-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GoguenB84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GoguenB84a,
  author       = {Joseph A. Goguen and
                  Rod M. Burstall},
  title        = {Some Fundamental Algebraic Tools for the Semantics of Computation.
                  Part {II:} Signed and Abstract Theories},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {263--295},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90036-7},
  doi          = {10.1016/0304-3975(84)90036-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GoguenB84a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Head84,
  author       = {Tom Head},
  title        = {Adherences of {D0L} Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {139--149},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90131-2},
  doi          = {10.1016/0304-3975(84)90131-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Head84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Honkala84,
  author       = {Juha Honkala},
  title        = {Bases and Ambiguity of Number Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {61--71},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90126-9},
  doi          = {10.1016/0304-3975(84)90126-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Honkala84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ko84,
  author       = {Ker{-}I Ko},
  title        = {Reducibilities on Real Numbers},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {101--123},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90129-4},
  doi          = {10.1016/0304-3975(84)90129-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ko84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MahrM84,
  author       = {Bernd Mahr and
                  Johann A. Makowsky},
  title        = {Characterizing Specification Languages which Admit Initial Semantics},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {49--59},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90125-7},
  doi          = {10.1016/0304-3975(84)90125-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MahrM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Mezghiche84,
  author       = {Mohamed Mezghiche},
  title        = {Une Nouvelle {C} beta-R{\'{e}}duction dans la Logique Combinatoire},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {151--163},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90132-4},
  doi          = {10.1016/0304-3975(84)90132-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Mezghiche84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/NarendranM84,
  author       = {Paliath Narendran and
                  Robert McNaughton},
  title        = {The Undecidability of the Preperfectness of Thue Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {165--174},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90133-6},
  doi          = {10.1016/0304-3975(84)90133-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/NarendranM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Oyamaguchi84,
  author       = {Michio Oyamaguchi},
  title        = {Some Results on Subclass Containment Problems for Special Classes
                  of DPDA's Related to Nonsingular Machines},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {317--335},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90039-2},
  doi          = {10.1016/0304-3975(84)90039-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Oyamaguchi84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Plaisted84,
  author       = {David A. Plaisted},
  title        = {New NP-Hard and NP-Complete Polynomial and Integer Divisibility Problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {125--138},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90130-0},
  doi          = {10.1016/0304-3975(84)90130-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Plaisted84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schoning84,
  author       = {Uwe Sch{\"{o}}ning},
  title        = {Minimal pairs for {P}},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {41--48},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90124-5},
  doi          = {10.1016/0304-3975(84)90124-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schoning84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Simone84a,
  author       = {Robert de Simone},
  title        = {Langages Infinitaires et Produit de Mixage},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {83--100},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90128-2},
  doi          = {10.1016/0304-3975(84)90128-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Simone84a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Soundararajan84,
  author       = {Neelam Soundararajan},
  title        = {A proof technique for parallel programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {13--29},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90122-1},
  doi          = {10.1016/0304-3975(84)90122-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Soundararajan84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Uchimura84,
  author       = {Keisuke Uchimura},
  title        = {Truncations of Infinite Matrices and Algebraic Series Associated with
                  Some {CF} Grammars},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {227--261},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90035-5},
  doi          = {10.1016/0304-3975(84)90035-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Uchimura84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Yamasaki84,
  author       = {Hideki Yamasaki},
  title        = {Normal Petri Nets},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {307--315},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90038-0},
  doi          = {10.1016/0304-3975(84)90038-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Yamasaki84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/YamasakiT84,
  author       = {Hideki Yamasaki and
                  Masako Takahashi},
  title        = {Generalized Parenthesis Languages and Minimization of their Parenthesis
                  Parts},
  journal      = {Theor. Comput. Sci.},
  volume       = {31},
  pages        = {1--11},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90121-X},
  doi          = {10.1016/0304-3975(84)90121-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/YamasakiT84.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.