@article{Nesetril/84,
AUTHOR = {Ne{\v{s}}et{\v{r}}il, J.},
TITLE = {Some nonstandard Ramsey like applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {1,2},
PAGES = {3-15},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hartmanis-Yesha/84,
AUTHOR = {Hartmanis, J. and Yesha, Y.},
TITLE = {Computation times of NP sets of different densities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {1,2},
PAGES = {17-32},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Winskel/84a,
AUTHOR = {Winskel, G.},
TITLE = {Synchronization trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {1,2},
PAGES = {33-82},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{de_Nicola-Hennessy/84,
AUTHOR = {de Nicola, R. and Hennessy, M.C.B.},
TITLE = {Testing equivalences for processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {1,2},
PAGES = {83-133},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{de_Bakker-Bergstra-Klop-Meyer/84,
AUTHOR = {de Bakker, J.W. and Bergstra, J.A. and Klop, J.W. and Meyer, J.-J.Ch.},
TITLE = {Linear time and branching time semantics for recursion with merge},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {1,2},
PAGES = {135-156},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Vitanyi/84c,
AUTHOR = {Vit{\'a}nyi, P.M.B.},
TITLE = {On the simulation of many storage heads by one},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {1,2},
PAGES = {157-168},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Delest-Viennot/84,
AUTHOR = {Delest, M.-P. and Viennot, G.},
TITLE = {Algebraic languages and polyominoes enumeration},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {1,2},
PAGES = {169-206},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lenstra/84,
AUTHOR = {Lenstra, A.K.},
TITLE = {Factoring multivariate integral polynomials},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {1,2},
PAGES = {207-213},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Cohen-Lehmann-Pnueli/84,
AUTHOR = {Cohen, S. and Lehmann, D. and Pnueli, A.},
TITLE = {Symmetric and economical solutions to the mutual exclusion problem in a distributed system},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {1,2},
PAGES = {215-225},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sato-Tamaki/84,
AUTHOR = {Sato, T. and Tamaki, H.},
TITLE = {Enumeration of success patterns in logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {1,2},
PAGES = {227-240},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Clerbout-Latteux/84,
AUTHOR = {Clerbout, M. and Latteux, M.},
TITLE = {Partial commutations and faithful rational transductions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {3},
PAGES = {241-254},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Itzhaik-Yehudai/84a,
AUTHOR = {Itzhaik, Y. and Yehudai, A.},
TITLE = {New families of non real time dpda's and their decidability results},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {3},
PAGES = {255-274},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kamimura-Tang/84,
AUTHOR = {Kamimura, T. and Tang, A.},
TITLE = {Total objects of domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {3},
PAGES = {275-288},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gogolla-Drosten-Lipeck-Ehrich/84,
AUTHOR = {Gogolla, M. and Drosten, K. and Lipeck, U. and Ehrich, H.-D.},
TITLE = {Algebraic and operational semantics of specifications allowing exceptions and errors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {3},
PAGES = {289-313},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ito-Iwasaki-Taniguchi-Kasami/84,
AUTHOR = {Ito, M. and Iwasaki, M. and Taniguchi, K. and Kasami, T.},
TITLE = {Membership problems for data dependencies in relational expressions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {3},
PAGES = {315-335},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Schoning/84a,
AUTHOR = {Sch{\"o}ning, U.},
TITLE = {On small generators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {3},
PAGES = {337-341},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Bancilhon-Richard/84,
AUTHOR = {Bancilhon, F. and Richard, Ph.},
TITLE = {A sound and complete axiomatization of embedded cross dependencies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {34},
NUMBER = {3},
PAGES = {343-350},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Siromoney-Subramanian-Dare/84,
AUTHOR = {Siromoney, R. and Subramanian, K.G. and Dare, V.R.},
TITLE = {Infinite arrays and controlled deterministic table OL array systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {3-11},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jantzen-Kudlek/84,
AUTHOR = {Jantzen, M. and Kudlek, M.},
TITLE = {Homomorphic images of sentential form languages defined by semi-Thue systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {13-43},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Astesiano-Zucca/84,
AUTHOR = {Astesiano, E. and Zucca, E.},
TITLE = {Parametric channels via label expressions in CCS},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {45-63},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Apt-Pnueli-Stavi/84,
AUTHOR = {Apt, K.R. and Pnueli, A. and Stavi, J.},
TITLE = {Fair termination revisited -- with delay},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {65-84},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ravikumar-Lakshmanan/84,
AUTHOR = {Ravikumar, B. and Lakshmanan, K.B.},
TITLE = {Coping with known patterns of lies in a search game},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {85-94},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Dybjer/84a,
AUTHOR = {Dybjer, P.},
TITLE = {Some results on the deductive structure of join dependencies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {95-105},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Veni_Madhavan/84,
AUTHOR = {Veni Madhavan, C.E.},
TITLE = {Secondary attribute retrieval using tree data structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {107-116},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Pan/84,
AUTHOR = {Pan, V.Ya.},
TITLE = {The techniques of trilinear aggregating and the recent progress in the asymptotic acceleration of matrix operations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {1},
PAGES = {117-138},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Broy-Wirsing-Pair/84,
AUTHOR = {Broy, M. and Wirsing, M. and Pair, C.},
TITLE = {A systematic study of models of abstract data types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {2,3},
PAGES = {139-174},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kaplan/84,
AUTHOR = {Kaplan, S.},
TITLE = {Conditional rewrite rules},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {2,3},
PAGES = {175-193},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Fehr/84,
AUTHOR = {Fehr, E.},
TITLE = {Expressive power of typed and type-free programming languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {2,3},
PAGES = {195-238},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Maon-Yehudai/84,
AUTHOR = {Maon, Y. and Yehudai, A.},
TITLE = {On test sets for checking morphism equivalence on languages with fair distribution of letters},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {2,3},
PAGES = {239-260},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Otto/84a,
AUTHOR = {Otto, F.},
TITLE = {Some undecidability results for non-monadic Church-Rosser Thue systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {2,3},
PAGES = {261-278},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Soundararajan/84a,
AUTHOR = {Soundararajan, N.},
TITLE = {Denotational semantics of CSP},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {2,3},
PAGES = {279-304},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Huynh/84,
AUTHOR = {Huynh, Dung T.},
TITLE = {Deciding the inequivalence of context-free grammars with 1-letter terminal alphabet is $\Sigma_2^P$-complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {2,3},
PAGES = {305-326},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Harju-Linna/84,
AUTHOR = {Harju, T. and Linna, M.},
TITLE = {The equations $h(w) = w^n$ in binary alphabets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {2,3},
PAGES = {327-329},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Perrin-Schupp/84,
AUTHOR = {Perrin, D. and Schupp, P.},
TITLE = {Sur les mono{\"i}des {\`a} un relateur qui sont des groupes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {2,3},
PAGES = {331-334},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Girault-Beauquier/84a,
AUTHOR = {Girault-Beauquier, D.},
TITLE = {Bilimites de langages reconnaissables},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {33},
NUMBER = {2,3},
PAGES = {335-342},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Raoult/84,
AUTHOR = {Raoult, J.C.},
TITLE = {On graph rewritings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {1-24},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Francez-Lehmann-Pnueli/84,
AUTHOR = {Francez, N. and Lehmann, D. and Pnueli, A.},
TITLE = {A linear-history semantics for languages for distributed programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {25-46},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Duske-Parchmann/84,
AUTHOR = {Duske, J. and Parchmann, R.},
TITLE = {Linear indexed languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {47-60},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Avenhaus-Madlener/84,
AUTHOR = {Avenhaus, J. and Madlener, K.},
TITLE = {The Nielsen reduction and P-complete problems in free groups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {61-76},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Chin-Kossowski-Loh/84,
AUTHOR = {Chin, F.Y. and Kossowski, P. and Loh, S.C.},
TITLE = {Efficient inference control for range sum queries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {77-86},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Tomita/84,
AUTHOR = {Tomita, E.},
TITLE = {An extended direct branching algorithm for checking equivalence of deterministic pushdown automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {87-120},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Astesiano-Costa/84,
AUTHOR = {Astesiano, E. and Costa, G.},
TITLE = {Distributive semantics for nondeterministic typed $\lambda$-calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {121-156},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Vishkin/84,
AUTHOR = {Vishkin, U.},
TITLE = {A parallel-design distributed-implementation (PDDI) general-purpose computer},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {157-172},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{McAloon/84,
AUTHOR = {McAloon, K.},
TITLE = {Petri nets and large finite sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {173-183},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Maier-Ullman/84,
AUTHOR = {Maier, D. and Ullman, J.D.},
TITLE = {Connections in acyclic hypergraphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {185-199},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hall/84,
AUTHOR = {Hall, T.E.},
TITLE = {Biprefix codes, inverse semigroups and syntactic monoids of injective automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {201-213},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Meshulam/84,
AUTHOR = {Meshulam, R.},
TITLE = {A geometric contruction of a superconcentrator of depth 2},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {215-219},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Hong/84a,
AUTHOR = {Hong, J.-W.},
TITLE = {A tradeoff theorem for space and reversal},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {1,2},
PAGES = {221-224},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Culik-Yu/84,
AUTHOR = {Culik II, K. and Yu, S.},
TITLE = {Iterative tree automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {227-247},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Otto/84,
AUTHOR = {Otto, F.},
TITLE = {Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {249-260},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Niemi/84,
AUTHOR = {Niemi, V.},
TITLE = {The undecidability of form equivalence for context-free and EOL forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {261-277},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Avenhaus-Madlener/84a,
AUTHOR = {Avenhaus, J. and Madlener, K.},
TITLE = {On the complexity of intersection and conjugacy problems in free groups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {279-295},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ketonen-Weyhrauch/84,
AUTHOR = {Ketonen, J. and Weyhrauch, R.},
TITLE = {A decidable fragment of predicate calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {297-307},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{de_Bruijn/84,
AUTHOR = {de Bruijn, N.G.},
TITLE = {Some machines defined by directed graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {309-319},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Miyano-Hayashi/84,
AUTHOR = {Miyano, S. and Hayashi, T.},
TITLE = {Alternating finite automata on $\omega$-words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {321-330},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Staiger/84,
AUTHOR = {Staiger, L.},
TITLE = {Projection lemmas for $\omega$-languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {331-337},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Jacob-Reutenauer/84,
AUTHOR = {Jacob, G. and Reutenauer, C.},
TITLE = {On formal power series defined by infinite linear systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {32},
NUMBER = {3},
PAGES = {339-340},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@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)},
}
@article{Bergstra-Klop/84b,
AUTHOR = {Bergstra, J.A. and Klop, J.W.},
TITLE = {Proving program inclusion using Hoare's logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {30},
NUMBER = {1},
PAGES = {1-48},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Olderog/84,
AUTHOR = {Olderog, E.-R.},
TITLE = {Correctness of programs with pascal-like procedures without global variables},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {30},
NUMBER = {1},
PAGES = {49-90},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Austry-Boudol/84,
AUTHOR = {Austry, D. and Boudol, G.},
TITLE = {Algbre de processus et synchronisation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {30},
NUMBER = {1},
PAGES = {91-131},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{de_Simone/84a,
AUTHOR = {de Simone, R.},
TITLE = {On MEIJE and SCCS: Infinite sum operators vs. non-guarded definitions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {30},
NUMBER = {1},
PAGES = {133-138},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Klaeren/84,
AUTHOR = {Klaeren, H.A.},
TITLE = {A constructive method for abstract algebraic software specification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {30},
NUMBER = {2},
PAGES = {139-204},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Braquelaire-Courcelle/84,
AUTHOR = {Braquelaire, J.P. and Courcelle, B.},
TITLE = {The solutions of two star-height problems for regular trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {30},
NUMBER = {2},
PAGES = {205-239},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Genrich-Thiagarajan/84,
AUTHOR = {Genrich, H.J. and Thiagarajan, P.S.},
TITLE = {A theory of bipolar synchronication schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {30},
NUMBER = {3},
PAGES = {241-318},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Denenberg-Lewis/84,
AUTHOR = {Denenberg, L. and Lewis, H.R.},
TITLE = {The complexity of the satisfiability problem for Krom formulas},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {30},
NUMBER = {3},
PAGES = {319-341},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Traub-Wasilkowski-Wozniakowski/84,
AUTHOR = {Traub, J.F. and Wasilkowski, G.W. and Wo{\'z}niakowski, H.},
TITLE = {Average case optimality for linear problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {1,2},
PAGES = {1-25},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Orlowska-Pawlak/84,
AUTHOR = {Or{\l}owska, E. and Pawlak, Z.},
TITLE = {Representation of nondeterministic information},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {1,2},
PAGES = {27-39},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rozenberg-Verraedt/84,
AUTHOR = {Rozenberg, G. and Verraedt, R.},
TITLE = {On simulation and propagating EOL forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {1,2},
PAGES = {41-48},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Fraenkel/84,
AUTHOR = {Fraenkel, A.S.},
TITLE = {Wythoff games, continued fractions, cedar trees and Fibonacci searches},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {1,2},
PAGES = {49-73},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Frederickson/84b,
AUTHOR = {Frederickson, G.N.},
TITLE = {Recursively rotated orders and implicit data structures: A lower bound},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {1,2},
PAGES = {75-85},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Janicki/84,
AUTHOR = {Janicki, R.},
TITLE = {Nets, sequential components and concurrency relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {1,2},
PAGES = {87-121},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ibarra-Kim/84,
AUTHOR = {Ibarra, O.H. and Kim, S.M.},
TITLE = {Characterizations and computational complexity of systolic trellis automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {1,2},
PAGES = {123-153},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kamimura-Tang/84a,
AUTHOR = {Kamimura, T. and Tang, A.},
TITLE = {Effectively given spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {1,2},
PAGES = {155-166},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lassez-Maher/84,
AUTHOR = {Lassez, J.-L. and Maher, M.J.},
TITLE = {Closure and fairness in the semantics of programming logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {1,2},
PAGES = {167-184},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Fachini-Napoli/84,
AUTHOR = {Fachini, E. and Napoli, M.},
TITLE = {Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {1,2},
PAGES = {185-227},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Elrad-Francez/84,
AUTHOR = {Elrad, T. and Francez, N.},
TITLE = {A weakest precondition semantics for communicating processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {231-250},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Venturini_Zilli/84,
AUTHOR = {Venturini Zilli, M.},
TITLE = {Reduction graphs in the lambda calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {251-275},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Potts/84,
AUTHOR = {Potts, D.H.},
TITLE = {Remarks on an example of Jantzen},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {277-284},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Karhumaki/84,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {The Ehrenfeucht conjecture: A compactness claim for finitely generated free monoids},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {285-308},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Coppo/84,
AUTHOR = {Coppo, M.},
TITLE = {Completeness of type assignment in continuous lambda models},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {309-324},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Eisman/84,
AUTHOR = {Eisman, G.S.},
TITLE = {On the ratio of growth functions in EDTOL languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {29},
NUMBER = {3},
PAGES = {325-349},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Paul/84,
AUTHOR = {Paul, W.},
TITLE = {On heads versus tapes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {1-12},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Maluszynski/84,
AUTHOR = {Maluszy{\'n}ski, J.},
TITLE = {Towards a programming language based on the notion of two-level grammar},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {13-43},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrig-Kreowski-Thatcher-Wagner-Wright/84,
AUTHOR = {Ehrig, H. and Kreowski, H.-J. and Thatcher, J. and Wagner, E. and Wright, J.},
TITLE = {Parameter passing in algebraic specification languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {45-81},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Apt/84,
AUTHOR = {Apt, K.R.},
TITLE = {Ten years of Hoare's logic: A survey -- Part II: Nondeterminism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {83-109},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wiehagen-Freivalds-Kinber/84,
AUTHOR = {Wiehagen, R. and Freivalds, R. and Kinber, E.B.},
TITLE = {On the power of probabilistic strategies in inductive inference},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {111-133},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bini/84a,
AUTHOR = {Bini, D.},
TITLE = {On commutativity and approximation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {135-150},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ronchi_Della_Rocca-Venneri/84,
AUTHOR = {Ronchi Della Rocca, S. and Venneri, B.},
TITLE = {Principal type schemes for an extended type theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {151-169},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Fernandez-Thiagarajan/84,
AUTHOR = {Fern{\'a}ndez, C. and Thiagarajan, P.S.},
TITLE = {D-continuous causal nets: A model of non-sequential processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {171-196},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrenfeucht-Rozenberg-Verraedt/84,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G. and Verraedt, R.},
TITLE = {On inherently ambiguous EOL languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {197-214},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bergstra-Tucker/84,
AUTHOR = {Bergstra, J.A. and Tucker, J.V.},
TITLE = {Hoare's logic for programming languages with two data types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {215-221},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kanaoka-Tomita/84,
AUTHOR = {Kanaoka, T. and Tomita, S.},
TITLE = {The decomposition of stochastic systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {223-233},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hindley/84,
AUTHOR = {Hindley, J.R.},
TITLE = {Coppo-Dezani types do not correspond to propositional logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {1,2},
PAGES = {235-236},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Cox-Pietrzykowski/84,
AUTHOR = {Cox, P.T. and Pietrzykowski, T.},
TITLE = {A complete, nonredundant algorithm for reversed Skolemization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {3},
PAGES = {239-261},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kirkpatrick-Reisch/84,
AUTHOR = {Kirkpatrick, D. and Reisch, S.},
TITLE = {Upper bounds for sorting integers on random access machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {3},
PAGES = {263-276},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bucher-Maurer-Culik/84,
AUTHOR = {Bucher, W. and Maurer, H.A. and Culik II, K.},
TITLE = {Context-free complexity of finite languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {3},
PAGES = {277-285},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Parisi-Presicce/84,
AUTHOR = {Parisi-Presicce, F.},
TITLE = {Iterative factor algebras and induced metrics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {3},
PAGES = {287-298},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kelemenova/84,
AUTHOR = {Kelemenov{\'a}, A.},
TITLE = {Complexity of normal form grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {3},
PAGES = {299-314},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kobayashi-Takahashi-Yamasaki/84,
AUTHOR = {Kobayashi, K. and Takahashi, M. and Yamasaki, H.},
TITLE = {Characterization of $\omega$-regular languages by first-order formulas},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {3},
PAGES = {315-327},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Perrin/84,
AUTHOR = {Perrin, D.},
TITLE = {Completing biprefix codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {3},
PAGES = {329-336},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Blum/84b,
AUTHOR = {Blum, N.},
TITLE = {A Boolean function requiring $3 n$ network size},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {28},
NUMBER = {3},
PAGES = {337-345},
YEAR = {1984},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}