@article{Hunt-Rosenkrantz/83,
AUTHOR = {Hunt III, H.B. and Rosenkrantz, D.J.},
TITLE = {The complexity of monadic recursion schemes: Executability problems, nesting depth and applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {3-38},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kamimura-Tang/83,
AUTHOR = {Kamimura, T. and Tang, A.},
TITLE = {Algebraic relations and presentations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {39-60},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Inoue-Takanami-Taniguchi/83,
AUTHOR = {Inoue, K. and Takanami, I. and Taniguchi, H.},
TITLE = {Two-dimensional alternating Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {61-83},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rozenberg-Verraedt/83a,
AUTHOR = {Rozenberg, G. and Verraedt, R.},
TITLE = {Subset languages of Petri nets Part II: Closure properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {85-108},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Smyth/83,
AUTHOR = {Smyth, M.B.},
TITLE = {The largest cartesian closed category of domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {109-119},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Duris-Hromkovic/83,
AUTHOR = {D{\'u}ri{\v{s}}, P. and Hromkovi{\v{c}}, J.},
TITLE = {One-way simple multihead finite automata are not closed under concatenation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {121-125},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Halpern-Reif/83,
AUTHOR = {Halpern, J.Y. and Reif, J.H.},
TITLE = {The propositional dynamic logic of deterministic, well-structured programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {127-165},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrich-Lipeck/83,
AUTHOR = {Ehrich, H.-D. and Lipeck, U.},
TITLE = {Algebraic domain equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {167-196},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Stolboushkin-Taitslin/83a,
AUTHOR = {Stolboushkin, A.P. and Taitslin, M.A.},
TITLE = {The comparison of the expressive power of first-order dynamic logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {197-209},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bozapalidis-Louscou-Bozapalidou/83,
AUTHOR = {Bozapalidis, S. and Louscou-Bozapalidou, O.},
TITLE = {The rank of a formal tree power series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {211-215},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Maruoka/83,
AUTHOR = {Maruoka, A.},
TITLE = {Open maps for tessellation automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {217-224},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Adamek-Nelson/83,
AUTHOR = {Ad{\'a}mek, J. and Nelson, E.},
TITLE = {Separately continuous algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {1,2},
PAGES = {225-231},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Dobkin-Kirkpatrick/83,
AUTHOR = {Dobkin, D.P. and Kirkpatrick, D.G.},
TITLE = {Fast detection of polyhedral intersection},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {3},
PAGES = {241-253},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrig-Kreowsky/83,
AUTHOR = {Ehrig, H. and Kreowsky, H.-J.},
TITLE = {Compatibility of parameter passing and implementation of parameterized data types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {3},
PAGES = {255-286},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Blum/83b,
AUTHOR = {Blum, N.},
TITLE = {More on the power of chain rules in context-free grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {3},
PAGES = {287-295},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Tennent/83,
AUTHOR = {Tennent, R.D.},
TITLE = {Semantics of interference control},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {3},
PAGES = {297-310},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrenfeucht-Haussler-Rozenberg/83,
AUTHOR = {Ehrenfeucht, A. and Haussler, D. and Rozenberg, G.},
TITLE = {On regularity of context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {3},
PAGES = {311-332},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kozen/83,
AUTHOR = {Kozen, D.},
TITLE = {Results on the propositional $\mu$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {27},
NUMBER = {3},
PAGES = {333-354},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kinber/83,
AUTHOR = {Kinber, E.B.},
TITLE = {The inclusion problem for some classes of deterministic multitape automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {1-24},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sudborough/83,
AUTHOR = {Sudborough, I.H.},
TITLE = {Bandwidth constraints on problems complete for polynomial time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {25-52},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{de_Bakker-Meyer-Zucker/83,
AUTHOR = {de Bakker, J.W. and Meyer, J.-J.Ch. and Zucker, J.I.},
TITLE = {On infinite computations in denotational semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {53-82},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
NOTE = {see Corrigendum in Theor.~Comput.~Sci.\ 29, 229-230},
}
@article{Istrail-Masalagiu/83,
AUTHOR = {Istrail, S. and Masalagiu, C.},
TITLE = {Nivat's processing systems: Decision problems related to protection and synchronization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {83-102},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hehner-Hoare/83,
AUTHOR = {Hehner, E.C.R. and Hoare, C.A.R.},
TITLE = {A more complete model of communicating processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {105-120},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Emerson/83,
AUTHOR = {Emerson, E.A.},
TITLE = {Alternative semantics for temporal logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {121-130},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Weihrauch-Schafer/83,
AUTHOR = {Weihrauch, K. and Sch{\'a}fer, G.},
TITLE = {Admissible representations of effective cpo's},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {131-147},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ginsburg-Hull/83a,
AUTHOR = {Ginsburg, S. and Hull, R.},
TITLE = {Order dependency in the relational model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {149-195},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ibarra-Rosier/83,
AUTHOR = {Ibarra, O.H. and Rosier, L.E.},
TITLE = {Simple programming languages and restricted classes of Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {197-220},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Arnold/83,
AUTHOR = {Arnold, A.},
TITLE = {Rational $\omega$-languages are non-ambiguous},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {221-223},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Rajlich/83,
AUTHOR = {Rajlich, V.},
TITLE = {Determinism in parallel systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {225-231},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Bucher-Hagauer/83,
AUTHOR = {Bucher, W. and Hagauer, J.},
TITLE = {It is decidable whether a regular language is pure context-free},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {1,2},
PAGES = {233-241},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ginsburg-Hull/83,
AUTHOR = {Ginsburg, S. and Hull, R.},
TITLE = {Characterizations for functional dependency and Boyce-Codd normal form families},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {3},
PAGES = {243-286},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Yap/83a,
AUTHOR = {Yap, C.K.},
TITLE = {Some consequences of non-uniform conditions on uniform classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {3},
PAGES = {287-300},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rozenberg-Verraedt/83,
AUTHOR = {Rozenberg, G. and Verraedt, R.},
TITLE = {Subset languages of Petri nets. Part I: The relationship to string languages and normal forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {3},
PAGES = {301-326},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Zak/83,
AUTHOR = {Z{\'a}k, S.},
TITLE = {A Turing machine time hierarchy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {3},
PAGES = {327-333},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Hartmanis/83d,
AUTHOR = {Hartmanis, J.},
TITLE = {On G{\"o}del speed-up and succinctness of language representations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {3},
PAGES = {335-342},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Staples-Nguyen/83,
AUTHOR = {Staples, J. and Nguyen, V.L.},
TITLE = {Computing the behaviour of asynchronous processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {26},
NUMBER = {3},
PAGES = {343-353},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Kfoury/83,
AUTHOR = {Kfoury, A.J.},
TITLE = {Definability by programs in first-order structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {25},
NUMBER = {1},
PAGES = {1-66},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Nelson/83,
AUTHOR = {Nelson, E.},
TITLE = {Iterative algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {25},
NUMBER = {1},
PAGES = {67-94},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Courcelle/83a,
AUTHOR = {Courcelle, B.},
TITLE = {Fundamental properties of infinite trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {25},
NUMBER = {2},
PAGES = {95-169},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{ODunlaing/83a,
AUTHOR = {O'D{\'u}nlaing, C.},
TITLE = {Infinite regular Thue systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {25},
NUMBER = {2},
PAGES = {171-192},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Case-Smith/83,
AUTHOR = {Case, J. and Smith, C.},
TITLE = {Comparison of identification criteria for machine inductive inference},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {25},
NUMBER = {2},
PAGES = {193-220},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Priese/83,
AUTHOR = {Priese, L.},
TITLE = {Automata and concurrency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {25},
NUMBER = {3},
PAGES = {221-265},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Milner/83,
AUTHOR = {Milner, R.},
TITLE = {Calculi for synchrony and asynchrony},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {25},
NUMBER = {3},
PAGES = {267-310},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Valk/83,
AUTHOR = {Valk, R.},
TITLE = {Infinite behaviour of Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {25},
NUMBER = {3},
PAGES = {311-341},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wedde/83,
AUTHOR = {Wedde, H.},
TITLE = {An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {1},
PAGES = {1-20},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{de_Luca-Restivo-Salemi/83,
AUTHOR = {de Luca, A. and Restivo, A. and Salemi, S.},
TITLE = {On the centers of a language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {1},
PAGES = {21-34},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ibarra-Moran-Rosier/83,
AUTHOR = {Ibarra, O.H. and Moran, S. and Rosier, L.E.},
TITLE = {On the control power of integer division},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {1},
PAGES = {35-52},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Grefenstette/83a,
AUTHOR = {Grefenstette, J.J.},
TITLE = {Stability in L systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {1},
PAGES = {53-71},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
NOTE = {see Corrigendum in Theor.~Comput.~Sci.\ 28, 347},
}
@article{Schmidt/83,
AUTHOR = {Schmidt, D.A.},
TITLE = {Approximation properties of abstract data types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {1},
PAGES = {73-94},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Daley/83,
AUTHOR = {Daley, R.P.},
TITLE = {On the error correcting power of pluralism in BC-type inductive inference},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {1},
PAGES = {95-104},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Watanabe/83,
AUTHOR = {Watanabe, O.},
TITLE = {The time-precision tradeoff problem on on-line probabilistic Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {1},
PAGES = {105-117},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Chazelle-Monier/83,
AUTHOR = {Chazelle, B. and Monier, L.},
TITLE = {Unbounded hardware is equivalent to deterministic Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {2},
PAGES = {123-130},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Soundararajan/83,
AUTHOR = {Soundararajan, N.},
TITLE = {Correctness proofs of CSP programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {2},
PAGES = {131-141},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Nambiar-Radhakrishnan-Tikekar/83,
AUTHOR = {Nambiar, K.K. and Radhakrishnan, T. and Tikekar, V.G.},
TITLE = {Representation of functional dependencies in relational databases using linear graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {2},
PAGES = {143-159},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Nakamura-Aizawa/83,
AUTHOR = {Nakamura, A. and Aizawa, K.},
TITLE = {On a relationship between graph L-systems and picture languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {2},
PAGES = {161-177},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Toda-Inoue-Takanami/83,
AUTHOR = {Toda, M. and Inoue, K. and Takanami, I.},
TITLE = {Two-dimensional pattern matching by two-dimensional on-line tessellation acceptors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {2},
PAGES = {179-194},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Siromoney-Dare-Subramanian/83,
AUTHOR = {Siromoney, R. and Dare, V.R. and Subramanian, K.G.},
TITLE = {Infinite arrays and infinite computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {2},
PAGES = {195-205},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bagchi-Mahanti/83,
AUTHOR = {Bagchi, A. and Mahanti, A.},
TITLE = {Admissible heuristic search in AND/OR graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {2},
PAGES = {207-219},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Storer/83a,
AUTHOR = {Storer, J.A.},
TITLE = {Toward an abstract theory of data compression},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {3},
PAGES = {221-237},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Heintz/83,
AUTHOR = {Heintz, J.},
TITLE = {Definability and fast quantifier elimination in algebraically closed fields},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {3},
PAGES = {239-277},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
NOTE = {see Corrigendum in Theor.~Comput.~Sci.\ 39, 343},
}
@article{Homer-Maass/83,
AUTHOR = {Homer, S. and Maass, W.},
TITLE = {Oracle-dependent properties of the lattice of NP sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {3},
PAGES = {279-289},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Vazirani-Vazirani/83,
AUTHOR = {Vazirani, Umesh V. and Vazirani, Vijay V.},
TITLE = {A natural encoding scheme proved probabilistic polynomial complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {3},
PAGES = {291-300},
YEAR = {1983},
KEYWORDS = {probabilistic polynomial complete, unfaithful random complete, encoding schemes, randomness},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Book/83,
AUTHOR = {Book, R.V.},
TITLE = {Decidable sentences of Church-Rosser congruences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {3},
PAGES = {301-312},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ibarra/83,
AUTHOR = {Ibarra, O.H.},
TITLE = {On some decision questions concerning pushdown machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {3},
PAGES = {313-322},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Fischer-Jou-Tsou/83,
AUTHOR = {Fischer, P.C. and Jou, J.H. and Tsou, D.-M.},
TITLE = {Succinctness in dependency systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {3},
PAGES = {323-329},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Inoue-Takanami-Taniguchi/83a,
AUTHOR = {Inoue, K. and Takanami, I. and Taniguchi, H.},
TITLE = {A relationship between two-dimensional finite automata and three-way tape-bounded two-dimensional alternating Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {3},
PAGES = {331-336},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Olderog/83a,
AUTHOR = {Olderog, E.-R.},
TITLE = {On the notion of expressiveness and the rule of adaption},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {24},
NUMBER = {3},
PAGES = {337-347},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Tang-Zhang/83,
AUTHOR = {Tang, C.-J. and Zhang, Y.-L.},
TITLE = {The limited regular languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {1},
PAGES = {1-10},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jankowski-Rauszer/83,
AUTHOR = {Jankowski, A. and Rauszer, C.},
TITLE = {Logical foundation approach to users' domain restriction in data bases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {1},
PAGES = {11-36},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Nakamura-Ono/83,
AUTHOR = {Nakamura, A. and Ono, H.},
TITLE = {Pictures of functions and their acceptability by automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {1},
PAGES = {37-48},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Heilbrunner/83a,
AUTHOR = {Heilbrunner, S.},
TITLE = {A metatheorem for undecidable properties of formal languages and its application to LRR and LLR grammars and languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {1},
PAGES = {49-68},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Brandenburg/83,
AUTHOR = {Brandenburg, F.-J.},
TITLE = {Uniformly growing k-th power-free homomorphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {1},
PAGES = {69-82},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Head-Thierrin-Wilkinson/83,
AUTHOR = {Head, T. and Thierrin, G. and Wilkinson, J.},
TITLE = {DOL schemes and the periodicity of string embeddings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {1},
PAGES = {83-89},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Nijholt/83,
AUTHOR = {Nijholt, A.},
TITLE = {On satisfying the LL-iteration theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {1},
PAGES = {91-94},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Chan-Ibarra/83a,
AUTHOR = {Chan, T.-H. and Ibarra, O.H.},
TITLE = {On the finite-valuedness problem for sequential machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {1},
PAGES = {95-101},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Ramanan/83,
AUTHOR = {Ramanan, P.V.},
TITLE = {A counterexample of Shyamasundar's characterization of pushdown permuters},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {1},
PAGES = {103-105},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Gelenbe/83,
AUTHOR = {Gelenbe, E.},
TITLE = {Stationary deterministic flows in discrete systems I},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {2},
PAGES = {107-127},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Tomita/83,
AUTHOR = {Tomita, E.},
TITLE = {A direct branching algorithm for checking equivalence of strict deterministic vs. $LL(k)$ grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {2},
PAGES = {129-154},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Eisman/83,
AUTHOR = {Eisman, G.S.},
TITLE = {On depth in EDTOL languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {2},
PAGES = {155-169},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lotti-Romani/83,
AUTHOR = {Lotti, G. and Romani, F.},
TITLE = {On the asymptotic complexity of rectangular matrix multiplication},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {2},
PAGES = {171-185},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Back/83,
AUTHOR = {Back, R.J.R.},
TITLE = {A continuous semantics for unbounded nondeterminism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {2},
PAGES = {187-210},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Finn-Leiberherr/83,
AUTHOR = {Finn, J. and Leiberherr, K.},
TITLE = {Primality testing and factoring},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {2},
PAGES = {211-215},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Takahashi-Yamasaki/83,
AUTHOR = {Takahashi, M. and Yamasaki, H.},
TITLE = {A note on $\omega$-regular languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {2},
PAGES = {217-225},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Culik-Gruska-Salomaa/83,
AUTHOR = {Culik II, K. and Gruska, J. and Salomaa, A.},
TITLE = {On a family of $L$ languages resulting from systolic tree automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {3},
PAGES = {231-242},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Etzion-Yoeli/83,
AUTHOR = {Etzion, T. and Yoeli, M.},
TITLE = {Super-Nets and their hierarchy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {3},
PAGES = {243-272},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Marchetti-Spaccamela-Protasi/83,
AUTHOR = {Marchetti-Spaccamela, A. and Protasi, M.},
TITLE = {The largest tree in a random graph},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {3},
PAGES = {273-286},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Freund/83a,
AUTHOR = {Freund, R.},
TITLE = {Real functions and numbers defined by Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {3},
PAGES = {287-304},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gordon-Shamir/83,
AUTHOR = {Gordon, D. and Shamir, E.},
TITLE = {Computation of recursive functionals using minimal initial segments},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {3},
PAGES = {305-315},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kamimura-Tang/83a,
AUTHOR = {Kamimura, T. and Tang, A.},
TITLE = {Kleene chain completeness and fixedpoint properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {3},
PAGES = {317-331},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Volger/83,
AUTHOR = {Volger, H.},
TITLE = {Turing machines with linear alternation, theories of bounded concatenation and the decision problem of first-order theories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {3},
PAGES = {333-337},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{ODunlaing/83,
AUTHOR = {O'D{\'u}nlaing, C.},
TITLE = {Undecidable questions related to Church-Rosser Thue systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {23},
NUMBER = {3},
PAGES = {339-345},
YEAR = {1983},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@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)},
}