Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jcss/Ben-OrKR86,
  author       = {Michael Ben{-}Or and
                  Dexter Kozen and
                  John H. Reif},
  title        = {The Complexity of Elementary Algebra and Geometry},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {251--264},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90029-2},
  doi          = {10.1016/0022-0000(86)90029-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Ben-OrKR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/BergstraK86,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Conditional Rewrite Rules: Confluence and Termination},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {323--362},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90033-4},
  doi          = {10.1016/0022-0000(86)90033-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BergstraK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Boppana86,
  author       = {Ravi B. Boppana},
  title        = {Threshold Functions and Bounded Depth Monotone Circuits},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {222--229},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90027-9},
  doi          = {10.1016/0022-0000(86)90027-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Boppana86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Champeaux86,
  author       = {Dennis de Champeaux},
  title        = {About the Paterson-Wegman Linear Unification Algorithm},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {79--90},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90003-6},
  doi          = {10.1016/0022-0000(86)90003-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Champeaux86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Chazelle86,
  author       = {Bernard Chazelle},
  title        = {Reporting and Counting Segment Intersections},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {156--182},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90025-5},
  doi          = {10.1016/0022-0000(86)90025-5},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Chazelle86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Chlebus86,
  author       = {Bogdan S. Chlebus},
  title        = {Domino-Tiling Games},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {374--392},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90036-X},
  doi          = {10.1016/0022-0000(86)90036-X},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Chlebus86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/DolevHS86,
  author       = {Danny Dolev and
                  Joseph Y. Halpern and
                  H. Raymond Strong},
  title        = {On the Possibility and Impossibility of Achieving Clock Synchronization},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {230--250},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90028-0},
  doi          = {10.1016/0022-0000(86)90028-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/DolevHS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Gacs86,
  author       = {P{\'{e}}ter G{\'{a}}cs},
  title        = {Reliable Computation with Cellular Automata},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {15--78},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90002-4},
  doi          = {10.1016/0022-0000(86)90002-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Gacs86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/HodgsonK86,
  author       = {Bernard R. Hodgson and
                  Clement F. Kent},
  title        = {Uniform Normal Form for General Time-Bounded Complexity Classes},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {363--369},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90034-6},
  doi          = {10.1016/0022-0000(86)90034-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/HodgsonK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/KantabutraK86,
  author       = {Vitit Kantabutra and
                  S. Rao Kosaraju},
  title        = {New Algorithms for Multilink Robot Arms},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {136--153},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90007-3},
  doi          = {10.1016/0022-0000(86)90007-3},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/KantabutraK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/KarhumakiM86,
  author       = {Juhani Karhum{\"{a}}ki and
                  Yael Maon},
  title        = {A Simple Undecidable Problem: Existential Agreement of Inverses of
                  Two Morphisms on a Regular Language},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {315--322},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90032-2},
  doi          = {10.1016/0022-0000(86)90032-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/KarhumakiM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/LakshmipathyW86,
  author       = {N. Lakshmipathy and
                  Karl Winklmann},
  title        = {"Global" Graph Problems Tend to Be Intractable},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {407--428},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90038-3},
  doi          = {10.1016/0022-0000(86)90038-3},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/LakshmipathyW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Li86,
  author       = {Shuo{-}Yen Robert Li},
  title        = {Binary Trees and Uniform Distribution of Traffic Cutback},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {1--14},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90001-2},
  doi          = {10.1016/0022-0000(86)90001-2},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Li86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Miller86,
  author       = {Gary L. Miller},
  title        = {Finding Small Simple Cycle Separators for 2-Connected Planar Graphs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {265--279},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90030-9},
  doi          = {10.1016/0022-0000(86)90030-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Miller86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Owings86,
  author       = {James C. Owings},
  title        = {Effective Choice Functions and Index Sets},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {370--373},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90035-8},
  doi          = {10.1016/0022-0000(86)90035-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Owings86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/PerrinP86,
  author       = {Dominique Perrin and
                  Jean{-}Eric Pin},
  title        = {First-Order Logic and Star-Free Sets},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {393--406},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90037-1},
  doi          = {10.1016/0022-0000(86)90037-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/PerrinP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/ReifL86,
  author       = {John H. Reif and
                  Harry R. Lewis},
  title        = {Efficient Symbolic Analysis of Programs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {280--314},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90031-0},
  doi          = {10.1016/0022-0000(86)90031-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/ReifL86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/RosierY86,
  author       = {Louis E. Rosier and
                  Hsu{-}Chun Yen},
  title        = {A Multiparameter Analysis of the Boundedness Problem for Vector Addition
                  Systems},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {105--135},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90006-1},
  doi          = {10.1016/0022-0000(86)90006-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/RosierY86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Urzyczyn86,
  author       = {Pawel Urzyczyn},
  title        = {"During" Cannot be Expressed by "After"},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {97--104},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90005-X},
  doi          = {10.1016/0022-0000(86)90005-X},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Urzyczyn86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/VardiW86,
  author       = {Moshe Y. Vardi and
                  Pierre Wolper},
  title        = {Automata-Theoretic Techniques for Modal Logics of Programs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {183--221},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90026-7},
  doi          = {10.1016/0022-0000(86)90026-7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/VardiW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/Wegener86,
  author       = {Ingo Wegener},
  title        = {Time-Space Trade-offs for Branching Programs},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {91--96},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90004-8},
  doi          = {10.1016/0022-0000(86)90004-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Wegener86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.