@article{Wang/91b,
AUTHOR = {Wang, Jie},
TITLE = {On p-creative sets and p-completely creative sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {1-31},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Devolder-Litovsky/91,
AUTHOR = {Devolder, J. and Litovsky, I.},
TITLE = {Finitely generated bi-$\omega$-languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {33-52},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Ibarra-Jiang-Wang/91,
AUTHOR = {Ibarra, Oscar H. and Jiang, Tao and Wang, Hui},
TITLE = {Parallel parsing on a one-way linear array of finite-state machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {53-74},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Lindell/91,
AUTHOR = {Lindell, Steven},
TITLE = {An analysis of fixed-point queries on binary trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {75-95},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Rodenburg/91,
AUTHOR = {Rodenburg, P.H.},
TITLE = {Algebraic specificability of data types with minimal computable parameters},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {97-116},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Szpankowski/91a,
AUTHOR = {Szpankowski, Wojciech},
TITLE = {A characterization of digital search trees from the successful search viewpoint},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {117-134},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Kutylowski/91,
AUTHOR = {Kuty{\l}owski, Miros{\l}aw},
TITLE = {Multihead one-way finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {135-153},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Wegener/91a,
AUTHOR = {Wegener, Ingo},
TITLE = {The complexity of the parity function in unbounded fan-in, unbounded depth circuits},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {155-170},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Cherubini-Citrini-Crespi_Reghizzi-Mandrioli/91,
AUTHOR = {Cherubini, Alessandra and Citrini, Claudio and Crespi Reghizzi, Stefano and Mandrioli, Dino},
TITLE = {QRT FIFO automata, breadth-first grammars and their relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {171-203},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Michel/91,
AUTHOR = {Michel, Pascal},
TITLE = {An NP-complete language accepted in linear time by a one-tape Turing machine},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {205-212},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Cialdea/91,
AUTHOR = {Cialdea, Marta},
TITLE = {Resolution for some first-order modal systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {213-229},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Doggaz-Kirchner/91,
AUTHOR = {Doggaz, Narjes and Kirchner, Claude},
TITLE = {Completion for unification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {231-251},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Sopena/91,
AUTHOR = {Sopena, Eric},
TITLE = {Hypermap rewriting: A combinatorial approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {253-281},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Tennent-Tobin/91,
AUTHOR = {Tennent, R.D. and Tobin, J.K.},
TITLE = {Continuations in possible-world semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {283-303},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Kamper/91,
AUTHOR = {K{\"a}mper, J{\"u}rgen},
TITLE = {Nonuniform proof systems: a new framework to describe nonuniform and probabilistic complexity classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {305-331},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Goto/91,
AUTHOR = {Goto, Shigeki},
TITLE = {Proof normalization with nonstandard objects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {333-351},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bethke/91,
AUTHOR = {Bethke, Inge},
TITLE = {Coherence spaces are untopological},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {85},
PAGES = {353-357},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}