@incollection{von_zur_Gathen/86a, AUTHOR = {von zur Gathen, Joachim}, TITLE = {Parallel arithmetic computations: A survey}, BOOKTITLE = {Proceedings of the 12th International Symposium on Mathematical Foundations of Computer Science, MFCS'86 (Bratislava, Czechoslovakia, August 25-29, 1986)}, SERIES = {LNCS}, VOLUME = {233}, PAGES = {93-112}, YEAR = {1986}, EDITOR = {Gruska, J. and Rovan, B. and Wiedermann, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=233&spage=93}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @incollection{Alt-Hagerup-Mehlhorn-Preparata/86, AUTHOR = {Alt, H. and Hagerup, T. and Mehlhorn, K. and Preparata, F.P.}, TITLE = {Deterministic simulation of idealized parallel computers on more realistic ones}, BOOKTITLE = {Proceedings of the 12th International Symposium on Mathematical Foundations of Computer Science, MFCS'86 (Bratislava, Czechoslovakia, August 25-29, 1986)}, SERIES = {LNCS}, VOLUME = {233}, PAGES = {199-208}, YEAR = {1986}, EDITOR = {Gruska, J. and Rovan, B. and Wiedermann, J.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=233&spage=199}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Beth/86a, AUTHOR = {Beth, Thomas}, TITLE = {On the arithmetics of Galois fields and the like}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {2-16}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_705}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Gundlach/86, AUTHOR = {Gundlach, Michael}, TITLE = {On strongly tactical codes}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {17-26}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_705}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Oisel/86, AUTHOR = {Oisel, Andre}, TITLE = {Integer programming applied to eigenvector computation in a class of Markov processes}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {27-33}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_706}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Charpin/86, AUTHOR = {Charpin, P.}, TITLE = {A minimum system of generators for extended cyclic codes which are invariant under the affine group}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {34-42}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_707}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Poli/86a, AUTHOR = {Poli, A.}, TITLE = {Some algebraic tools for error-correcting codes}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {43-60}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_708}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Jennings/86, AUTHOR = {Jennings, Sylvia}, TITLE = {On computing the performance probabilities of Reed-Solomon codes}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {61-68}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_709}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Constantin-Courteau-Wolfmann/86, AUTHOR = {Constantin, J. and Courteau, B. and Wolfmann, J.}, TITLE = {Numerical experiments related to the covering radius of some first order Reed-Muller codes}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {69-75}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_710}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Goutelard/86, AUTHOR = {Goutelard, C.}, TITLE = {Several aspects of problems encountered in coding applications}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {76-94}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_711}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Gennero-Randriananja/86, AUTHOR = {Gennero, M.C. and Randriananja, D.}, TITLE = {Software simulation of data transmission using error-correcting codes, through an AWGN channel}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {95-107}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_712}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Imai-Matsumoto/86, AUTHOR = {Imai, Hideki and Matsumoto, Tsutomu}, TITLE = {Algebraic methods for constructing asymmetric cryptosystems}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {108-119}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_713}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Janwa-Mattson/86, AUTHOR = {Janwa, H. and Mattson, H.F., Jr.}, TITLE = {Covering radii of even subcodes of $t$-dense codes}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {120-130}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_714}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Fumy/86, AUTHOR = {Fumy, W.}, TITLE = {Orthogonal transform encoding of cyclic codes}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {131-134}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_715}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Griera-Rifa-Huguet/86, AUTHOR = {Griera, Merc{\`e} and Rif{\`a}, Josep and Huguet, Lloren{\c{c}}}, TITLE = {On $s$-sum-sets and projective codes}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {135-142}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_716}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Huguet-Rifa-Griera/86, AUTHOR = {Huguet, Lloren{\c{c}} and Rif{\`a}, Josep and Griera, Merc{\`e}}, TITLE = {Pseudo-triple-sum-sets and association schemes}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {143-149}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_717}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Bossert-Hergert/86, AUTHOR = {Bossert, Martin and Hergert, Ferdinand}, TITLE = {A decoding algorithm for linear codes}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {150-155}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_718}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Opolka/86, AUTHOR = {Opolka, Hans}, TITLE = {The finite Fourier-transform and theta functions}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {156-166}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_719}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Wolfmann/86, AUTHOR = {Wolfmann, J.}, TITLE = {Recent results on coding and algebraic geometry}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {167-184}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_720}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Driencourt/86, AUTHOR = {Driencourt, Yves}, TITLE = {Some properties of elliptic codes over a field of characteristic 2}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {185-193}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_721}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Poli-Rigoni/86a, AUTHOR = {Poli, A. and Rigoni, C.}, TITLE = {Self-dual codes $2n$ circulant over $F_q (q=2^r)$}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {194-201}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_722}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Ventou/86, AUTHOR = {Ventou, M.}, TITLE = {Automorphisms and isometries of some modular algebras}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {202-210}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_723}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{de_Groote-Heintz/86, AUTHOR = {de Groote, Hans F. and Heintz, Joos}, TITLE = {A lower bound for the bilinear complexity of some semisimple Lie algebras}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {211-222}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_724}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Le_Brigand/86, AUTHOR = {Le Brigand, D.}, TITLE = {On computational complexity of some algebraic curves over finite fields}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {223-227}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_725}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Newman/86, AUTHOR = {Newman, M.F.}, TITLE = {Some group presentations and enforcing the associative law}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {228-237}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_726}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Belaga/86, AUTHOR = {Belaga, Edward G.}, TITLE = {Fast computation of linear finite-dimensional operators over arbitrary rings}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {238-246}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_727}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Boge/86, AUTHOR = {B{\"o}ge, W.}, TITLE = {Quantifier elimination for real closed fields}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {247-261}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_728}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Weispfenning/86a, AUTHOR = {Weispfenning, Volker}, TITLE = {Efficient decision algorithms for locally finite theories}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {262-273}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_729}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Mirwald/86, AUTHOR = {Mirwald, Roland}, TITLE = {The algorithmic structure of $sl(2, k)$}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {274-287}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_730}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Fellmann/86, AUTHOR = {Fellmann, Annemarie}, TITLE = {Optimal algorithms for finite dimensional simply generated algebras}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {288-295}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_731}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Luneburg/86, AUTHOR = {L{\"u}neburg, Heinz}, TITLE = {On a little but useful algorithm}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {296-301}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_732}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Buchmann-Petho/86, AUTHOR = {Buchmann, J. and Peth{\H{o}}, A.}, TITLE = {Computation of independent units in number fields by Dirichlet's method}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {302-305}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_733}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Carra_Ferro/86, AUTHOR = {Carr{\`a} Ferro, Giuseppa}, TITLE = {Some upper bounds for the multiplicity of an autoreduced subset of N$^m$ and their applications}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {306-315}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_734}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Mukhopadhyay-Alagar/86, AUTHOR = {Mukhopadhyay, Asish and Alagar, Vangalur S.}, TITLE = {Exact computation of the characteristic polynomial of an integer matrix}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {316-324}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_735}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Loos/86, AUTHOR = {Loos, R{\"u}diger}, TITLE = {An analysis of the Kr{\"o}necker algorithm for factorization of algebraic polynomials}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {325-325}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_736}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Viry/86, AUTHOR = {Viry, Guy}, TITLE = {Polynomial factorization over $\mathbb{Z}[X]$}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {326-332}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_737}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Buchberger/86a, AUTHOR = {Buchberger, B.}, TITLE = {The $L$-machine: An attempt at parallel hardware for symbolic computation}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {333-347}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_738}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Leler-Soiffer/86, AUTHOR = {Leler, Wm and Soiffer, Neil}, TITLE = {An interactive graphical interface for symbolic algebra systems}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {348-352}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_739}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Mora/86, AUTHOR = {Mora, Ferdinando}, TITLE = {Gr{\"o}bner bases for non-commutative polynomial rings}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {353-362}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_740}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Norton/86, AUTHOR = {Norton, G.H.}, TITLE = {Extending the binary GCD algorithm}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {363-372}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_741}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Smedley/86, AUTHOR = {Smedley, Trevor J.}, TITLE = {Integration of rational functions in SAC-2}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {373-384}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_742}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Lugiez/86a, AUTHOR = {Lugiez, D.}, TITLE = {Heuristic bivariate lifting}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {385-391}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_743}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Hearn/86, AUTHOR = {Hearn, Anthony C.}, TITLE = {Optimal evaluation of algebraic expressions}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {392-403}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_744}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Murray-Rosenthal/86, AUTHOR = {Murray, Neil V. and Rosenthal, Erik}, TITLE = {On deleting links in semantic graphs}, BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes, AAECC'1985 (Grenoble, France, July 15-19, 1985)}, SERIES = {LNCS}, VOLUME = {229}, PAGES = {404-415}, YEAR = {1986}, EDITOR = {Calmet, Jacques}, URL = {http://dx.doi.org/10.1007/3-540-16776-5_745}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Heintz-Morgenstern/86, AUTHOR = {Heintz, Joos and Morgenstern, Jacques}, TITLE = {On associative algebras of minimal rank}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {1-24}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_47}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Poli/86, AUTHOR = {Poli, A.}, TITLE = {Construction of primitive idempotents for n variable codes}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {25-35}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_48}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Imai/86, AUTHOR = {Imai, Hideki}, TITLE = {Multivariate polynomials in coding theory}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {36-60}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_49}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Poli-Rigoni/86, AUTHOR = {Poli, A. and Rigoni, C.}, TITLE = {Enumeration of self dual $2k$ circulant codes}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {61-70}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_50}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Beth/86, AUTHOR = {Beth, Thomas}, TITLE = {Codes, groups and invariants}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {71-78}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_51}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Cohen-Lobstein-Sloane/86, AUTHOR = {Cohen, G.D. and Lobstein, A.C. and Sloane, N.J.A.}, TITLE = {On a conjecture concerning coverings of Hamming space}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {79-89}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_52}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Mattson/86, AUTHOR = {Mattson, H.F., Jr.}, TITLE = {An improved upper bound on covering radius}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {90-106}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_53}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Huguet-Griera/86, AUTHOR = {Huguet, Lloren{\c{c}} and Griera, Merc{\`e}}, TITLE = {Association schemes and difference sets defined on two weight codes}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {107-111}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_54}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Thiong-Ly/86, AUTHOR = {Thiong-Ly, J.A.}, TITLE = {Automorphisms of two families of extended non binary cyclic Goppa codes}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {112-121}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_55}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Dornstetter/86, AUTHOR = {Dornstetter, J.L.}, TITLE = {Some quasi-perfect cyclic codes}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {122-129}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_56}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Leonard-Rodger/86, AUTHOR = {Leonard, D.A. and R{\"o}dger, C.A.}, TITLE = {Explicit Kerdock codes over $GF(2)$}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {130-135}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_57}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Bernard-Jean/86, AUTHOR = {Bernard, Courteau and Jean, Goulet}, TITLE = {Une classe de codes 2-correcteurs adapt{\'e}s aux syst{\`e}mes d'information format{\'e}s}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {136-144}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_58}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Gennero/86, AUTHOR = {Gennero, M.C.}, TITLE = {Lousticc simulation software : Experimental results of coding systems}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {145-153}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_59}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Feng-Tzeng/86, AUTHOR = {Feng, G.L. and Tzeng, K.K.}, TITLE = {An algorithm of complete decoding of double-error-correcting Goppa codes}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {154-160}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_60}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Piret/86, AUTHOR = {Piret, Ph.}, TITLE = {On the number of divisors of a polynomial over $GF(2)$}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {161-168}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_61}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Lugiez/86, AUTHOR = {Lugiez, Denis}, TITLE = {Multivariate polynomial factoring and detection of true factors}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {169-177}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_62}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Moreno_de_Ayala/86, AUTHOR = {Moreno de Ayala, Oscar}, TITLE = {Discriminants and the irreducibility of a class of polynomials}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {178-181}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_63}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Moller-Mora/86, AUTHOR = {M{\"o}ller, H. Michael and Mora, Ferdinando}, TITLE = {Computational aspects of reduction strategies to construct resolutions of monomial ideals}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {182-197}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_64}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Beneteau-Lacaze/86, AUTHOR = {B{\'e}n{\'e}teau, Lucien and Lacaze, Jacqueline}, TITLE = {Designs arising from symplectic geometry}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {198-205}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_65}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Astie-Vidal-Chifflet/86, AUTHOR = {Astie-Vidal, A. and Chifflet, J.}, TITLE = {Distance-transitive graphs and the problem of maximal subgroups of symmetric groups}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {206-214}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_66}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Camion/86, AUTHOR = {Camion, Paul}, TITLE = {Can a fast signature scheme without secret key be secure?}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {215-241}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_67}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Calmet/86, AUTHOR = {Calmet, Jacques}, TITLE = {Manipulation of recurrence relations in computer algebra}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {242-252}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_68}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Calmet-Bergman/86, AUTHOR = {Calmet, Jacques and Bergman, Marc}, TITLE = {Some design principles for a mathematical knowledge representation system: A new approach to scientific calculation}, BOOKTITLE = {Proceedings of the 2nd International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes, AAECC'1984 (Toulouse, France, October 1-5, 1984)}, SERIES = {LNCS}, VOLUME = {228}, PAGES = {253-265}, YEAR = {1986}, EDITOR = {Poli, Alain}, URL = {http://dx.doi.org/10.1007/3-540-16767-6_69}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo}, } @incollection{Bilardi-Preparata/86a, AUTHOR = {Bilardi, G. and Preparata, F.P.}, TITLE = {Digital filtering in VLSI}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {1-11}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Helmbold-Mayr/86, AUTHOR = {Helmbold, D. and Mayr, E.W.}, TITLE = {Two processor scheduling is in $NC$}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {12-25}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=12}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Frederickson-Santoro/86, AUTHOR = {Frederickson, G.N. and Santoro, N.}, TITLE = {Breaking symmetry in synchronous networks}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {26-33}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=26}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Maon-Schieber-Vishkin/86b, AUTHOR = {Maon, Y. and Schieber, B. and Vishkin, U.}, TITLE = {Parallel ear decomposition search (EDS) and st-numbering}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {34-45}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=34}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Guerra/86, AUTHOR = {Guerra, Concettina}, TITLE = {A unifying framework for systolic designs}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {46-56}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=46}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Aggarwal-Carter-Kosaraju/86, AUTHOR = {Aggarwal, A. and Carter, J.L. and Kosaraju, S.R.}, TITLE = {Optimal tradeoffs for addition on systolic arrays}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {57-69}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=57}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Rote/86, AUTHOR = {Rote, G.}, TITLE = {On the connection between hexagonal and unidirectional rectangular systolic arrays}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {70-83}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=70}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Kunde/86, AUTHOR = {Kunde, M.}, TITLE = {Lower bounds for sorting on mesh-connected architectures}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {84-95}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=84}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Rosenberg/86, AUTHOR = {Rosenberg, A.L.}, TITLE = {Diogenes, circa 1986}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {96-107}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=96}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Vitanyi/86, AUTHOR = {Vit{\'a}nyi, P.M.B.}, TITLE = {Non sequential computation and laws of nature}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {108-120}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=108}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Muller-Lengauer/86, AUTHOR = {M{\"u}ller, R. and Lengauer, T.}, TITLE = {Linear algorithms for two CMOS layout problems}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {121-132}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=121}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Lodi-Pagli/86, AUTHOR = {Lodi, E. and Pagli, L.}, TITLE = {Some new results on a restricted channel routing problem}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {133-143}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=133}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Paschalis-Nikolos-Halatsis/86, AUTHOR = {Paschalis, A.M. and Nikolos, D. and Halatsis, C.}, TITLE = {Efficient modular designs of TSC checkers for $M$-out-of-$2M$ codes}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {144-155}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=144}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Jou-Hu-Parng/86, AUTHOR = {Jou, I.-C. and Hu, Yu-Hen and Parng, T.M.}, TITLE = {VLSI algorithms and pipelined architectures for solving structured linear systems}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {156-165}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=156}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Kanopoulos-Marinos/86, AUTHOR = {Kanopoulos, N. and Marinos, P.N.}, TITLE = {A high performance single-chip VLSI signal processor architecture}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {166-179}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=166}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Lengauer/86, AUTHOR = {Lengauer, T.}, TITLE = {Exploiting hierarchy in VLSI design}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {180-193}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=180}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Kirousis/86, AUTHOR = {Kirousis, L.M.}, TITLE = {A polynomial algorithm for recognizing images of polyhedra}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {194-204}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=194}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Dekel-Ntafos-Peng/86, AUTHOR = {Dekel, E. and Ntafos, S. and Peng, S.T.}, TITLE = {Parallel tree techniques and code optimization}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {205-216}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=205}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Furer-Mehlhorn/86, AUTHOR = {F{\"u}rer, M. and Mehlhorn, K.}, TITLE = {$AT^2$-optimal Galois field multiplier for VLSI}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {217-225}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=217}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Yannakakis/86, AUTHOR = {Yannakakis, M.}, TITLE = {Linear and book embeddings of graphs}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {226-235}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=226}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Miller-Kaltofen-Ramachandran/86, AUTHOR = {Miller, G.L. and Kaltofen, E. and Ramachandran, V.}, TITLE = {Efficient parallel evaluation of straight-line code and arithmetic circuits}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {236-245}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=236}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Bini-Pan/86b, AUTHOR = {Bini, D. and Pan, V.}, TITLE = {A logarithmic boolean time algorithm for parallel polynomial division}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {246-251}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=246}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Miller-Sudbourough/86, AUTHOR = {Miller, Z. and Sudbourough, I.H.}, TITLE = {A polynomial algorithm for recognizing small cutwidth in hypergraphs}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {252-260}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=252}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Hagerup-Rulling/86, AUTHOR = {Hagerup, T. and R{\"u}lling, W.}, TITLE = {A generalized topological sorting problem}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {261-270}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=261}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Brzozowski-Yoeli/86, AUTHOR = {Brzozowski, J.A. and Yoeli, M.}, TITLE = {Combinational static CMOS networks}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {271-282}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=271}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Pan-Reif/86, AUTHOR = {Pan, V. and Reif, J.}, TITLE = {Fast and efficient parallel linear programming and linear least squares computations}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {283-295}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=283}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Parberry/86a, AUTHOR = {Parberry, I.}, TITLE = {On the time required to sum $n$ semigroup elements on a parallel machine with simultaneous writes}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {296-304}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=296}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Biliris/86, AUTHOR = {Biliris, A.}, TITLE = {A comparative study of concurrency control methods in B-trees}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {305-316}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=305}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Blair-Lloyd/86, AUTHOR = {Blair, J.R.S. and Lloyd, E.L.}, TITLE = {Generalized river routing -- algorithms and performance bounds}, BOOKTITLE = {Proceedings of the Aegean Workshop on Computing: VLSI Algorithms and Architectures}, SERIES = {LNCS}, VOLUME = {227}, PAGES = {317-328}, YEAR = {1986}, EDITOR = {Makedon, F. and Mehlhorn, K. and Papatheodorou, T. and Spirakis, P.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=227&spage=317}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Cai/86, AUTHOR = {Cai, J.}, TITLE = {With probability one, a random oracle separates PSPACE from the polynomial-time hierarchy}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {104}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=10}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Ko-Long-Du/86, AUTHOR = {Ko, K. and Long, T. and Du, D.}, TITLE = {A note on one-way functions and polynomial time isomorphisms}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {196}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=19}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Krentel/86, AUTHOR = {Krentel, M.}, TITLE = {The complexity of optimization problems}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {218}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=21}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Allender/86a, AUTHOR = {Allender, E.}, TITLE = {The complexity of sparse sets in P}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {1-11}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=1}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Allender/86, AUTHOR = {Allender, E.}, TITLE = {Isomorphisms and $1-L$ reductions}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {12-22}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=12}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Ambos-Spies/86c, AUTHOR = {Ambos-Spies, K.}, TITLE = {Randomness, relativizations, and polynomial reducibilties}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {23-34}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=23}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Balcazar-Diaz-Gabarro/86, AUTHOR = {Balc{\'a}zar, J. and D{\'i}az, J. and Gabarr{\'o}, J.}, TITLE = {On non-uniform polynomial space}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {35-50}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=35}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Boppana-Lagarias/86, AUTHOR = {Boppana, R. and Lagarias, J.}, TITLE = {One-way functions and circuit complexity}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {51-65}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=51}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Buss/86, AUTHOR = {Buss, J.}, TITLE = {Relativized alternation}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {66-76}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=66}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Buss/86a, AUTHOR = {Buss, S.}, TITLE = {The polynomial hierarchy and intuitionistic bounded arithmetic}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {77-103}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=77}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Cai-Hemachandra/86, AUTHOR = {Cai, J. and Hemachandra, L.}, TITLE = {The Booelan hierarchy}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {105-124}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=105}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Clote-Takeutei/86, AUTHOR = {Clote, P. and Takeutei, G.}, TITLE = {Exponential time and bounded arithmetic}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {125-143}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=125}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Condon-Ladner/86, AUTHOR = {Condon, A. and Ladner, R.}, TITLE = {Probabilistic game automata}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {144-162}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=144}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Dietzfelbinger-Maass/86, AUTHOR = {Dietzfelbinger, M. and Maass, W.}, TITLE = {Two lower bound arguments with ``inaccessible'' numbers}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {163-183}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=163}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Huynh/86, AUTHOR = {Huynh, D.}, TITLE = {Resource-bounded Kolmogorov complexity of hard languages}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {184-195}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=184}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Li-Longpre-Vitanyi/86, AUTHOR = {Li, M. and Longpr{\'e}, L. and Vit{\'a}nyi, P.}, TITLE = {The power of the queue}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {219-233}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=219}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Lynch/86, AUTHOR = {Lynch, J.}, TITLE = {A depth-size tradeoff for Boolean circuits with unbounded fan-in}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {234-248}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=234}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Maass-Schnitger/86, AUTHOR = {Maass, W. and Schnitger, G.}, TITLE = {An optimal lower bound for Turing machines with one work tape and a two-way input tape}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {249-264}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=249}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{McAloon/86, AUTHOR = {McAloon, K.}, TITLE = {Separation results for bounded alternation}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {265-271}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=265}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Parberry-Schnitger/86, AUTHOR = {Parberry, I. and Schnitger, G.}, TITLE = {Parallel computation with threshold functions}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {272-290}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=272}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Regan/86, AUTHOR = {Regan, K.}, TITLE = {The topology of provability in complexity theory}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {291-310}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=291}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Russo/86, AUTHOR = {Russo, D.}, TITLE = {Optimal approximations of complete sets}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {311-324}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=311}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Sipser/86, AUTHOR = {Sipser, M.}, TITLE = {Expanders, randomness, or time versus space}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {325-329}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=325}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Torenvliet-Boas/86, AUTHOR = {Torenvliet, L. and Boas, P. van Emde}, TITLE = {Diagonalisation methods in a polynomial setting}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {330-346}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=330}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Tretkoff/86, AUTHOR = {Tretkoff, C.}, TITLE = {Bounded oracles and complexity classes inside linear space}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {347-361}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=347}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Wilson/86, AUTHOR = {Wilson, C.}, TITLE = {Parallel computation and the NC hierarchy relativized}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {362-382}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=362}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Zachos/86, AUTHOR = {Zachos, S.}, TITLE = {Probabilistic quantifiers, adversaries, and complexity classes}, BOOKTITLE = {Proceedings of the 1st Annual Conference on Structure in Complexity Theory, CSCT'86 (Berkeley, California, June 1986)}, SERIES = {LNCS}, VOLUME = {223}, PAGES = {383-400}, YEAR = {1986}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=223&spage=383}, PUBLISHER = {Springer-Verlag}, ORGANIZATION = {ACM SIGACT and IEEE Computer Society}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Yoshihito/86, AUTHOR = {Yoshihito, Toyama}, TITLE = {On Equivalence Transformations for Term Rewriting}, BOOKTITLE = {Proceedings of RIMS Symposia on Software Science and Engineering II (Kyoto 183/184)}, SERIES = {LNCS}, VOLUME = {220}, PAGES = {44-61}, YEAR = {1986}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=220&spage=44}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Rivest-Shamir/86, AUTHOR = {Rivest, Ronald L. and Shamir, Adi}, TITLE = {Efficient Factoring Based on Partial Information}, BOOKTITLE = {Proceedings of Advances in Cryptology-Eurocrpyt '85}, SERIES = {LNCS}, VOLUME = {219}, PAGES = {31-34}, YEAR = {1986}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=219&spage=31}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Bellegarde/86, AUTHOR = {Bellegarde, Francoise}, TITLE = {Convergent Term Rewriting Systems can be Used for Program Transformation}, BOOKTITLE = {Programs as Data Objects}, SERIES = {LNCS}, VOLUME = {217}, PAGES = {24-41}, YEAR = {1986}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=217&spage=24}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @incollection{Nielson/86, AUTHOR = {Nielson, Flemming}, TITLE = {Abstract interpretation of denotational definitions}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {1-20}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Emerson-Lei/86, AUTHOR = {Emerson, E. Allen and Lei, Chin-Laung}, TITLE = {Temporal reasoning under generalized fairness constraints}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {21-36}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=21}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Caucal/86, AUTHOR = {Caucal, D.}, TITLE = {D{\'e}cidabilit{\'e} de l'{\'e}galit{\'e} des langages alg{\'e}briques infinitaires simples}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {37-48}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=37}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Escrig/86, AUTHOR = {Escrig, D. Frutos}, TITLE = {Some probabilistic powerdomains in the category SFP}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {49-59}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=49}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Abdallah/86, AUTHOR = {Abdallah, M.A. Nait}, TITLE = {Ions and local definitions in logic programming}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {60-72}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=60}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Spirakis/86, AUTHOR = {Spirakis, Paul G.}, TITLE = {Input sensitive, optimal parallel randomized algorithms for addition and identification}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {73-86}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=73}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Aarts-de_Bont-Habers-van_Laarhoven/86, AUTHOR = {Aarts, E.H.L. and de Bont, F.M.J. and Habers, J.H.A. and van Laarhoven, P.J.M.}, TITLE = {A parallel statistical cooling algorithm}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {87-97}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=87}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Lingas/86a, AUTHOR = {Lingas, Andrzej}, TITLE = {Subgraph isomorphism for biconnected outerplanar graphs in cubic time}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {98-104}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=98}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Hastad-Helfrich-Lagarias-Schnorr/86, AUTHOR = {Hastad, J. and Helfrich, B. and Lagarias, J. and Schnorr, C.P.}, TITLE = {Polynomial time algorithms for finding integer relations among real numbers}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {105-118}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=105}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Bodlaender-van_Leeuwen/86a, AUTHOR = {Bodlaender, H.L. and van Leeuwen, J.}, TITLE = {New upperbounds for decentralized extrema-finding in a ring of processors}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {119-129}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=119}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Tamassia-Tollis/86, AUTHOR = {Tamassia, Roberto and Tollis, Ioannis G.}, TITLE = {Algorithms for visibility representations of planar graphs}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {130-141}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=130}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Meyer_auf_der_Heide/86a, AUTHOR = {Meyer auf der Heide, Friedhelm}, TITLE = {Speeding up random access machines by few processors}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {142-152}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=142}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Lengauer/86a, AUTHOR = {Lengauer, Thomas}, TITLE = {Efficient algorithms for finding minimum spanning forests of hierarchically defined graphs}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {153-170}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=153}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Ibarra-Ravikumar/86, AUTHOR = {Ibarra, Oscar H. and Ravikumar, B.}, TITLE = {On sparseness, ambiguity and other decision problems for acceptors and transducers}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {171-179}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=171}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Pecuchet/86a, AUTHOR = {Pecuchet, Jean-Pierre}, TITLE = {Vari{\'e}t{\'e}s de semigroupes et mots infinis}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {180-191}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=180}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Duboc/86b, AUTHOR = {Duboc, Christine}, TITLE = {Equations in free partially commutative monoids}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {192-202}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=192}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Darondeau/86, AUTHOR = {Darondeau, Ph.}, TITLE = {Separating and testing}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {203-212}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=203}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Choffrut-Schutzenberger/86, AUTHOR = {Choffrut, C. and Schutzenberger, M.P.}, TITLE = {D{\'e}composition de fonctions rationnelles}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {213-226}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=213}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Schmidt/86, AUTHOR = {Schmidt, Ursula}, TITLE = {Long unavoidable patterns}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {227-235}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=227}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Bernot-Bidoit-Choppy/86a, AUTHOR = {Bernot, Gilles and Bidoit, Michel and Choppy, Christine}, TITLE = {Abstract implementations and correctness proofs}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {236-251}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=236}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Kelter/86, AUTHOR = {Kelter, Udo}, TITLE = {Strictness and serializability}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {252-261}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=252}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Gamatie/86, AUTHOR = {Gamatie, B.}, TITLE = {Towards specification and proof of asynchronous systems}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {262-276}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=262}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Hunt-Stearns/86, AUTHOR = {Hunt III, H.B. and Stearns, R.E.}, TITLE = {Monotone Boolean formulas, distributive lattices, and the complexities of logics, algebraic structures, and computation structures}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {277-290}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=277}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Kintala-Wotschke/86, AUTHOR = {Kintala, C.M.R. and Wotschke, Detlef}, TITLE = {Concurrent conciseness of degree, probabilistic, nondeterministic and deterministic finite automata}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {291-305}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=291}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Rosier-Yen/86b, AUTHOR = {Rosier, Louis E. and Yen, Hsu-Chun}, TITLE = {Logspace hierarchies, polynomial time and the complexity of fairness problems concerning $\omega$-machines}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {306-320}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=306}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Hartmanis-Hemachandra/86, AUTHOR = {Hartmanis, Juris and Hemachandra, L.}, TITLE = {On sparse oracles separating feasible complexity classes}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {321-333}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=321}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Balcazar-Book/86a, AUTHOR = {Balc{\'a}zar, Jos{\'e} L. and Book, Ronald V.}, TITLE = {On generalized Kolmogorov complexity}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {334-340}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=334}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Mehlhorn-Preparata/86a, AUTHOR = {Mehlhorn, Kurt and Preparata, F.P.}, TITLE = {Area-time optimal division for $T=\Omega((\log n)^{1+e})$}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {341-352}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=341}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Borodin-Fich-Meyer_auf_der_Heide-Upfal-Wigderson/86, AUTHOR = {Borodin, A. and Fich, F. and Meyer auf der Heide, F. and Upfal, E. and Wigderson, A.}, TITLE = {A time-space tradeoff for element distinctness}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {353-358}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=353}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, } @incollection{Reischuk/86, AUTHOR = {Reischuk, K. R{\"u}diger}, TITLE = {Parallel machines and their communication theoretical limits}, BOOKTITLE = {Proceedings of the 3rd Annual Symposium on Theoretical Aspects of Computer Science, STACS'86 (Orsay, France, January 16-18, 1986)}, SERIES = {LNCS}, VOLUME = {210}, PAGES = {359-368}, YEAR = {1986}, EDITOR = {Monien, B. and Vidal-Naquet, G.}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=210&spage=359}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Tokyo}, }