Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jcss/jcss30.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-05-11 21:37 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
