@article{Hindley/83a,
AUTHOR = {Hindley, R.},
TITLE = {The completeness theorem for typing $\lambda$-terms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {1-17},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sato/83,
AUTHOR = {Sato, M.},
TITLE = {Theory of symbolic expressions, I},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {19-55},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Pittl-Yehudai/83,
AUTHOR = {Pittl, J. and Yehudai, A.},
TITLE = {Constructing a realtime deterministic pushdown automaton from a grammar},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {57-69},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gacs/83a,
AUTHOR = {G{\'a}cs, P.},
TITLE = {On the relation between descriptional complexity and algorithmic probability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {71-93},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kuich-Urbanek/83,
AUTHOR = {Kuich, W. and Urbanek, F.J.},
TITLE = {Infinite linear systems and one counter languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {95-126},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hindley/83,
AUTHOR = {Hindley, R.},
TITLE = {Curry's type-rules are complete with respect to the F-semantics too},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {127-133},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Boudol-Kott/83,
AUTHOR = {Boudol, G. and Kott, L.},
TITLE = {Recursion induction principle revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {135-173},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ito-Taniguchi-Kasami/83,
AUTHOR = {Ito, M. and Taniguchi, K. and Kasami, T.},
TITLE = {Membership problem for embedded multivalued dependencies under some restricted conditions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {175-194},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wasilkowski/83,
AUTHOR = {Wasilkowski, G.W.},
TITLE = {Any iteration for polynomial equations using linear information has infinite complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {195-208},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lee-Liu-Wong/83,
AUTHOR = {Lee, D.T. and Liu, C.L. and Wong, C.K.},
TITLE = {$(g_0, g_1,\ldots, g_k)$-trees and unary OL systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {209-217},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
NOTE = {see Corrigendum in Theor.~Comput.~Sci.\ 23, 347},
}
@article{Steinby/83,
AUTHOR = {Steinby, M.},
TITLE = {Systolic trees and systolic language recognition by tree automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {1,2},
PAGES = {219-232},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Lev-Valiant/83,
AUTHOR = {Lev, G. and Valiant, L.G.},
TITLE = {Size bounds for superconcentrators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {3},
PAGES = {233-251},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Takahashi/83,
AUTHOR = {Takahashi, M.},
TITLE = {Nest sets and relativized closure properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {3},
PAGES = {253-264},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bergstra-Tucker/83,
AUTHOR = {Bergstra, J.A. and Tucker, J.V.},
TITLE = {Hoare's logic and Peano's arithmetic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {3},
PAGES = {265-284},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lempel-Seroussi-Winograd/83,
AUTHOR = {Lempel, A. and Seroussi, G. and Winograd, S.},
TITLE = {On the complexity of multiplication in finite fields},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {3},
PAGES = {285-296},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Apostolico-Preparata/83,
AUTHOR = {Apostolico, A. and Preparata, F.P.},
TITLE = {Optimal off-line detection of repetitions in a string},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {3},
PAGES = {297-315},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Baur-Strassen/83,
AUTHOR = {Baur, W. and Strassen, V.},
TITLE = {The complexity of partial derivatives},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {3},
PAGES = {317-330},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Maurer-Salomaa-Wood/83,
AUTHOR = {Maurer, H.A. and Salomaa, A. and Wood, D.},
TITLE = {L codes and number systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {22},
NUMBER = {3},
PAGES = {331-346},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}