%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "2.01",
%%% date = "23 March 2007",
%%% time = "06:39:35 MDT",
%%% filename = "focs.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 = "24122 1223 5534 52126",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography; BibTeX; IEEE Foundations of
%%% Computer Science (FOCS); IEEE Symposia on
%%% Switching and Automata Theory",
%%% license = "public domain",
%%% supported = "yes",
%%% docstring = "This is a bibliography of the proceedings
%%% volumes of the annual IEEE symposia on the
%%% Foundations of Computer Science (CODEN
%%% ASFPDV, ISSN 0272-5428) (1975--date).
%%% It does NOT include individual papers in
%%% these proceedings; they are covered in
%%% separate companion bibliographies,
%%% focs19xx.bib.
%%%
%%% These symposia began with number 16 in 1975,
%%% as a continuation of the earlier IEEE Annual
%%% Symposia on Switching and Automata Theory
%%% (1965--1974). Those in turn continued the
%%% IEEE Annual Symposia on Switching Circuit
%%% Theory and Logical Design (1960--1964).
%%% There are rudimentary entries provided for
%%% all of these early conferences, but the
%%% titles need improvement.
%%%
%%% The publisher's own IEEE Xplore database has
%%% data only for 1984, and 1988--date, and the
%%% IEEE INSPEC database has book entries (but
%%% not papers) only for 1969--1973.
%%%
%%% The publisher's World-Wide Web site
%%% (accessible by subscription only) for
%%% these conferences is
%%%
%%% http://ieeexplore.ieee.org/lpdocs/epic03/conferences.htm?findtitle1=Foundations+of+Computer+Science&findtitle=Foundations+of+Computer+Science&srchtitle=yes
%%%
%%% At version 2.01, the year coverage looked
%%% like this:
%%%
%%% 1960 ( 1) 1975 ( 1) 1990 ( 1)
%%% 1961 ( 1) 1976 ( 1) 1991 ( 1)
%%% 1962 ( 1) 1977 ( 1) 1992 ( 1)
%%% 1963 ( 1) 1978 ( 1) 1993 ( 1)
%%% 1964 ( 1) 1979 ( 1) 1994 ( 1)
%%% 1965 ( 1) 1980 ( 1) 1995 ( 1)
%%% 1966 ( 1) 1981 ( 1) 1996 ( 1)
%%% 1967 ( 1) 1982 ( 1) 1997 ( 1)
%%% 1968 ( 1) 1983 ( 1) 1998 ( 1)
%%% 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)
%%%
%%% 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-IEEE = "IEEE Computer Society Press"}
@String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver
Spring, MD 20910, USA"}
%%% ====================================================================
%%% Bibliography entries:
@Proceedings{IEEE:1960:SCT,
editor = "{IEEE}",
booktitle = "Switching Circuit Theory and Logical Design. 1st
Annual Symposium. Selected papers and program. October
9--14, 1960",
title = "Switching Circuit Theory and Logical Design. 1st
Annual Symposium. Selected papers and program. October
9--14, 1960",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "????",
year = "1960",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "????",
bibdate = "Fri Feb 22 07:41:20 MST 2002",
acknowledgement = ack-nhfb,
annote = "These proceedings may have included only in the 1961
proceedings, according to one library catalog record.",
keywords = "switching theory -- congresses",
}
@Proceedings{IEEE:1961:SCT,
editor = "{IEEE}",
booktitle = "Switching Circuit Theory and Logical Design. October
17--20, 1961, Detroit, MI",
title = "Switching Circuit Theory and Logical Design. October
17--20, 1961, Detroit, {MI}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "????",
year = "1961",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "????",
bibdate = "Fri Feb 22 07:41:20 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses",
}
@Proceedings{IEEE:1962:PTA,
editor = "{IEEE}",
booktitle = "Proceedings of the Third Annual Symposium on Switching
Circuit Theory and Logical Design: Chicago, October
7--12, 1962",
title = "Proceedings of the Third Annual Symposium on Switching
Circuit Theory and Logical Design: Chicago, October
7--12, 1962",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "199",
year = "1962",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "????",
bibdate = "Fri Feb 22 07:41:20 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses",
}
@Proceedings{IEEE:1963:SCT,
editor = "{IEEE}",
booktitle = "Switching circuit theory and logical design:
proceedings of the fourth annual symposium: Chicago,
Ill., October 28--30, 1963",
title = "Switching circuit theory and logical design:
proceedings of the fourth annual symposium: Chicago,
Ill., October 28--30, 1963",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "152",
year = "1963",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1963-64",
bibdate = "Fri Feb 22 07:41:20 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses",
}
@Proceedings{IEEE:1964:SCT,
editor = "{IEEE}",
booktitle = "Switching circuit theory and logical design:
proceedings of the fifth annual symposium: Princeton,
{N.J.}, November 11--13, 1964",
title = "Switching circuit theory and logical design:
proceedings of the fifth annual symposium: Princeton,
{N.J.}, November 11--13, 1964",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "248",
year = "1964",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1963-64",
bibdate = "Fri Feb 22 07:41:20 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses",
}
@Proceedings{IEEE:1965:ICR,
editor = "{IEEE}",
booktitle = "1965 {IEEE} conference record on switching circuit
theory and logical design; papers presented at the
sixth annual symposium, University of Michigan, Ann
Arbor, Mich., October 6--8, 1965",
title = "1965 {IEEE} conference record on switching circuit
theory and logical design; papers presented at the
sixth annual symposium, University of Michigan, Ann
Arbor, Mich., October 6--8, 1965",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "326",
year = "1965",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "QA267 .S95 1965",
bibdate = "Fri Feb 22 07:41:20 MST 2002",
acknowledgement = ack-nhfb,
keywords = "machine theory -- congresses; switching theory --
congresses",
}
@Proceedings{IEEE:1966:ICR,
editor = "{IEEE}",
booktitle = "{IEEE} conference record of 1966 seventh annual
symposium on switching and automata theory : papers
presented at the seventh annual symposium : University
of California, Berkeley, Calif., October 26-28, 1966",
title = "{IEEE} conference record of 1966 seventh annual
symposium on switching and automata theory : papers
presented at the seventh annual symposium : University
of California, Berkeley, Calif., October 26-28, 1966",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "304",
year = "1966",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1966",
bibdate = "Fri Feb 22 07:16:19 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses",
}
@Proceedings{IEEE:1967:ICR,
editor = "{IEEE}",
booktitle = "{IEEE} conference record of 1967 Eighth Annual
Symposium on Switching and Automata Theory : papers
presented at the Eighth Annual Symposium, University of
Texas, October 18--20, 1967",
title = "{IEEE} conference record of 1967 Eighth Annual
Symposium on Switching and Automata Theory : papers
presented at the Eighth Annual Symposium, University of
Texas, October 18--20, 1967",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "335",
year = "1967",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "????",
bibdate = "Fri Feb 22 07:16:19 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses; sequential machine
theory -- congresses; robots -- congresses",
}
@Proceedings{IEEE:1968:ICR,
editor = "{IEEE}",
booktitle = "{IEEE} conference record of 1968 ninth annual
Symposium on Switching and Automata Theory : papers
presented at the ninth annual Symposium, Schenectady,
New York, October 15--18, 1968",
title = "{IEEE} conference record of 1968 ninth annual
Symposium on Switching and Automata Theory : papers
presented at the ninth annual Symposium, Schenectady,
New York, October 15--18, 1968",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "448",
year = "1968",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1968",
bibdate = "Fri Feb 22 07:16:19 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses; sequential machine
theory -- congresses; automata -- congresses",
}
@Proceedings{IEEE:1969:ICR,
editor = "{IEEE}",
booktitle = "{IEEE} conference record of 1969 tenth annual
Symposium on Switching and Automata Theory : papers
presented at the tenth annual Symposium, Waterloo,
Ontario, Canada, October 15--17, 1969",
title = "{IEEE} conference record of 1969 tenth annual
Symposium on Switching and Automata Theory : papers
presented at the tenth annual Symposium, Waterloo,
Ontario, Canada, October 15--17, 1969",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "276",
year = "1969",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1969",
bibdate = "Fri Feb 22 07:16:19 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses; sequential machine
theory -- congresses; automata -- congresses",
}
@Proceedings{IEEE:1970:ICR,
editor = "{IEEE}",
booktitle = "{IEEE} conference record of 1970 Eleventh Annual
Symposium on Switching and Automata Theory : papers
presented at the Eleventh Annual Symposium, Santa
Monica, Calif., October 28--30, 1970",
title = "{IEEE} conference record of 1970 Eleventh Annual
Symposium on Switching and Automata Theory : papers
presented at the Eleventh Annual Symposium, Santa
Monica, Calif., October 28--30, 1970",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "239",
year = "1970",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1970",
bibdate = "Fri Feb 22 07:16:19 MST 2002",
acknowledgement = ack-nhfb,
keywords = "computers -- circuits -- congresses; switching theory
-- congresses",
}
@Proceedings{IEEE:1971:CRT,
editor = "{IEEE}",
booktitle = "Conference record, 1971 twelfth annual Symposium on
Switching and Automata Theory : papers presented at the
twelfth annual symposium, East Lansing, Mich., October
13--15, 1971",
title = "Conference record, 1971 twelfth annual Symposium on
Switching and Automata Theory : papers presented at the
twelfth annual symposium, East Lansing, Mich., October
13--15, 1971",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "v + 218",
year = "1971",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1971",
bibdate = "Fri Feb 22 07:16:19 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses; sequential machine
theory -- congresses; automata -- congresses",
}
@Proceedings{IEEE:1972:ASS,
editor = "{IEEE}",
booktitle = "13th Annual Symposium on Switching and Automata
Theory, October 25--27, 1972",
title = "13th Annual Symposium on Switching and Automata
Theory, October 25--27, 1972",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "230",
year = "1972",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1972",
bibdate = "Fri Feb 22 07:16:19 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses; sequential machine
theory -- congresses; automata -- congresses",
}
@Proceedings{IEEE:1973:ASS,
editor = "{IEEE}",
booktitle = "14th Annual Symposium on Switching and Automata
Theory: Computer Science Department of the University
of Iowa, October 15--17, 1973",
title = "14th Annual Symposium on Switching and Automata
Theory: Computer Science Department of the University
of Iowa, October 15--17, 1973",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "v + 213",
year = "1973",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "QA268.5 .S9 1973",
bibdate = "Fri Feb 22 07:16:19 MST 2002",
acknowledgement = ack-nhfb,
keywords = "symposium on switching and automata theory (14th :
1973 : University of Iowa); switching theory --
congresses; sequential machine theory -- congresses;
machine theory -- congresses; robots -- congresses",
}
@Proceedings{IEEE:1974:ASS,
editor = "{IEEE}",
booktitle = "15th Annual Symposium on Switching and Automata
Theory: University of New Orleans",
title = "15th Annual Symposium on Switching and Automata
Theory: University of New Orleans",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "v + 211",
year = "1974",
CODEN = "ASFPDV",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1974",
bibdate = "Fri Feb 22 07:16:19 MST 2002",
acknowledgement = ack-nhfb,
keywords = "switching theory -- congresses; sequential machine
theory -- congresses; automata -- congresses",
}
@Proceedings{IEEE:1975:ASF,
editor = "IEEE",
booktitle = "16th Annual Symposium on Foundations of Computer
Science, October 13--15, 1975, Berkeley, California",
title = "16th Annual Symposium on Foundations of Computer
Science, October 13--15, 1975, Berkeley, California",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "v + 193",
year = "1975",
CODEN = "ASFPDV",
ISBN = "????",
ISBN-13 = "????",
ISSN = "0272-5428",
LCCN = "QA 267 S95 1975",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
acknowledgement = ack-nhfb,
keywords = "machine theory --- congresses; formal languages ---
congresses; computational complexity --- congresses",
}
@Proceedings{IEEE:1976:ASF,
editor = "IEEE",
booktitle = "17th annual Symposium on Foundations of Computer
Science, October 25--27, 1976, Houston, Texas",
title = "17th annual Symposium on Foundations of Computer
Science, October 25--27, 1976, Houston, Texas",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "v + 276",
year = "1976",
CODEN = "ASFPDV",
ISBN = "????",
ISBN-13 = "????",
ISSN = "0272-5428",
LCCN = "QA75.5 .S97 1976",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; electronic
digital computers --- programming --- congresses;
machine theory --- congresses",
}
@Proceedings{IEEE:1977:ASF,
editor = "IEEE",
booktitle = "18th annual Symposium on Foundations of Computer
Science, October 31--November 2, 1977, Providence,
Rhode Island",
title = "18th annual Symposium on Foundations of Computer
Science, October 31--November 2, 1977, Providence,
Rhode Island",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "v + 269",
year = "1977",
CODEN = "ASFPDV",
ISBN = "????",
ISBN-13 = "????",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1977",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; electronic
digital computers --- programming --- congresses;
machine theory --- congresses",
}
@Proceedings{IEEE:1978:ASF,
editor = "IEEE",
booktitle = "19th annual Symposium on Foundations of Computer
Science (formerly called the Annual Symposium on
Switching and Automata Theory) Oct. 16--18, 1978, Ann
Arbor, Michigan",
title = "19th annual Symposium on Foundations of Computer
Science (formerly called the Annual Symposium on
Switching and Automata Theory) Oct. 16--18, 1978, Ann
Arbor, Michigan",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "v + 290",
year = "1978",
CODEN = "ASFPDV",
ISBN = "????",
ISBN-13 = "????",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1978",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE order number 78 CH1397-9C.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; electronic
digital computers --- programming --- congresses;
machine theory --- congresses; machine theory ---
congresses; electronic digital computers ---
programming --- congresses",
}
@Proceedings{IEEE:1979:ASF,
editor = "{IEEE}",
booktitle = "20th Annual Symposium on Foundations of Computer
Science: Oct. 29--31, 1979, San Juan, Puerto Rico",
title = "20th Annual Symposium on Foundations of Computer
Science: Oct. 29--31, 1979, San Juan, Puerto Rico",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "vii + 431",
year = "1979",
CODEN = "ASFPDV",
ISBN = "????",
ISBN-13 = "????",
ISSN = "0272-5428",
LCCN = "QA267 .S95 1979; TK7885.A1 S92 1979",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
acknowledgement = ack-nhfb,
keywords = "machine theory --- congresses; computational
complexity --- congresses; algorithms --- congresses;
electronic data processing --- congresses; electronic
digital computers --- programming --- congresses;
machine theory --- congresses",
}
@Proceedings{IEEE:1980:ASF,
editor = "{IEEE}",
booktitle = "21st annual Symposium on Foundations of Computer
Science: October 13--15, 1980, Syracuse, New York",
title = "21st annual Symposium on Foundations of Computer
Science: October 13--15, 1980, Syracuse, New York",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "vi + 421",
year = "1980",
CODEN = "ASFPDV",
ISBN = "????",
ISBN-13 = "????",
ISSN = "0272-5428",
LCCN = "QA76.6 .S95 1980; TK7885.A1 S92 1980",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "Formerly called the Annual Symposium on Switching and
Automata Theory. IEEE catalog no. 80CH1498-5.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; electronic
digital computers --- programming --- congresses;
algorithms --- congresses; electronic data processing
--- congresses; electronic digital computers ---
programming --- congresses; machine theory ---
congresses; switching theory --- congresses; automata
--- congresses",
}
@Proceedings{IEEE:1981:ASF,
editor = "{IEEE}",
booktitle = "22nd Annual Symposium on Foundations of Computer
Science: October 28--30, 1981, [Nashville, Tennessee:
papers]",
title = "22nd Annual Symposium on Foundations of Computer
Science: October 28--30, 1981, [Nashville, Tennessee:
papers]",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "ix + 429",
year = "1981",
CODEN = "ASFPDV",
ISBN = "????",
ISBN-13 = "????",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1981; QA76.6 .S95 1981",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "Formerly called the Annual Symposium on Switching and
Automata Theory. IEEE catalog no. 81CH1695-6.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; electronic
digital computers --- programming --- congresses;
machine theory --- congresses; switching theory ---
congresses; automata --- congresses; machine theory ---
congresses; electronic data processing --- congresses;
electronic digital computers --- programming ---
congresses",
}
@Proceedings{IEEE:1982:ASF,
editor = "{IEEE}",
booktitle = "23rd annual Symposium on Foundations of Computer
Science, November 3--5, 1982, Chicago, Illinois",
title = "23rd annual Symposium on Foundations of Computer
Science, November 3--5, 1982, Chicago, Illinois",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "vii + 387",
year = "1982",
CODEN = "ASFPDV",
ISBN = "????",
ISBN-13 = "????",
ISSN = "0272-5428",
LCCN = "QA76.6 .S95 1982",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE catalog no. 82CH1806-9. IEEE Computer Society
order no. 440.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; electronic
digital computers --- programming --- congresses;
machine theory --- congresses",
}
@Proceedings{IEEE:1983:ASF,
editor = "{IEEE}",
booktitle = "24rd Annual Symposium on Foundations of Computer
Science: November 7--9, 1983, Tucson, Arizona",
title = "24rd Annual Symposium on Foundations of Computer
Science: November 7--9, 1983, Tucson, Arizona",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xii + 477",
year = "1983",
CODEN = "ASFPDV",
ISBN = "0-8186-0508-1",
ISBN-13 = "978-0-8186-0508-6",
ISSN = "0272-5428",
LCCN = "QA76.6 .S95 1983",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE catalog no. 83CH1938-0.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; electronic
digital computers --- programming --- congresses;
algorithms --- congresses; computational complexity ---
congresses",
}
@Proceedings{IEEE:1984:ASF,
editor = "{IEEE}",
booktitle = "25th annual Symposium on Foundations of Computer
Science, October 24--26, 1984, Singer Island, Florida",
title = "25th annual Symposium on Foundations of Computer
Science, October 24--26, 1984, Singer Island, Florida",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xii + 518",
year = "1984",
CODEN = "ASFPDV",
ISBN = "0-8186-8591-3, 0-8186-0591-X (paperback),
0-8186-4591-1 (microfiche)",
ISBN-13 = "978-0-8186-8591-0, 978-0-8186-0591-8 (paperback),
978-0-8186-4591-4 (microfiche)",
ISSN = "0272-5428",
LCCN = "QA 76 S979 1984",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE catalog no. 84CH2085-9.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; electronic
digital computers --- programming --- congresses;
machine theory --- congresses",
}
@Proceedings{IEEE:1985:ASF,
editor = "{IEEE}",
booktitle = "26th annual Symposium on Foundations of Computer
Science, October 21--23, 1985, Portland, Oregon",
title = "26th annual Symposium on Foundations of Computer
Science, October 21--23, 1985, Portland, Oregon",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xii + 552",
year = "1985",
CODEN = "ASFPDV",
ISBN = "0-8186-4644-6 (microfiche), 0-8186-8644-8 (casebound),
0-8186-0644-4 (paperback)",
ISBN-13 = "978-0-8186-4644-7 (microfiche), 978-0-8186-8644-3
(casebound), 978-0-8186-0644-1 (paperback)",
ISSN = "0272-5428",
LCCN = "QA 76 S979 1985",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE catalog no. 85CH2224-4. IEEE Computer Society
order no. 644.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; electronic
digital computers --- programming --- congresses;
machine theory --- congresses",
}
@Proceedings{IEEE:1986:ASF,
editor = "{IEEE}",
booktitle = "27th annual Symposium on Foundations of Computer
Science, October 27--29, 1986, Toronto, ON, Canada",
title = "27th annual Symposium on Foundations of Computer
Science, October 27--29, 1986, Toronto, {ON}, Canada",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiv + 517",
year = "1986",
CODEN = "ASFPDV",
ISBN = "0-8186-0740-8 (paperback), 0-8186-4740-X (microfiche),
0-8186-8740-1 (casebound)",
ISBN-13 = "978-0-8186-0740-0 (paperback), 978-0-8186-4740-6
(microfiche), 978-0-8186-8740-2 (casebound)",
ISSN = "0272-5428",
LCCN = "QA 76 S979 1986",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE catalog no. 86CH2354-9. IEEE Computer Society
order no. 740.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; machine
theory --- congresses; electronic digital computers ---
programming --- congresses",
}
@Proceedings{IEEE:1987:ASF,
editor = "{IEEE}",
booktitle = "28th annual Symposium on Foundations of Computer
Science, October 12--14, 1987, Los Angeles,
California",
title = "28th annual Symposium on Foundations of Computer
Science, October 12--14, 1987, Los Angeles,
California",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiv + 498",
year = "1987",
CODEN = "ASFPDV",
ISBN = "0-8186-0807-2, 0-8186-4807-4 (microfiche),
0-8186-8807-6 (casebound)",
ISBN-13 = "978-0-8186-0807-0, 978-0-8186-4807-6 (microfiche),
978-0-8186-8807-2 (casebound)",
ISSN = "0272-5428",
LCCN = "QA 76 S979 1987",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE Catalog no. 87CH2471-1. Computer Society order
number 807.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses",
}
@Proceedings{IEEE:1988:ASF,
editor = "{IEEE}",
booktitle = "29th annual Symposium on Foundations of Computer
Science, October 24--26, 1988, White Plains, New York",
title = "29th annual Symposium on Foundations of Computer
Science, October 24--26, 1988, White Plains, New York",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "x + 614",
year = "1988",
CODEN = "ASFPDV",
ISBN = "0-8186-0877-3 (paperback), 0-8186-4877-5 (microfiche),
0-8186-8877-7 (hard)",
ISBN-13 = "978-0-8186-0877-3 (paperback), 978-0-8186-4877-9
(microfiche), 978-0-8186-8877-5 (hard)",
ISSN = "0272-5428",
LCCN = "QA 76 S979 1988",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE catalog no. 88CH2652-6. Computer Society order
no. 877.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses",
}
@Proceedings{IEEE:1989:ASF,
editor = "{IEEE}",
booktitle = "30th annual Symposium on Foundations of Computer
Science, October 30--November 1, 1989, Research
Triangle Park, North Carolina",
title = "30th annual Symposium on Foundations of Computer
Science, October 30--November 1, 1989, Research
Triangle Park, North Carolina",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xvii + 632",
year = "1989",
CODEN = "ASFPDV",
ISBN = "0-8186-1982-1 (casebound), 0-8186-5982-3
(microfiche)",
ISBN-13 = "978-0-8186-1982-3 (casebound), 978-0-8186-5982-9
(microfiche)",
ISSN = "0272-5428",
LCCN = "QA 76 S979 1989; TK7885.A1 S92 1989",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "Formerly called the Annual Symposium on Switching and
Automata Theory. IEEE catalog no. 89CH2808-4. Computer
Society order no. 1982.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses;
computational complexity --- congresses; electronic
data processing --- congresses; machine theory ---
congresses",
}
@Proceedings{IEEE:1990:PAS,
editor = "{IEEE}",
booktitle = "Proceedings: 31st Annual Symposium on Foundations of
Computer Science: October 22--24, 1990, St. Louis,
Missouri",
title = "Proceedings: 31st Annual Symposium on Foundations of
Computer Science: October 22--24, 1990, St. Louis,
Missouri",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "??",
year = "1990",
CODEN = "ASFPDV",
ISBN = "0-8186-2082-X (paperback), 0-8186-6082-1
(microfiche)",
ISBN-13 = "978-0-8186-2082-9 (paperback), 978-0-8186-6082-5
(microfiche)",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1990",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "Formerly called the Annual Symposium on Switching and
Automata Theory. IEEE catalog number 90CH29256.
Computer Society order no. 2082.",
acknowledgement = ack-nhfb,
keywords = "computational complexity --- congresses; electronic
data processing --- congresses; machine theory ---
congresses",
}
@Proceedings{IEEE:1991:PAS,
editor = "{IEEE}",
booktitle = "Proceedings: 32nd annual Symposium on Foundations of
Computer Science, San Juan, Puerto Rico, October 1--4,
1991",
title = "Proceedings: 32nd annual Symposium on Foundations of
Computer Science, San Juan, Puerto Rico, October 1--4,
1991",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xi + 824",
year = "1991",
CODEN = "ASFPDV",
ISBN = "0-8186-2445-0",
ISBN-13 = "978-0-8186-2445-2",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1991",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE Catalog no. 91CH3062-7. Computer Society order
no. 2445.",
acknowledgement = ack-nhfb,
keywords = "switching theory --- congresses; machine theory ---
congresses; electronic data processing --- congresses",
}
@Proceedings{IEEE:1992:ASF,
editor = "{IEEE}",
booktitle = "33rd Annual Symposium on Foundations of Computer
Science: October 24--27, 1992, Pittsburgh,
Pennsylvania: proceedings [papers]",
title = "33rd Annual Symposium on Foundations of Computer
Science: October 24--27, 1992, Pittsburgh,
Pennsylvania: proceedings [papers]",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xi + 734",
year = "1992",
CODEN = "ASFPDV",
ISBN = "0-8186-2901-0 (microfiche), 0-8186-2900-2
(paperback)",
ISBN-13 = "978-0-8186-2901-3 (microfiche), 978-0-8186-2900-6
(paperback)",
ISSN = "0272-5428",
LCCN = "QA 76 S979 1992",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE Catalog Number 92CH3188-0. IEEE Computer Society
Press Order Number 2900.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses",
}
@Proceedings{IEEE:1993:ASF,
editor = "{IEEE}",
booktitle = "34th Annual Symposium on Foundations of Computer
Science: November 3--5, 1993, Palo Alto, California:
proceedings [papers]",
title = "34th Annual Symposium on Foundations of Computer
Science: November 3--5, 1993, Palo Alto, California:
proceedings [papers]",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiii + 745",
year = "1993",
CODEN = "ASFPDV",
ISBN = "0-8186-4370-6 (paperback), 0-8186-4371-4
(microfiche)",
ISBN-13 = "978-0-8186-4370-5 (paperback), 978-0-8186-4371-2
(microfiche)",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1993",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE Catalog Number 93CH3368-8. IEEE Computer Society
Press Order Number 4372-02.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; machine
theory --- congresses",
}
@Proceedings{Goldwasser:1994:P,
editor = "Shafi Goldwasser",
booktitle = "Proceedings: 35th Annual Symposium on Foundations of
Computer Science, November 20--22, 1994, Santa Fe, New
Mexico",
title = "Proceedings: 35th Annual Symposium on Foundations of
Computer Science, November 20--22, 1994, Santa Fe, New
Mexico",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiii + 837",
year = "1994",
CODEN = "ASFPDV",
ISBN = "0-8186-6582-3",
ISBN-13 = "978-0-8186-6582-0",
ISSN = "0272-5428",
LCCN = "QA 76 S979 1994",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE catalog number 94CH35717. IEEE Computer Society
Press Order Number 6580-02.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses",
}
@Proceedings{IEEE:1995:ASF,
editor = "{IEEE}",
booktitle = "36th Annual Symposium on Foundations of Computer
Science: October 23--25, 1995, Milwaukee, Wisconsin",
title = "36th Annual Symposium on Foundations of Computer
Science: October 23--25, 1995, Milwaukee, Wisconsin",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiii + 735",
year = "1995",
CODEN = "ASFPDV",
ISBN = "0-7803-3121-4 (casebound), 0-8186-7183-1 (softbound),
0-8186-7184-X (microfiche)",
ISBN-13 = "978-0-7803-3121-1 (casebound), 978-0-8186-7183-8
(softbound), 978-0-8186-7184-5 (microfiche)",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1995",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE catalog number 95CB35834.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; machine
theory --- congresses",
}
@Proceedings{IEEE:1996:ASF,
editor = "{IEEE}",
booktitle = "37th Annual Symposium on Foundations of Computer
Science: October 14--16, 1996, Burlington, Vermont",
title = "37th Annual Symposium on Foundations of Computer
Science: October 14--16, 1996, Burlington, Vermont",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xii + 638",
year = "1996",
CODEN = "ASFPDV",
ISBN = "0-7803-3762-X (casebound), 0-8186-7594-2 (softbound),
0-8186-7596-9 (microfiche)",
ISBN-13 = "978-0-7803-3762-6 (casebound), 978-0-8186-7594-2
(softbound), 978-0-8186-7596-6 (microfiche)",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1996",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE catalog number 96CH35973. IEEE Computer Society
Press order number PR07594.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; machine
theory --- congresses",
}
@Proceedings{IEEE:1997:ASF,
editor = "{IEEE}",
booktitle = "38th Annual Symposium on Foundations of Computer
Science: October 20--22, 1997, Miami Beach, Florida",
title = "38th Annual Symposium on Foundations of Computer
Science: October 20--22, 1997, Miami Beach, Florida",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiii + 606",
year = "1997",
CODEN = "ASFPDV",
ISBN = "0-8186-8197-7, 0-8186-8198-5 (casebound),
0-8186-8199-3 (microfiche)",
ISBN-13 = "978-0-8186-8197-4, 978-0-8186-8198-1 (casebound),
978-0-8186-8199-8 (microfiche)",
ISSN = "0272-5428",
LCCN = "TK7885.A1 .S92 1997",
bibdate = "Thu Dec 3 07:11:18 MST 1998",
note = "IEEE catalog number 97CB36150. IEEE Computer Society
Press order number PR08197.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing --- congresses; machine
theory --- congresses",
}
@Proceedings{IEEE:1998:ASF,
editor = "{IEEE}",
booktitle = "39th Annual Symposium on Foundations of Computer
Science: proceedings: November 8--11, 1998, Palo Alto,
California",
title = "39th Annual Symposium on Foundations of Computer
Science: proceedings: November 8--11, 1998, Palo Alto,
California",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiv + 745",
year = "1998",
CODEN = "ASFPDV",
ISBN = "0-8186-9172-7 (softbound), 0-7803-5229-7 (casebound),
0-8186-9174-3 (microfiche)",
ISBN-13 = "978-0-8186-9172-0 (softbound), 978-0-7803-5229-2
(casebound), 978-0-8186-9174-4 (microfiche)",
ISSN = "0272-5428",
LCCN = "QA267 .S95 1998 Sci-Eng",
bibdate = "Sat Oct 28 16:10:32 MDT 2000",
note = "IEEE Catalog Number 98CB36280. IEEE Computer Society
Press Order Number PR9172.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing -- congresses; machine
theory -- congresses",
}
@Proceedings{IEEE:1999:ASF,
editor = "{IEEE}",
booktitle = "40th Annual Symposium on Foundations of Computer
Science: October 17--19, 1999, New York City, New
York,",
title = "40th Annual Symposium on Foundations of Computer
Science: October 17--19, 1999, New York City, New
York,",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiv + 668",
year = "1999",
CODEN = "ASFPDV",
ISBN = "0-7695-0409-4 (softbound), 0-7803-5955-0 (casebound),
0-7695-0411-6 (microfiche)",
ISBN-13 = "978-0-7695-0409-4 (softbound), 978-0-7803-5955-0
(casebound), 978-0-7695-0411-7 (microfiche)",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 1999",
bibdate = "Sat Oct 28 16:10:32 MDT 2000",
note = "IEEE Catalog Number 99CB37039.",
acknowledgement = ack-nhfb,
keywords = "electronic data processing -- congresses; machine
theory -- congresses",
}
@Proceedings{IEEE:2000:ASF,
editor = "{IEEE}",
booktitle = "41st Annual Symposium on Foundations of Computer
Science: proceedings: 12--14 November, 2000, Redondo
Beach, California",
title = "41st Annual Symposium on Foundations of Computer
Science: proceedings: 12--14 November, 2000, Redondo
Beach, California",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiv + 688",
year = "2000",
CODEN = "ASFPDV",
ISBN = "0-7695-0850-2, 0-7695-0851-0 (case), 0-7695-0852-9
(microfiche)",
ISBN-13 = "978-0-7695-0850-4, 978-0-7695-0851-1 (case),
978-0-7695-0852-8 (microfiche)",
ISSN = "0272-5428",
LCCN = "TK7885.A1 S92 2000",
bibdate = "Thu Apr 05 06:27:02 2001",
note = "IEEE Computer Society Order Number PR00850.",
acknowledgement = ack-nhfb,
}
@Proceedings{IEEE:2001:ISF,
editor = "{IEEE}",
booktitle = "42nd IEEE Symposium on Foundations of Computer
Science: proceedings: October 14--17, 2001, Las Vegas,
Nevada, USA",
title = "42nd {IEEE} Symposium on Foundations of Computer
Science: proceedings: October 14--17, 2001, Las Vegas,
Nevada, {USA}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiii + 670",
year = "2001",
CODEN = "ASFPDV",
ISBN = "0-7695-1390-5, 0-7695-1391-3 (case), 0-7695-1392-1
(microfiche)",
ISBN-13 = "978-0-7695-1390-4, 978-0-7695-1391-1 (case),
978-0-7695-1392-8 (microfiche)",
ISSN = "0272-5428",
LCCN = "????",
bibdate = "Thu Feb 21 19:19:40 2002",
acknowledgement = ack-nhfb,
}
@Proceedings{IEEE:2002:PAI,
editor = "{IEEE}",
booktitle = "{Proceedings of the 43rd Annual IEEE Symposium on
Foundations of Computer Science, FOCS 2002, Vancouver,
BC, Canada, 16--19 November 2002}",
title = "{Proceedings of the 43rd Annual IEEE Symposium on
Foundations of Computer Science, FOCS 2002, Vancouver,
BC, Canada, 16--19 November 2002}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xvi + 813",
year = "2002",
CODEN = "ASFPDV",
DOI = "http://dx.doi.org/10.1109/SFCS.2002.1181875",
ISBN = "0-7695-1822-2",
ISBN-13 = "978-0-7695-1822-0",
ISSN = "0272-5428",
LCCN = "QA267",
bibdate = "Fri Jul 15 14:24:23 2005",
note = "IEEE Computer Society Order Number PR01822",
URL = "http://ieeexplore.ieee.org/iel5/8411/26517/01181875.pdf",
acknowledgement = ack-nhfb,
}
@Proceedings{IEEE:2003:PAI,
editor = "{IEEE}",
booktitle = "{Proceedings: 44th Annual IEEE Symposium on
Foundations of Computer Science, FOCS 2003, 11--14
October 2003, Cambridge, Massachusetts}",
title = "{Proceedings: 44th Annual IEEE Symposium on
Foundations of Computer Science, FOCS 2003, 11--14
October 2003, Cambridge, Massachusetts}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiii + 661",
year = "2003",
CODEN = "ASFPDV",
ISBN = "0-7695-2040-5",
ISBN-13 = "978-0-7695-2040-7",
ISSN = "0272-5428",
LCCN = "QA76 .S979 2003",
bibdate = "Fri Jul 15 14:29:27 2005",
note = "IEEE Computer Society Order Number PR02040.",
URL = "http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=8767&conhome=1000292;
http://ieeexplore.ieee.org/iel5/8767/27770/01238173.pdf",
acknowledgement = ack-nhfb,
}
@Proceedings{IEEE:2004:PAI,
editor = "{IEEE}",
booktitle = "{Proceedings: 45th Annual IEEE Symposium on
Foundations of Computer Science: FOCS 2004, 17--19
October, 2004, Rome, Italy}",
title = "{Proceedings: 45th Annual IEEE Symposium on
Foundations of Computer Science: FOCS 2004, 17--19
October, 2004, Rome, Italy}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xiv + 632",
year = "2004",
CODEN = "ASFPDV",
ISBN = "0-7695-2228-9",
ISBN-13 = "978-0-7695-2228-9",
ISSN = "0272-5428",
LCCN = "QA276",
bibdate = "Fri Jul 15 14:47:05 MDT 2005",
bibsource = "melvyl.cdlib.org:210/CDL90",
note = "IEEE Computer Society Order Number P2228",
URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=9430;
http://ieeexplore.ieee.org/iel5/9430/29918/01366212.pdf",
acknowledgement = ack-nhfb,
subject = "Electronic data processing; Congresses; Machine
theory; Congresses",
}