@article{Bloom-Esik/96,
AUTHOR = {Bloom, Stephen L. and {\'{E}}sik, Zolt{\'{a}}n},
TITLE = {Fixed-point operations on ccc's. Part I},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {1-8},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sangiorgi/96b,
AUTHOR = {Sangiorgi, Davide},
TITLE = {Locality and interleaving semantics in calculi for mobile processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {39-83},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kamareddine-Nederpelt/96,
AUTHOR = {Kamareddine, Fairouz and Nederpelt, Rob},
TITLE = {A useful $\lambda$-notation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {85-109},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Immerman-Patnaik-Stemple/96,
AUTHOR = {Immerman, Neil and Patnaik, Sushant and Stemple, David},
TITLE = {The expressiveness of a family of finite set languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {111-140},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fourneau-Gelenbe-Suros/96,
AUTHOR = {Fourneau, Jean-Michel and Gelenbe, Erol and Suros, Rina},
TITLE = {G-networks with multiple classes of negative and positive customers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {141-156},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kagan-Nerode-Subrahmanian/96,
AUTHOR = {Kagan, Vadim and Nerode, Anil and Subrahmanian, V.S.},
TITLE = {Computing minimal models by partial instantiation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {157-177},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nielson-Nielson/96,
AUTHOR = {Nielson, Flemming and Nielson, Hanne Riis},
TITLE = {From CML to its process algebra},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {179-219},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Zhang/96e,
AUTHOR = {Zhang, Guo-Qiang},
TITLE = {Quasi-prime algebraic domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {221-264},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bunder-Hindley/96,
AUTHOR = {Bunder, M.W. and Hindley, J.R.},
TITLE = {Two beta-equal lambda-I-terms with no types in common},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {265-266},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Drakengren/96,
AUTHOR = {Drakengren, Thomas},
TITLE = {Uniqueness of Scott's reflexive domain in $P\omega$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {267-276},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Zhang/96f,
AUTHOR = {Zhang, Wenhui},
TITLE = {Number of models and satisfiability of sets of clauses},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {1},
PAGES = {277-288},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kucherov-Lescanne-Mosses/96,
AUTHOR = {Kucherov, Gregory and Lescanne, Pierre and Mosses, Peter},
TITLE = {Valentin Antimirov (1961-1995) (obituary)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {2},
PAGES = {289-290},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Antimirov/96,
AUTHOR = {Antimirov, Valentin},
TITLE = {Partial derivatives of regular expressions and finite automaton constructions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {2},
PAGES = {291-319},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Barucci-Del_Lungo-Nivat-Pinzani/96,
AUTHOR = {Barucci, Elena and Del Lungo, Alberto and Nivat, Maurice and Pinzani, Renzo},
TITLE = {Reconstructing convex polyominoes from horizontal and vertical projections},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {2},
PAGES = {321-347},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Keller/96,
AUTHOR = {Keller, J{\"o}rg},
TITLE = {Fast rehashing in PRAM emulations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {2},
PAGES = {349-363},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lange-Zeugmann-Kapur/96,
AUTHOR = {Lange, Steffen and Zeugmann, Thomas and Kapur, Shyam},
TITLE = {Monotonic and dual monotonic language learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {2},
PAGES = {365-410},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Iwama-Iwamoto-Morshed/96,
AUTHOR = {Iwama, Kazuo and Iwamoto, Chuzo and Morshed, Manzur},
TITLE = {Time lower bounds do not exist for CRCW PRAMs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {2},
PAGES = {411-424},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ehrenfeucht-Pas-Rozenberg/96,
AUTHOR = {Ehrenfeucht, Andrzej and Pas, Paulien ten and Rozenberg, Grzegorz},
TITLE = {A note on binary grammatical codes of trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {2},
PAGES = {425-438},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Berstel-Pin/96,
AUTHOR = {Berstel, Jean and Pin, Jean-Eric},
TITLE = {Local languages and the Berry-Sethi algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {2},
PAGES = {439-446},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hemaspaandra-Hoene-Ogihara/96,
AUTHOR = {Hemaspaandra, Lane A. and Hoene, Albrecht and Ogihara, Mitsunori},
TITLE = {Reducibility classes of $P$-selective sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {155},
NUMBER = {2},
PAGES = {447-457},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}