%%% -*-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.",
}