@article{Mulmuley/86,
AUTHOR = {Mulmuley, K.},
TITLE = {Fully abstract submodels of typed lambda calculi},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {2-46},
YEAR = {1986, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fiat-Shamir/86,
AUTHOR = {Fiat, A. and Shamir, A.},
TITLE = {Polymorphic arrays: a novel VLSI layout for systolic computers},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {47-65},
YEAR = {1986, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Munro/86,
AUTHOR = {Munro, J.I.},
TITLE = {An implicit data structure supporting insertion, deletion, and search in $O(log^2 n)$ time},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {66-74},
YEAR = {1986, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Santha-Vazirani/86,
AUTHOR = {Santha, M. and Vazirani, U.V.},
TITLE = {Generating quasi-random sequences from semi-random sources},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {75-87},
YEAR = {1986, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Greenberg-Weiss/86,
AUTHOR = {Greenberg, A.G. and Weiss, A.},
TITLE = {A lower bound for probabilistic algorithms for finite state machines},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {88-105},
YEAR = {1986, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Paturi-Simon/86,
AUTHOR = {Paturi, R. and Simon, J.},
TITLE = {Probabilistic communication complexity},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {106-123},
YEAR = {1986, August},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mannila-Raiha/86,
AUTHOR = {Mannila, H. and Raiha, K.-J.},
TITLE = {Design by example: an application of Armstrong relations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {2},
PAGES = {126-141},
YEAR = {1986, October},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Vardi/86,
AUTHOR = {Vardi, M.Y.},
TITLE = {Querying logical databases},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {2},
PAGES = {142-160},
YEAR = {1986, October},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wolfson-Yannakakis/86,
AUTHOR = {Wolfson, O. and Yannakakis, M.},
TITLE = {Deadlock-freedom (and safety) of transactions in a distributed database},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {2},
PAGES = {161-178},
YEAR = {1986, October},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ausiello-dAtri-Moscarini/86,
AUTHOR = {Ausiello, G. and d'Atri, A. and Moscarini, M.},
TITLE = {Chordality properties on graphs and minimal conceptual connections in semantic data models},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {2},
PAGES = {179-202},
YEAR = {1986, October},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cosmadakis-Kanellakis-Spyratos/86,
AUTHOR = {Cosmadakis, S.S. and Kanellakis, P.C. and Spyratos, N.},
TITLE = {Partition semantics for relations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {2},
PAGES = {203-233},
YEAR = {1986, October},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Connors/86,
AUTHOR = {Connors, T.},
TITLE = {Equivalence of views by query capacity},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {2},
PAGES = {234-274},
YEAR = {1986, October},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Sagiv/86,
AUTHOR = {Sagiv, Y.},
TITLE = {Concurrent operations on B-trees with overtaking},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {2},
PAGES = {275-296},
YEAR = {1986, October},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hadzilacos-Papadimitriou/86,
AUTHOR = {Hadzilacos, T. and Papadimitriou, C.H.},
TITLE = {Algorithmic aspects of multiversion concurrency control},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {2},
PAGES = {297-310},
YEAR = {1986, October},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Grumberg-Francez-Katz/86,
AUTHOR = {Grumberg, O. and Francez, N. and Katz, S.},
TITLE = {A complete rule for equifair termination},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {3},
PAGES = {313-332},
YEAR = {1986, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Tarlecki/86,
AUTHOR = {Tarlecki, A.},
TITLE = {Quasi-varieties in abstract algebraic institutions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {3},
PAGES = {333-360},
YEAR = {1986, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Inst. of Comput. Sci., Polish Acad. of Sci., Warsaw, Poland},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Abiteboul-Bidoit/86,
AUTHOR = {Abiteboul, S. and Bidoit, N.},
TITLE = {Non first normal form relations: an algebra allowing data restructuring},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {3},
PAGES = {361-393},
YEAR = {1986, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kaliski-Kwankam-Halpern-Shulman/86,
AUTHOR = {Kaliski, M.E. and Kwankam, S.Y. and Halpern, P. and Shulman, D.},
TITLE = {A theory of orbital behavior in a class of nonlinear systems: chaos and a signature-based approach},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {3},
PAGES = {394-414},
YEAR = {1986, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Northeastern Univ., Boston, MA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Janssens-Rozenberg-Welzl/86,
AUTHOR = {Janssens, D. and Rozenberg, G. and Welzl, E.},
TITLE = {The bounded degree problem for NLC grammars is decidable},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {3},
PAGES = {415-422},
YEAR = {1986, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Inst. of Appl. Math. \& Comput. Sci., Leiden Univ., Netherlands},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hotz/86,
AUTHOR = {Hotz, G.},
TITLE = {A representation theorem of infinite dimensional algebras and applications to language theory},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {3},
PAGES = {423-455},
YEAR = {1986, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Fachbereich Angewandte Math. und Inf., Saarlandes Univ., Saarbrucken, Germany},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dahlhaus-Warmuth/86,
AUTHOR = {Dahlhaus, E. and Warmuth, M.K.},
TITLE = {Membership for growing context-sensitive grammars is polynomial},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {3},
PAGES = {456-472},
YEAR = {1986, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Fachbereich Math., Tech. Univ. Berlin, Germany},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Card-Thanailakis-Pries-McLeod/86,
AUTHOR = {Card, H.C. and Thanailakis, A. and Pries, W. and McLeod, R.D.},
TITLE = {Analysis of bounded linear cellular automata based on a method of image charges},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {33},
NUMBER = {3},
PAGES = {473-480},
YEAR = {1986, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Electr. Eng., Manitoba Univ., Winnipeg, Man., Canada},
ADDRESS = {New York-San Francisco-London-San Diego},
}