Search dblp for Publications

export results for "toc:db/journals/jcss/jcss35.bht:"

 download as .bib file

@article{DBLP:journals/jcss/AutebertBS87,
  author       = {Jean{-}Michel Autebert and
                  Luc Boasson and
                  G{\'{e}}raud S{\'{e}}nizergues},
  title        = {Groups and {NTS} Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {2},
  pages        = {243--267},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90015-8},
  doi          = {10.1016/0022-0000(87)90015-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/AutebertBS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BabaiHST87,
  author       = {L{\'{a}}szl{\'{o}} Babai and
                  P{\'{e}}ter Hajnal and
                  Endre Szemer{\'{e}}di and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  title        = {A Lower Bound for Read-Once-Only Branching Programs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {2},
  pages        = {153--162},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90010-9},
  doi          = {10.1016/0022-0000(87)90010-9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcss/BabaiHST87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BeauquierBL87,
  author       = {Joffroy Beauquier and
                  Meera Blattner and
                  Michel Latteux},
  title        = {On Commutative Context-Free Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {3},
  pages        = {311--320},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90018-3},
  doi          = {10.1016/0022-0000(87)90018-3},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BeauquierBL87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BensonG87,
  author       = {David B. Benson and
                  Ir{\`{e}}ne Guessarian},
  title        = {Algebraic Solutions to Recursion Schemes},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {3},
  pages        = {365--400},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90020-1},
  doi          = {10.1016/0022-0000(87)90020-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BensonG87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Bidoit87,
  author       = {Nicole Bidoit},
  title        = {The Verso Algebra or How to Answer Queries with Fewer Joins},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {3},
  pages        = {321--364},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90019-5},
  doi          = {10.1016/0022-0000(87)90019-5},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Bidoit87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BiskupM87,
  author       = {Joachim Biskup and
                  Renate Meyer},
  title        = {Design of Relational Database Schemes by Deleting Attributes in the
                  Canonical Decomposition},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {1},
  pages        = {1--22},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90034-1},
  doi          = {10.1016/0022-0000(87)90034-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BiskupM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FredmanS87,
  author       = {Michael L. Fredman and
                  Thomas H. Spencer},
  title        = {Refined Complexity Analysis for Heap Operations},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {3},
  pages        = {269--284},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90016-X},
  doi          = {10.1016/0022-0000(87)90016-X},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/FredmanS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Kurshan87,
  author       = {Robert P. Kurshan},
  title        = {Complementing Deterministic B{\"{u}}chi Automata in Polynomial
                  Time},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {1},
  pages        = {59--71},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90036-5},
  doi          = {10.1016/0022-0000(87)90036-5},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Kurshan87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MainR87,
  author       = {Michael G. Main and
                  Grzegorz Rozenberg},
  title        = {Handle {NLC} Grammars and {R.E.} Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {2},
  pages        = {192--205},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90012-2},
  doi          = {10.1016/0022-0000(87)90012-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/MainR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Otto87,
  author       = {Friedrich Otto},
  title        = {On Deciding the Confluence of a Finite String-Rewriting System on
                  a Given Congruence Class},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {3},
  pages        = {285--310},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90017-1},
  doi          = {10.1016/0022-0000(87)90017-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Otto87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Parisi-Presicce87,
  author       = {Francesco Parisi{-}Presicce},
  title        = {Union and Actualization of Module Specifications: Some Compatibility
                  Results},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {1},
  pages        = {72--95},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90037-7},
  doi          = {10.1016/0022-0000(87)90037-7},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Parisi-Presicce87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Peleg87,
  author       = {David Peleg},
  title        = {Communication in Concurrent Dynamic Logic},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {1},
  pages        = {23--58},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90035-3},
  doi          = {10.1016/0022-0000(87)90035-3},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Peleg87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Stefanescu87,
  author       = {Gheorghe Stefanescu},
  title        = {On Flowchart Theories. I. The Deterministic Case},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {2},
  pages        = {163--191},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90011-0},
  doi          = {10.1016/0022-0000(87)90011-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Stefanescu87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Toda87,
  author       = {Seinosuke Toda},
  title        = {Sigma{\_}2 SPACE(n) is Closed under Complement},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {2},
  pages        = {145--152},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90009-2},
  doi          = {10.1016/0022-0000(87)90009-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Toda87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/TrnkovaR87,
  author       = {Vera Trnkov{\'{a}} and
                  Jan Reiterman},
  title        = {Dynamic Algebras with Test},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {2},
  pages        = {229--242},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90014-6},
  doi          = {10.1016/0022-0000(87)90014-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/TrnkovaR87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/WatanabeN87,
  author       = {Toshimasa Watanabe and
                  Akira Nakamura},
  title        = {Edge-Connectivity Augmentation Problems},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {1},
  pages        = {96--144},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90038-9},
  doi          = {10.1016/0022-0000(87)90038-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/WatanabeN87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/WinkowskiM87,
  author       = {J{\'{o}}zef Winkowski and
                  Andrea Maggiolo{-}Schettini},
  title        = {An Algebra of Processes},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {35},
  number       = {2},
  pages        = {206--228},
  year         = {1987},
  url          = {https://doi.org/10.1016/0022-0000(87)90013-4},
  doi          = {10.1016/0022-0000(87)90013-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/WinkowskiM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics