@article{Yamasaki-Takahashi/84,
AUTHOR = {Yamasaki, H. and Takahashi, M.},
TITLE = {Generalized parenthesis languages and minimization of their parenthesis parts},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {1-11},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Soundararajan/84,
AUTHOR = {Soundararajan, N.},
TITLE = {A proof technique for parallel programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {13-29},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bruce-Longo/84,
AUTHOR = {Bruce, K. and Longo, G.},
TITLE = {On combinatory algebras and their expansions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {31-40},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Schoning/84,
AUTHOR = {Sch{\"o}ning, U.},
TITLE = {Minimal pairs for P},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {41-48},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Mahr-Makowsky/84,
AUTHOR = {Mahr, B. and Makowsky, J.A.},
TITLE = {Characterizing specification languages which admit initial semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {49-59},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Honkala/84,
AUTHOR = {Honkala, J.},
TITLE = {Bases and ambiguity of number systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {61-71},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Frutos_Escrig/84,
AUTHOR = {Frutos Escrig, D.},
TITLE = {A characterization of Plotkin's order in powerdomains, and some of its properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {73-82},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{de_Simone/84,
AUTHOR = {de Simone, R.},
TITLE = {Langages infinitaires et produit de mixage},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {83-100},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ko/84,
AUTHOR = {Ko, K.},
TITLE = {Reducibilities on real numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {101-123},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Plaisted/84b,
AUTHOR = {Plaisted, D.A.},
TITLE = {New $NP$-hard and $NP$-complete polynomial and integer divisibilty problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {125-138},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Head/84a,
AUTHOR = {Head, T.},
TITLE = {Adherences of DOL languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {139-149},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Mezghiche/84,
AUTHOR = {Mezghiche, M.},
TITLE = {Une nouvelle $C\beta$-r{\'e}duction dans la logique combinatoire},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {151-163},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Narendran-McNaughton/84,
AUTHOR = {Narendran, P. and McNaughton, R.},
TITLE = {The undecidability of the preperfectness of Thue systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {165-174},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Goguen-Burstall/84a,
AUTHOR = {Goguen, J.A. and Burstall, R.M.},
TITLE = {Some fundamental algebraic tools for the semantics of computation. Part 1: Comma categories, colimits, signatures and theories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {175-209},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrenfeucht-Main-Rozenberg/84,
AUTHOR = {Ehrenfeucht, A. and Main, M.G. and Rozenberg, G.},
TITLE = {Restrictions on NLC graph grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {1,2},
PAGES = {211-223},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Uchimura/84,
AUTHOR = {Uchimura, K.},
TITLE = {Truncations of infinite matrices and algebraic series associated with some CF grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {3},
PAGES = {227-261},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Goguen-Burstall/84,
AUTHOR = {Goguen, J.A. and Burstall, R.M.},
TITLE = {Some fundamental algebraic tools for the semantics of computation. Part 2: Signed and abstract theories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {3},
PAGES = {263-295},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Alaiwan/84,
AUTHOR = {Alaiwan, H.},
TITLE = {Equivalence of infinite behavior of finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {3},
PAGES = {297-306},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Yamasaki/84,
AUTHOR = {Yamasaki, H.},
TITLE = {Normal Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {3},
PAGES = {307-315},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Oyamaguchi/84a,
AUTHOR = {Oyamaguchi, M.},
TITLE = {Some results on subclass containment problems for special classes of dpda's related to nonsingular machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {3},
PAGES = {317-335},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Autebert-Beauquier-Boasson-Senizergues/84,
AUTHOR = {Autebert, J.-M. and Beauquier, J. and Boasson, L. and S{\'e}nizergues, G.},
TITLE = {Remarques sur les langages de parenthses},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {31},
NUMBER = {3},
PAGES = {337-349},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}