@article{Bonner/90,
AUTHOR = {Bonner, Anthony J.},
TITLE = {Hypothetical datalog: Complexity and expressibility},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {3-51},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ohori/90,
AUTHOR = {Ohori, Atsushi},
TITLE = {Semantics of types for database objects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {53-91},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Karabeg-Vianu/90,
AUTHOR = {Karabeg, Dino and Vianu, Victor},
TITLE = {Parallel update transactions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {93-114},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lipeck/90,
AUTHOR = {Lipeck, Udo W.},
TITLE = {Transformation of dynamic integrity constraints into transaction specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {115-142},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Dong-Ginsburg/90,
AUTHOR = {Dong, Guozhu and Ginsburg, Seymour},
TITLE = {On the decomposition of datalog program mappings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {143-177},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kok-Rutten/90,
AUTHOR = {Kok, Joost N. and Rutten, Jan J.M.M.},
TITLE = {Contractions in comparing concurrency semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {179-222},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sakakibara/90,
AUTHOR = {Sakakibara, Yasubumi},
TITLE = {Learning context-free grammars from structural data in polynomial time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {223-242},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Timmerman/90,
AUTHOR = {Timmerman, E.},
TITLE = {The three subfamilies of rational $\omega$-languages closed under $\omega$-transduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {243-250},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Weil/90,
AUTHOR = {Weil, Pascal},
TITLE = {Products of languages with counter},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {251-260},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Tirri/90,
AUTHOR = {Tirri, Seppo},
TITLE = {The congruence theory of closure properties of regular tree languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {261-271},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hashiguchi-Yoo/90,
AUTHOR = {Hashiguchi, Kosaburo and Yoo, Heekeun},
TITLE = {Extended regular expressions of star degree at most two},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {273-284},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Petit/90,
AUTHOR = {Petit, A.},
TITLE = {Distribution and synchronized automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {285-308},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Yamasaki/90,
AUTHOR = {Yamasaki, Susumu},
TITLE = {Recursion equation sets computing logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {309-322},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jiang/90,
AUTHOR = {Jiang, Tao},
TITLE = {On the complexity of 1-tape ATMs and off-line 1-tape ATMs running in constant reversals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {323-330},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gannett-Kothari-Yen/90,
AUTHOR = {Gannett, Ethan and Kothari, Suraj C. and Yen, Hsu-Chun},
TITLE = {On optimal parallelization of sorting networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {331-341},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sarnath-He/90,
AUTHOR = {Sarnath, R. and He, Xim},
TITLE = {A $\P$-complete graph partition problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {76},
PAGES = {343-351},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}