@article{Girard-Scedrov-Scott/92,
AUTHOR = {Girard, Jean-Yves and Scedrov, Andre and Scott, Philip J.},
TITLE = {Bounded linear logic: A modular approach to polynomial-time computability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {1-66},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{German/92,
AUTHOR = {German, Steven M.},
TITLE = {Semantics and reasoning with free procedures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {67-81},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Perraud-Roux-Huou/92,
AUTHOR = {Perraud, Jean and Roux, Olivier and Huou, Marc},
TITLE = {Operational semantics of a kernel of the language {ELECTRE}},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {83-103},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Monfroglio/92,
AUTHOR = {Monfroglio, Angelo},
TITLE = {Integer programs for logic constraint satisfaction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {105-130},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Darondeau-Nolte-Priese-Yoccoz/92,
AUTHOR = {Darondeau, Philippe and Nolte, Doris and Priese, Lutz and Yoccoz, Serge},
TITLE = {Fairness, distances and degrees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {131-142},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Baratella/92,
AUTHOR = {Baratella, Stefano},
TITLE = {A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {143-156},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Weibel/92,
AUTHOR = {Weibel, Trudy},
TITLE = {Extension of combinatory logic to a theory of combinatory representation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {157-173},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Doets/92,
AUTHOR = {Doets, Kees},
TITLE = {A slight strengthening of a theorem of Blair and Kunen},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {175-181},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Krentel/92,
AUTHOR = {Krentel, Mark W.},
TITLE = {Generalizations of Opt P to the polynomial hierarchy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {183-198},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Watanabe-Tang/92,
AUTHOR = {Watanabe, Osamu and Tang, Shouwen},
TITLE = {On polynomial-time Turing and many-one completeness in PSPACE},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {199-215},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Yoo-Hashiguchi/92,
AUTHOR = {Yoo, Heekeun and Hashiguchi, Kosaburo},
TITLE = {Extended regular expressions of arbitrary star degrees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {217-231},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Muller-Saoudi-Schupp/92,
AUTHOR = {Muller, David E. and Saoudi, Ahmed and Schupp, Paul E.},
TITLE = {Alternating automata, the weak monadic theory of trees and its complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {233-244},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Karner/92,
AUTHOR = {Karner, Georg},
TITLE = {Nivat's theorem for pushdown transducers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {245-262},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Shore-Slaman/92,
AUTHOR = {Shore, Richard A. and Slaman, Theodore A.},
TITLE = {The p-T-degrees of the recursive sets: Lattice embeddings, extensions of embeddings and the two-quantifier theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {263-284},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hromkovic-Lozkin-Rybko-Sapozenko-Skalikova/92,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Lo{\v{z}}kin, Sergej A. and Rybko, Andrej I. and Sapo{\v{z}}enko, Alexander A. and {\v{S}}kalikova, Nade{\v{z}}da A.},
TITLE = {Lower bounds on the area complexity of Boolean circuits},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {285-300},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Guaiana-Restivo-Salemi/92,
AUTHOR = {Guaiana, Giovanna and Restivo, Antonio and Salemi, Sergio},
TITLE = {Star-free trace languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {97},
PAGES = {301-311},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}