@article{Pair/82,
AUTHOR = {Pair, C.},
TITLE = {Abstract data types and algebraic semantics of programming languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {1-31},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ershov/82,
AUTHOR = {Ershov, A.P.},
TITLE = {Mixed computation: Potential applications and problems for study},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {41-67},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hagauer/82,
AUTHOR = {Hagauer, J.},
TITLE = {On form-equivalence of deterministic pure grammar forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {69-87},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Schnitger/82,
AUTHOR = {Schnitger, G.},
TITLE = {A family of graphs with expensive depth-reduction (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {89-93},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Schoning/82,
AUTHOR = {Sch{\"o}ning, Uwe},
TITLE = {A uniform approach to obtain diagonal sets in complexity classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {95-103},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Furer/82a,
AUTHOR = {F{\"u}rer, Martin},
TITLE = {The complexity of Presburger arithmetic with bounded quantifier alternation depth},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {105-111},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Berstel-Reutenauer/82,
AUTHOR = {Berstel, J. and Reutenauer, C.},
TITLE = {Recognizable formal power series on trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {115-148},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Best/82,
AUTHOR = {Best, E.},
TITLE = {Adequacy properties of path programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {149-171},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Boussinot/82,
AUTHOR = {Boussinot, F.},
TITLE = {Proposition de s{\'e}mantique d{\'e}notationnelle pour des r{\'e}seaux de processus avec op{\'e}rateur de m{\'e}lange {\'e}quitable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {173-206},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Uchimura/82,
AUTHOR = {Uchimura, K.},
TITLE = {Properties of structure generating functions of automata and their applications for linear systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {207-220},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Chrochemore/82,
AUTHOR = {Chrochemore, M.},
TITLE = {Sharp characterizations of squarefree morphisms (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {221-226},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sifakis/82,
AUTHOR = {Sifakis, Joseph},
TITLE = {A unified approach for studying the properties of transition systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {227-258},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Leivant/82,
AUTHOR = {Leivant, Daniel},
TITLE = {Unprovability of theorems of complexity theory in weak number theories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {259-268},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Maruoka-Kimura/82,
AUTHOR = {Maruoka, A. and Kimura, M.},
TITLE = {Strong surjectivity is equivalent to $C$-injectivity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {269-277},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Culik-Harju/82,
AUTHOR = {Culik II, K. and Harju, T.},
TITLE = {Dominoes over a free monoid},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {279-300},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Meyer-Winklmann/82,
AUTHOR = {Meyer, A.R. and Winklmann, K.},
TITLE = {Expressing program looping in regular dynamic logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {301-323},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Book/82a,
AUTHOR = {Book, R.V.},
TITLE = {When is a monoid a group? The Curch-Rosser case is tractable (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {325-331},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Istrail/82a,
AUTHOR = {Istrail, S.},
TITLE = {Generalization of the Ginsburg-Rice Sch{\"u}tzenberger fixed-point theorem for context-sensitive and recursive-enumerable languages (Note)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {18},
PAGES = {333-341},
YEAR = {1982},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}