Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/tcs/Bonner90,
  author       = {Anthony J. Bonner},
  title        = {Hypothetical Datalog: Complexity and Expressibility},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {1},
  pages        = {3--51},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90011-6},
  doi          = {10.1016/0304-3975(90)90011-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Bonner90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/DongG90,
  author       = {Guozhu Dong and
                  Seymour Ginsburg},
  title        = {On the Decomposition of Datalog Program Mappings},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {1},
  pages        = {143--177},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90015-A},
  doi          = {10.1016/0304-3975(90)90015-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DongG90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GannettKY90,
  author       = {Ethan Gannett and
                  Suresh C. Kothari and
                  Hsu{-}Chun Yen},
  title        = {On Optimal Parallelization of Sorting Networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {331--341},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90025-D},
  doi          = {10.1016/0304-3975(90)90025-D},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GannettKY90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HashiguchiY90,
  author       = {Kosaburo Hashiguchi and
                  H. Yoo},
  title        = {Extended Regular Expressions of Star Degree at Most Two},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {273--284},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90021-9},
  doi          = {10.1016/0304-3975(90)90021-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HashiguchiY90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Jiang90,
  author       = {Tao Jiang},
  title        = {On the Complexity of 1-Tape ATMs and Off-line 1-Tape ATMs Running
                  in Constant Reversals},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {323--330},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90024-C},
  doi          = {10.1016/0304-3975(90)90024-C},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Jiang90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KarabegV90,
  author       = {Dino Karabeg and
                  Victor Vianu},
  title        = {Parallel Update Transactions},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {1},
  pages        = {93--114},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90013-8},
  doi          = {10.1016/0304-3975(90)90013-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KarabegV90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KokR90,
  author       = {Joost N. Kok and
                  Jan J. M. M. Rutten},
  title        = {Contractions in Comparing Concurrency Semantics},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {179--222},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90016-B},
  doi          = {10.1016/0304-3975(90)90016-B},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KokR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Lipeck90,
  author       = {Udo W. Lipeck},
  title        = {Transformation of Dynamic Integrity Constraints into Transaction Specifications},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {1},
  pages        = {115--142},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90014-9},
  doi          = {10.1016/0304-3975(90)90014-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Lipeck90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Ohori90,
  author       = {Atsushi Ohori},
  title        = {Semantics of Types for Database Objects},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {1},
  pages        = {53--91},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90012-7},
  doi          = {10.1016/0304-3975(90)90012-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Ohori90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Petit90,
  author       = {Antoine Petit},
  title        = {Distribution and Synchronized Automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {285--308},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90022-A},
  doi          = {10.1016/0304-3975(90)90022-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Petit90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Sakakibara90,
  author       = {Yasubumi Sakakibara},
  title        = {Learning Context-Free Grammars from Structural Data in Polynomial
                  Time},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {223--242},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90017-C},
  doi          = {10.1016/0304-3975(90)90017-C},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Sakakibara90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/SarnathH90,
  author       = {R. Sarnath and
                  Xin He},
  title        = {A P-Complete Graph Partition Problem},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {343--351},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90026-E},
  doi          = {10.1016/0304-3975(90)90026-E},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/SarnathH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Timmerman90,
  author       = {Erick Timmerman},
  title        = {The Three Subfamilies of Rational omega-Languages Closed under omega-Transduction},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {243--250},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90018-D},
  doi          = {10.1016/0304-3975(90)90018-D},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Timmerman90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Tirri90,
  author       = {Seppo Tirri},
  title        = {The Congruence Theory of Closure Properties of Regular Tree Languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {261--271},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90020-I},
  doi          = {10.1016/0304-3975(90)90020-I},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Tirri90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Weil90,
  author       = {Pascal Weil},
  title        = {Products of Languages with Counter},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {251--260},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90019-E},
  doi          = {10.1016/0304-3975(90)90019-E},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Weil90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Yamasaki90,
  author       = {Susumu Yamasaki},
  title        = {Recursion Equation Sets Computing Logic Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {76},
  number       = {2-3},
  pages        = {309--322},
  year         = {1990},
  url          = {https://doi.org/10.1016/0304-3975(90)90023-B},
  doi          = {10.1016/0304-3975(90)90023-B},
  timestamp    = {Wed, 01 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Yamasaki90.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.