@article{Bunder/96,
AUTHOR = {Bunder, M.W.},
TITLE = {Lambda terms definable as combinators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {1},
PAGES = {3-21},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Eades-Whitesides/96a,
AUTHOR = {Eades, Peter and Whitesides, Sue},
TITLE = {The logic engine and the realization problem for nearest neighbor graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {1},
PAGES = {23-37},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Farrell-Kieronska/96,
AUTHOR = {Farrell, C.A. and Kieronska, D.H.},
TITLE = {Formal specification of parallel SIMD execution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {1},
PAGES = {39-65},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gibbons/96a,
AUTHOR = {Gibbons, Jeremy},
TITLE = {Computing downwards accumulations on trees quickly},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {1},
PAGES = {67-80},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nickolas-Robinson/96,
AUTHOR = {Nickolas, Peter and Robinson, Peter J.},
TITLE = {The Qu-Prolog unification algorithm: Formalisation and correctness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {1},
PAGES = {81-112},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Yarroll/96,
AUTHOR = {Yarroll, La Monte H.},
TITLE = {See more through lenses than bananas},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {1},
PAGES = {113-121},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Muscholl/96,
AUTHOR = {Muscholl, Anca},
TITLE = {On the complementation of asynchronous cellular B{\"u}chi automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {2},
PAGES = {123-145},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Feige/96a,
AUTHOR = {Feige, Uriel},
TITLE = {A fast randomized LOGSPACE algorithm for graph connectivity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {2},
PAGES = {147-160},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Globerman-Harel/96,
AUTHOR = {Globerman, Noa and Harel, David},
TITLE = {Complexity results for two-way and multi-pebble automata and their logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {2},
PAGES = {161-184},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pin/96a,
AUTHOR = {Pin, Jean-Eric},
TITLE = {Polynomial closure of group languages and open sets of the Hall topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {2},
PAGES = {185-200},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Di_Cosmo-Kesner/96,
AUTHOR = {Di Cosmo, Roberto and Kesner, Delia},
TITLE = {Combining algebraic rewriting, extensional lambda calculi, and fixpoints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {169},
NUMBER = {2},
PAGES = {201-220},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}