Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jcss/jcss30.bht:"
@article{DBLP:journals/jcss/AsoH85, author = {Hirotomo Aso and Namio Honda}, title = {Dynamical Characteristics of Linear Cellular Automata}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {3}, pages = {291--317}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90048-0}, doi = {10.1016/0022-0000(85)90048-0}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/AsoH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Bahamonde85, author = {Antonio Bahamonde}, title = {Cost Functors and Optimal Realization}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {3}, pages = {274--290}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90047-9}, doi = {10.1016/0022-0000(85)90047-9}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Bahamonde85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BookLS85, author = {Ronald V. Book and Timothy J. Long and Alan L. Selman}, title = {Qualitative Relativizations of Complexity Classes}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {3}, pages = {395--413}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90053-4}, doi = {10.1016/0022-0000(85)90053-4}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BookLS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BorodinH85, author = {Allan Borodin and John E. Hopcroft}, title = {Routing, Merging, and Sorting on Parallel Models of Computation}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {1}, pages = {130--145}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90008-X}, doi = {10.1016/0022-0000(85)90008-X}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BorodinH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/ChandraFL85, author = {Ashok K. Chandra and Steven Fortune and Richard J. Lipton}, title = {Unbounded Fan-In Circuits and Associative Functions}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {2}, pages = {222--234}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90015-7}, doi = {10.1016/0022-0000(85)90015-7}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/ChandraFL85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/ChibaNAO85, author = {Norishige Chiba and Takao Nishizeki and Shigenobu Abe and Takao Ozawa}, title = {A Linear Algorithm for Embedding Planar Graphs Using PQ-Trees}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {1}, pages = {54--76}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90004-2}, doi = {10.1016/0022-0000(85)90004-2}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/ChibaNAO85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Chrobak85, author = {Marek Chrobak}, title = {Variations on the Technique of Duris and Galil}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {1}, pages = {77--85}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90005-4}, doi = {10.1016/0022-0000(85)90005-4}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Chrobak85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/DymondT85, author = {Patrick W. Dymond and Martin Tompa}, title = {Speedups of Deterministic Machines by Synchronous Parallel Machines}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {2}, pages = {149--161}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90011-X}, doi = {10.1016/0022-0000(85)90011-X}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/DymondT85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/EmersonH85, author = {E. Allen Emerson and Joseph Y. Halpern}, title = {Decision Procedures and Expressiveness in the Temporal Logic of Branching Time}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {1}, pages = {1--24}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90001-7}, doi = {10.1016/0022-0000(85)90001-7}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/EmersonH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Engelfriet85, author = {Joost Engelfriet}, title = {Hierarchies of Hyper-AFLs}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {1}, pages = {86--115}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90006-6}, doi = {10.1016/0022-0000(85)90006-6}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Engelfriet85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/GabowT85, author = {Harold N. Gabow and Robert Endre Tarjan}, title = {A Linear-Time Algorithm for a Special Case of Disjoint Set Union}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {2}, pages = {209--221}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90014-5}, doi = {10.1016/0022-0000(85)90014-5}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/GabowT85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/GonczarowskiS85, author = {Jakob Gonczarowski and Eliahu Shamir}, title = {Pattern Selector Grammars and Several Parsing Algorithms in the Context-Free Style}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {3}, pages = {249--273}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90046-7}, doi = {10.1016/0022-0000(85)90046-7}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/GonczarowskiS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Kantor85, author = {William M. Kantor}, title = {Sylow's Theorem in Polynomial Time}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {3}, pages = {359--394}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90052-2}, doi = {10.1016/0022-0000(85)90052-2}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Kantor85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Kozen85, author = {Dexter Kozen}, title = {A Probabilistic {PDL}}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {2}, pages = {162--178}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90012-1}, doi = {10.1016/0022-0000(85)90012-1}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Kozen85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/LadnerN85, author = {Richard E. Ladner and Jeffrey K. Norman}, title = {Solitaire Automata}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {1}, pages = {116--129}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90007-8}, doi = {10.1016/0022-0000(85)90007-8}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/LadnerN85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/LandauM85, author = {Susan Landau and Gary L. Miller}, title = {Solvability by Radicals is in Polynomial Time}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {2}, pages = {179--208}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90013-3}, doi = {10.1016/0022-0000(85)90013-3}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/LandauM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Lenstra85, author = {Arjen K. Lenstra}, title = {Factoring Multivariate Polynomials over Finite Fields}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {2}, pages = {235--248}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90016-9}, doi = {10.1016/0022-0000(85)90016-9}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Lenstra85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/LinW85, author = {Ferng{-}Ching Lin and I{-}Chen Wu}, title = {Area-Period Tradeoffs for Multiplication of Rectangular Matrices}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {3}, pages = {329--342}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90050-9}, doi = {10.1016/0022-0000(85)90050-9}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/LinW85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/MainB85, author = {Michael G. Main and David B. Benson}, title = {Free Semiring-Representations and Nondeterminism}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {3}, pages = {318--328}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90049-2}, doi = {10.1016/0022-0000(85)90049-2}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/MainB85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/NarendranOR85, author = {Paliath Narendran and Colm {\'{O}}'D{\'{u}}nlaing and Heinrich Rolletschek}, title = {Complexity of Certain Decision Problems about Congruential Languages}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {3}, pages = {343--358}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90051-0}, doi = {10.1016/0022-0000(85)90051-0}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/NarendranOR85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/ReifS85, author = {John H. Reif and A. Prasad Sistla}, title = {A Multiprocess Network Logic with Temporal and Spatial Modalities}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {1}, pages = {41--53}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90003-0}, doi = {10.1016/0022-0000(85)90003-0}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/ReifS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/SchimpfG85, author = {Karl M. Schimpf and Jean H. Gallier}, title = {Tree Pushdown Automata}, journal = {J. Comput. Syst. Sci.}, volume = {30}, number = {1}, pages = {25--40}, year = {1985}, url = {https://doi.org/10.1016/0022-0000(85)90002-9}, doi = {10.1016/0022-0000(85)90002-9}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/SchimpfG85.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.