@article{Wu-Smolka-Stark/97,
AUTHOR = {Wu, Sue-Hwey and Smolka, Scott A. and Stark, Eugene W.},
TITLE = {Composition and behaviors of probabilistic I/O automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {1-38},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Chiola-Dutheillet-Franceschinis-Haddad/97,
AUTHOR = {Chiola, G. and Dutheillet, C. and Franceschinis, G. and Haddad, S.},
TITLE = {A symbolic reachability graph for coloured Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {39-65},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Comon-Treinen/97,
AUTHOR = {Comon, Hubert and Treinen, Ralf},
TITLE = {The first-order theory of lexicographic path orderings is undecidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {67-87},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hoover/97,
AUTHOR = {Hoover, D.N.},
TITLE = {Limiting semantics of numerical programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {89-110},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hermann-Galbavy/97,
AUTHOR = {Hermann, Miki and Galbav{\'y}, Roman},
TITLE = {Unification of infinite sets of terms schematized by primal grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {111-158},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Martini-Masini/97,
AUTHOR = {Martini, Simone and Masini, Andrea},
TITLE = {Experiments in linear natural deduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {159-173},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Matos/97,
AUTHOR = {Matos, Armando B.},
TITLE = {Monadic logic programs and funtional complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {175-204},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hartonas/97,
AUTHOR = {Hartonas, Chrysafis},
TITLE = {Semantics for finite delay},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {205-234},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Pierce-Steffen/97,
AUTHOR = {Pierce, Benjamin and Steffen, Martin},
TITLE = {Higher-order subtyping},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {235-282},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Suciu/97,
AUTHOR = {Suciu, Dan},
TITLE = {Bounded fixpoints for complex objects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {283-328},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Dybjer/97,
AUTHOR = {Dybjer, Peter},
TITLE = {Representing inductively defined sets by wellorderings in Martin-L{\"o}f's type theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {329-335},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Castagna/97,
AUTHOR = {Castagna, Giuseppe},
TITLE = {Unifying overloading and $\lambda$-abstraction: $\lambda^{\{\}}$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {337-345},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Massol/97,
AUTHOR = {Massol, A.},
TITLE = {Minimality of the system of seven equations for the category of finite sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {347-353},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}