%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "1.01",
%%% date = "05 April 2013",
%%% time = "07:31:49 MDT",
%%% filename = "stoc1960.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 = "07554 471 1644 17330",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "ACM Symposium on Theory of Computing (STOC)",
%%% license = "public domain",
%%% supported = "yes",
%%% docstring = "This is a COMPLETE bibliography of
%%% publications in the ACM Symposium on Theory
%%% of Computing (STOC) conference proceedings
%%% for the decade 1960--1969. Companion
%%% bibliographies stoc19xx.bib and stoc20xx.bib
%%% cover other decades, and stoc.bib contains
%%% entries for just the proceedings volumes
%%% themselves.
%%%
%%% At version 1.00, the year coverage looked
%%% like this:
%%%
%%% 1969 ( 31)
%%%
%%% InProceedings: 30
%%% Proceedings: 1
%%%
%%% Total entries: 31
%%%
%%% 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:
@InProceedings{Peters:1969:CSI,
author = "P. Stanley Peters and Robert W. Ritchie",
title = "Context-sensitive immediate constituent analysis ---
context-free languages revisited",
crossref = "ACM:1969:CRA",
pages = "1--8",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Rose:1969:AFP,
author = "Gene F. Rose",
title = "Abstract families of processors",
crossref = "ACM:1969:CRA",
pages = "9--14",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Book:1969:QRL,
author = "Ronald V. Book and Sheila A. Greibach",
title = "Quasi-realtime languages (Extended Abstract)",
crossref = "ACM:1969:CRA",
pages = "15--18",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Ullian:1969:IAP,
author = "Joseph S. Ullian",
title = "The inherent ambiguity partial algorithm problem for
context free languages",
crossref = "ACM:1969:CRA",
pages = "19--20",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Chandler:1969:AFD,
author = "W. J. Chandler",
title = "Abstract families of deterministic languages",
crossref = "ACM:1969:CRA",
pages = "21--30",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Ogden:1969:ITS,
author = "William F. Ogden",
title = "Intercalation theorems for stack languages",
crossref = "ACM:1969:CRA",
pages = "31--42",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Blum:1969:EPS,
author = "Manuel Blum",
title = "On effective procedures for speeding up algorithms",
crossref = "ACM:1969:CRA",
pages = "43--53",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Basu:1969:CCF,
author = "Sanat K. Basu",
title = "On classes of computable functions",
crossref = "ACM:1969:CRA",
pages = "55--59",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Loveland:1969:MPC,
author = "D. W. Loveland",
title = "On minimal-program complexity measures",
crossref = "ACM:1969:CRA",
pages = "61--78",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{McCreight:1969:CCF,
author = "E. M. McCreight and A. R. Meyer",
title = "Classes of computable functions defined by bounds on
computation: Preliminary Report",
crossref = "ACM:1969:CRA",
pages = "79--88",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Young:1969:SUC,
author = "Paul R. Young",
title = "Speed-ups by changing the order in which sets are
enumerated (Preliminary Version)",
crossref = "ACM:1969:CRA",
pages = "89--92",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Aho:1969:TCF,
author = "A. V. Aho and J. D. Ullman",
title = "Translations on a context free grammar",
crossref = "ACM:1969:CRA",
pages = "93--112",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Johansen:1969:FGR,
author = "Peter Johansen",
title = "Free groups and regular expressions",
crossref = "ACM:1969:CRA",
pages = "113--128",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Thatcher:1969:TTP,
author = "James W. Thatcher",
title = "Transformations and translations from the point of
view of generalized finite automata theory",
crossref = "ACM:1969:CRA",
pages = "129--142",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Rounds:1969:CFG,
author = "William C. Rounds",
title = "Context-free grammars on trees",
crossref = "ACM:1969:CRA",
pages = "143--148",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Herman:1969:CAF,
author = "Gabor T. Herman and Stephen D. Isard",
title = "Computability over arbitrary fields",
crossref = "ACM:1969:CRA",
pages = "149--153",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Shepard:1969:LGA,
author = "C. D. Shepard",
title = "Languages in general algebras",
crossref = "ACM:1969:CRA",
pages = "155--163",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Rosenkrantz:1969:PDT,
author = "D. J. Rosenkrantz and R. E. Stearns",
title = "Properties of deterministic top down grammars",
crossref = "ACM:1969:CRA",
pages = "165--180",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Fischer:1969:SPP,
author = "Michael J. Fischer",
title = "Some properties of precedence languages",
crossref = "ACM:1969:CRA",
pages = "181--190",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Korenjak:1969:ELP,
author = "A. J. Korenjak",
title = "Efficient {LR(1)} processor construction",
crossref = "ACM:1969:CRA",
pages = "191--200",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Manna:1969:FPR,
author = "Zohar Manna and Amir Pnueli",
title = "Formalization of properties of recursively defined
functions",
crossref = "ACM:1969:CRA",
pages = "201--210",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Zeiger:1969:FMS,
author = "H. Paul Zeiger",
title = "Formal models for some features of programming
languages",
crossref = "ACM:1969:CRA",
pages = "211--215",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Blum:1969:TTS,
author = "E. K. Blum",
title = "Towards a theory of semantics and compilers for
programming languages",
crossref = "ACM:1969:CRA",
pages = "217--227",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Cook:1969:VPM,
author = "Stephen A. Cook",
title = "Variations on pushdown machines (Detailed Abstract)",
crossref = "ACM:1969:CRA",
pages = "229--231",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Cole:1969:PSM,
author = "Stephen N. Cole",
title = "Pushdown store machines and real-time computation",
crossref = "ACM:1969:CRA",
pages = "233--245",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Savitch:1969:DSN,
author = "Walter J. Savitch",
title = "Deterministic simulation of non-deterministic {Turing}
machines (Detailed Abstract)",
crossref = "ACM:1969:CRA",
pages = "247--248",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Hodes:1969:LCG,
author = "Louis Hodes",
title = "The logical complexity of geometric properties in the
plane",
crossref = "ACM:1969:CRA",
pages = "249--254",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Aviienis:1969:PCT,
author = "Algirdas Avi{\v{z}}ienis",
title = "On the problem of computational time and complexity of
arithmetic functions",
crossref = "ACM:1969:CRA",
pages = "255--258",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Amoroso:1969:UFT,
author = "Serafino Amoroso and Edward Lieblein and Hisao
Yamada",
title = "A unifying framework for the theory of iterative
arrays of machines",
crossref = "ACM:1969:CRA",
pages = "259--269",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Spira:1969:CTC,
author = "Philip M. Spira",
title = "On the computation time of certain classes of
boolean functions",
crossref = "ACM:1969:CRA",
pages = "271--272",
year = "1969",
bibdate = "Wed Feb 20 18:32:51 MST 2002",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/stoc1960.bib",
acknowledgement = ack-nhfb,
}
%%% ====================================================================
%%% Cross-referenced entries must come last:
@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/stoc1960.bib",
acknowledgement = ack-nhfb,
xxISBN = "none",
}