@article{Huynh/90, AUTHOR = {Huynh, Dung T.}, TITLE = {The complexity of ranking simple languages}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {1-19}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Diaz-Toran/90, AUTHOR = {D{\'i}az, Josep and Tor{\'a}n, Jacobo}, TITLE = {Classes of bounded nondeterminism}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {21-32}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Yen/90, AUTHOR = {Yen, Hsu-Chun}, TITLE = {Communicating processes, scheduling, and the complexity of nondetermination}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {33-59}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Greenberg-Heath-Rosenberg/90, AUTHOR = {Greenberg, David S. and Heath, Lenwood S. and Rosenberg, Arnold L.}, TITLE = {Optimal embeddings of butterfly-like graphs in the hypercube}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {61-77}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Parberry/90a, AUTHOR = {Parberry, Ian}, TITLE = {Single-exception sorting networks and the computational complexity of optimal sorting network verification}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {81-93}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Cai-Hemachandra/90, AUTHOR = {Cai, Jin-yi and Hemachandra, Lane A.}, TITLE = {On the power of parity polynomial time}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {95-106}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Kutylowski/90a, AUTHOR = {Kuty{\l}owski, Miros{\l}aw}, TITLE = {One-way multihead finite automata and 2-bounded languages}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {107-139}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Barrington/90, AUTHOR = {Barrington, David A. Mix}, TITLE = {Extensions of an idea of McNaughton}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {147-164}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Book-Tang/90a, AUTHOR = {Book, Ronald V. and Tang, Shouwen}, TITLE = {Characterizing polynomial complexity classes by reducibilities}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {165-174}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Zhang-Kapur/90, AUTHOR = {Zhang, Hantao and Kapur, Deepak}, TITLE = {Unnecessary inferences in associative-commutative completion procedures}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {175-206}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Stearns-Hunt/90, AUTHOR = {Stearns, R.E. and Hunt III, H.B.}, TITLE = {Power indices and easier hard problems}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {209-225}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Rosenberg/90, AUTHOR = {Rosenberg, Arnold L.}, TITLE = {Exposing graph uniformities via algebraic specification}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {227-244}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Narendran/90, AUTHOR = {Narendran, Paliath}, TITLE = {It is decidable whether a monadic Thue system is canonical over a regular set}, JOURNAL = {Math.~Systems Theory}, VOLUME = {23}, PAGES = {245-254}, YEAR = {1990}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, }