@article{Toda/94,
AUTHOR = {Toda, Seinosuke},
TITLE = {Simple characterizations of $P(\#P)$ and complete problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {1-17},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Sato/94,
AUTHOR = {Sato, Tadakazu},
TITLE = {Group structured linear cellular automata over $Z_m$},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {18-23},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Chang-Chor-Goldreich-Hartmanis-Hastad-Ranjan-Rohatgi/94,
AUTHOR = {Chang, Richard and Chor, Benny and Goldreich, Oded and Hartmanis, Juris and H{\aa}stad, Johan and Ranjan, Desh and Rohatgi, Pankaj},
TITLE = {The random oracle hypothesis is false},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {24-39},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hattori/94,
AUTHOR = {Hattori, Takashi},
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},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wanke/94a,
AUTHOR = {Wanke, Egon},
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},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Pippenger/94,
AUTHOR = {Pippenger, Nicholas},
TITLE = {Symmetry in self-correcting cellular automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {83-95},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Jain-Sharma/94,
AUTHOR = {Jain, Sanjay and Sharma, Arun},
TITLE = {Characterizing language identification by standardizing operations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {96-107},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Raghavan/94,
AUTHOR = {Raghavan, Vijay},
TITLE = {Bounded degree graph inference from walks},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {1},
PAGES = {108-132},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fachini-Monti/94,
AUTHOR = {Fachini, E. and Monti, A.},
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},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Nisan-Wigderson/94,
AUTHOR = {Nisan, Noam and Wigderson, Avi},
TITLE = {Hardness vs randomness},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {149-167},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Nishida-Kobuchi/94,
AUTHOR = {Nishida, Taishin and Kobuchi, Youichi},
TITLE = {Invariant sets for substitution},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {168-174},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Krishnakumar/94,
AUTHOR = {Krishnakumar, Narayanan},
TITLE = {On computing serial dependency relations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {175-188},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Case-Jain-Sharma/94,
AUTHOR = {Case, John and Jain, Sanjay and Sharma, Arun},
TITLE = {Vacillatory learning of nearly minimal size grammars},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {189-207},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Amir-Farach-Galil-Giancarlo-Park/94,
AUTHOR = {Amir, Amihood and Farach, Martin and Galil, Zvi and Giancarlo, Raffaele and Park, Kunsoo},
TITLE = {Dynamic dictionary matching},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {208-222},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kaminski/94,
AUTHOR = {Kaminski, Michael},
TITLE = {A branching time logic with past operators},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {223-246},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Karchmer-Newman-Saks-Wigderson/94,
AUTHOR = {Karchmer, Mauricio and Newman, Ilan and Saks, Mike and Wigderson, Avi},
TITLE = {Non-deterministic communication complexity with few witnesses},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {247-257},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Engelfriet-Vogler/94,
AUTHOR = {Engelfriet, Joost and Vogler, Heiko},
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},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kozen-Palsberg-Schwartzbach/94,
AUTHOR = {Kozen, Dexter and Palsberg, Jens and Schwartzbach, Michael I.},
TITLE = {Efficient inference of partial types},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {306-324},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kantabutra/94,
AUTHOR = {Kantabutra, Vitit},
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},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{You-Yuan/94,
AUTHOR = {You, Jia-Huai and Yuan, Li Yan},
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},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Salomaa-Yu/94,
AUTHOR = {Salomaa, Kai and Yu, Sheng},
TITLE = {Measures of nondeterminism for pushdown automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {362-374},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Obradovic-Parberry/94,
AUTHOR = {Obradovi{\'c}, Zoran and Parberry, Ian},
TITLE = {Learning with discrete multivalued neurons},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {375-390},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Sugihara/94,
AUTHOR = {Sugihara, Kokichi},
TITLE = {Robust gift wrapping for the three-dimensional convex hull},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {391-407},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Goldberg/94,
AUTHOR = {Goldberg, Leslie Ann},
TITLE = {Listing graphs that satisfy first-order sentences},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {2},
PAGES = {408-424},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mulmuley/94,
AUTHOR = {Mulmuley, Ketan},
TITLE = {An efficient algorithm for hidden surface removal, II},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {3},
PAGES = {427-453},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Berger-Rompel-Shor/94,
AUTHOR = {Berger, Bonnie and Rompel, John and Shor, Peter W.},
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},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Motwani-Naor-Naor/94,
AUTHOR = {Motwani, Rajeev and Naor, Joseph (Seffi) and Naor, Moni},
TITLE = {The probabilistic method yields deterministic parallel algorithms},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {3},
PAGES = {478-516},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ramachandran-Reif/94,
AUTHOR = {Ramachandran, Vijaya and Reif, John},
TITLE = {Planarity testing in parallel},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {3},
PAGES = {517-561},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ajtai-Gurevich/94,
AUTHOR = {Ajtai, Miklos and Gurevich, Yuri},
TITLE = {Datalog vs first-order logic},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {3},
PAGES = {562-588},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fulk-Jain-Osherson/94,
AUTHOR = {Fulk, Mark and Jain, Sanjay and Osherson, Daniel N.},
TITLE = {Open problems in ``systems that learn''},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {3},
PAGES = {589-604},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cai-Hartmanis/94,
AUTHOR = {Cai, Jin-Yi and Hartmanis, Juris},
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},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Qian/94,
AUTHOR = {Qian, Zhenyu},
TITLE = {Another look at parameterization for order-sorted algebraic specifications},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {3},
PAGES = {620-666},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Boyar-Larsen/94,
AUTHOR = {Boyar, Joan and Larsen, Kim S.},
TITLE = {Efficient rebalancing of chromatic search trees},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {3},
PAGES = {667-682},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Levene-Loizou/94,
AUTHOR = {Levene, Mark and Loizou, George},
TITLE = {The nested universal relation data model},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {3},
PAGES = {683-717},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Durand/94a,
AUTHOR = {Durand, Bruno},
TITLE = {The surjectivity problem for 2D cellular automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {49},
NUMBER = {3},
PAGES = {718-725},
YEAR = {1994},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ito-Weddell/94,
AUTHOR = {Ito, Minoru and Weddell, Grant E.},
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},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fellows-Langston/94,
AUTHOR = {Fellows, Michael R. and Langston, Michael A.},
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},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}