@article{Bosco-Giovannetti-Moiso/88,
AUTHOR = {Bosco, Pier Giorgio and Giovannetti, Elio and Moiso, Corrado},
TITLE = {Narrowing vs.\ SLD-resolution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {3-23},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Boudol-Castellani/88,
AUTHOR = {Boudol, G. and Castellani, I.},
TITLE = {Concurrency and atomicity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {25-84},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Breazu-Tannen-Coquand/88,
AUTHOR = {Breazu-Tannen, Val and Coquand, Thierry},
TITLE = {Extensional models for polymorphism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {85-114},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Browne-Clarke-Grumberg/88,
AUTHOR = {Browne, M.C. and Clarke, E.M. and Gr{\"u}mberg, O.},
TITLE = {Characterizing finite Kripke structures in propositional temporal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {115-131},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Drabent-Maluszynski/88,
AUTHOR = {Drabent, Wlodzimierz and Maluszy{\'n}ski, Jan},
TITLE = {Inductive assertion method for logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {133-155},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lafont/88,
AUTHOR = {Lafont, Y.},
TITLE = {The linear abstract machine},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {157-180},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
NOTE = {see Corrigendum in Theor.~Comput.~Sci.~62, 327-328},
}
@article{Ronchi_della_Rocca/88,
AUTHOR = {Ronchi della Rocca, Simona},
TITLE = {Principal type scheme and unification for intersection type discipline},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {181-209},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hesselink/88a,
AUTHOR = {Hesselink, Wim H.},
TITLE = {Interpretations of recursion under unbounded nondeterminacy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {211-234},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hesselink/88b,
AUTHOR = {Hesselink, Wim H.},
TITLE = {Deadlock and fairness in morphisms of transition systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {235-257},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hodel-Loui/88,
AUTHOR = {Hodel, A. Scottedward and Loui, Michael C.},
TITLE = {Optimal dynamic embedding of X-trees into arrays},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {259-276},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kalorkoti/88,
AUTHOR = {Kalorkoti, K.},
TITLE = {The trace invariant and matrix inversion},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {277-286},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Schmidt-Schauss/88,
AUTHOR = {Schmidt-Schauss, Manfred},
TITLE = {Implication of clauses is undecidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {287-296},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rytter/88a,
AUTHOR = {Rytter, Wojciech},
TITLE = {On efficient parallel computations for some dynamic programming problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {297-307},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Engelfriet-Leih/88,
AUTHOR = {Engelfriet, Joost and Leih, George},
TITLE = {Nonterminal bounded NLC graph grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {309-315},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Stoughton/88,
AUTHOR = {Stoughton, Allen},
TITLE = {Substitution revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {59},
PAGES = {317-325},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}