@article{Fle-Roucairol/85a,
AUTHOR = {Fl{\'e}, M.P. and Roucairol, G.},
TITLE = {Maximal serializability of iterated transactions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {1-16},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Weihrauch/85,
AUTHOR = {Weihrauch, K.},
TITLE = {Type 2 recursion theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {17-33},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kreitz-Weihrauch/85,
AUTHOR = {Kreitz, C. and Weihrauch, K.},
TITLE = {Theory of representations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {35-53},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Wegener/85c,
AUTHOR = {Wegener, I.},
TITLE = {On the complexity of slice functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {55-68},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Snir/85a,
AUTHOR = {Snir, M.},
TITLE = {Lower bounds on probabilistic linear decision trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {69-82},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ramanan-Liu/85,
AUTHOR = {Ramanan, P.V. and Liu, C.L.},
TITLE = {Permutation representation of k-ary trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {83-98},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Beeri-Vardi/85,
AUTHOR = {Beeri, C. and Vardi, M.Y.},
TITLE = {Formal systems for join dependencies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {99-116},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Leconte/85,
AUTHOR = {Leconte, M.},
TITLE = {A characterization of power-free morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {117-122},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Van/85,
AUTHOR = {Van, D.L.},
TITLE = {Ensembles code-compatibles et une g{\'e}n{\'e}ralisation du th{\'e}orme de Sardinas-Patterson},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {123-132},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Leiss/85b,
AUTHOR = {Leiss, E.},
TITLE = {Succinct representation of regular languages by boolean automata II},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {133-136},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Finkel/85a,
AUTHOR = {Finkel, A.},
TITLE = {Une g{\'e}n{\'e}ralisation des th{\'e}ormes de Higman et de Simon aux mots infinis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {1},
PAGES = {137-142},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}
@article{Schmidt/85a,
AUTHOR = {Schmidt, D.},
TITLE = {The recursion-theoretic structure of complexity classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {143-156},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Watanabe/85,
AUTHOR = {Watanabe, O.},
TITLE = {On one-one polynomial time equivalence relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {157-165},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Imori-Yamada/85,
AUTHOR = {Imori, M. and Yamada, H.},
TITLE = {Periodic character sequences where identifying two characters strictly reduces the period},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {167-192},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Burkhard/85,
AUTHOR = {Burkhard, H.D.},
TITLE = {An investigation of controls for concurrent systems based on abstract control languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {193-222},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Jantzen/85a,
AUTHOR = {Jantzen, M.},
TITLE = {Extending regular expressions with iterated shuffle},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {223-247},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Asano/85,
AUTHOR = {Asano, T.},
TITLE = {An approach to the subgraph homeomorphism problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {249-267},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Mishra-Clarke/85,
AUTHOR = {Mishra, B. and Clarke, E.},
TITLE = {Hierarchical verification of asynchronous circuits using temporal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {269-291},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gonzalez/85,
AUTHOR = {Gonzalez, T.F.},
TITLE = {Clustering to minimize the maximum intercluster distance},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {293-306},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Harel-Peleg/85a,
AUTHOR = {Harel, D. and Peleg, D.},
TITLE = {Process logic with regular formulas},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {307-322},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rosenkrantz-Hunt/85,
AUTHOR = {Rosenkrantz, D.J. and Hunt III, H.B.},
TITLE = {Testing for grammatical coverings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {323-341},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Linial-Tarsi/85,
AUTHOR = {Linial, N. and Tarsi, M.},
TITLE = {Deciding hypergraph 2-colourability by H-resolution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {38},
NUMBER = {2,3},
PAGES = {343-347},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
PCOMMENT = {Note},
}