@article{Milner/90a,
AUTHOR = {Milner, Robin},
TITLE = {Interpreting one concurrent calculus in another},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {3-13},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{de_Bakker-Kok/90,
AUTHOR = {de Bakker, J.W. and Kok, J.N.},
TITLE = {Comparative metric semantics for concurrent prolog},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {15-43},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Falaschi-Levi/90,
AUTHOR = {Falaschi, Moreno and Levi, Giorgio},
TITLE = {Finite failures and partial computations in concurrent logic languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {45-66},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Murakami/90,
AUTHOR = {Murakami, Masaki},
TITLE = {A declarative semantics of flat guarded Horn clauses for programs with perpetual processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {67-83},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Holldobler/90,
AUTHOR = {H{\"o}lldobler, Steffen},
TITLE = {Conditional equational theories and complete sets of transformations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {85-110},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Dershowitz/90,
AUTHOR = {Dershowitz, Nachum},
TITLE = {A rationale for conditional equational programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {111-138},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kawamura-Kanamori/90,
AUTHOR = {Kawamura, Tadashi and Kanamori, Tadashi},
TITLE = {Preservation of stronger equivalence in unfold/fold logic program transformation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {139-156},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Devienne/90,
AUTHOR = {Devienne, Philippe},
TITLE = {Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {157-215},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Degano-Nicola-Montanari/90,
AUTHOR = {Degano, P. and Nicola, R. de and Montanari, U.},
TITLE = {A partial ordering semantics for CCS},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {223-262},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Katz-Peled/90,
AUTHOR = {Katz, Shmuel and Peled, Doron},
TITLE = {Interleaving set temporal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {263-287},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Droste-Gobel/90a,
AUTHOR = {Droste, Manfred and G{\"o}bel, R{\"u}diger},
TITLE = {Non-deterministic information systems and their domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {289-309},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Blass-Fraenkel/90,
AUTHOR = {Blass, Uri and Fraenkel, Aviezri S.},
TITLE = {The Sprague-Grundy function for Wythoff's game},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {311-333},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Allender-Wilson/90a,
AUTHOR = {Allender, Eric and Wilson, Christopher},
TITLE = {Downward translations of equality},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {335-346},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Du-Leung-Young/90,
AUTHOR = {Du, Jianzhong and Leung, Joseph Y.-T. and Young, Gilbert H.},
TITLE = {Minimizing mean flow time with release time constraint},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {347-355},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lengauer-Wagner/90,
AUTHOR = {Lengauer, Thomas and Wagner, Klaus W.},
TITLE = {The binary network flow problem is logspace complete for $\P$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {75},
PAGES = {357-363},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}