%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "1.11", %%% date = "03 March 2014", %%% time = "13:00:56 MST", %%% filename = "stoc.bib", %%% address = "University of Utah %%% Department of Mathematics, 110 LCB %%% 155 S 1400 E RM 233 %%% Salt Lake City, UT 84112-0090 %%% USA", %%% telephone = "+1 801 581 5254", %%% FAX = "+1 801 581 4148", %%% URL = "http://www.math.utah.edu/~beebe", %%% checksum = "49749 1128 5124 48098", %%% email = "beebe at math.utah.edu, beebe at acm.org, %%% beebe at computer.org (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "bibliography; BibTeX; Symposium on the Theory %%% of Computing (STOC)", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a complete bibliography of the %%% proceedings volumes of the annual ACM %%% Symposia on the Theory of Computing (STOC). %%% It does not include individual papers in %%% these proceedings; they are covered in %%% separate companion bibliographies, %%% stoc19xx.bib and stoc20xx.bib. %%% %%% At version 1.11, the year coverage looked %%% like this: %%% %%% 1969 ( 1) 1984 ( 1) 1999 ( 1) %%% 1970 ( 1) 1985 ( 1) 2000 ( 1) %%% 1971 ( 1) 1986 ( 1) 2001 ( 1) %%% 1972 ( 1) 1987 ( 1) 2002 ( 1) %%% 1973 ( 1) 1988 ( 1) 2003 ( 1) %%% 1974 ( 1) 1989 ( 1) 2004 ( 1) %%% 1975 ( 1) 1990 ( 1) 2005 ( 1) %%% 1976 ( 1) 1991 ( 1) 2006 ( 1) %%% 1977 ( 1) 1992 ( 1) 2007 ( 1) %%% 1978 ( 1) 1993 ( 1) 2008 ( 1) %%% 1979 ( 1) 1994 ( 1) 2009 ( 1) %%% 1980 ( 1) 1995 ( 1) 2010 ( 1) %%% 1981 ( 1) 1996 ( 1) 2011 ( 1) %%% 1982 ( 1) 1997 ( 1) 2012 ( 1) %%% 1983 ( 1) 1998 ( 1) 2013 ( 1) %%% %%% Proceedings: 45 %%% %%% Total entries: 45 %%% %%% Data for this bibliography has been collected %%% primarily from the University of California %%% MELVYL catalog, with small amounts of missing %%% information supplied from the OCLC WorldCat %%% catalog. %%% %%% Numerous errors in the sources noted above %%% have been corrected. Spelling has been %%% verified with the UNIX spell and GNU ispell %%% programs using the exception dictionary %%% stored in the companion file with extension %%% .sok. %%% %%% BibTeX citation tags are uniformly chosen as %%% name:year:abbrev, where name is the family %%% name of the first author or editor, year is a %%% 4-digit number, and abbrev is a 3-letter %%% condensation of important title words. %%% Citation tags were automatically generated by %%% software developed for the BibNet Project. %%% %%% In this bibliography, entries are sorted %%% by ascending year using the bibsort -byyear %%% utility. Year order has been chosen to %%% make it easier to identify the most recent %%% work. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== %%% ==================================================================== %%% Acknowledgement abbreviations: @String{ack-nhfb = "Nelson H. F. Beebe, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1 801 581 4148, e-mail: \path|beebe@math.utah.edu|, \path|beebe@acm.org|, \path|beebe@computer.org| (Internet), URL: \path|http://www.math.utah.edu/~beebe/|"} %%% ==================================================================== %%% Publisher abbreviations: @String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY, USA"} %%% ==================================================================== %%% Bibliography entries: @Proceedings{ACM:1969:CRA, editor = "{ACM}", booktitle = "{Conference record of ACM Symposium on Theory of Computing; papers presented at the symposium, Marina del Rey, California, May 5, 6, 7, 1969}", title = "{Conference record of {ACM} Symposium on Theory of Computing; papers presented at the symposium, Marina del Rey, California, May 5, 6, 7, 1969}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 272", year = "1969", LCCN = "QA75.5 .A22 1969", bibdate = "Wed Feb 20 17:55:34 2002", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, xxISBN = "none", } @Proceedings{ACM:1970:CRS, editor = "{ACM}", booktitle = "{Conference record of second annual {ACM} Symposium on Theory of Computing: papers presented at the symposium, Northampton, Massachusetts, May 4, 5, 6, 1970}", title = "{Conference record of second annual {ACM} Symposium on Theory of Computing: papers presented at the symposium, Northampton, Massachusetts, May 4, 5, 6, 1970}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 230", year = "1970", LCCN = "QA75.5 .A22 1970", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, keywords = "electronic digital computers --- programming --- congresses; computational complexity --- congresses", xxISBN = "none", } @Proceedings{ACM:1971:CRT, editor = "{ACM}", booktitle = "{Conference record of third annual {ACM} Symposium on Theory of Computing: papers presented at the symposium, Shaker Heights, Ohio, May 3, 4, 5, 1971}", title = "{Conference record of third annual {ACM} Symposium on Theory of Computing: papers presented at the symposium, Shaker Heights, Ohio, May 3, 4, 5, 1971}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 266", year = "1971", LCCN = "QA75.5 .A22 1971", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, keywords = "electronic digital computers --- programming --- congresses; computational complexity --- congresses", xxISBN = "none", } @Proceedings{ACM:1972:CRF, editor = "{ACM}", booktitle = "{Conference record, Fourth Annual {ACM} Symposium on Theory of Computing: papers presented at the symposium, Denver, Colorado, May 1, 2, 3, 1972}", title = "{Conference record, Fourth Annual {ACM} Symposium on Theory of Computing: papers presented at the symposium, Denver, Colorado, May 1, 2, 3, 1972}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 263", year = "1972", LCCN = "QA76.6 .A13 1972", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, keywords = "electronic data processing --- congresses; programming (electronic computers) --- congresses", xxISBN = "none", } @Proceedings{ACM:1973:CRF, editor = "{ACM}", booktitle = "{Conference record of Fifth Annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Austin, Texas, April 30--May 2, 1973}", title = "{Conference record of Fifth Annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Austin, Texas, April 30--May 2, 1973}", publisher = pub-ACM, address = pub-ACM:adr, pages = "iv + 277", year = "1973", LCCN = "QA76.6 .A16 1973", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, keywords = "electronic digital computers --- programming --- congresses; computational complexity --- congresses; machine theory --- congresses", xxISBN = "none", } @Proceedings{ACM:1974:CRS, editor = "{ACM}", booktitle = "{Conference record of sixth annual {ACM} Symposium on Theory of Computing: papers presented at the symposium, Seattle, Washington, April 30--May 2, 1974}", title = "{Conference record of sixth annual {ACM} Symposium on Theory of Computing: papers presented at the symposium, Seattle, Washington, April 30--May 2, 1974}", publisher = pub-ACM, address = pub-ACM:adr, pages = "iv + 347", year = "1974", LCCN = "QA76.6 .A13 1974", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, keywords = "electronic digital computers --- programming --- congresses; computational complexity --- congresses", xxISBN = "none", } @Proceedings{ACM:1975:CRS, editor = "ACM", booktitle = "{Conference record of Seventh Annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Albuquerque, New Mexico, May 5--May 7, 1975}", title = "{Conference record of Seventh Annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Albuquerque, New Mexico, May 5--May 7, 1975}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 265", year = "1975", LCCN = "QA76.6 .A16 1975", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, keywords = "electronic digital computers --- programming --- congresses; computational complexity --- congresses; machine theory --- congresses", xxISBN = "none", } @Proceedings{ACM:1976:CRE, editor = "ACM", booktitle = "{Conference record of the eighth annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Hershey, Pennsylvania, May 3--5, 1976}", title = "{Conference record of the eighth annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Hershey, Pennsylvania, May 3--5, 1976}", publisher = pub-ACM, address = pub-ACM:adr, pages = "iv + 246", year = "1976", LCCN = "QA 76.6 A12 1976", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, keywords = "electronic digital computers --- programming --- congresses; computational complexity --- congresses", xxISBN = "none", } @Proceedings{ACM:1977:CRN, editor = "ACM", booktitle = "{Conference record of the ninth annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Boulder, Colorado, May 2--4, 1977}", title = "{Conference record of the ninth annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Boulder, Colorado, May 2--4, 1977}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 314", year = "1977", LCCN = "QA76.6 .A13 1977", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses; electronic digital computers --- programming --- congresses", xxISBN = "none", } @Proceedings{ACM:1978:CRT, editor = "ACM", booktitle = "{Conference record of the tenth annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, San Diego, California, May 1--3, 1978}", title = "{Conference record of the tenth annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, San Diego, California, May 1--3, 1978}", publisher = pub-ACM, address = pub-ACM:adr, pages = "iv + 346", year = "1978", LCCN = "QA76.6.A13 1978", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses; electronic digital computers --- programming --- congresses", xxISBN = "none", } @Proceedings{ACM:1979:CRE, editor = "{ACM}", booktitle = "{Conference record of the eleventh annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Atlanta, Georgia, April 30--May 2, 1979}", title = "{Conference record of the eleventh annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Atlanta, Georgia, April 30--May 2, 1979}", publisher = pub-ACM, address = pub-ACM:adr, pages = "vii + 368", year = "1979", LCCN = "QA75.5.A14 1979", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", xxISBN = "none", } @Proceedings{ACM:1980:CPT, editor = "ACM", booktitle = "{Conference proceedings of the twelfth annual {ACM} Symposium on Theory of Computing: papers presented at the symposium, Los Angeles, California, April 28--30, 1980}", title = "{Conference proceedings of the twelfth annual {ACM} Symposium on Theory of Computing: papers presented at the symposium, Los Angeles, California, April 28--30, 1980}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 447", year = "1980", ISBN = "0-89791-017-6 (paperback)", ISBN-13 = "978-0-89791-017-0 (paperback)", LCCN = "QA 76.6 A13 1980", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508800.", price = "US\$17.00 (US\$14.00 to members)", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses; electronic digital computers --- programming --- congresses", } @Proceedings{ACM:1981:CPT, editor = "ACM", booktitle = "{Conference proceedings of the Thirteenth Annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Milwaukee, Wisconsin, May 11--13, 1981}", title = "{Conference proceedings of the Thirteenth Annual {ACM} Symposium on Theory of Computing: papers presented at the Symposium, Milwaukee, Wisconsin, May 11--13, 1981}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 391", year = "1981", ISBN = "0-89791-041-9 (paperback)", ISBN-13 = "978-0-89791-041-5 (paperback)", LCCN = "QA76.6 .A13 1981", bibdate = "Thu Dec 03 08:30:27 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508810. Also published in {\em Journal of computer and system sciences}, vol. 26, no. 3.", acknowledgement = ack-nhfb, keywords = "Electronic digital computers --- Programming --- Congresses.; Machine theory --- Congresses.; Computational complexity --- Congresses.", } @Proceedings{ACM:1982:PFA, editor = "{ACM}", booktitle = "{Proceedings of the fourteenth annual {ACM} Symposium on Theory of Computing, San Francisco, California, May 5--7, 1982}", title = "{Proceedings of the fourteenth annual {ACM} Symposium on Theory of Computing, San Francisco, California, May 5--7, 1982}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 408", year = "1982", ISBN = "0-89791-070-2", ISBN-13 = "978-0-89791-070-5", LCCN = "QA75.5 .A14 1982", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508820.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses; programming (electronic computers) --- congresses", } @Proceedings{ACM:1983:PFA, editor = "{ACM}", booktitle = "{Proceedings of the fifteenth annual {ACM} Symposium on Theory of Computing, Boston, Massachusetts, April 25--27, 1983}", title = "{Proceedings of the fifteenth annual {ACM} Symposium on Theory of Computing, Boston, Massachusetts, April 25--27, 1983}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 487", year = "1983", ISBN = "0-89791-099-0", ISBN-13 = "978-0-89791-099-6", LCCN = "QA75.5.A14 1983", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508830.", acknowledgement = ack-nhfb, annote = "Sponsored by the ACM Special Interest Group for Automata and Computability Theory.", keywords = "computational complexity --- congresses; electronic digital computers --- programming --- congresses", } @Proceedings{ACM:1984:PSA, editor = "{ACM}", booktitle = "{Proceedings of the sixteenth annual {ACM} Symposium on Theory of Computing, Washington, DC, April 30--May 2, 1984}", title = "{Proceedings of the sixteenth annual {ACM} Symposium on Theory of Computing, Washington, {DC}, April 30--May 2, 1984}", publisher = pub-ACM, address = pub-ACM:adr, pages = "vi + 547", year = "1984", ISBN = "0-89791-133-4", ISBN-13 = "978-0-89791-133-7", LCCN = "QA 76.6 A13 1984", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508840.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1985:PSA, editor = "{ACM}", booktitle = "{Proceedings of the seventeenth annual {ACM} Symposium on Theory of Computing, Providence, Rhode Island, May 6--8, 1985}", title = "{Proceedings of the seventeenth annual {ACM} Symposium on Theory of Computing, Providence, Rhode Island, May 6--8, 1985}", publisher = pub-ACM, address = pub-ACM:adr, pages = "vi + 484", year = "1985", ISBN = "0-89791-151-2 (paperback)", ISBN-13 = "978-0-89791-151-1 (paperback)", LCCN = "QA 76.6 A13 1985", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508850.", acknowledgement = ack-nhfb, keywords = "electronic digital computers --- programming --- congresses; computational complexity --- congresses", } @Proceedings{ACM:1986:PEA, editor = "{ACM}", booktitle = "{Proceedings of the Eighteenth annual {ACM} Symposium on Theory of Computing, Berkeley, California, May 28--30, 1986}", title = "{Proceedings of the Eighteenth annual {ACM} Symposium on Theory of Computing, Berkeley, California, May 28--30, 1986}", publisher = pub-ACM, address = pub-ACM:adr, pages = "v + 461", year = "1986", ISBN = "0-89791-193-8", ISBN-13 = "978-0-89791-193-1", LCCN = "QA 76.6 A13 1986", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508860.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses; programming (electronic computers) --- congresses", } @Proceedings{ACM:1987:PNA, editor = "{ACM}", booktitle = "{Proceedings of the nineteenth annual {ACM} Symposium on Theory of Computing, New York City, May 25--27, 1987}", title = "{Proceedings of the nineteenth annual {ACM} Symposium on Theory of Computing, New York City, May 25--27, 1987}", publisher = pub-ACM, address = pub-ACM:adr, pages = "viii + 471", year = "1987", ISBN = "0-89791-221-7 (paperback)", ISBN-13 = "978-0-89791-221-1 (paperback)", LCCN = "QA 76.6 A13 1987", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508870", acknowledgement = ack-nhfb, keywords = "electronic digital computers --- programming --- congresses; computational complexity --- congresses", } @Proceedings{ACM:1988:PTA, editor = "{ACM}", booktitle = "{Proceedings of the twentieth annual {ACM} Symposium on Theory of Computing, Chicago, Illinois, May 2--4, 1988}", title = "{Proceedings of the twentieth annual {ACM} Symposium on Theory of Computing, Chicago, Illinois, May 2--4, 1988}", publisher = pub-ACM, address = pub-ACM:adr, pages = "viii + 553", year = "1988", ISBN = "0-89791-264-0", ISBN-13 = "978-0-89791-264-8", LCCN = "QA 76.6 A13 1988", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508880.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1989:PTF, editor = "{ACM}", booktitle = "{Proceedings of the twenty-first annual {ACM} Symposium on Theory of Computing, Seattle, Washington, May 15--17, 1989}", title = "{Proceedings of the twenty-first annual {ACM} Symposium on Theory of Computing, Seattle, Washington, May 15--17, 1989}", publisher = pub-ACM, address = pub-ACM:adr, pages = "viii + 600", year = "1989", ISBN = "0-89791-307-8", ISBN-13 = "978-0-89791-307-2", LCCN = "QA 76.6 A13 1989", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508890.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1990:PTS, editor = "{ACM}", booktitle = "{Proceedings of the twenty-second annual {ACM} Symposium on Theory of Computing, Baltimore, Maryland, May 14--16, 1990}", title = "{Proceedings of the twenty-second annual {ACM} Symposium on Theory of Computing, Baltimore, Maryland, May 14--16, 1990}", publisher = pub-ACM, address = pub-ACM:adr, pages = "viii + 574", year = "1990", ISBN = "0-89791-361-2", ISBN-13 = "978-0-89791-361-4", LCCN = "QA76.A15 1990", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508900.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1991:PTT, editor = "{ACM}", booktitle = "{Proceedings of the twenty third annual {ACM} Symposium on Theory of Computing, New Orleans, Louisiana, May 6--8, 1991}", title = "{Proceedings of the twenty third annual {ACM} Symposium on Theory of Computing, New Orleans, Louisiana, May 6--8, 1991}", publisher = pub-ACM, address = pub-ACM:adr, pages = "vii + 573", year = "1991", ISBN = "0-89791-397-3", ISBN-13 = "978-0-89791-397-3", LCCN = "QA 76.6 A13 1991", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508910.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1992:PTF, editor = "{ACM}", booktitle = "{Proceedings of the twenty-fourth annual {ACM} Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 4--6, 1992}", title = "{Proceedings of the twenty-fourth annual {ACM} Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 4--6, 1992}", publisher = pub-ACM, address = pub-ACM:adr, pages = "ix + 784", year = "1992", ISBN = "0-89791-511-9", ISBN-13 = "978-0-89791-511-3", LCCN = "QA76.A15 1992", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508920.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1993:PTF, editor = "{ACM}", booktitle = "{Proceedings of the twenty-fifth annual {ACM} Symposium on the Theory of Computing, San Diego, California, May 16--18, 1993}", title = "{Proceedings of the twenty-fifth annual {ACM} Symposium on the Theory of Computing, San Diego, California, May 16--18, 1993}", publisher = pub-ACM, address = pub-ACM:adr, pages = "ix + 812", year = "1993", ISBN = "0-89791-591-7", ISBN-13 = "978-0-89791-591-5", LCCN = "QA 76.6 A13 1993", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508930.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1994:PTS, editor = "{ACM}", booktitle = "{Proceedings of the twenty-sixth annual {ACM} Symposium on the Theory of Computing: Montreal, Quebec, Canada, May 23--25, 1994}", title = "{Proceedings of the twenty-sixth annual {ACM} Symposium on the Theory of Computing: Montreal, Quebec, Canada, May 23--25, 1994}", publisher = pub-ACM, address = pub-ACM:adr, pages = "ix + 822", year = "1994", ISBN = "0-89791-663-8", ISBN-13 = "978-0-89791-663-9", LCCN = "QA76 .A15 1994", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508930.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1995:PTS, editor = "{ACM}", booktitle = "{Proceedings of the twenty-seventh annual {ACM} Symposium on Theory of Computing: Las Vegas, Nevada, May 29--June 1, 1995}", title = "{Proceedings of the twenty-seventh annual {ACM} Symposium on Theory of Computing: Las Vegas, Nevada, May 29--June 1, 1995}", publisher = pub-ACM, address = pub-ACM:adr, pages = "viii + 763", year = "1995", ISBN = "0-89791-718-9", ISBN-13 = "978-0-89791-718-6", LCCN = "QA 76.6 A13 1995", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508950.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1996:PTE, editor = "{ACM}", booktitle = "{Proceedings of the twenty-eighth annual {ACM} Symposium on the Theory of Computing, Philadelphia, Pennsylvania, May 22--24, 1996}", title = "{Proceedings of the twenty-eighth annual {ACM} Symposium on the Theory of Computing, Philadelphia, Pennsylvania, May 22--24, 1996}", publisher = pub-ACM, address = pub-ACM:adr, pages = "ix + 661", year = "1996", ISBN = "0-89791-785-5", ISBN-13 = "978-0-89791-785-8", LCCN = "QA 76.6 A13 1996", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508960. Also known as Federated Computing Research Conference (FCRS '96).", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1997:PTN, editor = "{ACM}", booktitle = "{Proceedings of the twenty-ninth annual {ACM} Symposium on the Theory of Computing: El Paso, Texas, May 4--6, 1997}", title = "{Proceedings of the twenty-ninth annual {ACM} Symposium on the Theory of Computing: El Paso, Texas, May 4--6, 1997}", publisher = pub-ACM, address = pub-ACM:adr, pages = "ix + 751", year = "1997", ISBN = "0-89791-888-6", ISBN-13 = "978-0-89791-888-6", LCCN = "QA76.5 .A849 1997", bibdate = "Thu Dec 3 07:11:18 MST 1998", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order no. 508970.", acknowledgement = ack-nhfb, keywords = "computational complexity --- congresses", } @Proceedings{ACM:1998:PTA, editor = "{ACM}", booktitle = "{Proceedings of the thirtieth annual {ACM} Symposium on Theory of Computing: Dallas, Texas, May 23--26, 1998}", title = "{Proceedings of the thirtieth annual {ACM} Symposium on Theory of Computing: Dallas, Texas, May 23--26, 1998}", publisher = pub-ACM, address = pub-ACM:adr, pages = "x + 684", year = "1998", ISBN = "0-89791-962-9", ISBN-13 = "978-0-89791-962-3", LCCN = "QA75.5 .A14 1998", bibdate = "Sat Oct 28 16:10:32 MDT 2000", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order number 508980.", acknowledgement = ack-nhfb, keywords = "electronic digital computers -- congresses; electronic data processing -- congresses; computer programming -- congresses; computational complexity -- congresses", } @Proceedings{ACM:1999:PTF, editor = "{ACM}", booktitle = "{Proceedings of the thirty-first annual {ACM} Symposium on Theory of Computing: Atlanta, Georgia, May 1--4, 1999}", title = "{Proceedings of the thirty-first annual {ACM} Symposium on Theory of Computing: Atlanta, Georgia, May 1--4, 1999}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xi + 790", year = "1999", ISBN = "1-58113-067-8", ISBN-13 = "978-1-58113-067-6", LCCN = "QA75.5 .A14 1999", bibdate = "Sat Oct 28 16:10:32 MDT 2000", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order number 508990.", acknowledgement = ack-nhfb, keywords = "electronic digital computers -- congresses; electronic data processing -- congresses; computer programming -- congresses; computational complexity -- congresses", } @Proceedings{ACM:2000:PTS, editor = "{ACM}", booktitle = "{Proceedings of the thirty second annual {ACM} Symposium on Theory of Computing: Portland, Oregon, May 21--23, [2000]}", title = "{Proceedings of the thirty second annual {ACM} Symposium on Theory of Computing: Portland, Oregon, May 21--23, [2000]}", publisher = pub-ACM, address = pub-ACM:adr, pages = "ix + 756", year = "2000", ISBN = "1-58113-184-4", ISBN-13 = "978-1-58113-184-0", bibdate = "Sat Oct 28 16:10:32 MDT 2000", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order number 508000.", acknowledgement = ack-nhfb, keywords = "electronic digital computers -- congresses; electronic data processing -- congresses; computer programming -- congresses; computational complexity -- congresses; online resources", } @Proceedings{ACM:2001:PAA, editor = "{ACM}", booktitle = "{Proceedings of the 33rd Annual ACM Symposium on Theory of Computing: Hersonissos, Crete, Greece, July 6--8, 2001}", title = "{Proceedings of the 33rd Annual {ACM} Symposium on Theory of Computing: Hersonissos, Crete, Greece, July 6--8, 2001}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xii + 757", year = "2001", ISBN = "1-58113-349-9", ISBN-13 = "978-1-58113-349-3", LCCN = "QA76.6 .A13 2001", bibdate = "Wed Feb 20 17:51:33 2002", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order number 508010.", acknowledgement = ack-nhfb, } @Proceedings{ACM:2002:PTF, editor = "{ACM}", booktitle = "{Proceedings of the Thiry-Fourth Annual {ACM} Symposium on Theory of Computing, Montr{\'e}al, Qu{\'e}bec, Canada, May 19--21, 2002}", title = "{Proceedings of the Thiry-Fourth Annual {ACM} Symposium on Theory of Computing, Montr{\'e}al, Qu{\'e}bec, Canada, May 19--21, 2002}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xv + 824", year = "2002", ISBN = "1-58113-495-9", ISBN-13 = "978-1-58113-495-7", LCCN = "QA75.5 .A22 2002", bibdate = "Tue Jan 13 06:29:11 2004", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order number 508020.", acknowledgement = ack-nhfb, } @Proceedings{ACM:2003:PTF, editor = "{ACM}", booktitle = "{Proceedings of the Thirty-Fifth ACM Symposium on Theory of Computing, San Diego, CA, USA, June 9--11, 2003}", title = "{Proceedings of the Thirty-Fifth ACM Symposium on Theory of Computing, San Diego, CA, USA, June 9--11, 2003}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xii + 728", year = "2003", ISBN = "1-58113-674-9", ISBN-13 = "978-1-58113-674-6", LCCN = "QA75.5 .A22 2003", bibdate = "Tue Jan 13 06:29:11 2004", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", note = "ACM order number 508030.", acknowledgement = ack-nhfb, } @Proceedings{ACM:2004:PAA, editor = "ACM", booktitle = "{Proceedings of the 36th Annual ACM Symposium on the Theory of Computing: Chicago, Illinois, USA, June 13--15, 2004}", title = "{Proceedings of the 36th Annual ACM Symposium on the Theory of Computing: Chicago, Illinois, USA, June 13--15, 2004}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xvii + 646", year = "2004", ISBN = "1-58113-852-0", ISBN-13 = "978-1-58113-852-8", LCCN = "QA75.5 .A22 2004", bibdate = "Wed Apr 5 06:05:06 MDT 2006", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib; melvyl.cdlib.org:210/CDL90", acknowledgement = ack-nhfb, meetingname = "ACM Symposium on Theory of Computing (36th: 2004: Chicago, Ill.)", remark = "ACM order number 508040.", subject = "Electronic digital computers; Congresses; Computer programming; Computational complexity; Electronic data processing", } @Proceedings{ACM:2005:SPA, editor = "{ACM}", booktitle = "{STOC '05: proceedings of the 37th Annual ACM Symposium on Theory of Computing: Baltimore, Maryland, USA, May 22--24, 2005}", title = "{STOC '05: proceedings of the 37th Annual ACM Symposium on Theory of Computing: Baltimore, Maryland, USA, May 22--24, 2005}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xiv + 770", year = "2005", ISBN = "1-58113-960-8", ISBN-13 = "978-1-58113-960-0", LCCN = "QA75.5 A22 2005", bibdate = "Wed Apr 5 05:53:41 MDT 2006", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib; melvyl.cdlib.org:210/CDL90", acknowledgement = ack-nhfb, meetingname = "ACM Symposium on Theory of Computing (37th: 2005: Baltimore, MD)", remark = "ACM order number 508050.", subject = "Electronic digital computers; Congresses; Electronic data processing; Computer programming; Computational complexity", } @Proceedings{ACM:2006:SPT, editor = "{ACM}", booktitle = "{STOC'06: Proceedings of the Thirty-Eighth Annual ACM Symposium on Theory of Computing 2006, Seattle, WA, USA, May 21--23, 2006}", title = "{STOC'06: Proceedings of the Thirty-Eighth Annual ACM Symposium on Theory of Computing 2006, Seattle, WA, USA, May 21--23, 2006}", publisher = pub-ACM, address = pub-ACM:adr, pages = "770 (est.)", year = "2006", ISBN = "1-59593-134-1", ISBN-13 = "978-1-59593-134-4", LCCN = "QA75.5 .A22 2006", bibdate = "Thu May 25 06:13:58 2006", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib; http://www.math.utah.edu/pub/tex/bib/stoc2000.bib; http://www.math.utah.edu/pub/tex/bib/stoc2010.bib; z3950.gbv.de:20011/gvk", note = "ACM order number 508060.", URL = "http://portal.acm.org/citation.cfm?id=1132516", acknowledgement = ack-nhfb, } @Proceedings{ACM:2007:SPA, editor = "{ACM}", booktitle = "{STOC '07: proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11--13, 2007}", title = "{STOC '07: proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11--13, 2007}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xv + 718", year = "2007", ISBN = "1-59593-631-9", ISBN-13 = "9781-595-9363-1-8", LCCN = "QA75.5 .A22 2007", bibdate = "Fri Jun 20 18:35:01 MDT 2008", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib; z3950.bibsys.no:2100/BIBSYS", acknowledgement = ack-nhfb, } @Proceedings{ACM:2008:SPA, editor = "{ACM}", booktitle = "{STOC '08: proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17--20, 2008}", title = "{STOC '08: proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17--20, 2008}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xv + 798", year = "2008", ISBN = "1-60558-047-3", ISBN-13 = "978-1-60558-047-0", LCCN = "QA76.6 .A152 2008", bibdate = "Fri Jun 20 18:35:01 MDT 2008", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib", acknowledgement = ack-nhfb, } @Proceedings{ACM:2009:SPA, editor = "{ACM}", booktitle = "{STOC '09: proceedings of the 2009 ACM International Symposium on Theory of Computing, Bethesda, Maryland, USA, May 31--June 2, 2009}", title = "{STOC '09: proceedings of the 2009 ACM International Symposium on Theory of Computing, Bethesda, Maryland, USA, May 31--June 2, 2009}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xiii + 736", year = "2009", ISBN = "1-60558-613-7", ISBN-13 = "978-1-60558-613-7", LCCN = "QA75.5 .A22 2009", bibdate = "Wed Sep 1 10:36:45 MDT 2010", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc.bib; z3950.bibsys.no:2100/BIBSYS", acknowledgement = ack-nhfb, remark = "41st annual STOC meeting.", } @Proceedings{ACM:2010:SPA, editor = "{ACM}", booktitle = "{STOC'10: Proceedings of the 2010 ACM International Symposium on Theory of Computing: June 5--8, 2010, Cambridge, MA, USA}", title = "{STOC'10: Proceedings of the 2010 ACM International Symposium on Theory of Computing: June 5--8, 2010, Cambridge, MA, USA}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xiv + 797", year = "2010", ISBN = "1-60558-817-2", ISBN-13 = "978-1-60558-817-9", LCCN = "QA 76.6 .A152 2010", bibdate = "Wed Sep 1 10:37:53 MDT 2010", bibsource = "z3950.gbv.de:20011/gvk; http://www.math.utah.edu/pub/tex/bib/stoc.bib; http://www.math.utah.edu/pub/tex/bib/stoc2010.bib", URL = "http://www.gbv.de/dms/tib-ub-hannover/63314455x.", acknowledgement = ack-nhfb, remark = "42nd annual STOC meeting.", } @Proceedings{ACM:2011:SPA, editor = "{ACM}", booktitle = "{STOC'11: Proceedings of the 2011 ACM International Symposium on Theory of Computing: June 6--8, 2011, San Jose, CA, USA}", title = "{STOC'11: Proceedings of the 2011 ACM International Symposium on Theory of Computing: June 6--8, 2011, San Jose, CA, USA}", publisher = pub-ACM, address = pub-ACM:adr, pages = "xxx + 822 (est.)", year = "2011", ISBN = "1-4503-0691-8", ISBN-13 = "978-1-4503-0691-1", LCCN = "????", bibdate = "Wed Sep 1 10:37:53 MDT 2010", bibsource = "z3950.gbv.de:20011/gvk; http://www.math.utah.edu/pub/tex/bib/stoc.bib; http://www.math.utah.edu/pub/tex/bib/stoc2010.bib", URL = "http://www.gbv.de/dms/tib-ub-hannover/63314455x.", acknowledgement = ack-nhfb, remark = "43rd annual STOC meeting.", } @Proceedings{ACM:2012:SPA, editor = "{ACM}", booktitle = "{STOC'12: Proceedings of the 2012 ACM International Symposium on Theory of Computing: May 19--22, 2012, New York, NY, USA}", title = "{STOC'12: Proceedings of the 2012 ACM International Symposium on Theory of Computing: May 19--22, 2012, New York, NY, USA}", publisher = pub-ACM, address = pub-ACM:adr, pages = "1292 (est.)", year = "2012", ISBN = "1-4503-1245-4", ISBN-13 = "978-1-4503-1245-5", LCCN = "????", bibdate = "Thu Nov 08 19:12:21 2012", bibsource = "http://www.math.utah.edu/pub/tex/bib/stoc2010.bib; http://www.math.utah.edu/pub/tex/bib/stoc.bib; z3950.gbv.de:20011/gvk", URL = "http://www.gbv.de/dms/tib-ub-hannover/63314455x.", acknowledgement = ack-nhfb, remark = "44th annual STOC meeting.", } @Proceedings{ACM:2013:SPF, editor = "{ACM}", booktitle = "{STOC '13: Proceedings of the Forty-fifth Annual ACM Symposium on Theory of Computing: June 1--4, 2013, Palo Alto, California, USA}", title = "{STOC '13: Proceedings of the Forty-fifth Annual ACM Symposium on Theory of Computing: June 1--4, 2013, Palo Alto, California, USA}", publisher = pub-ACM, address = pub-ACM:adr, pages = "980 (est.)", year = "2013", ISBN = "1-4503-2029-5", ISBN-13 = "978-1-4503-2029-0", bibdate = "Mon Mar 3 06:36:05 2014", bibsource = "http://www.math.utah.edu/pub/tex/bib/datacompression.bib; http://www.math.utah.edu/pub/tex/bib/prng.bib; http://www.math.utah.edu/pub/tex/bib/stoc.bib; http://www.math.utah.edu/pub/tex/bib/stoc2010.bib", acknowledgement = ack-nhfb, remark = "45th annual STOC meeting.", }