ACM-SIAM Symposium on Discrete Algorithms ; ACM Special Interest Group on Algorithms and Computation Theory ; SIAM Activity Group on Discrete Mathematics

sponsored by the ACM special interest group for Algorithms and Computation Theory

sponsored by the ACM Special Interest Group for Algorithms and Computation Theory

Hubert Comon (ed.)

sponsored by the ACM Special Interest Group for Algorithms and Computation Theory

Harald Ganzinger (ed.)

sponsored by the ACM Special Interest Group for Algorithms and Computation Theory

edited by Simon Knowles, William H. McAllister ; sponsored by IEEE Computer Society Technical Committee on VLSI

edited by Dexter Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Special Interest Group on Automata and Computability Theory of the ACM Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from AT & T Bell Laboratories IBM Almaden Research Center Rice University, University of California, San Diego

Alan Mycroft (ed.)

sponsored by the ACM Special Interest Group Algorithms and Computation Theory

Baudouin Le Charlier (ed.)

sponsored by the ACM Special Interest Group for Algorithms and Computation Theory

sponsored by the ACM Special Interest Group for Automata and Computability Theory

sponsored by the ACM Special Interest Group for Automata and Computability Theory

sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science

N. Dershowitz (ed.)

edited by David S. Johnson ... [et al.]

directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy

edited by M. Paul and B. Robinet

edited by Peter Pepper

edited by A. Salwicki

edited by Eiichi Goto ... [et al.]

COMPSAC ; IEEE Computer Society