%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@psi.math.utah.edu on Fri Apr 5 07:52:12 MDT 2013 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1}~\cite{#2}} \fi \NAMECITE{Abstract}{% Book:1969:QRL,% Chandler:1969:AFD,% Cook:1969:VPM,% Rose:1969:AFP,% Savitch:1969:DSN% }. \NAMECITE{algebras}{% Shepard:1969:LGA% }. \NAMECITE{algorithm}{% Ullian:1969:IAP% }. \NAMECITE{algorithms}{% Blum:1969:EPS% }. \NAMECITE{ambiguity}{% Ullian:1969:IAP% }. \NAMECITE{analysis}{% Peters:1969:CSI% }. \NAMECITE{arbitrary}{% Herman:1969:CAF% }. \NAMECITE{arithmetic}{% Aviienis:1969:PCT% }. \NAMECITE{arrays}{% Amoroso:1969:UFT% }. \NAMECITE{automata}{% Thatcher:1969:TTP% }. \NAMECITE{boolean}{% Spira:1969:CTC% }. \NAMECITE{bounds}{% McCreight:1969:CCF% }. \NAMECITE{California}{% ACM:1969:CRA% }. \NAMECITE{certain}{% Spira:1969:CTC% }. \NAMECITE{changing}{% Young:1969:SUC% }. \NAMECITE{Classes}{% McCreight:1969:CCF,% Basu:1969:CCF,% Spira:1969:CTC% }. \NAMECITE{compilers}{% Blum:1969:TTS% }. \NAMECITE{complexity}{% Aviienis:1969:PCT,% Hodes:1969:LCG,% Loveland:1969:MPC% }. \NAMECITE{Computability}{% Herman:1969:CAF% }. \NAMECITE{computable}{% Basu:1969:CCF,% McCreight:1969:CCF% }. \NAMECITE{computation}{% Cole:1969:PSM,% McCreight:1969:CCF,% Spira:1969:CTC% }. \NAMECITE{computational}{% Aviienis:1969:PCT% }. \NAMECITE{Computing}{% ACM:1969:CRA% }. \NAMECITE{Conference}{% ACM:1969:CRA% }. \NAMECITE{constituent}{% Peters:1969:CSI% }. \NAMECITE{construction}{% Korenjak:1969:ELP% }. \NAMECITE{Context}{% Peters:1969:CSI,% Rounds:1969:CFG,% Aho:1969:TCF,% Ullian:1969:IAP% }. \NAMECITE{Context-free}{% Rounds:1969:CFG,% Peters:1969:CSI% }. \NAMECITE{Context-sensitive}{% Peters:1969:CSI% }. \NAMECITE{defined}{% Manna:1969:FPR,% McCreight:1969:CCF% }. \NAMECITE{del}{% ACM:1969:CRA% }. \NAMECITE{Detailed}{% Cook:1969:VPM,% Savitch:1969:DSN% }. \NAMECITE{Deterministic}{% Savitch:1969:DSN,% Chandler:1969:AFD,% Rosenkrantz:1969:PDT% }. \NAMECITE{down}{% Rosenkrantz:1969:PDT% }. \NAMECITE{effective}{% Blum:1969:EPS% }. \NAMECITE{Efficient}{% Korenjak:1969:ELP% }. \NAMECITE{enumerated}{% Young:1969:SUC% }. \NAMECITE{expressions}{% Johansen:1969:FGR% }. \NAMECITE{Extended}{% Book:1969:QRL% }. \NAMECITE{families}{% Chandler:1969:AFD,% Rose:1969:AFP% }. \NAMECITE{features}{% Zeiger:1969:FMS% }. \NAMECITE{fields}{% Herman:1969:CAF% }. \NAMECITE{finite}{% Thatcher:1969:TTP% }. \NAMECITE{Formal}{% Zeiger:1969:FMS% }. \NAMECITE{Formalization}{% Manna:1969:FPR% }. \NAMECITE{framework}{% Amoroso:1969:UFT% }. \NAMECITE{Free}{% Johansen:1969:FGR,% Aho:1969:TCF,% Peters:1969:CSI,% Rounds:1969:CFG,% Ullian:1969:IAP% }. \NAMECITE{functions}{% Aviienis:1969:PCT,% Basu:1969:CCF,% Manna:1969:FPR,% McCreight:1969:CCF,% Spira:1969:CTC% }. \NAMECITE{general}{% Shepard:1969:LGA% }. \NAMECITE{generalized}{% Thatcher:1969:TTP% }. \NAMECITE{geometric}{% Hodes:1969:LCG% }. \NAMECITE{grammar}{% Aho:1969:TCF% }. \NAMECITE{grammars}{% Rosenkrantz:1969:PDT,% Rounds:1969:CFG% }. \NAMECITE{groups}{% Johansen:1969:FGR% }. \NAMECITE{immediate}{% Peters:1969:CSI% }. \NAMECITE{inherent}{% Ullian:1969:IAP% }. \NAMECITE{Intercalation}{% Ogden:1969:ITS% }. \NAMECITE{iterative}{% Amoroso:1969:UFT% }. \NAMECITE{Languages}{% Shepard:1969:LGA,% Blum:1969:TTS,% Book:1969:QRL,% Chandler:1969:AFD,% Fischer:1969:SPP,% Ogden:1969:ITS,% Peters:1969:CSI,% Ullian:1969:IAP,% Zeiger:1969:FMS% }. \NAMECITE{logical}{% Hodes:1969:LCG% }. \NAMECITE{{LR}}{% Korenjak:1969:ELP% }. \NAMECITE{machines}{% Amoroso:1969:UFT,% Cole:1969:PSM,% Cook:1969:VPM,% Savitch:1969:DSN% }. \NAMECITE{Marina}{% ACM:1969:CRA% }. \NAMECITE{May}{% ACM:1969:CRA% }. \NAMECITE{measures}{% Loveland:1969:MPC% }. \NAMECITE{minimal}{% Loveland:1969:MPC% }. \NAMECITE{minimal-program}{% Loveland:1969:MPC% }. \NAMECITE{models}{% Zeiger:1969:FMS% }. \NAMECITE{non}{% Savitch:1969:DSN% }. \NAMECITE{non-deterministic}{% Savitch:1969:DSN% }. \NAMECITE{order}{% Young:1969:SUC% }. \NAMECITE{papers}{% ACM:1969:CRA% }. \NAMECITE{partial}{% Ullian:1969:IAP% }. \NAMECITE{plane}{% Hodes:1969:LCG% }. \NAMECITE{point}{% Thatcher:1969:TTP% }. \NAMECITE{precedence}{% Fischer:1969:SPP% }. \NAMECITE{Preliminary}{% McCreight:1969:CCF,% Young:1969:SUC% }. \NAMECITE{presented}{% ACM:1969:CRA% }. \NAMECITE{problem}{% Aviienis:1969:PCT,% Ullian:1969:IAP% }. \NAMECITE{procedures}{% Blum:1969:EPS% }. \NAMECITE{processor}{% Korenjak:1969:ELP% }. \NAMECITE{processors}{% Rose:1969:AFP% }. \NAMECITE{program}{% Loveland:1969:MPC% }. \NAMECITE{programming}{% Blum:1969:TTS,% Zeiger:1969:FMS% }. \NAMECITE{Properties}{% Rosenkrantz:1969:PDT,% Fischer:1969:SPP,% Hodes:1969:LCG,% Manna:1969:FPR% }. \NAMECITE{Pushdown}{% Cole:1969:PSM,% Cook:1969:VPM% }. \NAMECITE{Quasi}{% Book:1969:QRL% }. \NAMECITE{Quasi-realtime}{% Book:1969:QRL% }. \NAMECITE{real}{% Cole:1969:PSM% }. \NAMECITE{real-time}{% Cole:1969:PSM% }. \NAMECITE{realtime}{% Book:1969:QRL% }. \NAMECITE{record}{% ACM:1969:CRA% }. \NAMECITE{recursively}{% Manna:1969:FPR% }. \NAMECITE{regular}{% Johansen:1969:FGR% }. \NAMECITE{Report}{% McCreight:1969:CCF% }. \NAMECITE{revisited}{% Peters:1969:CSI% }. \NAMECITE{Rey}{% ACM:1969:CRA% }. \NAMECITE{semantics}{% Blum:1969:TTS% }. \NAMECITE{sensitive}{% Peters:1969:CSI% }. \NAMECITE{sets}{% Young:1969:SUC% }. \NAMECITE{simulation}{% Savitch:1969:DSN% }. \NAMECITE{Some}{% Fischer:1969:SPP,% Zeiger:1969:FMS% }. \NAMECITE{Speed}{% Young:1969:SUC% }. \NAMECITE{Speed-ups}{% Young:1969:SUC% }. \NAMECITE{speeding}{% Blum:1969:EPS% }. \NAMECITE{stack}{% Ogden:1969:ITS% }. \NAMECITE{store}{% Cole:1969:PSM% }. \NAMECITE{Symposium}{% ACM:1969:CRA% }. \NAMECITE{theorems}{% Ogden:1969:ITS% }. \NAMECITE{Theory}{% ACM:1969:CRA,% Amoroso:1969:UFT,% Blum:1969:TTS,% Thatcher:1969:TTP% }. \NAMECITE{time}{% Aviienis:1969:PCT,% Cole:1969:PSM,% Spira:1969:CTC% }. \NAMECITE{top}{% Rosenkrantz:1969:PDT% }. \NAMECITE{Transformations}{% Thatcher:1969:TTP% }. \NAMECITE{Translations}{% Aho:1969:TCF,% Thatcher:1969:TTP% }. \NAMECITE{trees}{% Rounds:1969:CFG% }. \NAMECITE{{Turing}}{% Savitch:1969:DSN% }. \NAMECITE{unifying}{% Amoroso:1969:UFT% }. \NAMECITE{ups}{% Young:1969:SUC% }. \NAMECITE{Variations}{% Cook:1969:VPM% }. \NAMECITE{Version}{% Young:1969:SUC% }. \NAMECITE{view}{% Thatcher:1969:TTP% }. \NAMECITE{which}{% Young:1969:SUC% }.