Search dblp for Publications

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

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics