@article{Biskup-Meyer/87,
AUTHOR = {Biskup, J. and Meyer, R.},
TITLE = {Design of relational database schemes by deleting attributes in the canonical decomposition},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {1},
PAGES = {1-22},
YEAR = {1987, August},
PUBLISHER = {Academic Press},
INSTITUTION = {FB Inf., Dortmund Univ., Germany},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Peleg/87,
AUTHOR = {Peleg, D.},
TITLE = {Communication in Concurrent Dynamic Logic},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {1},
PAGES = {23-58},
YEAR = {1987, August},
PUBLISHER = {Academic Press},
INSTITUTION = {IBM Almaden Res. Center, San Jose, CA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kurshan/87,
AUTHOR = {Kurshan, R.P.},
TITLE = {Complementing deterministic Buchi Automata in polynomial Time},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {1},
PAGES = {59-71},
YEAR = {1987, August},
PUBLISHER = {Academic Press},
INSTITUTION = {AT\&T Bell Labs., Murray Hill, NJ, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Parisi-Presicce/87,
AUTHOR = {Parisi-Presicce, F.},
TITLE = {Union and actualization of module specifications: some compatibility results},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {1},
PAGES = {72-95},
YEAR = {1987, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Math., Univ. of Southern California, Los Angeles, CA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Watanabe-Nakamura/87,
AUTHOR = {Watanabe, T. and Nakamura, A.},
TITLE = {Edge-connectivity augmentation problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {1},
PAGES = {96-144},
YEAR = {1987, August},
PUBLISHER = {Academic Press},
INSTITUTION = {Fac. of Eng., Hiroshima Univ., Japan},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Toda/87,
AUTHOR = {Toda, S.},
TITLE = {$\Sigma_2\mbox{SPACE}(n)$ is closed under complement},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {2},
PAGES = {145-152},
YEAR = {1987, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Inf. Res., Nat. Inst. of Japanese Literature, Tokyo, Japan},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Babai-Hajnal-Szemberedi-Turan/87,
AUTHOR = {Babai, L. and Hajnal, P. and Szemberedi, E. and Turan, G.},
TITLE = {A lower bound for read-once-only branching programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {2},
PAGES = {153-162},
YEAR = {1987, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Illinois Univ., Chicago, IL, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Stefanescu/87,
AUTHOR = {Stefanescu, G.},
TITLE = {On flowchart theories. I. The deterministic case},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {2},
PAGES = {163-191},
YEAR = {1987, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Math., Nat. Inst. for Sci. \& Tech. Creation, Bucharest, Romania},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Main-Rozenberg/87,
AUTHOR = {Main, M.G. and Rozenberg, G.},
TITLE = {Handle NLC grammars and RE languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {2},
PAGES = {192-205},
YEAR = {1987, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Winkowski-Maggiolo-Schettini/87,
AUTHOR = {Winkowski, J. and Maggiolo-Schettini, A.},
TITLE = {An algebra of processes},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {2},
PAGES = {206-228},
YEAR = {1987, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Inst. Podstaw Informatyki, PAN, Warszawa, Poland},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Trnkova-Reiterman/87,
AUTHOR = {Trnkova, V. and Reiterman, J.},
TITLE = {Dynamic algebras with test},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {2},
PAGES = {229-242},
YEAR = {1987, October},
PUBLISHER = {Academic Press},
INSTITUTION = {Fac. of Math. \& Phys., Charles Univ., Prague, Czechoslovakia},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Autebert-Boasson-Senizergues/87,
AUTHOR = {Autebert, J.-M. and Boasson, L. and Senizergues, G.},
TITLE = {Groups and NTS languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {2},
PAGES = {243-267},
YEAR = {1987, October},
PUBLISHER = {Academic Press},
INSTITUTION = {UER de Math. et Inf., Paris Univ., France},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fredman-Spencer/87,
AUTHOR = {Fredman, Michael L. and Spencer, Thomas H.},
TITLE = {Refined complexity analysis for heap operations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {3},
PAGES = {269-284},
YEAR = {1987, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Electr. Eng. \& Comput. Sci., California Univ., San Diego, La Jolla, CA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Otto/87,
AUTHOR = {Otto, F.},
TITLE = {On deciding the confluence of a finite string-rewriting system on a given congruence class},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {3},
PAGES = {285-310},
YEAR = {1987, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Fachbereich Inf., Kaiserslautern Univ., Germany},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Beauquier-Blattner-Latteux/87,
AUTHOR = {Beauquier, J. and Blattner, M. and Latteux, M.},
TITLE = {On commutative context-free languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {3},
PAGES = {311-320},
YEAR = {1987, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Univ. de Paris-Sud, Orsay, France},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bidoit/87,
AUTHOR = {Bidoit, N.},
TITLE = {The Verso algebra or how to answer queries with fewer joins},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {3},
PAGES = {321-364},
YEAR = {1987, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Lab. de Recherche en Inf., Univ. Paris Sud, Orsay, France},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Benson-Guessarian/87,
AUTHOR = {Benson, D.B. and Guessarian, I.},
TITLE = {Algebraic solutions to recursion schemes},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {35},
NUMBER = {3},
PAGES = {365-400},
YEAR = {1987, December},
PUBLISHER = {Academic Press},
INSTITUTION = {Dept. of Comput. Sci., Washington State Univ., Pullman, WA, USA},
ADDRESS = {New York-San Francisco-London-San Diego},
}