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