%%====================================================================== %% 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@gamma.math.utah.edu on Mon Sep 4 16:55:55 MDT 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$ 2.5 n$}{% Paul:1975:LBC% }. \NAMECITE{$d$}{% Berman:1979:CTA% }. \NAMECITE{$ \gamma $}{% Long:1979:GRV% }. \NAMECITE{$L$}{% Engelfriet:1978:TTS% }. \NAMECITE{$n$}{% Lipton:1975:CMH% }. \NAMECITE{$ n \log n $}{% Miller:1978:ITP% }. \NAMECITE{$ O(v^{O(g)}) $}{% Filotti:1979:DGG% }. \NAMECITE{$ {\Omega }(n^2 \log n) $}{% Yao:1977:LBS% }. \NAMECITE{$p$}{% Machtey:1976:SGN% }. \NAMECITE{-axiomatizable}{% Berman:1979:CTA% }. \NAMECITE{-hierarchy}{% Machtey:1976:SGN% }. \NAMECITE{-linear}{% Lipton:1975:CMH% }. \NAMECITE{-lower}{% Paul:1975:LBC% }. \NAMECITE{-reducibility}{% Long:1979:GRV% }. \NAMECITE{{Aanderaa}}{% Rivest:1975:GPA% }. \NAMECITE{{Aanderaa-Rosenberg}}{% Rivest:1975:GPA% }. \NAMECITE{Absolutely}{% Rajlich:1971:APG% }. \NAMECITE{Abstract}{% Adleman:1977:RRI,% Angluin:1979:FPC,% Beatty:1977:ITL,% Berry:1971:BSE,% Book:1970:TTB,% Book:1974:ILC,% Burkhard:1976:ART,% Carter:1977:UCH,% Ehrenfeucht:1975:CSL,% Ehrenfeucht:1975:PFL,% Engelfriet:1978:TTS,% Graham:1976:LCF,% Greibach:1973:JPD,% Guibas:1976:ADH,% Hammer:1974:NGT,% Hunt:1976:DRF,% Hyafil:1974:EAC,% Kintala:1977:CRN,% Ladner:1979:CPS,% Lewis:1973:ATE,% Long:1979:GRV,% Lueker:1978:MPG,% Maier:1979:MCR,% Peterson:1977:ESC,% Rosenberg:1970:DGA,% Rosenberg:1971:ADG,% Rosenberg:1974:MSE,% Rosenberg:1975:HSE,% Ruzzo:1979:TSB,% Savitch:1972:MRA,% Storer:1978:MMD,% Yao:1976:ABS,% Hamlet:1972:PPA,% Landweber:1970:RPA,% Mehlhorn:1974:PAS,% Ullian:1970:TTA% }. \NAMECITE{abstractions}{% Doeppner:1976:APP% }. \NAMECITE{accepted}{% Cook:1979:DCA% }. \NAMECITE{acceptors}{% Book:1970:TTB% }. \NAMECITE{access}{% Cook:1972:TBR,% Fortune:1978:PRA% }. \NAMECITE{{ACM}}{% ACM:1975:CRS,% ACM:1976:CRE,% ACM:1977:CRN,% ACM:1978:CRT% }. \NAMECITE{addition}{% Bruss:1978:TSC,% Sacerdote:1977:DRP,% vanLeeuwen:1974:PSR% }. \NAMECITE{additions}{% Borodin:1974:NAC,% Kirkpatrick:1972:ANC% }. \NAMECITE{Addressable}{% Rosenberg:1971:ADG% }. \NAMECITE{addressing}{% Rosenberg:1970:DGA% }. \NAMECITE{admissible}{% Sciore:1978:CTA% }. \NAMECITE{{AFDLs}}{% Greibach:1973:JPD% }. \NAMECITE{{AFL}}{% Carlyle-Greibach:1972:UEA,% Ginsburg:1971:ICF% }. \NAMECITE{{AFLs}}{% Book:1970:TTB% }. \NAMECITE{Albuquerque}{% ACM:1975:CRS% }. \NAMECITE{algebra}{% Valiant:1979:CCA% }. \NAMECITE{Algebraic}{% Santos:1971:AST,% Kimura:1976:ASP,% Kung:1973:CCA,% Teitelbaum:1973:CFE,% Wagner:1971:ATR% }. \NAMECITE{algebras}{% Kozen:1977:CFP,% Wagner:1973:APL% }. \NAMECITE{algorithm}{% Anonymous:1978:AFA,% Fiduccia:1972:PED,% Filotti:1978:EAD,% Hopcroft:1974:LTA,% Hyafil:1974:EAC,% Pager:1973:LTA,% Terrine:1971:AGD,% Wise:1971:DAA% }. \NAMECITE{Algorithmic}{% Rose:1975:AAV% }. \NAMECITE{Algorithms}{% Gabow:1978:AEC,% Horowitz:1972:ARF,% Angluin:1977:FPA,% Booth:1975:LAR,% Galil:1976:RTA,% Garey:1972:WCA,% Gentleman:1973:AAC,% Hirschberg:1976:PAT,% Johnson:1973:AAC,% Kosaraju:1979:FPP,% Kung:1974:NAL,% Munro:1971:SRC,% Rackoff:1978:RQI,% Weiner:1973:NSA,% Yao:1976:ABS% }. \NAMECITE{allocation}{% Garey:1972:WCA,% Sethi:1973:CRA% }. \NAMECITE{allocations}{% Sethi:1972:VRA% }. \NAMECITE{alpha}{% Anonymous:1978:AFA% }. \NAMECITE{alpha-beta}{% Anonymous:1978:AFA% }. \NAMECITE{alternation}{% Reddy:1978:PAB,% Ruzzo:1979:TSB% }. \NAMECITE{Analysis}{% Gentleman:1973:AAC,% Kosaraju:1973:ASP,% Anonymous:1978:AFA,% Chang:1970:ATD,% Garey:1972:WCA,% Gonnet:1977:AIH,% Guibas:1976:ADH,% Pratt:1975:FMA,% Teitelbaum:1973:CFE% }. \NAMECITE{ancestors}{% Aho:1973:FLC% }. \NAMECITE{Annual}{% ACM:1972:CRF,% ACM:1973:CRF,% ACM:1975:CRS,% ACM:1970:CRS,% ACM:1971:CRT,% ACM:1974:CRS,% ACM:1976:CRE,% ACM:1977:CRN,% ACM:1978:CRT,% ACM:1979:CRE% }. \NAMECITE{Anomaly}{% Case:1978:AHM% }. \NAMECITE{application}{% Flajolet:1979:CIC,% Wand:1973:UAP% }. \NAMECITE{applications}{% Fredman:1975:TAP,% Lee:1976:LPP% }. \NAMECITE{applied}{% Hopcroft:1973:DAC,% Wise:1971:DAA% }. \NAMECITE{approach}{% Goldschlager:1978:UAM% }. \NAMECITE{approximate}{% Carter:1978:EAM% }. \NAMECITE{Approximation}{% Johnson:1973:AAC% }. \NAMECITE{April}{% ACM:1973:CRF,% ACM:1974:CRS,% ACM:1979:CRE% }. \NAMECITE{Area}{% Thompson:1979:ATC% }. \NAMECITE{Area-time}{% Thompson:1979:ATC% }. \NAMECITE{arguments}{% Kedem:1974:CDR% }. \NAMECITE{arithmetic}{% Dowd:1978:PRA,% Horowitz:1972:ARF,% Oppen:1973:EBP,% Reddy:1978:PAB,% ODonnell:1979:PLT% }. \NAMECITE{array}{% Kosaraju:1979:FPP% }. \NAMECITE{arrays}{% Karp:1972:RIR,% Rosenberg:1974:MSE,% Rosenberg:1975:HSE,% Seiferas:1974:ONM% }. \NAMECITE{aspects}{% Rose:1975:AAV% }. \NAMECITE{assertions}{% Oppen:1975:PAA% }. \NAMECITE{Associative}{% Burkhard:1976:ART% }. \NAMECITE{asynchronous}{% Peterson:1979:TST% }. \NAMECITE{Atlanta}{% ACM:1979:CRE% }. \NAMECITE{Attributed}{% Lewis:1973:ATE% }. \NAMECITE{Austin}{% ACM:1973:CRF% }. \NAMECITE{Author}{% Anonymous:1977:ASI% }. \NAMECITE{automata}{% Buttelmann:1971:GFA,% Levy:1971:SRT,% Perrot:1970:RBF,% Sakoda:1978:NST,% Savitch:1972:MRA,% Sipser:1979:LBS,% Sudborough:1976:DCF,% Sudborough:1977:STB,% Valiant:1974:DED,% Ellis:1970:PTA% }. \NAMECITE{auxiliary}{% Sudborough:1976:DCF,% Sudborough:1977:STB% }. \NAMECITE{average}{% Yao:1976:ABS% }. \NAMECITE{axiomatic}{% Harel:1977:CAS% }. \NAMECITE{axiomatics}{% Courcelle:1974:SAS% }. \NAMECITE{axiomatizable}{% Berman:1979:CTA% }. \NAMECITE{balance}{% Nievergelt:1972:BST% }. \NAMECITE{balanced}{% Fredman:1975:TAP% }. \NAMECITE{based}{% Bass:1970:HBC,% Schaefer:1976:CDP% }. \NAMECITE{bases}{% Chandra:1977:OIC,% Chandra:1979:CQR% }. \NAMECITE{be}{% Valiant:1979:NCE,% Weiner:1973:NSA% }. \NAMECITE{behavior}{% Yao:1976:ABS% }. \NAMECITE{beta}{% Anonymous:1978:AFA% }. \NAMECITE{between}{% DeMillo:1979:SCB,% Hartmanis:1977:RBD,% Hunt:1974:CPB,% Lynch:1977:ERB,% Morris:1970:RRB,% Perrot:1970:RBF,% Raoult:1978:OSE% }. \NAMECITE{bilinear}{% Brockett:1973:OES,% Hopcroft:1973:DAC,% Ja:1978:OEP,% JaJa:1979:CBF% }. \NAMECITE{Binary}{% Nievergelt:1972:BST,% Dobkin:1974:SGB,% Rivest:1978:CEB% }. \NAMECITE{bipartite}{% Gabow:1978:AEC% }. \NAMECITE{Block}{% Berry:1971:BSE% }. \NAMECITE{{Boolean}}{% Fischer:1975:LBS,% Paul:1975:LBC,% Pippenger:1976:RMB,% Pratt:1974:PNT% }. \NAMECITE{bottom}{% Terrine:1971:AGD% }. \NAMECITE{Boulder}{% ACM:1977:CRN% }. \NAMECITE{bound}{% Kung:1972:BME,% Paul:1975:LBC,% Yao:1977:LBS% }. \NAMECITE{bounded}{% Book:1970:TTB,% Book:1974:ILC,% Cook:1972:TBR,% Galil:1975:VCB,% Nievergelt:1972:BST,% Reddy:1978:PAB,% Ruzzo:1979:TSB,% Sudborough:1977:STB% }. \NAMECITE{bounds}{% Ausiello:1970:BNS,% Blum:1972:LTB,% Fischer:1975:LBS,% Kedem:1974:CDR,% Kung:1974:NAL,% Lengauer:1979:ULB,% Oppen:1973:EBP,% Paul:1976:SBG,% Sipser:1979:LBS,% Valiant:1975:NLL% }. \NAMECITE{branching}{% Lipton:1974:LSP% }. \NAMECITE{building}{% Fredman:1975:TAP% }. \NAMECITE{calculus}{% Cook:1974:LPP,% Cook:1975:FCP% }. \NAMECITE{California}{% ACM:1978:CRT% }. \NAMECITE{can}{% Valiant:1979:NCE% }. \NAMECITE{canonical}{% Chandra:1974:DTC% }. \NAMECITE{care}{% Aho:1971:CFL% }. \NAMECITE{case}{% Garey:1972:WCA,% Gentleman:1973:AAC% }. \NAMECITE{certain}{% Kirkpatrick:1972:ANC,% Kung:1974:NAL% }. \NAMECITE{{CFL}}{% Cook:1979:DCA% }. \NAMECITE{characterization}{% Pratt:1974:CPV% }. \NAMECITE{Characterizations}{% Walker:1972:CFR% }. \NAMECITE{charts}{% Strong:1970:TRE% }. \NAMECITE{chosen}{% Lueker:1978:MPG% }. \NAMECITE{{Church}}{% Rosen:1970:TMS% }. \NAMECITE{circuit}{% Itai:1977:FMC% }. \NAMECITE{circuits}{% Angluin:1977:FPA,% Tompa:1978:TST,% Valiant:1976:UCP% }. \NAMECITE{class}{% Bass:1970:HBC% }. \NAMECITE{Classes}{% Eilenberg:1973:CSC,% Bruss:1978:TSC,% Carter:1977:UCH,% Kozen:1978:ISC,% Landweber:1970:RPA,% Machtey:1971:CCF,% Mehlhorn:1974:PAS,% Robertson:1971:CCP,% Sudborough:1977:STB,% Valiant:1979:CCA% }. \NAMECITE{Classification}{% Machtey:1971:CCF% }. \NAMECITE{closed}{% Ginsburg:1971:ICF% }. \NAMECITE{Closure}{% Lewis:1970:CFL,% Hirschberg:1976:PAT,% Millen:1974:CPD% }. \NAMECITE{code}{% Aho:1975:OCG% }. \NAMECITE{codes}{% Perrot:1970:RBF% }. \NAMECITE{coding}{% Burkhard:1976:ART% }. \NAMECITE{Colorado}{% ACM:1972:CRF,% ACM:1977:CRN% }. \NAMECITE{coloring}{% Gabow:1978:AEC% }. \NAMECITE{combinational}{% Paul:1975:LBC% }. \NAMECITE{Combinatorial}{% Megiddo:1978:COR,% Ehrenfeucht:1975:CSL,% Even:1975:CPW,% Johnson:1973:AAC% }. \NAMECITE{combinatory}{% ODonnell:1977:SRS% }. \NAMECITE{Combining}{% Kedem:1974:CDR% }. \NAMECITE{common}{% Aho:1973:FLC,% Angluin:1979:FPC% }. \NAMECITE{communicating}{% Ladner:1979:CPS% }. \NAMECITE{communication}{% Kimura:1976:ASP% }. \NAMECITE{commutative}{% Cardoza:1976:ESC% }. \NAMECITE{commutativity}{% JaJa:1979:CBF% }. \NAMECITE{Comparative}{% Ginsburg:1975:CCG% }. \NAMECITE{Comparison}{% Ladner:1974:CPT,% Prabhala:1977:CIS% }. \NAMECITE{Complete}{% Jones:1974:CPD,% Sethi:1973:CRA,% Cardoza:1976:ESC,% Even:1975:CPW,% Garey:1974:SSN,% Garey:1976:SNC,% Gilbert:1979:PPC,% Gurari:1978:NCN,% Harel:1977:CAS,% Hartmanis:1976:IDN,% Manders:1976:NCD,% Owicki:1976:CCD,% Yannakakis:1978:NED% }. \NAMECITE{Completeness}{% Valiant:1979:CCA,% Berman:1979:CTA,% Harel:1977:CCL,% Kirkpatrick:1978:CGM% }. \NAMECITE{complex}{% Pan:1978:CCC% }. \NAMECITE{Complexity}{% Burkhard:1970:CPR,% Constable:1971:CFT,% Ehrenfeucht:1974:CMR,% Kozen:1977:CFP,% Lipton:1975:CMH,% Robertson:1971:CCP,% Schaefer:1976:CDP,% Bass:1970:HBC,% Brown:1977:CPQ,% Constable:1973:TTC,% Cook:1971:CTP,% Cook:1972:HNT,% DeMillo:1979:SCB,% Galil:1975:VCB,% Gill:1974:CCP,% Ginsburg:1975:CCG,% Gurari:1979:CEP,% Hartmanis:1977:RBD,% Hopcroft:1973:DAC,% Hunt:1973:TTC,% Hunt:1975:CGR,% Hyafil:1975:CPE,% JaJa:1979:CBF,% Kung:1973:CCA,% Ladner:1979:CPS,% Landweber:1970:RPA,% Lewis:1970:UCC,% Lewis:1978:CMS,% Lipton:1975:CCS,% Lynch:1978:SLP,% Miller:1974:CCN,% Pan:1978:CCC,% Papadimitriou:1976:SCR,% Paul:1975:LBC,% Rackoff:1974:CTW,% Robertson:1974:SCW,% Schaefer:1978:CSP,% Schnorr:1972:PCE,% Sedgewick:1979:CFP,% Shamos:1975:GC,% Thompson:1979:ATC,% Valiant:1975:NLL,% Wagner:1975:CES,% Wegener:1978:SFW,% Yao:1979:SCQ% }. \NAMECITE{component}{% Hirschberg:1976:PAT% }. \NAMECITE{Compositions}{% Ogden:1972:CTT% }. \NAMECITE{compression}{% Galil:1979:NFG,% Storer:1978:MMD% }. \NAMECITE{Computability}{% Egli:1975:CCP,% Harel:1977:CCL,% Sciore:1978:CTA% }. \NAMECITE{Computable}{% Chandra:1979:CQR,% Machtey:1971:CCF% }. \NAMECITE{computation}{% Burkhard:1970:CPR,% Chang:1971:PCL,% Manna:1970:SOM,% Moenck:1973:FCG,% Symes:1972:CFF,% Vairavan:1974:PSP% }. \NAMECITE{Computational}{% Gill:1974:CCP,% Hunt:1974:CPB,% Miller:1974:CCN,% Pan:1978:CCC,% Bass:1970:HBC,% Constable:1973:TTC,% Kung:1973:CCA,% Lewis:1970:UCC,% Valiant:1975:NLL% }. \NAMECITE{Computations}{% Kintala:1977:CRN,% Blum:1972:LTB,% Hamlet:1972:PPA% }. \NAMECITE{compute}{% Ausiello:1970:BNS,% Borodin:1974:NAC,% Kirkpatrick:1972:ANC% }. \NAMECITE{computer}{% Thompson:1976:SMC% }. \NAMECITE{Computing}{% ACM:1970:CRS,% ACM:1971:CRT,% ACM:1972:CRF,% ACM:1973:CRF,% ACM:1974:CRS,% ACM:1975:CRS,% ACM:1976:CRE,% ACM:1977:CRN,% ACM:1978:CRT,% ACM:1979:CRE,% Flajolet:1979:CIC,% Pratt:1973:CPD,% Hyafil:1974:EAC,% Pan:1978:CCC,% Tompa:1978:TST,% Yao:1975:CMQ,% Yao:1979:SCQ% }. \NAMECITE{concatenable}{% Kosaraju:1979:RTS% }. \NAMECITE{concepts}{% Egli:1975:CCP% }. \NAMECITE{concerning}{% Munro:1971:SRC% }. \NAMECITE{conditional}{% Lipton:1974:LSP% }. \NAMECITE{Conference}{% ACM:1970:CRS,% ACM:1971:CRT,% ACM:1972:CRF,% ACM:1973:CRF,% ACM:1974:CRS,% ACM:1975:CRS,% ACM:1976:CRE,% ACM:1977:CRN,% ACM:1978:CRT,% ACM:1979:CRE% }. \NAMECITE{conjecture}{% Rivest:1975:GPA% }. \NAMECITE{conjunctive}{% Chandra:1977:OIC% }. \NAMECITE{connected}{% Hirschberg:1976:PAT,% Thompson:1976:SMC% }. \NAMECITE{connections}{% DeMillo:1979:SCB% }. \NAMECITE{connectivity}{% Tarjan:1974:TGC,% Tompa:1978:TST% }. \NAMECITE{conquer}{% Bentley:1976:DCM% }. \NAMECITE{consecutive}{% Booth:1975:LAR% }. \NAMECITE{considerations}{% Lewis:1970:UCC% }. \NAMECITE{consistent}{% Owicki:1976:CCD% }. \NAMECITE{constructing}{% Pager:1973:LTA% }. \NAMECITE{Construction}{% Millen:1974:CPD% }. \NAMECITE{constructive}{% Cook:1975:FCP% }. \NAMECITE{Context}{% Teitelbaum:1973:CFE,% Book:1974:ILC,% Graham:1976:LCF,% Greibach:1973:JPD,% Hunt:1974:CPB,% Rounds:1970:TOP,% Sudborough:1976:DCF,% Terrine:1971:AGD% }. \NAMECITE{Context-free}{% Teitelbaum:1973:CFE,% Book:1974:ILC,% Greibach:1973:JPD,% Hunt:1974:CPB,% Rounds:1970:TOP,% Sudborough:1976:DCF% }. \NAMECITE{control}{% Lipton:1975:CCS,% Pratt:1975:FMA% }. \NAMECITE{convex}{% Chazelle:1979:DPC% }. \NAMECITE{Coping}{% Rivest:1978:CEB% }. \NAMECITE{Correct}{% Vuillemin:1973:COI% }. \NAMECITE{Correction}{% Wagner:1975:CES% }. \NAMECITE{correctness}{% McGowan:1970:CMS% }. \NAMECITE{costs}{% Flajolet:1979:CIC% }. \NAMECITE{counter}{% Boasson:1971:ITO,% Gurari:1979:CEP% }. \NAMECITE{counters}{% Plaisted:1972:FSC% }. \NAMECITE{covers}{% Maier:1979:MCR% }. \NAMECITE{critical}{% Katseff:1978:NSC,% Peterson:1977:ESC% }. \NAMECITE{cryptocomplexity}{% Shamir:1979:CKS% }. \NAMECITE{cubic}{% Filotti:1978:EAD,% Graham:1976:LCF% }. \NAMECITE{Data}{% Rosenberg:1970:DGA,% Thatcher:1978:DTS,% Chandra:1977:OIC,% Chandra:1979:CQR,% Fredman:1979:NOD,% Lipton:1975:CCS,% Munro:1979:IDS,% Oppen:1975:PAA,% Rosenberg:1971:ADG,% Rosenberg:1979:SRT,% Storer:1978:MMD% }. \NAMECITE{database}{% Beeri:1979:ERD,% Maier:1979:MCR% }. \NAMECITE{Deadlock}{% Toueg:1979:DFP% }. \NAMECITE{Deadlock-free}{% Toueg:1979:DFP% }. \NAMECITE{decidability}{% Sacerdote:1977:DRP,% Valiant:1974:DED% }. \NAMECITE{{Decidable}}{% Constable:1972:SPS% }. \NAMECITE{decision}{% Ibarra:1976:UDS,% Manders:1976:NCD,% McNaughton:1971:DPG,% Pratt:1978:PDM,% Schaefer:1976:CDP,% Terrine:1971:AGD% }. \NAMECITE{Decomposing}{% Chazelle:1979:DPC,% Skyum:1975:DLD% }. \NAMECITE{deductions}{% Harel:1977:CAS% }. \NAMECITE{deductive}{% Owicki:1976:CCD% }. \NAMECITE{defined}{% Skyum:1975:DLD% }. \NAMECITE{definitions}{% Wagner:1971:ATR% }. \NAMECITE{Degree}{% Wotschke:1975:DLP,% Cudia:1970:DHU% }. \NAMECITE{Degree-languages}{% Wotschke:1975:DLP% }. \NAMECITE{Degrees}{% Chandra:1974:DTC% }. \NAMECITE{deletion}{% Berry:1971:BSE,% Yannakakis:1978:NED% }. \NAMECITE{density}{% Hartmanis:1976:IDN% }. \NAMECITE{Denver}{% ACM:1972:CRF% }. \NAMECITE{depth}{% Fong:1976:FDF% }. \NAMECITE{derivatives}{% Millen:1974:CPD% }. \NAMECITE{descriptions}{% Meyer:1972:PSE% }. \NAMECITE{design}{% Lindstrom:1970:DPI% }. \NAMECITE{{Determinants}}{% Gentleman:1973:AAC% }. \NAMECITE{Determining}{% Kirkpatrick:1974:DGP,% Bass:1970:HBC,% Filotti:1978:EAD,% Filotti:1979:DGG% }. \NAMECITE{Deterministic}{% Cook:1979:DCA,% Cook:1974:SRD,% Greibach:1973:JPD,% Jones:1974:CPD,% Rajlich:1971:APG,% Sudborough:1976:DCF,% Terrine:1971:AGD,% Valiant:1974:DED% }. \NAMECITE{deterministic/polynomial}{% Cook:1974:SRD% }. \NAMECITE{Developmental}{% Lindenmayer:1972:DSL% }. \NAMECITE{device}{% Ibarra:1976:UDS% }. \NAMECITE{devices}{% Skyum:1975:DLD% }. \NAMECITE{diagonalization}{% Hartmanis:1977:RBD% }. \NAMECITE{diagonalizations}{% Simon:1977:PRU% }. \NAMECITE{Dichotomization}{% Hunt:1976:DRF% }. \NAMECITE{dictionaries}{% Flajolet:1979:CIC% }. \NAMECITE{Diego}{% ACM:1978:CRT% }. \NAMECITE{digraphs}{% Valdes:1979:RSP% }. \NAMECITE{dimensional}{% Chang:1970:ATD% }. \NAMECITE{dimensionality}{% Kedem:1974:CDR% }. \NAMECITE{direct}{% Rackoff:1974:CTW% }. \NAMECITE{directed}{% Martin:1970:SDT% }. \NAMECITE{disjoint}{% Tarjan:1977:RMR% }. \NAMECITE{disk}{% Hyafil:1974:EAC% }. \NAMECITE{distributed}{% Peterson:1977:ESC% }. \NAMECITE{distribution}{% Lueker:1978:MPG% }. \NAMECITE{distributive}{% Yao:1979:SCQ% }. \NAMECITE{Divide}{% Bentley:1976:DCM% }. \NAMECITE{Divide-and-conquer}{% Bentley:1976:DCM% }. \NAMECITE{division}{% Fiduccia:1972:PED% }. \NAMECITE{domains}{% Sciore:1978:CTA% }. \NAMECITE{{Domolki}}{% Wise:1971:DAA% }. \NAMECITE{don't}{% Lynch:1973:SDH% }. \NAMECITE{double}{% Guibas:1976:ADH,% Kosaraju:1979:RTS,% Pratt:1973:CPD% }. \NAMECITE{double-ended}{% Kosaraju:1979:RTS,% Pratt:1973:CPD% }. \NAMECITE{Draft}{% Munro:1979:IDS% }. \NAMECITE{Duality}{% Hopcroft:1973:DAC% }. \NAMECITE{{Dyck}}{% Nivat:1970:SFL% }. \NAMECITE{dynamic}{% Pratt:1978:PDM,% Rosenthal:1977:NDP,% Meyer:1979:EPD% }. \NAMECITE{Economical}{% Peterson:1977:ESC% }. \NAMECITE{economy}{% Meyer:1972:PSE% }. \NAMECITE{edge}{% Gabow:1978:AEC,% Lueker:1978:MPG,% Yannakakis:1978:NED% }. \NAMECITE{edge-deletion}{% Yannakakis:1978:NED% }. \NAMECITE{effective}{% Schnorr:1972:PCE% }. \NAMECITE{efficiency}{% Kung:1972:BME% }. \NAMECITE{Efficient}{% Horvath:1974:ESS,% Lynch:1977:ERB,% Filotti:1978:EAD,% Hyafil:1974:EAC,% Munro:1971:SRC% }. \NAMECITE{eighth}{% ACM:1976:CRE% }. \NAMECITE{Elementary}{% Oppen:1973:EBP% }. \NAMECITE{eleventh}{% ACM:1979:CRE% }. \NAMECITE{elimination}{% Reiter:1970:PES,% Rose:1975:AAV% }. \NAMECITE{ended}{% Kosaraju:1979:RTS,% Pratt:1973:CPD% }. \NAMECITE{enumerable}{% Ginsburg:1971:ICF% }. \NAMECITE{equality}{% Chandra:1972:PSE,% Jones:1972:TMS% }. \NAMECITE{equations}{% ODonnell:1977:SRS,% Strong:1970:TRE% }. \NAMECITE{Equivalence}{% Beeri:1979:ERD,% Constable:1972:SPS,% Garland:1972:ES,% Gurari:1979:CEP,% Raoult:1978:OSE,% Valiant:1974:DED% }. \NAMECITE{Equivalences}{% Peterson:1979:TST% }. \NAMECITE{erasable}{% Carlyle-Greibach:1972:UEA% }. \NAMECITE{error}{% Miller:1973:TMV,% Teitelbaum:1973:CFE% }. \NAMECITE{errors}{% Rivest:1978:CEB% }. \NAMECITE{establishing}{% Kedem:1974:CDR% }. \NAMECITE{Evaluation}{% Lipton:1976:EPS,% Brockett:1973:OES,% Fiduccia:1972:PED,% Hyafil:1975:CPE,% Hyafil:1978:PEM,% Ja:1978:OEP,% Kung:1974:NAL,% Lipton:1975:CMH,% Teitelbaum:1973:CFE% }. \NAMECITE{Exact}{% Carter:1978:EAM% }. \NAMECITE{Exponential}{% Cardoza:1976:ESC,% Stockmeyer:1973:WPR% }. \NAMECITE{exponentially}{% Valiant:1979:NCE% }. \NAMECITE{expression}{% Aho:1975:OCG% }. \NAMECITE{expressions}{% Ehrenfeucht:1974:CMR,% Kung:1974:NAL% }. \NAMECITE{expressive}{% Meyer:1979:EPD% }. \NAMECITE{Extended}{% Angluin:1979:FPC,% Beatty:1977:ITL,% Berry:1971:BSE,% Book:1970:TTB,% Book:1974:ILC,% Burkhard:1976:ART,% Carter:1977:UCH,% Ehrenfeucht:1975:CSL,% Ehrenfeucht:1975:PFL,% Engelfriet:1978:TTS,% Graham:1976:LCF,% Greibach:1973:JPD,% Guibas:1976:ADH,% Hammer:1974:NGT,% Hunt:1976:DRF,% Hyafil:1974:EAC,% Kintala:1977:CRN,% Ladner:1979:CPS,% Lewis:1973:ATE,% Long:1979:GRV,% Lueker:1978:MPG,% Maier:1979:MCR,% Peterson:1977:ESC,% Rosenberg:1970:DGA,% Rosenberg:1971:ADG,% Rosenberg:1974:MSE,% Rosenberg:1975:HSE,% Ruzzo:1979:TSB,% Savitch:1972:MRA,% Storer:1978:MMD,% Yao:1976:ABS,% Wagner:1975:CES% }. \NAMECITE{extendible}{% Rosenberg:1974:MSE,% Rosenberg:1975:HSE% }. \NAMECITE{extra}{% Horvath:1974:ESS% }. \NAMECITE{families}{% Baker:1973:TTF,% Lewis:1970:CFL,% Nivat:1970:SFL,% Ullian:1970:TTA% }. \NAMECITE{Fast}{% Angluin:1977:FPA,% Fiduccia:1971:FMM,% Fischer:1973:FLI,% Kosaraju:1979:FPP,% Moenck:1973:FCG,% Fiduccia:1972:PED% }. \NAMECITE{feasible}{% Simon:1977:FNP% }. \NAMECITE{Feasibly}{% Cook:1975:FCP% }. \NAMECITE{feeding}{% Aho:1971:CFL% }. \NAMECITE{fields}{% Pan:1978:CCC% }. \NAMECITE{Fifth}{% ACM:1973:CRF% }. \NAMECITE{Finding}{% Angluin:1979:FPC,% Fong:1976:FDF,% Itai:1977:FMC,% Aho:1973:FLC,% Sedgewick:1979:CFP,% Weiner:1973:NSA% }. \NAMECITE{fingers}{% Brown:1978:RLL% }. \NAMECITE{finite}{% Buttelmann:1971:GFA,% Perrot:1970:RBF,% Rajlich:1971:APG,% Sakoda:1978:NST,% Schaefer:1976:CDP,% Symes:1972:CFF,% Valiant:1974:DED% }. \NAMECITE{finite-state}{% Rajlich:1971:APG% }. \NAMECITE{finite-turn}{% Valiant:1974:DED% }. \NAMECITE{finitely}{% Kozen:1977:CFP% }. \NAMECITE{first}{% Jones:1972:TMS% }. \NAMECITE{first-order}{% Jones:1972:TMS% }. \NAMECITE{fixedpoint}{% Manna:1975:OFR% }. \NAMECITE{Flow}{% Hecht:1972:FGR,% Aho:1975:NLR,% Fong:1976:FDF,% Galil:1979:NFG,% Strong:1970:TRE,% Tarjan:1973:TFG% }. \NAMECITE{Flowchart}{% Plaisted:1972:FSC% }. \NAMECITE{flowchartable}{% Walker:1972:CFR% }. \NAMECITE{flowcharts}{% Kosaraju:1976:SFP% }. \NAMECITE{forbidden}{% Hunt:1976:DRF% }. \NAMECITE{form}{% Hammer:1974:NGT% }. \NAMECITE{Formal}{% Stanat:1971:FLP,% Constable:1971:CFT,% Cudia:1970:DHU,% Ehrenfeucht:1975:PFL% }. \NAMECITE{formalisms}{% Constable:1970:SPS% }. \NAMECITE{forms}{% Brockett:1973:OES,% Chandra:1974:DTC,% Ginsburg:1975:CCG,% Hopcroft:1973:DAC,% Ja:1978:OEP,% JaJa:1979:CBF,% Lipton:1975:CMH,% Yao:1975:CMQ% }. \NAMECITE{formulas}{% Fischer:1975:LBS,% Jones:1972:TMS% }. \NAMECITE{formulating}{% Miller:1978:FSS% }. \NAMECITE{Four}{% Pratt:1975:FMA% }. \NAMECITE{{Fourier}}{% Fiduccia:1972:PED% }. \NAMECITE{Fourth}{% ACM:1972:CRF% }. \NAMECITE{free}{% Book:1974:ILC,% Graham:1976:LCF,% Greibach:1973:JPD,% Hunt:1974:CPB,% Meyers:1971:LRT,% Rounds:1970:TOP,% Sudborough:1976:DCF,% Teitelbaum:1973:CFE,% Terrine:1971:AGD,% Toueg:1979:DFP% }. \NAMECITE{full}{% Anonymous:1978:AFA,% Ginsburg:1971:ICF% }. \NAMECITE{function}{% Horowitz:1972:ARF% }. \NAMECITE{functions}{% Ausiello:1970:BNS,% Carter:1977:UCH,% Kirkpatrick:1972:ANC,% Machtey:1971:CCF,% Megiddo:1978:COR,% Paul:1975:LBC,% Pippenger:1976:RMB,% Robertson:1971:CCP,% Symes:1972:CFF,% Tompa:1978:TST,% Warkentin:1972:PMR,% Wegener:1978:SFW% }. \NAMECITE{game}{% Paul:1976:SBG% }. \NAMECITE{games}{% Reif:1979:UGI,% Schaefer:1976:CDP% }. \NAMECITE{gaps}{% Hartmanis:1977:RBD% }. \NAMECITE{{GCDs}}{% Moenck:1973:FCG% }. \NAMECITE{general}{% Miller:1977:GIG% }. \NAMECITE{generalization}{% Rivest:1975:GPA% }. \NAMECITE{generalizations}{% Dobkin:1974:SGB% }. \NAMECITE{generalized}{% Buttelmann:1971:GFA,% Galil:1979:NFG,% Kirkpatrick:1978:CGM,% McNaughton:1971:DPG,% Wise:1971:DAA% }. \NAMECITE{generating}{% Terrine:1971:AGD% }. \NAMECITE{generation}{% Aho:1975:OCG% }. \NAMECITE{generative}{% Buttelmann:1971:GFA% }. \NAMECITE{genus}{% Filotti:1979:DGG% }. \NAMECITE{Geometric}{% Shamos:1975:GC,% Garey:1976:SNC% }. \NAMECITE{Georgia}{% ACM:1979:CRE% }. \NAMECITE{global}{% Lipton:1974:LSP% }. \NAMECITE{{G{\"o}del}}{% Machtey:1976:SGN% }. \NAMECITE{grammar}{% Ginsburg:1975:CCG,% Hunt:1975:CGR% }. \NAMECITE{grammars}{% Aho:1971:CFL,% Buttelmann:1971:GFA,% Chang:1970:ATD,% Cudia:1970:DHU,% Greibach:1974:SRW,% Rajlich:1971:APG,% Terrine:1971:AGD,% Wise:1971:DAA% }. \NAMECITE{grammatical}{% Hammer:1974:NGT% }. \NAMECITE{Graph}{% Miller:1977:GIG,% Filotti:1978:EAD,% Filotti:1979:DGG,% Fong:1976:FDF,% Hecht:1972:FGR,% Itai:1977:FMC,% Kirkpatrick:1974:DGP,% Kosaraju:1979:FPP,% Tarjan:1973:TFG,% Tarjan:1974:TGC% }. \NAMECITE{graphs}{% Aho:1975:NLR,% Booth:1975:LAR,% Gabow:1978:AEC,% Hopcroft:1974:LTA,% Lueker:1978:MPG,% Paul:1976:SBG,% Rosenberg:1970:DGA,% Rosenberg:1971:ADG% }. \NAMECITE{growth}{% Kedem:1974:CDR% }. \NAMECITE{{Hamiltonian}}{% Angluin:1977:FPA% }. \NAMECITE{hash}{% Burkhard:1976:ART,% Carter:1977:UCH% }. \NAMECITE{hash-coding}{% Burkhard:1976:ART% }. \NAMECITE{Hashing}{% Rosenberg:1975:HSE,% Gonnet:1977:AIH,% Guibas:1976:ADH% }. \NAMECITE{Heights}{% ACM:1971:CRT% }. \NAMECITE{help}{% Lynch:1973:SDH% }. \NAMECITE{Hershey}{% ACM:1976:CRE% }. \NAMECITE{Hierarchies}{% Bass:1970:HBC,% Case:1978:AHM,% Lipton:1975:CMH,% Paul:1977:TH% }. \NAMECITE{hierarchy}{% Cook:1972:HNT,% Cudia:1970:DHU,% Machtey:1976:SGN% }. \NAMECITE{{Hoare}}{% Wand:1976:NIR% }. \NAMECITE{homeomorphism}{% LaPaugh:1978:SHP% }. \NAMECITE{{Hypothesis}}{% Miller:1975:RHT% }. \NAMECITE{identification}{% Karp:1972:RIR% }. \NAMECITE{{II}}{% Constable:1972:SPS% }. \NAMECITE{implementation}{% Chandra:1977:OIC% }. \NAMECITE{implementations}{% Vuillemin:1973:COI% }. \NAMECITE{Implicit}{% Munro:1979:IDS% }. \NAMECITE{improved}{% Gonnet:1977:AIH% }. \NAMECITE{incomplete}{% Reif:1979:UGI% }. \NAMECITE{incompleteness}{% Wand:1976:NIR% }. \NAMECITE{incremental}{% Lindstrom:1970:DPI% }. \NAMECITE{independent}{% Hamlet:1972:PPA,% ODonnell:1979:PLT% }. \NAMECITE{index}{% Anonymous:1977:ASI% }. \NAMECITE{indexed}{% Rounds:1970:TOP% }. \NAMECITE{Indexing}{% Kozen:1978:ISC% }. \NAMECITE{inductive}{% Case:1978:AHM% }. \NAMECITE{inefficient}{% Weiner:1973:NSA% }. \NAMECITE{inference}{% Case:1978:AHM% }. \NAMECITE{information}{% Reif:1979:UGI,% Schaefer:1976:CDP% }. \NAMECITE{instruction}{% Prabhala:1977:CIS% }. \NAMECITE{integer}{% Fischer:1973:FLI% }. \NAMECITE{integers}{% King:1970:IOT,% Lipton:1975:CMH% }. \NAMECITE{integrated}{% Flajolet:1979:CIC% }. \NAMECITE{interactions}{% Ehrenfeucht:1975:CSL% }. \NAMECITE{Intercalation}{% Perrault:1975:ITT% }. \NAMECITE{interpretation}{% King:1970:IOT% }. \NAMECITE{interprocess}{% Kimura:1976:ASP% }. \NAMECITE{Intersection}{% Ginsburg:1971:ICF% }. \NAMECITE{Intersection-closed}{% Ginsburg:1971:ICF% }. \NAMECITE{Intersections}{% Book:1974:ILC% }. \NAMECITE{interval}{% Booth:1975:LAR% }. \NAMECITE{intractibility}{% Adleman:1977:RRI% }. \NAMECITE{involving}{% Rackoff:1978:RQI% }. \NAMECITE{irregularities}{% Bass:1970:HBC% }. \NAMECITE{isomorphism}{% Hopcroft:1974:LTA,% Miller:1977:GIG,% Miller:1978:ITP% }. \NAMECITE{isomorphisms}{% Hartmanis:1976:IDN% }. \NAMECITE{Iteration}{% Beatty:1977:ITL,% Boasson:1971:ITO,% Kung:1972:BME% }. \NAMECITE{iterative}{% Seiferas:1974:ONM% }. \NAMECITE{Jump}{% Greibach:1973:JPD% }. \NAMECITE{knapsack}{% Shamir:1979:CKS% }. \NAMECITE{{L}}{% Ehrenfeucht:1975:CSL% }. \NAMECITE{lane}{% Pager:1973:LTA% }. \NAMECITE{language}{% Cook:1970:PSL,% Courcelle:1974:SAS,% Egli:1975:CCP,% Graham:1976:LCF,% Lindstrom:1970:DPI,% Nivat:1970:SFL,% ODonnell:1979:PLT,% Vuillemin:1973:COI% }. \NAMECITE{languages}{% Baker:1973:TTF,% Beatty:1977:ITL,% Boasson:1971:ITO,% Book:1974:ILC,% Cook:1974:SRD,% Ehrenfeucht:1975:CSL,% Ehrenfeucht:1975:PFL,% Ginsburg:1971:ICF,% Greibach:1973:JPD,% Hamlet:1972:PPA,% Hunt:1973:TTC,% Hunt:1974:CPB,% Lewis:1970:CFL,% Lindenmayer:1972:DSL,% Morris:1970:RRB,% Nivat:1970:SFL,% Perrault:1975:ITT,% Rounds:1970:TOP,% Skyum:1975:DLD,% Stanat:1971:FLP,% Sudborough:1976:DCF,% Ullian:1970:TTA,% Wagner:1971:ATR,% Wagner:1973:APL,% Wotschke:1975:DLP% }. \NAMECITE{{LBA}}{% Wotschke:1975:DLP% }. \NAMECITE{length}{% Lynch:1978:SLP% }. \NAMECITE{lengths}{% Cook:1974:LPP% }. \NAMECITE{less}{% Graham:1976:LCF% }. \NAMECITE{like}{% Rosenberg:1979:SRT% }. \NAMECITE{Limitations}{% Lipton:1974:LSP% }. \NAMECITE{line}{% Aho:1970:TSL,% Fischer:1973:FLI,% Graham:1976:LCF,% Lynch:1978:SLP,% Sethi:1972:VRA% }. \NAMECITE{Linear}{% Blum:1972:LTB,% Booth:1975:LAR,% Hopcroft:1974:LTA,% Meyers:1971:LRT,% Paterson:1976:LU,% Book:1974:ILC,% Brown:1978:RLL,% Guibas:1977:NRL,% Hyafil:1975:CPE,% Lipton:1975:CMH,% Tarjan:1977:RMR,% Valiant:1975:NLL% }. \NAMECITE{{LISP}}{% ODonnell:1977:SRS% }. \NAMECITE{listings}{% Aho:1975:NLR% }. \NAMECITE{lists}{% Brown:1978:RLL,% Guibas:1977:NRL,% Morris:1972:RSL% }. \NAMECITE{{LL}}{% Beatty:1977:ITL,% Hammer:1974:NGT% }. \NAMECITE{local}{% Chang:1971:PCL% }. \NAMECITE{Location}{% Lee:1976:LPP% }. \NAMECITE{log}{% Cook:1979:DCA% }. \NAMECITE{logic}{% DeMillo:1979:SCB,% Fischer:1977:PML,% ODonnell:1977:SRS,% Pratt:1978:PDM,% Meyer:1979:EPD% }. \NAMECITE{logics}{% Constable:1977:TPL,% Harel:1977:CCL% }. \NAMECITE{Loop}{% Constable:1971:LS% }. \NAMECITE{Lower}{% Fischer:1975:LBS,% Sipser:1979:LBS,% Kedem:1974:CDR,% Kung:1974:NAL,% Lengauer:1979:ULB,% Paul:1975:LBC,% Valiant:1975:NLL,% Yao:1977:LBS% }. \NAMECITE{lowest}{% Aho:1973:FLC% }. \NAMECITE{{LR}}{% Aho:1971:CFL,% Aho:1972:TSL,% Pager:1973:LTA% }. \NAMECITE{lucid}{% ODonnell:1977:SRS% }. \NAMECITE{machine}{% Hamlet:1972:PPA,% McGowan:1970:CMS% }. \NAMECITE{machine-independent}{% Hamlet:1972:PPA% }. \NAMECITE{machines}{% Book:1974:ILC,% Cook:1972:TBR,% Engelfriet:1978:TTS,% Fortune:1978:PRA,% Gill:1974:CCP,% Goldschlager:1978:UAM,% Gurari:1979:CEP,% Jones:1972:TMS,% Prabhala:1977:CIS,% Pratt:1974:CPV,% Santos:1971:AST,% Tarjan:1977:RMR,% Warkentin:1972:PMR% }. \NAMECITE{macro}{% Storer:1978:MMD% }. \NAMECITE{maintain}{% Tarjan:1977:RMR% }. \NAMECITE{maintenance}{% Brown:1977:CPQ% }. \NAMECITE{Managing}{% Rosenberg:1974:MSE% }. \NAMECITE{manipulate}{% Oppen:1975:PAA% }. \NAMECITE{manipulating}{% Rosen:1970:TMS% }. \NAMECITE{many}{% Long:1979:GRV% }. \NAMECITE{many-one}{% Long:1979:GRV% }. \NAMECITE{mapability}{% McNaughton:1971:DPG% }. \NAMECITE{mapability-onto}{% McNaughton:1971:DPG% }. \NAMECITE{Massachusetts}{% ACM:1970:CRS% }. \NAMECITE{matching}{% Galil:1976:RTA,% Kirkpatrick:1978:CGM% }. \NAMECITE{matchings}{% Angluin:1977:FPA% }. \NAMECITE{mathematical}{% DeMillo:1979:SCB,% Manna:1970:SOM,% Meyers:1971:LRT% }. \NAMECITE{matrices}{% Pratt:1974:PNT% }. \NAMECITE{matrix}{% Fiduccia:1971:FMM,% Hopcroft:1973:DAC,% Kirkpatrick:1974:DGP% }. \NAMECITE{Maximization}{% Lueker:1978:MPG% }. \NAMECITE{{Maximum}}{% Lewis:1978:CMS% }. \NAMECITE{May}{% ACM:1970:CRS,% ACM:1971:CRT,% ACM:1972:CRF,% ACM:1973:CRF,% ACM:1974:CRS,% ACM:1975:CRS,% ACM:1976:CRE,% ACM:1977:CRN,% ACM:1978:CRT,% ACM:1979:CRE% }. \NAMECITE{Maze}{% Savitch:1972:MRA% }. \NAMECITE{measured}{% Bass:1970:HBC% }. \NAMECITE{measures}{% Ehrenfeucht:1974:CMR,% Lipton:1975:CMH,% Lynch:1978:SLP% }. \NAMECITE{mechanical}{% Miller:1973:TMV% }. \NAMECITE{mechanisms}{% Hennessy:1977:PPM% }. \NAMECITE{mechanized}{% Case:1978:AHM% }. \NAMECITE{median}{% Blum:1972:LTB% }. \NAMECITE{membership}{% Carter:1978:EAM% }. \NAMECITE{memory}{% Garey:1972:WCA% }. \NAMECITE{merge}{% Hyafil:1974:EAC% }. \NAMECITE{merging}{% Yao:1976:ABS% }. \NAMECITE{mesh}{% Thompson:1976:SMC% }. \NAMECITE{mesh-connected}{% Thompson:1976:SMC% }. \NAMECITE{method}{% Pratt:1978:PDM% }. \NAMECITE{Mexico}{% ACM:1975:CRS% }. \NAMECITE{minima}{% Yao:1975:CMQ% }. \NAMECITE{minimal}{% Horvath:1974:ESS% }. \NAMECITE{Minimum}{% Maier:1979:MCR,% Itai:1977:FMC% }. \NAMECITE{modal}{% Fischer:1977:PML% }. \NAMECITE{model}{% Maier:1979:MCR,% Storer:1978:MMD,% Vairavan:1974:PSP% }. \NAMECITE{models}{% Goldschlager:1978:UAM,% Peterson:1979:TST,% Pratt:1975:FMA% }. \NAMECITE{modified}{% McGowan:1970:CMS% }. \NAMECITE{monadic}{% Robertson:1974:SCW% }. \NAMECITE{monoids}{% Perrot:1970:RBF% }. \NAMECITE{monotone}{% Pippenger:1976:RMB,% Wegener:1978:SFW% }. \NAMECITE{movable}{% Brown:1978:RLL% }. \NAMECITE{multidimensional}{% Bentley:1976:DCM,% Kosaraju:1979:MSP,% Seiferas:1974:ONM% }. \NAMECITE{multihead}{% Leong:1977:NRT,% Sudborough:1976:DCF% }. \NAMECITE{multiplication}{% Fiduccia:1971:FMM,% Fischer:1973:FLI,% Kung:1972:BME% }. \NAMECITE{multiplications}{% Hopcroft:1973:DAC,% Kedem:1974:CDR% }. \NAMECITE{multiplying}{% Pratt:1974:PNT% }. \NAMECITE{multipushdown}{% Book:1974:ILC% }. \NAMECITE{multivariate}{% Hyafil:1978:PEM% }. \NAMECITE{must}{% Weiner:1973:NSA% }. \NAMECITE{n}{% Ogden:1972:CTT% }. \NAMECITE{natural}{% Robertson:1974:SCW% }. \NAMECITE{near}{% Fredman:1979:NOD% }. \NAMECITE{necessary}{% Kirkpatrick:1972:ANC% }. \NAMECITE{Negation}{% Valiant:1979:NCE% }. \NAMECITE{negative}{% Pratt:1974:PNT% }. \NAMECITE{Neighborhood}{% Weiner:1973:NSA% }. \NAMECITE{nets}{% Cardoza:1976:ESC% }. \NAMECITE{Network}{% Galil:1979:NFG% }. \NAMECITE{networks}{% Toueg:1979:DFP% }. \NAMECITE{ninth}{% ACM:1977:CRN% }. \NAMECITE{Node}{% Aho:1975:NLR,% Yannakakis:1978:NED% }. \NAMECITE{Node-and}{% Yannakakis:1978:NED% }. \NAMECITE{non}{% Tarjan:1977:RMR,% Valiant:1975:NLL% }. \NAMECITE{non-linear}{% Tarjan:1977:RMR,% Valiant:1975:NLL% }. \NAMECITE{Nondeterminism}{% Sakoda:1978:NST,% Hennessy:1977:PPM% }. \NAMECITE{nondeterministic}{% Cook:1972:HNT,% Kintala:1977:CRN,% Seiferas:1974:ONM% }. \NAMECITE{Nonserial}{% Rosenthal:1977:NDP% }. \NAMECITE{normal}{% Lueker:1978:MPG% }. \NAMECITE{Northampton}{% ACM:1970:CRS% }. \NAMECITE{notations}{% Meyers:1971:LRT% }. \NAMECITE{{NP}}{% Garey:1974:SSN,% Garey:1976:SNC,% Gurari:1978:NCN,% Hartmanis:1976:IDN,% Manders:1976:NCD,% Yannakakis:1978:NED% }. \NAMECITE{{NP}-complete}{% Garey:1974:SSN,% Garey:1976:SNC,% Gurari:1978:NCN,% Manders:1976:NCD,% Yannakakis:1978:NED% }. \NAMECITE{number}{% Ausiello:1970:BNS,% Borodin:1974:NAC,% Gurari:1978:NCN,% Kedem:1974:CDR,% Kintala:1977:CRN% }. \NAMECITE{number-theoretic}{% Gurari:1978:NCN% }. \NAMECITE{numberings}{% Machtey:1976:SGN% }. \NAMECITE{numbers}{% Kung:1973:CCA,% Pan:1978:CCC,% Robertson:1974:SCW,% Simon:1977:FNP% }. \NAMECITE{numerical}{% Miller:1974:CCN% }. \NAMECITE{objective}{% Megiddo:1978:COR% }. \NAMECITE{observation}{% Cook:1973:OTS% }. \NAMECITE{Observations}{% Seiferas:1974:ONM% }. \NAMECITE{off}{% Cook:1973:OTS% }. \NAMECITE{offs}{% Peterson:1979:TST% }. \NAMECITE{Ohio}{% ACM:1971:CRT% }. \NAMECITE{on-line}{% Fischer:1973:FLI% }. \NAMECITE{one}{% Boasson:1971:ITO,% Long:1979:GRV% }. \NAMECITE{one-counter}{% Boasson:1971:ITO% }. \NAMECITE{ones}{% Booth:1975:LAR% }. \NAMECITE{onto}{% McNaughton:1971:DPG% }. \NAMECITE{Operational}{% Raoult:1978:OSE% }. \NAMECITE{operations}{% Chang:1971:PCL,% Flajolet:1979:CIC,% Horowitz:1972:ARF% }. \NAMECITE{operators}{% Lewis:1970:CFL% }. \NAMECITE{Optimal}{% Aho:1975:OCG,% Chandra:1977:OIC,% Ja:1978:OEP,% Brockett:1973:OES,% Fredman:1979:NOD,% Hyafil:1974:EAC,% Manna:1975:OFR,% Munro:1971:SRC,% Rosenthal:1977:NDP,% Vuillemin:1973:COI,% Weiner:1973:NSA% }. \NAMECITE{optimization}{% Megiddo:1978:COR,% Pratt:1975:FMA% }. \NAMECITE{order}{% Jones:1972:TMS,% Manna:1970:SOM,% Robertson:1974:SCW% }. \NAMECITE{oriented}{% King:1970:IOT,% Rounds:1970:TOP% }. \NAMECITE{other}{% Hartmanis:1976:IDN,% Hopcroft:1973:DAC% }. \NAMECITE{overlap}{% Wise:1971:DAA% }. \NAMECITE{packet}{% Toueg:1979:DFP% }. \NAMECITE{pairs}{% Ja:1978:OEP% }. \NAMECITE{palindrome}{% Galil:1976:RTA% }. \NAMECITE{papers}{% ACM:1970:CRS,% ACM:1971:CRT,% ACM:1972:CRF,% ACM:1973:CRF,% ACM:1974:CRS,% ACM:1975:CRS,% ACM:1976:CRE,% ACM:1977:CRN,% ACM:1978:CRT,% ACM:1979:CRE% }. \NAMECITE{Parallel}{% Hirschberg:1976:PAT,% Vairavan:1974:PSP,% Chang:1971:PCL,% Doeppner:1976:APP,% Goldschlager:1978:UAM,% Hyafil:1975:CPE,% Hyafil:1978:PEM,% Kosaraju:1979:FPP,% Kung:1974:NAL,% Millen:1974:CPD,% Owicki:1976:CCD,% Peterson:1979:TST,% Pratt:1973:CPD,% Rajlich:1971:APG,% Skyum:1975:DLD,% Thompson:1976:SMC,% Valdes:1979:RSP% }. \NAMECITE{Parallelism}{% Fortune:1978:PRA,% Miller:1978:FSS% }. \NAMECITE{parallels}{% Hunt:1974:CPB% }. \NAMECITE{Parameter}{% Hennessy:1977:PPM,% Lynch:1978:SLP% }. \NAMECITE{Parameter-passing}{% Hennessy:1977:PPM% }. \NAMECITE{{Parameterization}}{% Thatcher:1978:DTS% }. \NAMECITE{parenthesis}{% Meyers:1971:LRT% }. \NAMECITE{parenthesis-free}{% Meyers:1971:LRT% }. \NAMECITE{parser}{% Terrine:1971:AGD% }. \NAMECITE{parsers}{% Aho:1972:TSL,% Lindstrom:1970:DPI,% Pager:1973:LTA% }. \NAMECITE{{Part}}{% Chandra:1974:DTC% }. \NAMECITE{partial}{% Robertson:1971:CCP,% vanLeeuwen:1974:PSR% }. \NAMECITE{parts}{% Chazelle:1979:DPC% }. \NAMECITE{passing}{% Hennessy:1977:PPM% }. \NAMECITE{patent}{% Hamlet:1972:PPA% }. \NAMECITE{Path}{% Cook:1970:PSL,% Galil:1979:NFG% }. \NAMECITE{paths}{% Yao:1977:LBS% }. \NAMECITE{patterns}{% Angluin:1979:FPC,% Chang:1970:ATD,% Hyafil:1974:EAC,% Karp:1972:RIR% }. \NAMECITE{{PDA}}{% Greibach:1973:JPD% }. \NAMECITE{{Peano}}{% ODonnell:1979:PLT% }. \NAMECITE{pebbling}{% Gilbert:1979:PPC% }. \NAMECITE{Pennsylvania}{% ACM:1976:CRE% }. \NAMECITE{perfect}{% Schaefer:1976:CDP% }. \NAMECITE{perfect-information}{% Schaefer:1976:CDP% }. \NAMECITE{periods}{% Sedgewick:1979:CFP% }. \NAMECITE{permutations}{% Pratt:1973:CPD% }. \NAMECITE{person}{% Schaefer:1976:CDP% }. \NAMECITE{{Petri}}{% Cardoza:1976:ESC% }. \NAMECITE{picture}{% Chang:1970:ATD% }. \NAMECITE{planar}{% Hopcroft:1974:LTA,% Lee:1976:LPP% }. \NAMECITE{point}{% Lee:1976:LPP% }. \NAMECITE{polygon}{% Chazelle:1979:DPC% }. \NAMECITE{Polynomial}{% Fiduccia:1972:PED,% Mehlhorn:1974:PAS,% Simon:1977:PRU,% Cook:1974:SRD,% Cook:1979:DCA,% Even:1975:CPW,% Gilbert:1979:PPC,% Greibach:1973:JPD,% Jones:1974:CPD,% Ladner:1974:CPT,% Long:1979:GRV,% Wotschke:1975:DLP% }. \NAMECITE{polynomial-time}{% Ladner:1974:CPT% }. \NAMECITE{polynomials}{% Borodin:1974:NAC,% Gentleman:1973:AAC,% Hyafil:1978:PEM,% Lipton:1975:CMH,% Lipton:1976:EPS,% Manders:1976:NCD,% Pan:1978:CCC% }. \NAMECITE{Polynominal}{% Ladner:1973:PTR% }. \NAMECITE{power}{% Meyer:1979:EPD,% Pratt:1974:CPV,% Pratt:1974:PNT,% Stanat:1971:FLP,% Sudborough:1976:DCF,% Teitelbaum:1973:CFE,% Thatcher:1978:DTS% }. \NAMECITE{powerful}{% Valiant:1979:NCE% }. \NAMECITE{practical}{% Pratt:1978:PDM% }. \NAMECITE{precedence}{% Morris:1970:RRB% }. \NAMECITE{preconditioning}{% Lipton:1976:EPS% }. \NAMECITE{Predecessor}{% Warkentin:1972:PMR% }. \NAMECITE{predicate}{% Reiter:1970:PES% }. \NAMECITE{predictability}{% Ehrenfeucht:1975:PFL% }. \NAMECITE{prefix}{% Perrot:1970:RBF% }. \NAMECITE{Preliminary}{% Aho:1970:TSL,% Bass:1970:HBC,% Borodin:1974:NAC,% Cardoza:1976:ESC,% Chandra:1979:CQR,% Cook:1974:LPP,% Cook:1975:FCP,% Dowd:1978:PRA,% Filotti:1979:DGG,% Harel:1977:CCL,% Hopcroft:1974:LTA,% Kosaraju:1976:SFP,% Kosaraju:1979:FPP,% Kosaraju:1979:MSP,% Kosaraju:1979:RTS,% Landweber:1970:RPA,% Lynch:1977:ERB,% Machtey:1976:SGN,% Meyer:1979:EPD,% Miller:1978:ITP,% Munro:1979:IDS,% Pippenger:1976:RMB,% Pratt:1978:PDM,% Rackoff:1974:CTW,% Rivest:1978:CEB,% Robertson:1971:CCP,% Sacerdote:1977:DRP,% Simon:1977:FNP,% Stockmeyer:1973:WPR,% Valiant:1976:UCP,% Yao:1975:CMQ,% Yao:1979:SCQ,% Fischer:1975:LBS,% Meyer:1972:PSE% }. \NAMECITE{{Presburger}}{% Oppen:1973:EBP,% Reddy:1978:PAB% }. \NAMECITE{presented}{% ACM:1970:CRS,% ACM:1971:CRT,% ACM:1972:CRF,% ACM:1973:CRF,% ACM:1974:CRS,% ACM:1975:CRS,% ACM:1976:CRE,% ACM:1977:CRN,% ACM:1978:CRT,% ACM:1979:CRE,% Kozen:1977:CFP% }. \NAMECITE{primality}{% Miller:1975:RHT% }. \NAMECITE{primitive}{% Machtey:1971:CCF% }. \NAMECITE{primitives}{% Lipton:1974:LSP% }. \NAMECITE{principal}{% Greibach:1973:JPD% }. \NAMECITE{priority}{% Brown:1977:CPQ% }. \NAMECITE{Probabilistic}{% Ellis:1970:PTA,% Angluin:1977:FPA,% Fredman:1975:TAP,% Gill:1974:CCP,% Rackoff:1978:RQI% }. \NAMECITE{problem}{% Even:1975:CPW,% Fredman:1979:NOD,% Gilbert:1979:PPC,% Gurari:1978:NCN,% Gurari:1979:CEP,% Hamlet:1972:PPA,% Hunt:1976:DRF,% Katseff:1978:NSC,% Kirkpatrick:1978:CGM,% Kosaraju:1979:MSP,% LaPaugh:1978:SHP,% Peterson:1977:ESC,% Sacerdote:1977:DRP,% Wotschke:1975:DLP,% Yao:1977:LBS,% vanLeeuwen:1974:PSR,% Lewis:1978:CMS,% Papadimitriou:1976:SCR,% Wagner:1975:CES% }. \NAMECITE{problems}{% Burkhard:1970:CPR,% Cardoza:1976:ESC,% Constable:1972:SPS,% Cudia:1970:DHU,% Garey:1974:SSN,% Garey:1976:SNC,% Hirschberg:1976:PAT,% Hunt:1975:CGR,% Ibarra:1976:UDS,% Johnson:1973:AAC,% Jones:1974:CPD,% Kosaraju:1979:FPP,% Ladner:1979:CPS,% Lueker:1978:MPG,% Manders:1976:NCD,% Schaefer:1976:CDP,% Schaefer:1978:CSP,% Sethi:1973:CRA,% Stockmeyer:1973:WPR,% Yannakakis:1978:NED% }. \NAMECITE{procedure}{% McNaughton:1971:DPG% }. \NAMECITE{procedures}{% Cook:1971:CTP,% Rivest:1978:CEB% }. \NAMECITE{process}{% Kimura:1976:ASP,% Schnorr:1972:PCE% }. \NAMECITE{processes}{% Ladner:1979:CPS% }. \NAMECITE{processing}{% Chang:1970:ATD,% Kosaraju:1979:FPP% }. \NAMECITE{processors}{% Lindstrom:1970:DPI% }. \NAMECITE{products}{% Rackoff:1974:CTW% }. \NAMECITE{Program}{% Chandra:1972:PSE,% Meyer:1972:PSE,% Chandra:1974:DTC,% Constable:1972:SPS,% Lynch:1978:SLP,% Millen:1974:CPD,% Pratt:1975:FMA,% Wand:1973:UAP% }. \NAMECITE{program-proving}{% Wand:1973:UAP% }. \NAMECITE{programming}{% Constable:1977:TPL,% Egli:1975:CCP,% Hamlet:1972:PPA,% Lynch:1977:ERB,% ODonnell:1979:PLT,% Rosenthal:1977:NDP,% Vuillemin:1973:COI,% Wagner:1973:APL% }. \NAMECITE{programs}{% Aho:1970:TSL,% Constable:1970:SPS,% Doeppner:1976:APP,% Fischer:1977:PML,% Gurari:1979:CEP,% Harel:1977:CAS,% Harel:1977:CCL,% Kosaraju:1973:ASP,% Manna:1975:OFR,% Oppen:1975:PAA,% Owicki:1976:CCD,% Raoult:1978:OSE,% Sethi:1972:VRA,% Vairavan:1974:PSP% }. \NAMECITE{proof}{% Hartmanis:1977:RBD,% Rivest:1975:GPA% }. \NAMECITE{proofs}{% Cook:1974:LPP,% Cook:1975:FCP,% Dowd:1978:PRA,% Rounds:1970:TOP% }. \NAMECITE{propagation}{% Miller:1973:TMV% }. \NAMECITE{properties}{% Kirkpatrick:1974:DGP,% Landweber:1970:RPA,% Miller:1973:TMV,% Tompa:1978:TST% }. \NAMECITE{property}{% Booth:1975:LAR% }. \NAMECITE{Propositional}{% Dowd:1978:PRA,% Fischer:1977:PML,% Cook:1974:LPP,% Cook:1975:FCP,% Pratt:1978:PDM% }. \NAMECITE{prover}{% King:1970:IOT% }. \NAMECITE{Proving}{% Oppen:1975:PAA,% Cook:1971:CTP,% Harel:1977:CAS,% Reiter:1970:PES,% Wand:1973:UAP% }. \NAMECITE{pruning}{% Anonymous:1978:AFA% }. \NAMECITE{pushdown}{% Sudborough:1976:DCF,% Sudborough:1977:STB,% Valiant:1974:DED% }. \NAMECITE{quadratic}{% Manders:1976:NCD,% Yao:1975:CMQ% }. \NAMECITE{quantifier}{% Reddy:1978:PAB% }. \NAMECITE{queries}{% Chandra:1977:OIC,% Chandra:1979:CQR% }. \NAMECITE{query}{% Fredman:1979:NOD% }. \NAMECITE{questions}{% Rackoff:1978:RQI,% Yao:1979:SCQ% }. \NAMECITE{queue}{% Brown:1977:CPQ% }. \NAMECITE{queues}{% Kosaraju:1979:RTS,% Pratt:1973:CPD% }. \NAMECITE{random}{% Cook:1972:TBR,% Fortune:1978:PRA,% Schnorr:1972:PCE% }. \NAMECITE{randomness}{% Adleman:1977:RRI% }. \NAMECITE{range}{% Fredman:1979:NOD% }. \NAMECITE{Rapid}{% Karp:1972:RIR% }. \NAMECITE{rate}{% Kedem:1974:CDR% }. \NAMECITE{rational}{% Horowitz:1972:ARF,% Kung:1974:NAL,% Megiddo:1978:COR% }. \NAMECITE{reachability}{% Hunt:1976:DRF,% Sacerdote:1977:DRP,% vanLeeuwen:1974:PSR% }. \NAMECITE{reachability-problem}{% vanLeeuwen:1974:PSR% }. \NAMECITE{Real}{% Galil:1976:RTA,% Kosaraju:1979:RTS,% Bruss:1978:TSC,% Burkhard:1970:CPR,% Leong:1977:NRT,% Pan:1978:CCC% }. \NAMECITE{Real-time}{% Galil:1976:RTA,% Kosaraju:1979:RTS,% Leong:1977:NRT% }. \NAMECITE{realization}{% Pippenger:1976:RMB% }. \NAMECITE{recognition}{% Cook:1970:PSL,% Galil:1976:RTA,% Graham:1976:LCF,% Greibach:1973:JPD,% Valdes:1979:RSP,% Wotschke:1975:DLP% }. \NAMECITE{recognizable}{% Cook:1974:SRD% }. \NAMECITE{recognize}{% Booth:1975:LAR% }. \NAMECITE{recognizing}{% Savitch:1972:MRA% }. \NAMECITE{record}{% ACM:1970:CRS,% ACM:1971:CRT,% ACM:1972:CRF,% ACM:1973:CRF,% ACM:1974:CRS,% ACM:1975:CRS,% ACM:1976:CRE,% ACM:1977:CRN,% ACM:1978:CRT,% ACM:1979:CRE% }. \NAMECITE{recurrence}{% Hyafil:1975:CPE% }. \NAMECITE{Recursion}{% Morris:1972:RSL,% Strong:1970:TRE,% Vuillemin:1973:COI% }. \NAMECITE{recursions}{% Walker:1972:CFR% }. \NAMECITE{Recursive}{% Landweber:1970:RPA,% Courcelle:1974:SAS,% Harel:1977:CAS,% Machtey:1971:CCF,% Manna:1975:OFR,% ODonnell:1977:SRS,% Raoult:1978:OSE,% Robertson:1971:CCP,% Wagner:1971:ATR% }. \NAMECITE{recursively}{% Ginsburg:1971:ICF% }. \NAMECITE{Reducibilities}{% Peterson:1979:TST,% Ladner:1974:CPT,% Simon:1977:PRU% }. \NAMECITE{Reducibility}{% Adleman:1977:RRI,% Hecht:1972:FGR,% Ladner:1973:PTR,% Long:1979:GRV,% Lynch:1977:ERB,% Tarjan:1973:TFG% }. \NAMECITE{reducible}{% Aho:1975:NLR% }. \NAMECITE{reducing}{% Morris:1970:RRB% }. \NAMECITE{Reference}{% Tarjan:1977:RMR% }. \NAMECITE{register}{% Sethi:1972:VRA,% Sethi:1973:CRA% }. \NAMECITE{regressing}{% Warkentin:1972:PMR% }. \NAMECITE{regular}{% Ehrenfeucht:1974:CMR,% Hunt:1974:CPB,% McNaughton:1971:DPG% }. \NAMECITE{related}{% Hunt:1975:CGR,% Nivat:1970:SFL,% Yao:1979:SCQ% }. \NAMECITE{relation}{% Bruss:1978:TSC% }. \NAMECITE{relational}{% Beeri:1979:ERD,% Chandra:1977:OIC,% Chandra:1979:CQR,% Maier:1979:MCR% }. \NAMECITE{Relations}{% Hartmanis:1977:RBD% }. \NAMECITE{relationship}{% Morris:1970:RRB,% Perrot:1970:RBF% }. \NAMECITE{Relativized}{% Rackoff:1978:RQI% }. \NAMECITE{remarks}{% Miller:1977:GIG% }. \NAMECITE{repeated}{% Karp:1972:RIR% }. \NAMECITE{replacement}{% ODonnell:1977:SRS% }. \NAMECITE{Report}{% Bass:1970:HBC,% Cardoza:1976:ESC,% Chandra:1979:CQR,% Filotti:1979:DGG,% Harel:1977:CCL,% Hopcroft:1974:LTA,% Lynch:1977:ERB,% Machtey:1976:SGN,% Meyer:1979:EPD,% Miller:1978:ITP,% Pratt:1978:PDM,% Rackoff:1974:CTW,% Rivest:1978:CEB,% Stockmeyer:1973:WPR,% Valiant:1976:UCP,% Yao:1975:CMQ,% Yao:1979:SCQ,% Fischer:1975:LBS,% Meyer:1972:PSE% }. \NAMECITE{representation}{% Brown:1978:RLL,% Dowd:1978:PRA,% Guibas:1977:NRL,% Meyers:1971:LRT% }. \NAMECITE{representations}{% Kirkpatrick:1974:DGP,% Rosenberg:1979:SRT% }. \NAMECITE{require}{% Tarjan:1977:RMR% }. \NAMECITE{requirements}{% Cook:1974:SRD% }. \NAMECITE{requiring}{% Stockmeyer:1973:WPR% }. \NAMECITE{resolution}{% Galil:1975:VCB% }. \NAMECITE{resolvable}{% Wise:1971:DAA% }. \NAMECITE{restricted}{% Kintala:1977:CRN,% Vairavan:1974:PSP% }. \NAMECITE{restrictions}{% Greibach:1974:SRW% }. \NAMECITE{result}{% Morris:1970:RRB,% Wand:1976:NIR% }. \NAMECITE{results}{% Constable:1971:CFT,% Levy:1971:SRT,% Munro:1971:SRC,% Papadimitriou:1976:SCR% }. \NAMECITE{{Retention}}{% Berry:1971:BSE% }. \NAMECITE{retrieval}{% Burkhard:1976:ART% }. \NAMECITE{reversal}{% Book:1974:ILC% }. \NAMECITE{reversal-bounded}{% Book:1974:ILC% }. \NAMECITE{revisited}{% Fiduccia:1972:PED% }. \NAMECITE{{Riemann}}{% Miller:1975:RHT% }. \NAMECITE{{Rosenberg}}{% Rivest:1975:GPA% }. \NAMECITE{Rosser}{% Rosen:1970:TMS% }. \NAMECITE{roundoff}{% Miller:1973:TMV% }. \NAMECITE{Salesman}{% Papadimitriou:1976:SCR,% Weiner:1973:NSA% }. \NAMECITE{San}{% ACM:1978:CRT% }. \NAMECITE{satisfiability}{% Schaefer:1978:CSP% }. \NAMECITE{scheduling}{% Vairavan:1974:PSP% }. \NAMECITE{schema}{% Millen:1974:CPD% }. \NAMECITE{schemas}{% Chandra:1972:PSE,% Chandra:1974:DTC% }. \NAMECITE{schemata}{% Constable:1971:LS,% Constable:1972:SPS,% Plaisted:1972:FSC% }. \NAMECITE{schemes}{% Beeri:1979:ERD,% Garland:1972:ES,% Morris:1972:RSL,% Rosenberg:1970:DGA,% Rosenberg:1975:HSE% }. \NAMECITE{search}{% Dobkin:1974:SGB,% Fredman:1975:TAP,% Kosaraju:1979:MSP,% Nievergelt:1972:BST,% Rivest:1978:CEB,% Weiner:1973:NSA% }. \NAMECITE{Seattle}{% ACM:1974:CRS% }. \NAMECITE{{SECD}}{% McGowan:1970:CMS% }. \NAMECITE{Second}{% Manna:1970:SOM,% ACM:1970:CRS,% Robertson:1974:SCW% }. \NAMECITE{Second-order}{% Manna:1970:SOM,% Robertson:1974:SCW% }. \NAMECITE{section}{% Katseff:1978:NSC,% Peterson:1977:ESC% }. \NAMECITE{semantic}{% Raoult:1978:OSE% }. \NAMECITE{Semantics}{% Courcelle:1974:SAS,% Berman:1979:CTA,% Egli:1975:CCP% }. \NAMECITE{semigroups}{% Cardoza:1976:ESC,% Eilenberg:1973:CSC% }. \NAMECITE{semilinear}{% Gurari:1979:CEP% }. \NAMECITE{Separating}{% Sudborough:1977:STB% }. \NAMECITE{sequences}{% Flajolet:1979:CIC% }. \NAMECITE{sequential}{% Ladner:1979:CPS,% McNaughton:1971:DPG% }. \NAMECITE{series}{% Stanat:1971:FLP,% Teitelbaum:1973:CFE,% Valdes:1979:RSP% }. \NAMECITE{set}{% Angluin:1979:FPC,% Brockett:1973:OES,% Yao:1976:ABS% }. \NAMECITE{Sets}{% Lynch:1973:SDH,% Bass:1970:HBC,% Eilenberg:1973:CSC,% Gurari:1979:CEP,% Hartmanis:1976:IDN,% McNaughton:1971:DPG,% Prabhala:1977:CIS,% Tarjan:1977:RMR% }. \NAMECITE{Seventh}{% ACM:1975:CRS% }. \NAMECITE{Shaker}{% ACM:1971:CRT% }. \NAMECITE{short}{% Walker:1972:CFR% }. \NAMECITE{shortest}{% Yao:1977:LBS% }. \NAMECITE{showing}{% Ibarra:1976:UDS% }. \NAMECITE{Simple}{% Machtey:1976:SGN,% Courcelle:1974:SAS,% Gurari:1979:CEP,% Morris:1970:RRB,% Vuillemin:1973:COI% }. \NAMECITE{simplified}{% Garey:1974:SSN% }. \NAMECITE{simulation}{% Kosaraju:1979:RTS% }. \NAMECITE{simulations}{% Leong:1977:NRT% }. \NAMECITE{simultaneity}{% Miller:1978:FSS% }. \NAMECITE{simultaneously}{% Cook:1979:DCA% }. \NAMECITE{sixth}{% ACM:1974:CRS% }. \NAMECITE{size}{% Constable:1970:SPS,% Fischer:1975:LBS,% Meyer:1972:PSE,% Ruzzo:1979:TSB,% Sakoda:1978:NST,% Sipser:1979:LBS% }. \NAMECITE{solution}{% Katseff:1978:NSC,% vanLeeuwen:1974:PSR% }. \NAMECITE{solutions}{% Peterson:1977:ESC% }. \NAMECITE{solvability}{% Ibarra:1976:UDS% }. \NAMECITE{Some}{% DeMillo:1979:SCB,% Garey:1974:SSN,% Garey:1976:SNC,% Greibach:1974:SRW,% Levy:1971:SRT,% Munro:1971:SRC,% Papadimitriou:1976:SCR,% Yao:1979:SCQ,% Dobkin:1974:SGB,% Ibarra:1976:UDS,% Kosaraju:1979:FPP,% Nivat:1970:SFL,% Rounds:1970:TOP% }. \NAMECITE{Sorting}{% Thompson:1976:SMC,% Horvath:1974:ESS,% Fredman:1975:TAP% }. \NAMECITE{Space}{% Paul:1976:SBG,% Bentley:1976:DCM,% Bruss:1978:TSC,% Cardoza:1976:ESC,% Cook:1979:DCA,% Even:1975:CPW,% Gilbert:1979:PPC,% Horvath:1974:ESS,% Lengauer:1979:ULB,% Peterson:1979:TST,% Tompa:1978:TST% }. \NAMECITE{specific}{% Borodin:1974:NAC% }. \NAMECITE{specification}{% Thatcher:1978:DTS% }. \NAMECITE{spectra}{% Jones:1972:TMS% }. \NAMECITE{speed}{% Constable:1971:CFT% }. \NAMECITE{speed-up}{% Constable:1971:CFT% }. \NAMECITE{speeding}{% Aho:1972:TSL% }. \NAMECITE{squared}{% Cook:1979:DCA% }. \NAMECITE{stability}{% Miller:1974:CCN% }. \NAMECITE{stable}{% Horvath:1974:ESS% }. \NAMECITE{stack}{% Prabhala:1977:CIS% }. \NAMECITE{stacks}{% Pratt:1973:CPD% }. \NAMECITE{state}{% Rajlich:1971:APG% }. \NAMECITE{steps}{% Ausiello:1970:BNS,% Filotti:1979:DGG,% Kintala:1977:CRN% }. \NAMECITE{stochastic}{% Santos:1971:AST% }. \NAMECITE{Storage}{% Cook:1974:SRD,% Rosenberg:1979:SRT,% Cook:1973:OTS,% Rosenberg:1974:MSE% }. \NAMECITE{store}{% Sudborough:1976:DCF% }. \NAMECITE{Straight}{% Lynch:1978:SLP,% Aho:1970:TSL,% Sethi:1972:VRA% }. \NAMECITE{Straight-line}{% Lynch:1978:SLP% }. \NAMECITE{strategy}{% Reiter:1970:PES% }. \NAMECITE{String}{% Wagner:1975:CES,% Galil:1976:RTA% }. \NAMECITE{string-matching}{% Galil:1976:RTA% }. \NAMECITE{String-to-String}{% Wagner:1975:CES% }. \NAMECITE{strings}{% Angluin:1979:FPC,% Karp:1972:RIR% }. \NAMECITE{Structure}{% Robertson:1974:SCW,% Berry:1971:BSE,% Ehrenfeucht:1975:CSL,% Fredman:1979:NOD,% Meyers:1971:LRT,% Santos:1971:AST% }. \NAMECITE{structured}{% Kosaraju:1973:ASP% }. \NAMECITE{structures}{% Lipton:1975:CCS,% Munro:1979:IDS,% Oppen:1975:PAA,% Pratt:1975:FMA,% Rosenberg:1979:SRT% }. \NAMECITE{structuring}{% Kimura:1976:ASP,% Kosaraju:1976:SFP% }. \NAMECITE{study}{% Gentleman:1973:AAC% }. \NAMECITE{studying}{% Miller:1978:FSS% }. \NAMECITE{subdivision}{% Lee:1976:LPP% }. \NAMECITE{Subgraph}{% Lewis:1978:CMS,% Hunt:1976:DRF,% LaPaugh:1978:SHP% }. \NAMECITE{subject}{% Anonymous:1977:ASI% }. \NAMECITE{Subrecursive}{% Constable:1972:SPS,% Constable:1970:SPS,% Kozen:1978:ISC,% Mehlhorn:1974:PAS% }. \NAMECITE{subset}{% Terrine:1971:AGD% }. \NAMECITE{substitution}{% Lewis:1970:CFL% }. \NAMECITE{Subtree}{% ODonnell:1977:SRS% }. \NAMECITE{super}{% Lipton:1976:EPS% }. \NAMECITE{super-preconditioning}{% Lipton:1976:EPS% }. \NAMECITE{sweeping}{% Sipser:1979:LBS% }. \NAMECITE{Switching}{% Wegener:1978:SFW,% Toueg:1979:DFP% }. \NAMECITE{Symposium}{% ACM:1970:CRS,% ACM:1971:CRT,% ACM:1972:CRF,% ACM:1973:CRF,% ACM:1974:CRS,% ACM:1975:CRS,% ACM:1976:CRE,% ACM:1977:CRN,% ACM:1978:CRT,% ACM:1979:CRE% }. \NAMECITE{synchronization}{% Lipton:1974:LSP,% Miller:1978:FSS% }. \NAMECITE{synchronous}{% Goldschlager:1978:UAM% }. \NAMECITE{syntax}{% Martin:1970:SDT% }. \NAMECITE{syntax-directed}{% Martin:1970:SDT% }. \NAMECITE{system}{% Harel:1977:CAS,% Kimura:1976:ASP,% Owicki:1976:CCD,% Peterson:1977:ESC,% Wand:1976:NIR% }. \NAMECITE{systems}{% Cook:1970:PSL,% Engelfriet:1978:TTS,% Hartmanis:1977:RBD,% Ladner:1979:CPS,% Lindenmayer:1972:DSL,% Lynch:1977:ERB,% ODonnell:1977:SRS,% Rosen:1970:TMS,% Sacerdote:1977:DRP,% Shamir:1979:CKS,% vanLeeuwen:1974:PSR% }. \NAMECITE{table}{% Terrine:1971:AGD% }. \NAMECITE{Tape}{% Book:1970:TTB,% Hunt:1973:TTC,% Leong:1977:NRT,% Sudborough:1977:STB% }. \NAMECITE{Tape-}{% Book:1970:TTB% }. \NAMECITE{technique}{% Aho:1972:TSL,% Berman:1979:CTA,% Fredman:1975:TAP,% Gonnet:1977:AIH,% Miller:1978:ITP% }. \NAMECITE{techniques}{% Thatcher:1978:DTS% }. \NAMECITE{tenth}{% ACM:1978:CRT% }. \NAMECITE{test}{% Booth:1975:LAR% }. \NAMECITE{testers}{% Carter:1978:EAM% }. \NAMECITE{Testing}{% Tarjan:1973:TFG,% Tarjan:1974:TGC% }. \NAMECITE{tests}{% Miller:1975:RHT,% Schnorr:1972:PCE% }. \NAMECITE{Texas}{% ACM:1973:CRF% }. \NAMECITE{their}{% Bruss:1978:TSC,% Tompa:1978:TST% }. \NAMECITE{theorem}{% Boasson:1971:ITO,% Cook:1971:CTP,% King:1970:IOT,% ODonnell:1979:PLT,% Reiter:1970:PES% }. \NAMECITE{theorem-proving}{% Cook:1971:CTP% }. \NAMECITE{theorems}{% Beatty:1977:ITL,% Perrault:1975:ITT,% Rounds:1970:TOP,% Ullian:1970:TTA,% Rosen:1970:TMS% }. \NAMECITE{theoretic}{% Gurari:1978:NCN% }. \NAMECITE{theories}{% Rackoff:1974:CTW,% Robertson:1974:SCW% }. \NAMECITE{Theory}{% ACM:1970:CRS,% ACM:1971:CRT,% ACM:1972:CRF,% ACM:1973:CRF,% ACM:1974:CRS,% ACM:1975:CRS,% ACM:1976:CRE,% ACM:1977:CRN,% ACM:1978:CRT,% ACM:1979:CRE,% Bruss:1978:TSC,% Constable:1977:TPL,% DeMillo:1979:SCB,% Manna:1970:SOM,% Meyers:1971:LRT,% ODonnell:1977:SRS,% Santos:1971:AST,% Sciore:1978:CTA,% Wagner:1971:ATR% }. \NAMECITE{thinking}{% Pratt:1974:PNT% }. \NAMECITE{third}{% ACM:1971:CRT% }. \NAMECITE{Three}{% Ullian:1970:TTA% }. \NAMECITE{Time}{% Cook:1972:TBR,% Peterson:1979:TST,% Tompa:1978:TST,% Blum:1972:LTB,% Book:1970:TTB,% Bruss:1978:TSC,% Burkhard:1970:CPR,% Cook:1972:HNT,% Cook:1973:OTS,% Cook:1974:SRD,% Cook:1979:DCA,% Galil:1976:RTA,% Graham:1976:LCF,% Greibach:1973:JPD,% Hopcroft:1974:LTA,% Hunt:1973:TTC,% Jones:1974:CPD,% Kosaraju:1979:RTS,% Ladner:1973:PTR,% Ladner:1974:CPT,% Lengauer:1979:ULB,% Leong:1977:NRT,% Long:1979:GRV,% Paul:1977:TH,% Stockmeyer:1973:WPR,% Tarjan:1977:RMR,% Thompson:1979:ATC,% Wotschke:1975:DLP% }. \NAMECITE{Time-bounded}{% Cook:1972:TBR,% Book:1970:TTB% }. \NAMECITE{Time-space}{% Peterson:1979:TST,% Tompa:1978:TST,% Bruss:1978:TSC,% Lengauer:1979:ULB% }. \NAMECITE{time-storage}{% Cook:1973:OTS% }. \NAMECITE{toroidal}{% Filotti:1978:EAD% }. \NAMECITE{tours}{% Weiner:1973:NSA% }. \NAMECITE{tracing}{% Pager:1973:LTA% }. \NAMECITE{trade}{% Cook:1973:OTS,% Peterson:1979:TST% }. \NAMECITE{trade-offs}{% Peterson:1979:TST% }. \NAMECITE{tradeoffs}{% Lengauer:1979:ULB,% Tompa:1978:TST% }. \NAMECITE{transducer}{% Perrault:1975:ITT% }. \NAMECITE{transducers}{% Engelfriet:1978:TTS,% Martin:1970:SDT,% Ogden:1972:CTT,% Rajlich:1971:APG% }. \NAMECITE{transduction}{% Martin:1970:SDT% }. \NAMECITE{transductions}{% Baker:1973:TTF% }. \NAMECITE{transform}{% Fiduccia:1972:PED% }. \NAMECITE{transformation}{% Hammer:1974:NGT% }. \NAMECITE{Transformations}{% Aho:1970:TSL% }. \NAMECITE{transition}{% Morris:1970:RRB% }. \NAMECITE{transitive}{% Hirschberg:1976:PAT% }. \NAMECITE{translatability}{% Chandra:1974:DTC% }. \NAMECITE{Translating}{% Strong:1970:TRE% }. \NAMECITE{translations}{% Constable:1971:CFT,% Lewis:1973:ATE,% Machtey:1976:SGN% }. \NAMECITE{traveling}{% Weiner:1973:NSA,% Papadimitriou:1976:SCR% }. \NAMECITE{Tree}{% Baker:1973:TTF,% Engelfriet:1978:TTS,% Rosen:1970:TMS,% Rounds:1970:TOP,% Ruzzo:1979:TSB,% Levy:1971:SRT,% Martin:1970:SDT,% Meyers:1971:LRT,% Ogden:1972:CTT,% Perrault:1975:ITT,% Rosenberg:1979:SRT,% Ellis:1970:PTA% }. \NAMECITE{tree-like}{% Rosenberg:1979:SRT% }. \NAMECITE{Tree-manipulating}{% Rosen:1970:TMS% }. \NAMECITE{Tree-oriented}{% Rounds:1970:TOP% }. \NAMECITE{Tree-size}{% Ruzzo:1979:TSB% }. \NAMECITE{trees}{% Aho:1973:FLC,% Aho:1975:OCG,% Fredman:1975:TAP,% Karp:1972:RIR,% Nievergelt:1972:BST% }. \NAMECITE{trie}{% Burkhard:1976:ART% }. \NAMECITE{{Turing}}{% Book:1970:TTB,% Gill:1974:CCP,% Jones:1972:TMS% }. \NAMECITE{turn}{% Valiant:1974:DED% }. \NAMECITE{Two}{% Fredman:1975:TAP,% Chang:1970:ATD,% Constable:1973:TTC,% Engelfriet:1978:TTS,% Rajlich:1971:APG,% Sakoda:1978:NST,% Schaefer:1976:CDP% }. \NAMECITE{two-dimensional}{% Chang:1970:ATD% }. \NAMECITE{two-person}{% Schaefer:1976:CDP% }. \NAMECITE{two-way}{% Engelfriet:1978:TTS,% Rajlich:1971:APG% }. \NAMECITE{Type}{% Constable:1973:TTC,% Fredman:1979:NOD,% Thatcher:1978:DTS% }. \NAMECITE{undecidable}{% Cudia:1970:DHU,% Constable:1972:SPS% }. \NAMECITE{unification}{% Paterson:1976:LU% }. \NAMECITE{unified}{% Goldschlager:1978:UAM% }. \NAMECITE{Uniformly}{% Carlyle-Greibach:1972:UEA% }. \NAMECITE{unifying}{% ODonnell:1977:SRS% }. \NAMECITE{units}{% Leong:1977:NRT% }. \NAMECITE{Universal}{% Carter:1977:UCH,% Reif:1979:UGI,% Valiant:1976:UCP% }. \NAMECITE{unrestricted}{% Buttelmann:1971:GFA% }. \NAMECITE{Unsolvability}{% Lewis:1970:UCC% }. \NAMECITE{unusual}{% Wand:1973:UAP% }. \NAMECITE{Upper}{% Lengauer:1979:ULB% }. \NAMECITE{upward}{% Simon:1977:PRU% }. \NAMECITE{useful}{% Ibarra:1976:UDS% }. \NAMECITE{using}{% Chang:1970:ATD,% Tompa:1978:TST% }. \NAMECITE{Validating}{% Sethi:1972:VRA% }. \NAMECITE{validity}{% Galil:1975:VCB% }. \NAMECITE{variables}{% Lipton:1974:LSP% }. \NAMECITE{vector}{% Pratt:1974:CPV,% Sacerdote:1977:DRP,% vanLeeuwen:1974:PSR% }. \NAMECITE{vector-addition}{% vanLeeuwen:1974:PSR% }. \NAMECITE{verification}{% Miller:1973:TMV,% Owicki:1976:CCD% }. \NAMECITE{Version}{% Aho:1970:TSL,% Borodin:1974:NAC,% Cook:1974:LPP,% Cook:1975:FCP,% Dowd:1978:PRA,% Kosaraju:1976:SFP,% Kosaraju:1979:FPP,% Kosaraju:1979:MSP,% Kosaraju:1979:RTS,% Landweber:1970:RPA,% Pippenger:1976:RMB,% Robertson:1971:CCP,% Sacerdote:1977:DRP,% Simon:1977:FNP,% Walker:1972:CFR% }. \NAMECITE{versus}{% Long:1979:GRV% }. \NAMECITE{vertex}{% Rose:1975:AAV% }. \NAMECITE{via}{% Fiduccia:1972:PED% }. \NAMECITE{{VLSI}}{% Thompson:1979:ATC% }. \NAMECITE{{W}}{% Greibach:1974:SRW% }. \NAMECITE{{W}-grammars}{% Greibach:1974:SRW% }. \NAMECITE{Washington}{% ACM:1974:CRS% }. \NAMECITE{way}{% Engelfriet:1978:TTS,% Rajlich:1971:APG,% Sakoda:1978:NST% }. \NAMECITE{weak}{% Rackoff:1974:CTW,% Robertson:1974:SCW% }. \NAMECITE{weights}{% Lueker:1978:MPG% }. \NAMECITE{whether}{% Filotti:1978:EAD% }. \NAMECITE{which}{% Even:1975:CPW,% ODonnell:1979:PLT% }. \NAMECITE{whose}{% Wegener:1978:SFW% }. \NAMECITE{without}{% Ehrenfeucht:1975:CSL% }. \NAMECITE{Word}{% Stockmeyer:1973:WPR% }. \NAMECITE{Worst}{% Garey:1972:WCA% }. \NAMECITE{Worst-case}{% Garey:1972:WCA% }. \NAMECITE{X}{% Fredman:1975:TAP% }.