@article{Stoltenberg-Hansen-Tucker/91,
AUTHOR = {Stoltenberg-Hansen, Viggo and Tucker, J.V.},
TITLE = {Algebraic and fixed point equations over inverse limits of algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {1-24},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Farmer/91,
AUTHOR = {Farmer, William M.},
TITLE = {Simple second-order languages for which unification is undecidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {25-41},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Heibig/91,
AUTHOR = {Heibig, A.G.},
TITLE = {Control machines: A new model of parallelism for compositional specifications and their effective compilation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {43-80},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Balsters-Fokkinga/91,
AUTHOR = {Balsters, Herman and Fokkinga, Maarten M.},
TITLE = {Subtyping can have a simple semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {81-96},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Fournier-Bochmann/91,
AUTHOR = {Fournier, Reine and Bochmann, Gregor von},
TITLE = {The equivalence in the DCP model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {97-114},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hallnas/91,
AUTHOR = {Halln{\"a}s, Lars},
TITLE = {Partial inductive definitions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {115-142},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Gardiner-Morgan/91,
AUTHOR = {Gardiner, Paul and Morgan, Carroll},
TITLE = {Data refinement of predicate transformers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {143-162},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Zierer/91,
AUTHOR = {Zierer, Hans},
TITLE = {Relation algebraic domain constructions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {163-188},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Wilm/91,
AUTHOR = {Wilm, Andreas},
TITLE = {Determinism and non-determinism in PDL},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {189-202},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mezghiche/91,
AUTHOR = {Mezghiche, M.},
TITLE = {Weak completeness of type assignment in $\lambda$-calculus models: A generalization of Hindley's result},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {203-208},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Milner-Tofte/91,
AUTHOR = {Milner, Robin and Tofte, Mads},
TITLE = {Co-induction in relational semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {209-220},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{McCune-Wos/91,
AUTHOR = {McCune, William and Wos, Larry},
TITLE = {The absence and the presence of fixed point combinators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {221-228},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{esik/91,
AUTHOR = {{\'e}sik, Zolt{\'a}n},
TITLE = {Results on homomorphic realization of automata by $\alpha_0$-products},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {229-249},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Diks-Rytter/91,
AUTHOR = {Diks, Krzysztof and Rytter, Wojciech},
TITLE = {On optimal parallel computations for sequences of brackets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {251-262},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Gyssens-Gucht/91,
AUTHOR = {Gyssens, Marc and Gucht, Dirk van},
TITLE = {A comparison between algebraic query languages for flat and nested databases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {263-286},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Csuhaj-Varju-Dassow/91,
AUTHOR = {Csuhaj-Varj{\'u}, Erzs{\'e}bet and Dassow, J{\"u}rgen},
TITLE = {On bounded interpretations of grammar forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {287-313},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{de_Luca-Varricchio/91a,
AUTHOR = {de Luca, Aldo and Varricchio, Stefano},
TITLE = {Finiteness and iteration conditions for semigroups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {315-327},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Nirmal-Rama/91,
AUTHOR = {Nirmal, Nalinakshi and Rama, R.},
TITLE = {Machine characterization of (EOL-EOL) array languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {329-346},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Calude/91,
AUTHOR = {Calude, Cristian},
TITLE = {Relativized topological size of sets of partial recursive functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {87},
PAGES = {347-352},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}