Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jcss/jcss49.bht:"
@article{DBLP:journals/jcss/AjtaiG94, author = {Mikl{\'{o}}s Ajtai and Yuri Gurevich}, title = {Datalog vs First-Order Logic}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {562--588}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80071-6}, doi = {10.1016/S0022-0000(05)80071-6}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/AjtaiG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/AmirFGBP94, author = {Amihood Amir and Martin Farach and Zvi Galil and Raffaele Giancarlo and Kunsoo Park}, title = {Dynamic Dictionary Matching}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {208--222}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80047-9}, doi = {10.1016/S0022-0000(05)80047-9}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcss/AmirFGBP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BergerRS94, author = {Bonnie Berger and John Rompel and Peter W. Shor}, title = {Efficient {NC} Algorithms for Set Cover with Applications to Learning and Geometry}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {454--477}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80068-6}, doi = {10.1016/S0022-0000(05)80068-6}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BergerRS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BoyarL94, author = {Joan Boyar and Kim S. Larsen}, title = {Efficient Rebalancing of Chromatic Search Trees}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {667--682}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80075-3}, doi = {10.1016/S0022-0000(05)80075-3}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BoyarL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/CaiH94, author = {Jin{-}yi Cai and Juris Hartmanis}, title = {On Hausdorff and Topological Dimensions of the Kolmogorov Complexity of the Real Line}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {605--619}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80073-X}, doi = {10.1016/S0022-0000(05)80073-X}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/CaiH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/CaseJS94, author = {John Case and Sanjay Jain and Arun Sharma}, title = {Vacillatory Learning of Nearly Minimal Size Grammars}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {189--207}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80046-7}, doi = {10.1016/S0022-0000(05)80046-7}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/CaseJS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/ChangCGHHRR94, author = {Richard Chang and Benny Chor and Oded Goldreich and Juris Hartmanis and Johan H{\aa}stad and Desh Ranjan and Pankaj Rohatgi}, title = {The Random Oracle Hypothesis Is False}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {1}, pages = {24--39}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80084-4}, doi = {10.1016/S0022-0000(05)80084-4}, timestamp = {Tue, 14 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/ChangCGHHRR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Durand94, author = {Bruno Durand}, title = {The Surjectivity Problem for 2D Cellular Automata}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {718--725}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80077-7}, doi = {10.1016/S0022-0000(05)80077-7}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcss/Durand94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/EngelfrietV94, author = {Joost Engelfriet and Heiko Vogler}, title = {The Translation Power of Top-Down Tree-to-Graph Transducers}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {258--305}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80050-9}, doi = {10.1016/S0022-0000(05)80050-9}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/EngelfrietV94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/FachiniM94, author = {Emanuela Fachini and Angelo Monti}, title = {A Kleene-like Characterization of Languages Accepted by Systolic Tree Automata}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {1}, pages = {133--147}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80090-X}, doi = {10.1016/S0022-0000(05)80090-X}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/FachiniM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/FellowsL94, author = {Michael R. Fellows and Michael A. Langston}, title = {On Search, Decision, and the Efficiency of Polynomial-Time Algorithms}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {769--779}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80079-0}, doi = {10.1016/S0022-0000(05)80079-0}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/FellowsL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/FulkJO94, author = {Mark A. Fulk and Sanjay Jain and Daniel N. Osherson}, title = {Open Problems in "Systems That Learn"}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {589--604}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80072-8}, doi = {10.1016/S0022-0000(05)80072-8}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/FulkJO94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Goldberg94, author = {Leslie Ann Goldberg}, title = {Listing Graphs That Satisfy First-Order Sentences}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {408--424}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80057-1}, doi = {10.1016/S0022-0000(05)80057-1}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Goldberg94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Hattori94, author = {Takashi Hattori}, title = {Time-Extraction for Temporal Logic-Logic Programming and Local Process Time}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {1}, pages = {40--56}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80085-6}, doi = {10.1016/S0022-0000(05)80085-6}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Hattori94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/ItoW94, author = {Minoru Ito and Grant E. Weddell}, title = {Implication Problems for Functional Constraints on Databases Supporting Complex Objects}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {726--768}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80078-9}, doi = {10.1016/S0022-0000(05)80078-9}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/ItoW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/JainS94, author = {Sanjay Jain and Arun Sharma}, title = {Characterizing Language Identification by Standardizing Operations}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {1}, pages = {96--107}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80088-1}, doi = {10.1016/S0022-0000(05)80088-1}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/JainS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Kaminski94, author = {Michael Kaminski}, title = {A Branching Time Logic with Past Operators}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {223--246}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80048-0}, doi = {10.1016/S0022-0000(05)80048-0}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Kaminski94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Kantabutra94, author = {Vitit Kantabutra}, title = {A Linear-Time Near-Optimum-Length Triangulation Algorithm for Convex Polygons}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {325--333}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80052-2}, doi = {10.1016/S0022-0000(05)80052-2}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Kantabutra94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/KarchmerNSW94, author = {Mauricio Karchmer and Ilan Newman and Michael E. Saks and Avi Wigderson}, title = {Non-Deterministic Communication Complexity with Few Witnesses}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {247--257}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80049-2}, doi = {10.1016/S0022-0000(05)80049-2}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/KarchmerNSW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/KozenPS94, author = {Dexter Kozen and Jens Palsberg and Michael I. Schwartzbach}, title = {Efficient Inference of Partial Types}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {306--324}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80051-0}, doi = {10.1016/S0022-0000(05)80051-0}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/KozenPS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Krishnakumar94, author = {Narayanan Krishnakumar}, title = {On Computing Serial Dependency Relations}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {175--188}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80045-5}, doi = {10.1016/S0022-0000(05)80045-5}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Krishnakumar94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/LeveneL94, author = {Mark Levene and George Loizou}, title = {The Nested Universal Relation Data Model}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {683--717}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80076-5}, doi = {10.1016/S0022-0000(05)80076-5}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/LeveneL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/MotwaniNN94, author = {Rajeev Motwani and Joseph Naor and Moni Naor}, title = {The Probabilistic Method Yields Deterministic Parallel Algorithms}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {478--516}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80069-8}, doi = {10.1016/S0022-0000(05)80069-8}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/MotwaniNN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Mulmuley94, author = {Ketan Mulmuley}, title = {An Efficient Algorithm for Hidden Surface Removal, {II}}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {427--453}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80067-4}, doi = {10.1016/S0022-0000(05)80067-4}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Mulmuley94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/NisanW94, author = {Noam Nisan and Avi Wigderson}, title = {Hardness vs Randomness}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {149--167}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80043-1}, doi = {10.1016/S0022-0000(05)80043-1}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/NisanW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/NishidaK94, author = {Taishin Y. Nishida and Youichi Kobuchi}, title = {Invariant Sets for Substitution}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {168--174}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80044-3}, doi = {10.1016/S0022-0000(05)80044-3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcss/NishidaK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/ObradovicP94, author = {Zoran Obradovic and Ian Parberry}, title = {Learning with Discrete Multi-valued Neurons}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {375--390}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80055-8}, doi = {10.1016/S0022-0000(05)80055-8}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcss/ObradovicP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Pippenger94, author = {Nicholas Pippenger}, title = {Symmetry in Self-Correcting Cellular Automata}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {1}, pages = {83--95}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80087-X}, doi = {10.1016/S0022-0000(05)80087-X}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Pippenger94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Qian94, author = {Zhenyu Qian}, title = {Another Look at Parameterization for Order-Sorted Algebraic Specifications}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {620--666}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80074-1}, doi = {10.1016/S0022-0000(05)80074-1}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Qian94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Raghavan94, author = {Vijay Raghavan}, title = {Bounded Degree Graph Inference from Walks}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {1}, pages = {108--132}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80089-3}, doi = {10.1016/S0022-0000(05)80089-3}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Raghavan94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/RamachandranR94, author = {Vijaya Ramachandran and John H. Reif}, title = {Planarity Testing in Parallel}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {517--561}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80070-4}, doi = {10.1016/S0022-0000(05)80070-4}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/RamachandranR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/SalomaaY94, author = {Kai Salomaa and Sheng Yu}, title = {Measures of Nondeterminism for Pushdown Automata}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {362--374}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80054-6}, doi = {10.1016/S0022-0000(05)80054-6}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/SalomaaY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Sato94, author = {Tadakazu Sato}, title = {Group Structured Linear Cellular Automata over Zm}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {1}, pages = {18--23}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80083-2}, doi = {10.1016/S0022-0000(05)80083-2}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Sato94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Sugihara94, author = {Kokichi Sugihara}, title = {Robust Gift Wrapping for the Three-Dimensional Convex Hull}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {391--407}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80056-X}, doi = {10.1016/S0022-0000(05)80056-X}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Sugihara94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Toda94, author = {Seinosuke Toda}, title = {Simple Characterizations of P({\#}P) and Complete Problems}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {1}, pages = {1--17}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80082-0}, doi = {10.1016/S0022-0000(05)80082-0}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Toda94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/Wanke94, author = {Egon Wanke}, title = {The Complexity of Connectivity Problems on Context-Free Graph Languages}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {1}, pages = {57--82}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80086-8}, doi = {10.1016/S0022-0000(05)80086-8}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/Wanke94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/YouY94, author = {Jia{-}Huai You and Li{-}Yan Yuan}, title = {A Three-Valued Semantics for Deductive Databases and Logic Programs}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {2}, pages = {334--361}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80053-4}, doi = {10.1016/S0022-0000(05)80053-4}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/YouY94.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.