@article{Dechter/90,
AUTHOR = {Dechter, Rina},
TITLE = {Decomposing a relation into a tree of binary relations},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {2-24},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Atzeni-Bernardis/90,
AUTHOR = {Atzeni, Paolo and Bernardis, Maria Cristina De},
TITLE = {A new interpretation for null values in the weak instance model},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {25-43},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kuper/90,
AUTHOR = {Kuper, Gabriel M.},
TITLE = {Logic programming with sets},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {44-64},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fekete-Lynch-Merritt-Weihl/90,
AUTHOR = {Fekete, Alan and Lynch, Nancy and Merritt, Michael and Weihl, William},
TITLE = {Commutativity-based locking for nested transactions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {65-156},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Beeri-Kanellakis-Bancilhon-Ramakrishnan/90,
AUTHOR = {Beeri, Catriel and Kanellakis, Paris and Bancilhon, Fran{\c{c}}ois and Ramakrishnan, Raghu},
TITLE = {Bounds on the propagation of selection into logic programs},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {157-180},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Abiteboul-Vianu/90,
AUTHOR = {Abiteboul, Serge and Vianu, Victor},
TITLE = {Procedural languages for database queries and updates},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {181-229},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bermudez-Schimpf/90,
AUTHOR = {Bermudez, Manuel E. and Schimpf, Karl M.},
TITLE = {Practical arbitrary lookahead LR parsing},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {230-250},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hemachandra-Rudich/90,
AUTHOR = {Hemachandra, Lane A. and Rudich, Steven},
TITLE = {On the complexity of ranking},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {251-271},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Barrington-Immerman/90,
AUTHOR = {Barrington, David A. Mix and Immerman, Neil},
TITLE = {On uniformity within $NC^1$},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {274-306},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lutz/90a,
AUTHOR = {Lutz, Jack H.},
TITLE = {Pseudorandom sources for BPP},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {307-320},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Shinoda-Slaman/90,
AUTHOR = {Shinoda, Juichi and Slaman, Theodore A.},
TITLE = {On the theory of the PTIME degrees of the recursive sets},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {321-366},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Balcazar/90,
AUTHOR = {Balc{\'a}zar, Jos{\'e} L.},
TITLE = {Self-reducibility},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {367-388},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Longpre-Young/90,
AUTHOR = {Longpr{\'e}, Luc and Young, Paul},
TITLE = {Cook reducibility is faster than Karp reduciblity in NP},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {389-401},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Halstenberg-Reischuk/90,
AUTHOR = {Halstenberg, Bernd and Reischuk, R{\"u}diger},
TITLE = {Relations between communication complexity classes},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {402-429},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Pitt-Warmuth/90,
AUTHOR = {Pitt, Leonard and Warmuth, Manfred K.},
TITLE = {Prediction-preserving reducibility},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {41},
PAGES = {430-467},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Yap/90a,
AUTHOR = {Yap, Chee-Keng},
TITLE = {Geometric consistency theorem for a symbolic perturbation scheme},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {2-18},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Motwani-Raghunathan-Saran/90,
AUTHOR = {Motwani, Rajeev and Raghunathan, Arvind and Saran, Huzur},
TITLE = {Covering orthogonal polygons with star polygons: The perfect graph approach},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {19-48},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bern/90,
AUTHOR = {Bern, Marshall},
TITLE = {Hidden surface removal for rectangles},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {49-69},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dobkin-Silver/90,
AUTHOR = {Dobkin, David and Silver, Deborah},
TITLE = {Applied computational geometry: Towards robust solutions of basic problems},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {70-87},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mitchell/90,
AUTHOR = {Mitchell, Joseph S.B.},
TITLE = {On maximum flows in polyhedral domains},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {88-123},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Flannery-Martin/90,
AUTHOR = {Flannery, Kevin E. and Martin, Johannes J.},
TITLE = {The Hoare and Smith power domain constructors commute under composition},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {125-135},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Grandjean/90,
AUTHOR = {Grandjean, Etienne},
TITLE = {First-order spectra with one variable},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {136-153},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Dassow-Jurgensen/90,
AUTHOR = {Dassow, J. and J{\"u}rgensen, H.},
TITLE = {Soliton automata},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {154-181},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gruska/90,
AUTHOR = {Gruska, Damas P.},
TITLE = {Genomorphisms of semi-modular lattices},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {182-187},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Main-Rozenberg/90,
AUTHOR = {Main, Michael G. and Rozenberg, Grzegorz},
TITLE = {Edge-label controlled graph grammars},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {188-228},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Poigne/90a,
AUTHOR = {Poign{\'e}, Axel},
TITLE = {Parametrization for order-sorted algebraic specification},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {229-268},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lausen-Soisalon-Soininen-Widmayer/90,
AUTHOR = {Lausen, Georg and Soisalon-Soininen, Eljas and Widmayer, Peter},
TITLE = {On the power of safe locking},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {269-288},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Kim/90a,
AUTHOR = {Kim, Changwook},
TITLE = {Picture iteration and picture ambiguity},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {289-306},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Engelfriet-Leih-Welzl/90,
AUTHOR = {Engelfriet, Joost and Leih, George and Welzl, Emo},
TITLE = {Boundary graph grammars with dynamic edge relabeling},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {307-345},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ginsburg-Tian/90,
AUTHOR = {Ginsburg, Seymour and Tian, Dan},
TITLE = {Input-dependent-only object histories},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {346-375},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Aalbersberg-Engelfriet-Rozenberg/90,
AUTHOR = {Aalbersberg, Ijsbrand Jan and Engelfriet, Joost and Rozenberg, Grzegorz},
TITLE = {The complexity of regular DNLC graph languages},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {376-404},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ozsoyoglu/90,
AUTHOR = {Ozsoyoglu, Gultekin},
TITLE = {On inference control in semantic data models for statistical databases},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {405-443},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fulk/90b,
AUTHOR = {Fulk, Mark A.},
TITLE = {A note on A.E. $h$-complex functions},
JOURNAL = {J. Comput.~Syst.~Sci.},
VOLUME = {40},
PAGES = {444-449},
YEAR = {1990},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}