@article{Nehlig/96,
AUTHOR = {Nehlig, Philippe},
TITLE = {Applications quasi affines: Pavages par images r{\'e}ciproques},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {1-38},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kemp/96,
AUTHOR = {Kemp, Rainer},
TITLE = {Binary search trees constructed from nondistinct keys with/without specified probabilities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {39-70},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gyenizse-Vagvolgyi/96,
AUTHOR = {Gyenizse, P{\'{a}}l and V{\'{a}}gv{\"o}lgyi, S{\'{a}}ndor},
TITLE = {Compositions of deterministic bottom-up, top-down, and regular look-ahead tree transformations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {71-97},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Krause/96,
AUTHOR = {Krause, Matthias},
TITLE = {Geometric arguments yield better bounds for threshold circuits and distributed computing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {99-117},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bedon/96,
AUTHOR = {Bedon, Nicolas},
TITLE = {Finite automata and ordinals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {119-144},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Louscou-Bozapalidou/96,
AUTHOR = {Louscou-Bozapalidou, Olympia},
TITLE = {Stochastically costed tree automata: Turakainen's theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {145-158},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Francon/96,
AUTHOR = {Fran{\c{c}}on, Jean},
TITLE = {Sur la topologie d'un plan arithm{\'e}tique},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {159-176},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Schwartzbach/96,
AUTHOR = {Schwartzbach, Michael I.},
TITLE = {Static correctness of hierarchical procedures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {177-201},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Forti-Honsell/96,
AUTHOR = {Forti, Marco and Honsell, Furio},
TITLE = {A general construction of hyperuniverses},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {203-215},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Takahashi/96,
AUTHOR = {Takahashi, Yoshikane},
TITLE = {A unified constructive network model for problem-solving},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {217-261},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kim/96c,
AUTHOR = {Kim, Yonghoan},
TITLE = {New values in domineering},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {263-280},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Terrier/96,
AUTHOR = {Terrier, V{\'{e}}ronique},
TITLE = {Language not recognizable in real time by one-way cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {281-287},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arnold-Castellani/96,
AUTHOR = {Arnold, Andr{\'{e}} and Castellani, Ilaria},
TITLE = {An algebraic characterization of observational equivalence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {289-299},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Manzini/96,
AUTHOR = {Manzini, Giovanni},
TITLE = {On the ordering of sparse linear systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {301-313},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{De_Prisco-De_Santis/96,
AUTHOR = {De Prisco, Roberto and De Santis, Alfredo},
TITLE = {New lower bounds on the cost of binary search trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {156},
NUMBER = {1-2},
PAGES = {315-325},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}