@article{Jesi-Pighizzini-Sabadini/96, AUTHOR = {Jesi, S. and Pighizzini, G. and Sabadini, N.}, TITLE = {Probabilistic asynchronous automata}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {1}, PAGES = {5-31}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Kobler-Toda/96, AUTHOR = {K{\"o}bler, J. and Toda, Seinsosuke}, TITLE = {On the power of generalized MOD-classes}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {1}, PAGES = {33-46}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Kari/96, AUTHOR = {Kari, J.}, TITLE = {Representation of reversible cellular automata with block permutations}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {1}, PAGES = {47-61}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Arvind-Kobler-Mundhenk/96, AUTHOR = {Arvind, V. and K{\"o}bler, J. and Mundhenk, M.}, TITLE = {Upper bounds for the complexity of sparse and tally descriptions}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {1}, PAGES = {63-94}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Papadimitriou-Sideri/96, AUTHOR = {Papadimitriou, C.H. and Sideri, M.}, TITLE = {The bisection width of grid graphs}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {2}, PAGES = {97-110}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Herley/96, AUTHOR = {Herley, K.T.}, TITLE = {Representing shared data on distributed-memory parallel computers}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {2}, PAGES = {111-156}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Tragoudas/96a, AUTHOR = {Tragoudas, S.}, TITLE = {Improved approximations for the minimum-cut ratio and the flux}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {2}, PAGES = {157-167}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Slutzki-Vagvolgyi/96, AUTHOR = {Slutzki, G. and V{\'{a}}gv{\"o}lgyi, S.}, TITLE = {A hierarchy of deterministic top-down tree transformations}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {2}, PAGES = {169-188}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Birget/96a, AUTHOR = {Birget, J.-C.}, TITLE = {Two-way automata and length-preserving homomorphisms}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {3}, PAGES = {191-226}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Golubski-Lippe/96, AUTHOR = {Golubski, W. and Lippe, W.M.}, TITLE = {Tree-stack automata}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {3}, PAGES = {227-244}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Cai-Green-Thierauf/96, AUTHOR = {Cai, Jin-Yi and Green, F. and Thierauf, T.}, TITLE = {On the correlation of symmetric functions}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {3}, PAGES = {245-258}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Yokomori/96, AUTHOR = {Yokomori, T.}, TITLE = {Learning two-tape automata from queries and counterexamples}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {3}, PAGES = {259-270}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Uspensky-Shen/96, AUTHOR = {Uspensky, V.A. and Shen, A.}, TITLE = {Relations between varieties of Kolmogorov complexities}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {3}, PAGES = {271-292}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Morales-Lew/96, AUTHOR = {Morales, L.B. and Lew, J.S.}, TITLE = {An enlarged family of packing polynomials on multidimensional lattices}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {3}, PAGES = {293-303}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Lew-Morales-Sanchez-Flores/96, AUTHOR = {Lew, J.S. and Morales, L.B. and S{\'{a}}nchez-Flores, A.}, TITLE = {Diagonal polynomials for small dimensions}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {3}, PAGES = {305-310}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Makedon-Symvonis/96, AUTHOR = {Makedon, F. and Symvonis, A.}, TITLE = {Flit-serial packet routing on meshes and tori}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {4}, PAGES = {311-330}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Yamashita-Kameda/96, AUTHOR = {Yamashita, M. and Kameda, T.}, TITLE = {Computing functions on asynchronous anonymous networks}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {4}, PAGES = {331-356}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Radhakrishnan/96, AUTHOR = {Radhakrishnan, J.}, TITLE = {$\Pi-\Sigma-\Pi$ threshold formulas}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {4}, PAGES = {357-374}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Ben-Amram-Julstrom-Zwick/96, AUTHOR = {Ben-Amram, A.M. and Julstrom, B.A. and Zwick, U.}, TITLE = {A note on busy beavers and other creatures}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {4}, PAGES = {375-386}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Jiang-Li/96a, AUTHOR = {Jiang, Tao and Li, Ming}, TITLE = {DNA sequencing and string learning}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {4}, PAGES = {387-405}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Hamidoune-Serra/96, AUTHOR = {Hamidoune, Y.O. and Serra, O.}, TITLE = {On small cuts separating an Abelian Cayley graph into two equal parts}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {4}, PAGES = {407-409}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Hertrampf-Vollmer-Wagner/96, AUTHOR = {Hertrampf, U. and Vollmer, H. and Wagner, K.W.}, TITLE = {On balanced versus unbalanced computation trees}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {4}, PAGES = {411-421}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Sheu-Long/96, AUTHOR = {Sheu, M.-J. and Long, T.J.}, TITLE = {$UP$ and the low and high hierarchies: A relativized separation}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {5}, PAGES = {423-449}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Gross-Chen/96, AUTHOR = {Gross, J.L. and Chen, Jianer}, TITLE = {Algebraic specification of interconnection network relationships by permutation voltage graph mappings}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {5}, PAGES = {451-470}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Feldmann-Mysliwietz/96, AUTHOR = {Feldmann, R. and Mysliwietz, P.}, TITLE = {The shuffle exchange network has a Hamiltonian path}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {5}, PAGES = {471-485}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Agrawal-Biswas/96a, AUTHOR = {Agrawal, M. and Biswas, S.}, TITLE = {$NP$-creative sets: A new class of creative sets in $NP$}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {5}, PAGES = {487-505}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Danyi-Fulop/96a, AUTHOR = {D{\'{a}}nyi, G. and F{\"u}l{\"o}p, Z.}, TITLE = {Superlinear deterministic top-down tree transducers}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {5}, PAGES = {507-534}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Hemaspaandra-Zimand/96, AUTHOR = {Hemaspaandra, L.A. and Zimand, M.}, TITLE = {Strong self-reducibility precludes strong immunity}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {5}, PAGES = {535-548}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Miller-Pritikin-Sudborough/96, AUTHOR = {Miller, Z. and Pritikin, D. and Sudborough, I.H.}, TITLE = {Bounded dilation maps of hypercubes into Cayley graphs on the symmetric group}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {6}, PAGES = {551-572}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Cai-Liu/96, AUTHOR = {Cai, J. and Liu, Z.}, TITLE = {The bounded membership problem of the monoid $SL_2(N)$}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {6}, PAGES = {573-587}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Blackburn/96, AUTHOR = {Blackburn, S.R.}, TITLE = {Node bisectors of Cayley graphs}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {6}, PAGES = {589-598}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Lange-Zeugmann/96a, AUTHOR = {Lange, S. and Zeugmann, T.}, TITLE = {Set-driven and rearrangement-independent learning of recursive languages}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {6}, PAGES = {599-634}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Cucker-Matamala/96, AUTHOR = {Cucker, F. and Matamala, M.}, TITLE = {On digital nondeterminism}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {6}, PAGES = {635-647}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Meinel-Waack/96a, AUTHOR = {Meinel, C. and Waack, S.}, TITLE = {Lower bounds for the majority communication complexity of various graph accessibility problems}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {6}, PAGES = {649-659}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Gupta/96, AUTHOR = {Gupta, S.}, TITLE = {Alternating time versus deterministic time: A separation}, JOURNAL = {Math.~Systems Theory}, VOLUME = {29}, NUMBER = {6}, PAGES = {661-672}, YEAR = {1996}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, }