%%====================================================================== %% 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 Wed Sep 26 08:25:02 MDT 2018 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$(\log n)^j$}{% Book:1976:TLP% }. \NAMECITE{$5$}{% Hopcroft:1979:RPD% }. \NAMECITE{$\beta$}{% Bohm:1979:DAI% }. \NAMECITE{$d$}{% Vilfan:1976:LBS% }. \NAMECITE{$k$}{% Christol:1979:ARP% }. \NAMECITE{$\lambda$}{% Barendregt:1976:GRR,% Bohm:1979:DAI,% Huet:1975:UAT,% Milner:1977:FAM,% Statman:1979:TCE% }. \NAMECITE{$\lambda-\beta-\eta$}{% Dezani-Ciancaglini:1976:CNF% }. \NAMECITE{$M_2(K)$}{% deGroote:1978:VOAc% }. \NAMECITE{$N$}{% Karhumaki:1977:RCR% }. \NAMECITE{$st$}{% Even:1976:CN% }. \NAMECITE{$x,y$}{% deGroote:1978:VOAc% }. \NAMECITE{$xy$}{% deGroote:1978:VOAc% }. \NAMECITE{$yx$}{% deGroote:1978:VOAc% }. \NAMECITE{*}{% Karhumaki:1976:TTC,% Latteux:1977:PRC% }. \NAMECITE{-ary}{% Vilfan:1976:LBS% }. \NAMECITE{-calculi}{% Milner:1977:FAM% }. \NAMECITE{-calculus}{% Barendregt:1976:GRR,% Bohm:1979:DAI,% Dezani-Ciancaglini:1976:CNF,% Huet:1975:UAT,% Statman:1979:TCE% }. \NAMECITE{-dimensional}{% Hopcroft:1979:RPD% }. \NAMECITE{-numbering}{% Even:1976:CN% }. \NAMECITE{{}-rational}{% Karhumaki:1977:RCR% }. \NAMECITE{-recognisable}{% Christol:1979:ARP% }. \NAMECITE{1/*}{% Latteux:1977:PRC% }. \NAMECITE{2*2}{% deGroote:1978:VOAb% }. \NAMECITE{2*2-matrix}{% deGroote:1978:VOAb% }. \NAMECITE{absolutely}{% Preparata:1975:FSS% }. \NAMECITE{abstract}{% Majster:1979:DTA,% Milner:1977:FAM,% vanEmdeBoas:1978:SAM% }. \NAMECITE{acceptance}{% Book:1978:LSR% }. \NAMECITE{acceptor}{% Ginsburg:1977:PAF% }. \NAMECITE{addition}{% Hack:1976:QPV,% Hopcroft:1979:RPD,% Rackoff:1978:CBP,% Schonhage:1975:LBL% }. \NAMECITE{additions}{% Schnorr:1976:LBN% }. \NAMECITE{adjacency}{% Rivest:1976:RGP% }. \NAMECITE{{AFL}}{% Springsteel:1976:PAL% }. \NAMECITE{{AFLs}}{% Ibarra:1978:TWS% }. \NAMECITE{algebra}{% Atkinson:1977:CGA% }. \NAMECITE{Algebraic}{% Beauquier:1979:AGS,% Bloom:1979:AGT,% Boasson:1976:ALI,% Lehmann:1977:AST,% Guessarian:1979:PTA,% Leeuwen:1976:DTH,% Levy:1976:AIL,% Winograd:1979:MAE% }. \NAMECITE{algorithm}{% Bohm:1979:DAI,% Huet:1975:UAT,% Jacob:1977:ACC,% Knuth:1976:ASF,% Knuth:1978:ELS,% Olshansky:1977:DAC,% Preparata:1975:FSS,% vanEmdeBoas:1978:SAM% }. \NAMECITE{Algorithms}{% Mignotte:1976:ARD,% Chandra:1976:AAS,% Francon:1977:AAT,% deGroote:1978:VOAa,% deGroote:1978:VOAb,% deGroote:1978:VOAc% }. \NAMECITE{Almost}{% Christol:1979:ARP% }. \NAMECITE{alphabet}{% Hartmanis:1976:TBS% }. \NAMECITE{ambiguity}{% Reedy:1975:TDI% }. \NAMECITE{Analysis}{% Knuth:1976:ASF,% Starke:1976:ASA,% Francon:1977:AAT% }. \NAMECITE{application}{% Levy:1976:AIL% }. \NAMECITE{applications}{% vanEmdeBoas:1978:SAM% }. \NAMECITE{approach}{% Rosen:1976:CPP,% Wright:1978:UAI% }. \NAMECITE{Approximate}{% Chandra:1976:AAS% }. \NAMECITE{arithmetic}{% Flajolet:1979:NRR% }. \NAMECITE{Arithmetical}{% Hajek:1979:AHC% }. \NAMECITE{arrangements}{% Stork:1977:PCP% }. \NAMECITE{ary}{% Vilfan:1976:LBS% }. \NAMECITE{assertions}{% Apt:1979:RAE% }. \NAMECITE{associated}{% Reutenauer:1979:ASC% }. \NAMECITE{asynchronous}{% Kwong:1977:RAS,% Starke:1976:ASA% }. \NAMECITE{automata}{% Friedman:1978:NNS,% Greibach:1978:OWF,% Ibarra:1976:FAM,% Inoue:1979:OWS,% Perrin:1979:ERF,% Starke:1976:ASA% }. \NAMECITE{balanced}{% Hotz:1976:CBT% }. \NAMECITE{beta}{% Levy:1976:AIL% }. \NAMECITE{between}{% Cremers:1977:FDD,% Duval:1979:RBG,% Ehrenfeucht:1976:RBE,% Hartmanis:1979:RBD,% Schutzenberger:1976:RRB,% Trakhtenbrot:1976:RBC,% Wechsung:1979:RBS% }. \NAMECITE{Bibliography}{% Rozenberg:1977:BS% }. \NAMECITE{bilinear}{% deGroote:1978:VOAa,% deGroote:1978:VOAb,% deGroote:1978:VOAc% }. \NAMECITE{biological}{% Herman:1976:SSB% }. \NAMECITE{blind}{% Greibach:1978:RBP% }. \NAMECITE{{Boolean}}{% Harper:1975:CBF,% Paterson:1975:CMN,% Paul:1976:RBF% }. \NAMECITE{bound}{% Fredman:1976:HGI,% Schnorr:1976:LBN,% Schonhage:1975:LBL,% Schonhage:1976:EPS% }. \NAMECITE{bounded}{% Szymanski:1976:CBR% }. \NAMECITE{bounded-right-context}{% Szymanski:1976:CBR% }. \NAMECITE{boundedness}{% Rackoff:1978:CBP% }. \NAMECITE{bounds}{% Hartmanis:1976:TBS,% Schnorr:1978:ILB,% Vilfan:1976:LBS% }. \NAMECITE{brackets}{% Rodriguez:1979:FCL% }. \NAMECITE{calculating}{% Jacob:1977:ACC% }. \NAMECITE{calculi}{% Milner:1977:FAM% }. \NAMECITE{calculus}{% Barendregt:1976:GRR,% Bergstra:1979:CRS,% Bohm:1979:DAI,% Dezani-Ciancaglini:1976:CNF,% Huet:1975:UAT,% Levy:1976:AIL,% Plotkin:1975:CNC,% Statman:1979:TCE% }. \NAMECITE{Call}{% Plotkin:1975:CNC% }. \NAMECITE{Call-by-name}{% Plotkin:1975:CNC% }. \NAMECITE{call-by-value}{% Plotkin:1975:CNC% }. \NAMECITE{cardinal}{% Jacob:1977:ACC% }. \NAMECITE{Categories}{% Markowsky:1977:CCC,% Wand:1979:FPC% }. \NAMECITE{cellular}{% Herman:1976:SSB% }. \NAMECITE{certain}{% Chottin:1977:SSC,% Mignotte:1978:IIC,% Reutenauer:1979:ASC,% Vilfan:1976:LBS% }. \NAMECITE{Chain}{% Tang:1979:CPP,% Markowsky:1977:CCC,% Nijholt:1979:SCG% }. \NAMECITE{chain-complete}{% Markowsky:1977:CCC% }. \NAMECITE{chains}{% Schonhage:1975:LBL% }. \NAMECITE{Characterization}{% Dezani-Ciancaglini:1976:CNF,% Choffrut:1977:RRC,% Elgot:1979:SMC,% Monien:1976:RGC% }. \NAMECITE{characterizations}{% Bloom:1979:AGT,% Chaitin:1976:ITC% }. \NAMECITE{characterize}{% Dolev:1979:CPG% }. \NAMECITE{checking}{% Olshansky:1977:DAC% }. \NAMECITE{{Church}}{% Bergstra:1979:CRS,% Rosen:1976:CPP% }. \NAMECITE{Circuit}{% Paterson:1976:CSN% }. \NAMECITE{class}{% Harper:1975:CBF,% Meznik:1976:SSC% }. \NAMECITE{classes}{% Ehrenfeucht:1975:SCV,% Moll:1976:OET,% Trakhtenbrot:1976:RBC% }. \NAMECITE{closed}{% Rodriguez:1979:FCL% }. \NAMECITE{closure}{% Lehmann:1977:AST,% Wright:1978:UAI% }. \NAMECITE{codes}{% Lallement:1976:RSD,% Restivo:1975:CPC% }. \NAMECITE{codings}{% Ehrenfeucht:1978:ELC% }. \NAMECITE{combinational}{% Harper:1975:CBF,% Schnorr:1976:CCE% }. \NAMECITE{Combinatorial}{% Lipski:1976:ISR,% Restivo:1975:CPC% }. \NAMECITE{combinatory}{% Hindley:1979:DTH% }. \NAMECITE{Commutation}{% Dolev:1979:CPG% }. \NAMECITE{commutative}{% Karhumaki:1977:RCR,% Karhumaki:1979:CDS% }. \NAMECITE{comparison}{% Ladner:1975:CPT% }. \NAMECITE{Complete}{% Jones:1976:CPD,% Wrathall:1976:CSP,% Culik:1978:TSC,% Hartmanis:1978:LTI,% Markowsky:1977:CCC,% Statman:1979:IPL,% Galil:1977:CON,% Garey:1976:SSN,% Papadimitriou:1977:ETS% }. \NAMECITE{complexities}{% Ehrenfeucht:1975:SCV,% Wechsung:1979:RBS% }. \NAMECITE{Complexity}{% Jones:1977:CSP,% Lipton:1976:CMH,% Paterson:1975:CMN,% Pudlak:1979:CMH,% Atkinson:1977:CGA,% Bennison:1978:SLP,% Galil:1977:CRR,% Greibach:1976:RCN,% Hajek:1979:AHC,% Harper:1975:CBF,% Hartmanis:1979:RBD,% Machtey:1976:MPP,% Moll:1976:OET,% Schnorr:1976:CCE,% Stork:1977:PCP,% Strassen:1975:CCS,% Valiant:1979:CCP,% Verbeek:1978:DRC,% Wegener:1979:SFW,% vanEmdeBoas:1978:SAM% }. \NAMECITE{Computability}{% Egli:1976:CCP% }. \NAMECITE{computation}{% Abelson:1978:TTL,% Hajek:1979:AHC,% deGroote:1978:VOAa,% deGroote:1978:VOAb,% deGroote:1978:VOAc% }. \NAMECITE{computational}{% Bennison:1978:SLP,% Strassen:1975:CCS,% Verbeek:1978:DRC% }. \NAMECITE{computations}{% Atkinson:1977:CGA,% Cohen:1978:OCT,% Luckhardt:1977:FEC,% Schnorr:1976:LBN% }. \NAMECITE{Computing}{% Even:1976:CN,% Valiant:1979:CCP% }. \NAMECITE{concepts}{% Egli:1976:CCP% }. \NAMECITE{Concerning}{% Szymanski:1976:CBR,% Karhumaki:1976:TTC% }. \NAMECITE{Conditions}{% Hotz:1976:CBT% }. \NAMECITE{cone}{% Latteux:1977:PRC% }. \NAMECITE{conjecture}{% Wegener:1979:CCS% }. \NAMECITE{connectivity}{% Araki:1977:DPS,% Vuillemin:1977:HVC% }. \NAMECITE{considered}{% Plotkin:1977:LCP% }. \NAMECITE{construction}{% Kleiman:1978:ECS% }. \NAMECITE{constructions}{% Wand:1979:FPC% }. \NAMECITE{context}{% Hunt:1976:CPL,% Linna:1977:DRD,% Reedy:1975:TDI,% Szymanski:1976:CBR,% Wise:1976:SPL% }. \NAMECITE{context-free}{% Hunt:1976:CPL,% Reedy:1975:TDI,% Wise:1976:SPL% }. \NAMECITE{continuous}{% Hosono:1977:RPO% }. \NAMECITE{control}{% Cremers:1977:FDD% }. \NAMECITE{convergence}{% Manna:1978:CFF% }. \NAMECITE{convex}{% Muller:1978:FIT% }. \NAMECITE{Correctness}{% Rosen:1976:CPP% }. \NAMECITE{counter}{% Greibach:1976:RCN% }. \NAMECITE{counterexample}{% Wegener:1979:CCS% }. \NAMECITE{covering}{% Hunt:1976:CPL,% Rackoff:1978:CBP,% Soisalon-Soininen:1979:CPL% }. \NAMECITE{Cyclic}{% Galil:1977:CON% }. \NAMECITE{cylinder}{% Autebert:1979:NCD% }. \NAMECITE{{D}}{% Latteux:1977:PRC% }. \NAMECITE{{D}/sub}{% Latteux:1977:PRC% }. \NAMECITE{{D0L}}{% Culik:1976:DSE,% Ehrenfeucht:1978:EHS,% Johansen:1979:GFN,% Ruohonen:1976:ZZR% }. \NAMECITE{{D0L-systems}}{% Culik:1976:DSE% }. \NAMECITE{{D}={R}}{% Lallement:1976:RSD% }. \NAMECITE{Data}{% Majster:1979:DTA,% Verbeek:1978:DRC,% Cremers:1977:FDD% }. \NAMECITE{{{Davis}}}{% Galil:1977:CRR% }. \NAMECITE{decidability}{% Culik:1976:DSE,% Linna:1977:DRD,% Ruohonen:1979:SDP% }. \NAMECITE{Decidable}{% Araki:1977:DPS% }. \NAMECITE{decision}{% Araki:1976:SDP,% Beeri:1976:IVD,% Bollman:1978:SDP,% Ferrante:1977:EDP,% Hashiguchi:1979:DPO% }. \NAMECITE{decomposition}{% Leeuwen:1976:DTH,% Mignotte:1976:ARD% }. \NAMECITE{definition}{% Cremers:1977:FDD% }. \NAMECITE{definitions}{% Manna:1978:CFF% }. \NAMECITE{degree}{% Reedy:1975:TDI,% Schonhage:1976:EPS% }. \NAMECITE{degrees}{% Machtey:1976:MPP% }. \NAMECITE{delay}{% Restivo:1975:CPC% }. \NAMECITE{densest}{% Johnson:1978:DHP% }. \NAMECITE{dependencies}{% Cremers:1977:FDD% }. \NAMECITE{depth}{% Paterson:1976:CSN% }. \NAMECITE{derivation}{% Engelfriet:1976:STL% }. \NAMECITE{description}{% Geller:1977:EDP% }. \NAMECITE{descriptions}{% Daley:1977:IOD% }. \NAMECITE{designs}{% Burkhard:1977:NUP% }. \NAMECITE{Deterministic}{% Vitanyi:1976:DLL,% Autebert:1979:NCD,% Beeri:1976:IVD,% Ehrenfeucht:1975:SCV,% Friedman:1978:NNS,% Jones:1976:CPD,% Linna:1977:DRD% }. \NAMECITE{developmental}{% Ehrenfeucht:1975:SCV% }. \NAMECITE{diagonalization}{% Hartmanis:1979:RBD% }. \NAMECITE{differentiation}{% Strassen:1975:CCS% }. \NAMECITE{dimensional}{% Hopcroft:1979:RPD% }. \NAMECITE{direct}{% Olshansky:1977:DAC% }. \NAMECITE{discrimination}{% Bohm:1979:DAI,% Hindley:1979:DTH% }. \NAMECITE{disjoint}{% Paul:1976:RBF% }. \NAMECITE{distributions}{% Hotz:1976:CBT% }. \NAMECITE{divisions}{% Schnorr:1978:ILB% }. \NAMECITE{do}{% Hosono:1977:RPO% }. \NAMECITE{domains}{% Smyth:1977:EGD% }. \NAMECITE{{DP0L}}{% Culik:1978:IFE% }. \NAMECITE{{DPDA's}}{% Geller:1977:EDP% }. \NAMECITE{{DT0L}}{% Karhumaki:1979:CDS% }. \NAMECITE{dual}{% Wechsung:1979:RBS% }. \NAMECITE{{E0L}}{% Culik:1978:TSC,% Ehrenfeucht:1978:ELC% }. \NAMECITE{Economy}{% Geller:1977:EDP% }. \NAMECITE{{EDT0L}}{% Ehrenfeucht:1976:RBE% }. \NAMECITE{effect}{% Luckhardt:1977:FEC% }. \NAMECITE{Effectively}{% Smyth:1977:EGD% }. \NAMECITE{efficient}{% Ferrante:1977:EDP% }. \NAMECITE{{Eilenberg}}{% Reutenauer:1977:QER% }. \NAMECITE{Elementary}{% Ehrenfeucht:1978:EHS,% Schonhage:1976:EPS,% Statman:1979:TCE% }. \NAMECITE{embedding}{% Moll:1976:OET% }. \NAMECITE{enough}{% Apt:1979:RAE% }. \NAMECITE{enough-or}{% Apt:1979:RAE% }. \NAMECITE{enriched}{% Wand:1979:FPC% }. \NAMECITE{equations}{% Chottin:1977:SSC% }. \NAMECITE{equivalence}{% Beeri:1976:IVD,% Culik:1976:DSE,% Culik:1978:IFE,% Ehrenfeucht:1978:EHS,% Harrison:1979:EGT,% Knuth:1978:ELS,% Maurer:1977:FEF,% Olshansky:1977:DAC,% Ruohonen:1976:ZZR,% Schnorr:1976:CCE% }. \NAMECITE{erasable}{% Ginsburg:1976:SUE% }. \NAMECITE{ergodic}{% Perrin:1979:ERF% }. \NAMECITE{{ET0L}}{% Ehrenfeucht:1976:RBE,% Skyum:1978:GEF% }. \NAMECITE{{Euclidean}}{% Papadimitriou:1977:ETS% }. \NAMECITE{evaluate}{% Schnorr:1978:ILB% }. \NAMECITE{evaluating}{% Flajolet:1979:NRR% }. \NAMECITE{evaluation}{% Lipton:1976:CMH% }. \NAMECITE{events}{% Hashiguchi:1979:DPO% }. \NAMECITE{examples}{% Aiello:1977:PLS% }. \NAMECITE{expected}{% Knuth:1978:ELS% }. \NAMECITE{explicit}{% Kleiman:1978:ECS% }. \NAMECITE{exponential}{% Monien:1976:RGC% }. \NAMECITE{exponential-time}{% Monien:1976:RGC% }. \NAMECITE{expressions}{% Flajolet:1979:NRR,% Vilfan:1976:LBS% }. \NAMECITE{extension}{% Morgenstern:1979:EWT,% Winograd:1979:MAE% }. \NAMECITE{extensions}{% Leeuwen:1976:DTH% }. \NAMECITE{facets}{% Elgot:1977:MFL% }. \NAMECITE{factorization}{% Knuth:1976:ASF% }. \NAMECITE{Families}{% Rodriguez:1979:FCL,% Ginsburg:1976:SUE,% Leeuwen:1976:DTH,% Springsteel:1976:PAL% }. \NAMECITE{Fast}{% Plaisted:1979:FVT,% Preparata:1975:FSS% }. \NAMECITE{fields}{% Winograd:1979:MAE% }. \NAMECITE{file}{% Burkhard:1977:NUP% }. \NAMECITE{Finding}{% Muller:1978:FIT,% Preparata:1979:FIH% }. \NAMECITE{Finite}{% Ibarra:1976:FAM,% Beeri:1976:IVD,% Greibach:1978:OWF,% Inoue:1979:OWS,% Jacob:1977:ACC,% Mandel:1977:FSM,% Perrin:1979:ERF,% Pin:1978:SMW,% Restivo:1975:CPC% }. \NAMECITE{Finiteness}{% Park:1976:FMI% }. \NAMECITE{firing}{% Kobayashi:1978:MFT% }. \NAMECITE{Fixed}{% Wand:1979:FPC,% DeBakker:1976:LFP,% Manna:1978:CFF% }. \NAMECITE{Fixed-point}{% Wand:1979:FPC% }. \NAMECITE{fixpoint}{% Ashcroft:1979:GSF% }. \NAMECITE{flowchart}{% Bloom:1979:AGT,% Elgot:1979:SMC% }. \NAMECITE{form}{% Culik:1978:IFE,% Hosono:1977:RPO,% Maurer:1977:FEF% }. \NAMECITE{Formal}{% Aubin:1979:MSIa,% Cremers:1977:FDD% }. \NAMECITE{formation}{% Pudlak:1979:CMH% }. \NAMECITE{Forms}{% Culik:1978:TSC,% Culik:1978:IFE,% Dezani-Ciancaglini:1976:CNF,% Ginsburg:1977:PAF,% Maurer:1977:FEF,% Skyum:1978:GEF% }. \NAMECITE{formulae}{% Kleiman:1978:ECS% }. \NAMECITE{foundations}{% Lipski:1976:ISR,% Marek:1976:ISR% }. \NAMECITE{{FP0L}}{% Ehrenfeucht:1978:ELC% }. \NAMECITE{free}{% Hunt:1976:CPL,% Linna:1977:DRD,% Reedy:1975:TDI,% Schutzenberger:1976:RRB,% Wise:1976:SPL% }. \NAMECITE{full}{% Ibarra:1978:TWS% }. \NAMECITE{Fully}{% Milner:1977:FAM% }. \NAMECITE{function}{% Johansen:1979:GFN% }. \NAMECITE{functions}{% Barendregt:1976:GRR,% Choffrut:1977:RRC,% Harper:1975:CBF,% Kleiman:1978:ECS,% Manna:1978:CFF,% Moll:1976:OET,% Paul:1976:RBF,% Ruohonen:1976:ZZR,% Schutzenberger:1977:VSF,% Trakhtenbrot:1976:RBC,% Vilfan:1976:LBS,% Wegener:1979:SFW% }. \NAMECITE{fundamental}{% Luckhardt:1977:FEC% }. \NAMECITE{gaps}{% Hartmanis:1979:RBD% }. \NAMECITE{generable}{% Meznik:1976:SSC% }. \NAMECITE{generalised}{% Bibel:1979:TTG% }. \NAMECITE{generalized}{% Ashcroft:1979:GSF,% Chandra:1976:AAS% }. \NAMECITE{generating}{% Dolev:1979:CPG,% Johansen:1979:GFN% }. \NAMECITE{generation}{% Beauquier:1979:AGS,% Plaisted:1979:FVT% }. \NAMECITE{given}{% Smyth:1977:EGD% }. \NAMECITE{global}{% Abelson:1978:TTL,% Barendregt:1976:GRR,% Duval:1979:RBG% }. \NAMECITE{good}{% Fredman:1976:HGI,% Skyum:1978:GEF% }. \NAMECITE{grammars}{% Geller:1977:LKG,% Harrison:1979:EGT,% Hunt:1976:CPL,% Nijholt:1979:SCG,% Olshansky:1977:DAC,% Soisalon-Soininen:1979:CPL,% Szymanski:1976:CBR% }. \NAMECITE{grammatical}{% Monien:1976:RGC% }. \NAMECITE{graph}{% Bloom:1979:AGT,% Garey:1976:SSN,% Rivest:1976:RGP% }. \NAMECITE{group}{% Atkinson:1977:CGA,% Vuillemin:1977:HVC,% deGroote:1978:VOAa% }. \NAMECITE{half}{% Preparata:1979:FIH% }. \NAMECITE{half-spaces}{% Preparata:1979:FIH% }. \NAMECITE{having}{% Restivo:1975:CPC% }. \NAMECITE{{HD0L}}{% Ruohonen:1979:SDP% }. \NAMECITE{hemisphere}{% Johnson:1978:DHP% }. \NAMECITE{hierarchies}{% Lipton:1976:CMH% }. \NAMECITE{hierarchy}{% Baker:1979:SST,% Hajek:1979:AHC,% Stockmeyer:1976:PTH,% Wrathall:1976:CSP% }. \NAMECITE{holds}{% Hindley:1979:DTH% }. \NAMECITE{homomorphisms}{% Ehrenfeucht:1978:EHS,% Vitanyi:1976:DLL% }. \NAMECITE{hyper}{% Leeuwen:1976:DTH% }. \NAMECITE{hyper-algebraic}{% Leeuwen:1976:DTH% }. \NAMECITE{hypothesis}{% Pudlak:1979:CMH% }. \NAMECITE{identification}{% Minicozzi:1976:SNP% }. \NAMECITE{{II}}{% Aubin:1979:MSIb,% Courcelle:1978:RTLb,% Lipski:1976:ISR,% deGroote:1978:VOAb% }. \NAMECITE{{III}}{% deGroote:1978:VOAc% }. \NAMECITE{images}{% Mignotte:1978:IIC% }. \NAMECITE{Improved}{% Schnorr:1978:ILB% }. \NAMECITE{improvement}{% Beeri:1976:IVD% }. \NAMECITE{inclusion}{% Friedman:1976:IPS% }. \NAMECITE{induction}{% Aubin:1979:MSIa,% Aubin:1979:MSIb% }. \NAMECITE{inductive}{% Minicozzi:1976:SNP,% Wright:1978:UAI% }. \NAMECITE{ineffable}{% Park:1976:FMI% }. \NAMECITE{inference}{% Daley:1977:IOD,% Minicozzi:1976:SNP% }. \NAMECITE{infinite}{% Chaitin:1976:ITC,% Jacob:1977:ACC% }. \NAMECITE{Information}{% Chaitin:1976:ITC,% Lipski:1976:ISR,% Marek:1976:ISR,% Cremers:1977:FDD,% Fredman:1976:HGI% }. \NAMECITE{Information-theoretic}{% Chaitin:1976:ITC% }. \NAMECITE{inherent}{% Reedy:1975:TDI% }. \NAMECITE{Init}{% Prodinger:1979:LOR% }. \NAMECITE{integers}{% Lipton:1976:CMH% }. \NAMECITE{interactions}{% Ehrenfeucht:1975:SCV,% Herman:1976:SSB% }. \NAMECITE{interpolating}{% Strassen:1975:CCS% }. \NAMECITE{interpretation}{% Levy:1976:AIL% }. \NAMECITE{Intersection}{% Mignotte:1978:IIC,% Muller:1978:FIT,% Preparata:1979:FIH% }. \NAMECITE{Intuitionistic}{% Statman:1979:IPL% }. \NAMECITE{inverse}{% Dezani-Ciancaglini:1976:CNF% }. \NAMECITE{Isomorphism}{% Culik:1978:IFE% }. \NAMECITE{isomorphisms}{% Hartmanis:1978:LTI% }. \NAMECITE{isotropy}{% deGroote:1978:VOAa% }. \NAMECITE{iterated}{% Engelfriet:1977:IIS% }. \NAMECITE{Iterating}{% Engelfriet:1977:IIS% }. \NAMECITE{iterative}{% Beauquier:1979:AGS,% Boasson:1976:ALI% }. \NAMECITE{{K}-calculus}{% Levy:1976:AIL% }. \NAMECITE{knapsack}{% Chandra:1976:AAS% }. \NAMECITE{{L}}{% Maurer:1977:FEF,% Pin:1978:SMW,% Rozenberg:1977:BS% }. \NAMECITE{{L}*}{% Pin:1978:SMW% }. \NAMECITE{{L}-forms}{% Maurer:1977:FEF% }. \NAMECITE{labelled}{% Levy:1976:AIL% }. \NAMECITE{lambda}{% Bergstra:1979:CRS,% Levy:1976:AIL,% Plotkin:1975:CNC% }. \NAMECITE{lambda-calculus}{% Levy:1976:AIL,% Plotkin:1975:CNC% }. \NAMECITE{Language}{% Prodinger:1979:LOR,% Chottin:1977:SSC,% Egli:1976:CCP,% Hartmanis:1976:TBS,% Leeuwen:1976:DTH,% Pin:1978:SMW,% Plotkin:1977:LCP% }. \NAMECITE{languages}{% Autebert:1979:NCD,% Boasson:1976:ALI,% Book:1978:LSR,% Courcelle:1978:RTLa,% Courcelle:1978:RTLb,% Ehrenfeucht:1975:SCV,% Ehrenfeucht:1976:RBE,% Ehrenfeucht:1978:ELC,% Engelfriet:1976:STL,% Friedman:1976:IPS,% Geller:1977:LKG,% Ginsburg:1976:SUE,% Greibach:1976:RCN,% Linna:1977:DRD,% Meznik:1976:SSC,% Monien:1976:RGC,% Nijholt:1979:SCG,% Perrot:1978:VLO,% Reedy:1975:TDI,% Rodriguez:1979:FCL,% Springsteel:1976:PAL,% Vitanyi:1976:DLL,% Wise:1976:SPL% }. \NAMECITE{large}{% Plaisted:1979:FVT% }. \NAMECITE{lattice}{% Hosono:1977:RPO% }. \NAMECITE{{LCF}}{% Aiello:1977:PLS,% Plotkin:1977:LCP% }. \NAMECITE{Least}{% DeBakker:1976:LFP% }. \NAMECITE{left}{% Soisalon-Soininen:1979:CPL% }. \NAMECITE{left-recursive}{% Soisalon-Soininen:1979:CPL% }. \NAMECITE{lemma}{% Wise:1976:SPL% }. \NAMECITE{lemmas}{% Book:1976:TLP% }. \NAMECITE{length}{% Schonhage:1975:LBL% }. \NAMECITE{letter}{% Hartmanis:1976:TBS% }. \NAMECITE{{Lindenmayer}}{% Reutenauer:1979:ASC,% Vitanyi:1976:DLL% }. \NAMECITE{linear}{% Harper:1975:CBF,% Hunt:1976:CPL,% Mignotte:1978:IIC% }. \NAMECITE{linearity}{% Knuth:1978:ELS% }. \NAMECITE{lists}{% Elgot:1977:MFL% }. \NAMECITE{{LL}}{% Olshansky:1977:DAC% }. \NAMECITE{local}{% Abelson:1978:TTL% }. \NAMECITE{Log}{% Lynch:1978:LSM,% Hartmanis:1978:LTI,% Preparata:1979:FIH,% Springsteel:1976:PAL% }. \NAMECITE{log-tape}{% Hartmanis:1978:LTI% }. \NAMECITE{logic}{% Statman:1979:IPL,% Vilfan:1976:LBS% }. \NAMECITE{Lower}{% Vilfan:1976:LBS,% Schnorr:1976:LBN,% Schnorr:1978:ILB,% Schonhage:1975:LBL% }. \NAMECITE{lowness}{% Bennison:1978:SLP% }. \NAMECITE{{LR}}{% Geller:1977:LKG% }. \NAMECITE{machines}{% Beeri:1976:IVD,% Cohen:1978:OCT,% Greibach:1978:RBP,% Lynch:1978:LSM% }. \NAMECITE{many}{% Elgot:1977:MFL% }. \NAMECITE{mapping}{% deGroote:1978:VOAa% }. \NAMECITE{mappings}{% Bollman:1978:SDP,% deGroote:1978:VOAa,% deGroote:1978:VOAb,% deGroote:1978:VOAc% }. \NAMECITE{match}{% Burkhard:1977:NUP% }. \NAMECITE{mathematical}{% Lipski:1976:ISR,% Marek:1976:ISR% }. \NAMECITE{matrices}{% Jacob:1977:ACC,% Mandel:1977:FSM,% Rivest:1976:RGP,% Ruohonen:1979:SDP% }. \NAMECITE{matrix}{% Bibel:1979:TTG,% Paterson:1975:CMN,% deGroote:1978:VOAb% }. \NAMECITE{{McCreight}}{% vanEmdeBoas:1978:SAM% }. \NAMECITE{{McCreight-Meyer}}{% vanEmdeBoas:1978:SAM% }. \NAMECITE{meaningful}{% Elgot:1979:SMC% }. \NAMECITE{measures}{% Lipton:1976:CMH% }. \NAMECITE{mechanized}{% Pudlak:1979:CMH% }. \NAMECITE{Mechanizing}{% Aubin:1979:MSIa,% Aubin:1979:MSIb,% Jensen:1976:MOO% }. \NAMECITE{method}{% Bibel:1979:TTG% }. \NAMECITE{{Meyer}}{% vanEmdeBoas:1978:SAM% }. \NAMECITE{Minimal}{% Machtey:1976:MPP,% Kobayashi:1978:MFT% }. \NAMECITE{minimum}{% Preparata:1975:FSS% }. \NAMECITE{models}{% Milner:1977:FAM% }. \NAMECITE{monoid}{% Pin:1978:SMW% }. \NAMECITE{monoids}{% Lallement:1976:RSD,% Schutzenberger:1976:RRB% }. \NAMECITE{monotone}{% Kleiman:1978:ECS,% Paterson:1975:CMN,% Schnorr:1976:LBN,% Wegener:1979:CCS,% Wegener:1979:SFW% }. \NAMECITE{monotonic}{% Trakhtenbrot:1976:RBC% }. \NAMECITE{mu}{% Park:1976:FMI% }. \NAMECITE{mu-ineffable}{% Park:1976:FMI% }. \NAMECITE{multicounter}{% Greibach:1978:RBP% }. \NAMECITE{multihead}{% Inoue:1979:OWS% }. \NAMECITE{multiple}{% Lynch:1978:LSM% }. \NAMECITE{multiplication}{% Ibarra:1976:FAM,% Winograd:1979:MAE,% deGroote:1978:VOAb% }. \NAMECITE{multiplications}{% Schnorr:1978:ILB% }. \NAMECITE{multiplications/divisions}{% Schnorr:1978:ILB% }. \NAMECITE{n}{% Preparata:1979:FIH,% Springsteel:1976:PAL,% Karhumaki:1976:TTC% }. \NAMECITE{{N}-subsets}{% Karhumaki:1976:TTC% }. \NAMECITE{name}{% Plotkin:1975:CNC% }. \NAMECITE{natural}{% Minicozzi:1976:SNP% }. \NAMECITE{{ND}}{% Starke:1976:ASA% }. \NAMECITE{{ND-automata}}{% Starke:1976:ASA% }. \NAMECITE{nearly}{% Wegener:1979:SFW% }. \NAMECITE{necessary}{% Schnorr:1978:ILB% }. \NAMECITE{net}{% Araki:1977:DPS% }. \NAMECITE{nets}{% Araki:1976:SDP,% Jones:1977:CSP% }. \NAMECITE{networks}{% Kobayashi:1978:MFT,% Paterson:1975:CMN,% Wegener:1979:CCS% }. \NAMECITE{Non}{% Burkhard:1977:NUP,% Friedman:1978:NNS% }. \NAMECITE{non-singular}{% Friedman:1978:NNS% }. \NAMECITE{Non-uniform}{% Burkhard:1977:NUP% }. \NAMECITE{nondeterministic}{% Greibach:1976:RCN% }. \NAMECITE{nonlinear}{% Paterson:1976:CSN% }. \NAMECITE{nonsingular}{% Ruohonen:1979:SDP% }. \NAMECITE{nonterminals}{% Vitanyi:1976:DLL% }. \NAMECITE{normal}{% Dezani-Ciancaglini:1976:CNF% }. \NAMECITE{note}{% Autebert:1979:NCD,% Friedman:1978:NNS,% Lehmann:1977:NSS% }. \NAMECITE{{NP}}{% Galil:1977:CON,% Garey:1976:SSN,% Papadimitriou:1977:ETS% }. \NAMECITE{{NP-complete}}{% Galil:1977:CON,% Garey:1976:SSN,% Papadimitriou:1977:ETS% }. \NAMECITE{number}{% Flajolet:1979:NRR,% Johansen:1979:GFN,% Schnorr:1976:LBN,% Schnorr:1978:ILB% }. \NAMECITE{numbering}{% Even:1976:CN% }. \NAMECITE{numbers}{% Luckhardt:1977:FEC% }. \NAMECITE{{O}}{% Preparata:1979:FIH% }. \NAMECITE{Omega}{% Cohen:1978:OCT,% Hosono:1977:RPO,% Jensen:1976:MOO,% Linna:1977:DRD,% Tang:1979:CPP% }. \NAMECITE{Omega-computations}{% Cohen:1978:OCT% }. \NAMECITE{omega-context-free}{% Linna:1977:DRD% }. \NAMECITE{omega-order}{% Jensen:1976:MOO% }. \NAMECITE{One}{% Greibach:1978:OWF,% Inoue:1979:OWS,% Greibach:1978:RBP% }. \NAMECITE{One-way}{% Inoue:1979:OWS,% Greibach:1978:RBP% }. \NAMECITE{open}{% Rodriguez:1979:FCL% }. \NAMECITE{operations}{% Perrot:1978:VLO% }. \NAMECITE{operator}{% Chottin:1977:SSC,% Moll:1976:OET% }. \NAMECITE{operators}{% Prodinger:1979:LOR% }. \NAMECITE{optimal}{% Daley:1977:IOD,% deGroote:1978:VOAa,% deGroote:1978:VOAb,% deGroote:1978:VOAc% }. \NAMECITE{oracle}{% Lynch:1978:LSM% }. \NAMECITE{order}{% Ferrante:1977:EDP,% Hashiguchi:1979:DPO,% Jensen:1976:MOO,% Wand:1979:FPC% }. \NAMECITE{order-enriched}{% Wand:1979:FPC% }. \NAMECITE{ordering}{% Galil:1977:CON% }. \NAMECITE{{P}}{% Hosono:1977:RPO,% Tang:1979:CPP% }. \NAMECITE{paging}{% Stork:1977:PCP% }. \NAMECITE{paging-complexity}{% Stork:1977:PCP% }. \NAMECITE{pairs}{% Beauquier:1979:AGS,% Boasson:1976:ALI,% Machtey:1976:MPP% }. \NAMECITE{parallel}{% Engelfriet:1976:STL,% Rosen:1976:CPP% }. \NAMECITE{{Parikh}}{% Ruohonen:1979:SDP% }. \NAMECITE{parsers}{% Geller:1977:EDP% }. \NAMECITE{partial}{% Burkhard:1977:NUP% }. \NAMECITE{partial-match}{% Burkhard:1977:NUP% }. \NAMECITE{partially}{% Greibach:1978:RBP% }. \NAMECITE{{PASCAL}}{% Aiello:1977:PLS% }. \NAMECITE{{PDA's}}{% Geller:1977:EDP% }. \NAMECITE{periodic}{% Christol:1979:ARP,% Stork:1977:PCP% }. \NAMECITE{periodicity}{% Duval:1979:RBG% }. \NAMECITE{permanent}{% Valiant:1979:CCP% }. \NAMECITE{{Petri}}{% Araki:1976:SDP,% Araki:1977:DPS,% Jones:1977:CSP% }. \NAMECITE{point}{% Wand:1979:FPC% }. \NAMECITE{points}{% DeBakker:1976:LFP,% Manna:1978:CFF% }. \NAMECITE{polyautomata}{% Kobayashi:1978:MFT% }. \NAMECITE{polyhedra}{% Muller:1978:FIT% }. \NAMECITE{polynomial}{% Baker:1979:SST,% Bollman:1978:SDP,% Book:1976:TLP,% Jones:1976:CPD,% Ladner:1975:CPT,% Machtey:1976:MPP,% Statman:1979:IPL,% Stockmeyer:1976:PTH,% Wrathall:1976:CSP% }. \NAMECITE{polynomial-space}{% Statman:1979:IPL% }. \NAMECITE{polynomial-time}{% Stockmeyer:1976:PTH,% Wrathall:1976:CSP% }. \NAMECITE{polynomials}{% Lipton:1976:CMH,% Mignotte:1976:ARD,% Schnorr:1978:ILB,% Strassen:1975:CCS% }. \NAMECITE{posets}{% Markowsky:1977:CCC,% Wright:1978:UAI% }. \NAMECITE{Positive}{% Soittola:1976:PRS% }. \NAMECITE{possessing}{% Dezani-Ciancaglini:1976:CNF% }. \NAMECITE{{pre}}{% Springsteel:1976:PAL% }. \NAMECITE{{pre-AFL}}{% Springsteel:1976:PAL% }. \NAMECITE{prefix}{% Lallement:1976:RSD% }. \NAMECITE{preserving}{% Seiferas:1976:RPR% }. \NAMECITE{primes}{% Plaisted:1979:FVT% }. \NAMECITE{primitives}{% Dolev:1979:CPG% }. \NAMECITE{problem}{% Araki:1976:SDP,% Culik:1976:DSE,% Ehrenfeucht:1978:EHS,% Friedman:1976:IPS,% Hack:1976:QPV,% Hopcroft:1979:RPD,% Hosono:1977:RPO,% Hunt:1976:CPL,% Johnson:1978:DHP,% Kobayashi:1978:MFT,% Majster:1979:DTA,% Papadimitriou:1977:ETS,% Reedy:1975:TDI,% Soisalon-Soininen:1979:CPL% }. \NAMECITE{problems}{% Araki:1976:SDP,% Araki:1977:DPS,% Bollman:1978:SDP,% Chandra:1976:AAS,% Garey:1976:SSN,% Jones:1976:CPD,% Jones:1977:CSP,% Lipski:1976:ISR,% Rackoff:1978:CBP,% Ruohonen:1979:SDP% }. \NAMECITE{procedure}{% Beeri:1976:IVD,% Ferrante:1977:EDP,% Galil:1977:CRR,% Hashiguchi:1979:DPO% }. \NAMECITE{processing}{% Hartmanis:1976:TBS% }. \NAMECITE{produced}{% Latteux:1977:PRC% }. \NAMECITE{Product}{% Latteux:1977:PRC,% Paterson:1975:CMN% }. \NAMECITE{Program}{% Guessarian:1979:PTA% }. \NAMECITE{programming}{% Egli:1976:CCP,% Plotkin:1977:LCP% }. \NAMECITE{programs}{% Rosen:1976:CPP% }. \NAMECITE{proof}{% Aiello:1977:PLS,% Arnold:1979:NPT,% Hartmanis:1979:RBD,% Schonhage:1976:EPS% }. \NAMECITE{properties}{% Bennison:1978:SLP,% Dolev:1979:CPG,% Minicozzi:1976:SNP,% Rivest:1976:RGP,% Tang:1979:CPP% }. \NAMECITE{property}{% Restivo:1975:CPC% }. \NAMECITE{propositional}{% Statman:1979:IPL% }. \NAMECITE{pumping}{% Wise:1976:SPL% }. \NAMECITE{Pushdown}{% Ginsburg:1977:PAF,% Beeri:1976:IVD,% Friedman:1978:NNS% }. \NAMECITE{{{Putnam}}}{% Galil:1977:CRR% }. \NAMECITE{quadratic}{% Wegener:1979:SFW% }. \NAMECITE{quality}{% Hack:1976:QPV% }. \NAMECITE{question}{% Reutenauer:1977:QER% }. \NAMECITE{Rational}{% Choffrut:1977:RRC,% Arnold:1979:NPT,% Boasson:1976:ALI,% Ferrante:1977:EDP,% Karhumaki:1977:RCR,% Latteux:1977:PRC,% Reutenauer:1977:QER,% Ruohonen:1976:ZZR,% Schutzenberger:1976:RRB,% Soittola:1976:PRS% }. \NAMECITE{reachability}{% Araki:1976:SDP,% Araki:1977:DPS,% Hopcroft:1979:RPD% }. \NAMECITE{real}{% Luckhardt:1977:FEC% }. \NAMECITE{Realizing}{% Paul:1976:RBF% }. \NAMECITE{recognisable}{% Christol:1979:ARP% }. \NAMECITE{recognizable}{% Karhumaki:1976:TTC% }. \NAMECITE{recognizing}{% Rivest:1976:RGP% }. \NAMECITE{recurrent}{% Mignotte:1978:IIC% }. \NAMECITE{Recursive}{% Apt:1979:RAE,% Barendregt:1976:GRR,% Chaitin:1976:ITC,% Manna:1978:CFF,% Moll:1976:OET,% Monien:1976:RGC,% Soisalon-Soininen:1979:CPL,% Statman:1979:TCE% }. \NAMECITE{reducibilities}{% Ladner:1975:CPT% }. \NAMECITE{reducible}{% Elgot:1979:SMC% }. \NAMECITE{reduction}{% Bibel:1979:TTG,% Hindley:1979:DTH,% Kwong:1977:RAS% }. \NAMECITE{referring}{% Wegener:1979:CCS% }. \NAMECITE{registers}{% Flajolet:1979:NRR% }. \NAMECITE{Regular}{% Lallement:1976:RSD,% Galil:1977:CRR,% Hashiguchi:1979:DPO% }. \NAMECITE{Regularity}{% Seiferas:1976:RPR% }. \NAMECITE{Regularity-preserving}{% Seiferas:1976:RPR% }. \NAMECITE{related}{% Araki:1976:SDP,% Prodinger:1979:LOR,% Springsteel:1976:PAL% }. \NAMECITE{relating}{% Mignotte:1976:ARD% }. \NAMECITE{relation}{% Wechsung:1979:RBS% }. \NAMECITE{Relations}{% Hartmanis:1979:RBD,% Choffrut:1977:RRC,% Schutzenberger:1976:RRB,% Seiferas:1976:RPR% }. \NAMECITE{Relationship}{% Duval:1979:RBG,% Ehrenfeucht:1976:RBE% }. \NAMECITE{Relationships}{% Trakhtenbrot:1976:RBC% }. \NAMECITE{relative}{% Book:1978:LSR% }. \NAMECITE{Remarks}{% Greibach:1976:RCN,% Greibach:1978:RBP,% Karhumaki:1977:RCR% }. \NAMECITE{repetitions}{% Duval:1979:RBG% }. \NAMECITE{representation}{% Barendregt:1976:GRR,% Courcelle:1978:RTLa,% Courcelle:1978:RTLb,% Perrin:1979:ERF,% Verbeek:1978:DRC% }. \NAMECITE{required}{% Flajolet:1979:NRR% }. \NAMECITE{resolution}{% Galil:1977:CRR% }. \NAMECITE{result}{% Linna:1977:DRD% }. \NAMECITE{retracts}{% Hosono:1977:RPO% }. \NAMECITE{retrieval}{% Lipski:1976:ISR,% Marek:1976:ISR% }. \NAMECITE{retrieval-mathematical}{% Lipski:1976:ISR% }. \NAMECITE{return}{% Wechsung:1979:RBS% }. \NAMECITE{revisited}{% DeBakker:1976:LFP% }. \NAMECITE{right}{% Szymanski:1976:CBR% }. \NAMECITE{{Rosser}}{% Bergstra:1979:CRS,% Rosen:1976:CPP% }. \NAMECITE{{S.}}{% Reutenauer:1977:QER% }. \NAMECITE{salesman}{% Papadimitriou:1977:ETS% }. \NAMECITE{schemes}{% Bloom:1979:AGT,% Elgot:1979:SMC,% Herman:1976:SSB% }. \NAMECITE{{Schnorr}}{% Lehmann:1977:NSS,% Wegener:1979:CCS% }. \NAMECITE{{Scott}}{% Hosono:1977:RPO% }. \NAMECITE{second}{% Baker:1979:SST% }. \NAMECITE{semantically}{% Elgot:1979:SMC% }. \NAMECITE{semantics}{% Aiello:1977:PLS,% Egli:1976:CCP,% Guessarian:1979:PTA% }. \NAMECITE{{semi}}{% Ibarra:1978:TWS% }. \NAMECITE{{semi-AFLs}}{% Ibarra:1978:TWS% }. \NAMECITE{semigroups}{% Jacob:1977:ACC,% Lallement:1976:RSD,% Mandel:1977:FSM% }. \NAMECITE{separatedness}{% Lehmann:1977:NSS% }. \NAMECITE{sequence}{% Culik:1976:DSE,% Culik:1978:IFE,% Ehrenfeucht:1978:EHS,% Johansen:1979:GFN% }. \NAMECITE{sequences}{% Bennison:1978:SLP,% Reutenauer:1977:QER,% Soittola:1976:PRS% }. \NAMECITE{sequential}{% Choffrut:1977:RRC,% Ibarra:1978:TWS,% Schutzenberger:1977:VSF% }. \NAMECITE{series}{% Karhumaki:1977:RCR,% Mignotte:1978:IIC,% Reutenauer:1979:ASC% }. \NAMECITE{sets}{% Araki:1977:DPS,% Christol:1979:ARP,% Dolev:1979:CPG,% Hartmanis:1978:LTI,% Paul:1976:RBF,% Wrathall:1976:CSP% }. \NAMECITE{setting}{% Ashcroft:1979:GSF% }. \NAMECITE{short}{% Kleiman:1978:ECS% }. \NAMECITE{sigma}{% Karhumaki:1976:TTC% }. \NAMECITE{Simple}{% Nijholt:1979:SCG,% Friedman:1976:IPS,% Inoue:1979:OWS,% Knuth:1976:ASF,% Knuth:1978:ELS% }. \NAMECITE{simplified}{% Garey:1976:SSN% }. \NAMECITE{single}{% Hartmanis:1976:TBS% }. \NAMECITE{singular}{% Friedman:1978:NNS% }. \NAMECITE{size}{% Paterson:1976:CSN,% Vilfan:1976:LBS% }. \NAMECITE{slices}{% Dolev:1979:CPG% }. \NAMECITE{solution}{% Ehrenfeucht:1978:EHS,% Hosono:1977:RPO% }. \NAMECITE{solutions}{% Chottin:1977:SSC% }. \NAMECITE{Some}{% Araki:1976:SDP,% Bennison:1978:SLP,% Bollman:1978:SDP,% Garey:1976:SSN,% Ginsburg:1976:SUE,% Minicozzi:1976:SNP,% vanEmdeBoas:1978:SAM,% Chandra:1976:AAS,% Herman:1976:SSB,% Jones:1977:CSP,% Meznik:1976:SSC,% Ruohonen:1979:SDP% }. \NAMECITE{sorting}{% Fredman:1976:HGI,% Preparata:1975:FSS% }. \NAMECITE{space}{% Book:1976:TLP,% Cremers:1977:FDD,% Lynch:1978:LSM,% Springsteel:1976:PAL,% Statman:1979:IPL,% Wechsung:1979:RBS% }. \NAMECITE{spaces}{% Preparata:1979:FIH% }. \NAMECITE{specification}{% Majster:1979:DTA% }. \NAMECITE{specified}{% Book:1978:LSR% }. \NAMECITE{squad}{% Kobayashi:1978:MFT% }. \NAMECITE{stability}{% Herman:1976:SSB% }. \NAMECITE{stable}{% Preparata:1975:FSS% }. \NAMECITE{step}{% Baker:1979:SST% }. \NAMECITE{storage}{% Lipski:1976:ISR,% Marek:1976:ISR,% Preparata:1975:FSS% }. \NAMECITE{{Strassen}}{% Schonhage:1976:EPS% }. \NAMECITE{Strategies}{% Aubin:1979:MSIb,% Bergstra:1979:CRS% }. \NAMECITE{strings}{% Chaitin:1976:ITC% }. \NAMECITE{strong}{% Araki:1977:DPS,% Minicozzi:1976:SNP,% Wise:1976:SPL% }. \NAMECITE{strong-identification}{% Minicozzi:1976:SNP% }. \NAMECITE{structural}{% Aubin:1979:MSIa,% Aubin:1979:MSIb% }. \NAMECITE{structure}{% Cremers:1977:FDD% }. \NAMECITE{structured}{% Bloom:1979:AGT% }. \NAMECITE{structures}{% Lehmann:1977:AST% }. \NAMECITE{study}{% Chottin:1977:SSC% }. \NAMECITE{sub}{% Latteux:1977:PRC% }. \NAMECITE{subclasses}{% Meznik:1976:SSC% }. \NAMECITE{subexponential}{% Machtey:1976:MPP% }. \NAMECITE{subpatterns}{% Johansen:1979:GFN% }. \NAMECITE{subsequential}{% Choffrut:1977:RRC% }. \NAMECITE{subsets}{% Karhumaki:1976:TTC% }. \NAMECITE{substitution}{% Engelfriet:1977:IIS% }. \NAMECITE{Subword}{% Ehrenfeucht:1975:SCV% }. \NAMECITE{Surface}{% Engelfriet:1976:STL% }. \NAMECITE{Switching}{% Wegener:1979:SFW% }. \NAMECITE{symbol}{% Culik:1978:TSC% }. \NAMECITE{symbolic}{% Strassen:1975:CCS% }. \NAMECITE{symmetric}{% Kleiman:1978:ECS% }. \NAMECITE{synchronization}{% Dolev:1979:CPG,% Kobayashi:1978:MFT,% Restivo:1975:CPC% }. \NAMECITE{syntactic}{% Lallement:1976:RSD,% Pin:1978:SMW% }. \NAMECITE{Syntactical}{% Chottin:1977:SSC% }. \NAMECITE{synthesis}{% Starke:1976:ASA% }. \NAMECITE{system}{% Aubin:1979:MSIa% }. \NAMECITE{systems}{% Beauquier:1979:AGS,% Hack:1976:QPV,% Hartmanis:1979:RBD,% Hopcroft:1979:RPD,% Karhumaki:1979:CDS,% Kwong:1977:RAS,% Marek:1976:ISR,% Rackoff:1978:CBP,% Reutenauer:1979:ASC,% Rozenberg:1977:BS,% Ruohonen:1979:SDP,% Culik:1976:DSE% }. \NAMECITE{table}{% Vuillemin:1977:HVC% }. \NAMECITE{tape}{% Hartmanis:1976:TBS,% Hartmanis:1978:LTI% }. \NAMECITE{tapes}{% Lynch:1978:LSM% }. \NAMECITE{Tautology}{% Bibel:1979:TTG% }. \NAMECITE{testing}{% Bibel:1979:TTG,% Plaisted:1979:FVT% }. \NAMECITE{their}{% Majster:1979:DTA% }. \NAMECITE{theorem}{% Hindley:1979:DTH,% Leeuwen:1976:DTH,% Moll:1976:OET,% Morgenstern:1979:EWT% }. \NAMECITE{theorems}{% Arnold:1979:NPT,% Karhumaki:1976:TTC% }. \NAMECITE{theoretic}{% Bloom:1979:AGT,% Chaitin:1976:ITC% }. \NAMECITE{theory}{% Abelson:1978:TTL,% Ashcroft:1979:GSF,% Ferrante:1977:EDP,% Fredman:1976:HGI,% Jensen:1976:MOO,% vanEmdeBoas:1978:SAM% }. \NAMECITE{time}{% Book:1976:TLP,% Jones:1976:CPD,% Kobayashi:1978:MFT,% Ladner:1975:CPT,% Monien:1976:RGC,% Preparata:1979:FIH,% Stockmeyer:1976:PTH,% Wrathall:1976:CSP% }. \NAMECITE{transductions}{% Arnold:1979:NPT,% Boasson:1976:ALI,% Ibarra:1978:TWS% }. \NAMECITE{transformation}{% Harrison:1979:EGT% }. \NAMECITE{transformations}{% Guessarian:1979:PTA% }. \NAMECITE{transitive}{% Lehmann:1977:AST% }. \NAMECITE{Translational}{% Book:1976:TLP% }. \NAMECITE{traveling}{% Papadimitriou:1977:ETS% }. \NAMECITE{tree}{% Engelfriet:1976:STL% }. \NAMECITE{trees}{% Courcelle:1978:RTLa,% Courcelle:1978:RTLb,% Engelfriet:1976:STL,% Francon:1977:AAT,% Harrison:1979:EGT,% Hotz:1976:CBT% }. \NAMECITE{{Turing}}{% Cohen:1978:OCT,% Reedy:1975:TDI% }. \NAMECITE{turn}{% Beeri:1976:IVD% }. \NAMECITE{Two}{% Karhumaki:1976:TTC,% Arnold:1979:NPT,% Culik:1978:TSC,% Ibarra:1978:TWS,% Muller:1978:FIT% }. \NAMECITE{two-symbol}{% Culik:1978:TSC% }. \NAMECITE{two-way}{% Ibarra:1978:TWS% }. \NAMECITE{type}{% Jensen:1976:MOO% }. \NAMECITE{typed}{% Huet:1975:UAT,% Milner:1977:FAM,% Statman:1979:TCE% }. \NAMECITE{types}{% Majster:1979:DTA% }. \NAMECITE{undecidable}{% Hack:1976:QPV% }. \NAMECITE{unification}{% Huet:1975:UAT,% Jensen:1976:MOO% }. \NAMECITE{uniform}{% Burkhard:1977:NUP,% Wright:1978:UAI% }. \NAMECITE{uniformly}{% Ginsburg:1976:SUE% }. \NAMECITE{{Valiant}}{% Beeri:1976:IVD% }. \NAMECITE{value}{% Plotkin:1975:CNC% }. \NAMECITE{variables}{% Paul:1976:RBF% }. \NAMECITE{variant}{% Schutzenberger:1977:VSF% }. \NAMECITE{Varieties}{% Perrot:1978:VLO,% deGroote:1978:VOAa,% deGroote:1978:VOAb,% deGroote:1978:VOAc% }. \NAMECITE{various}{% Dolev:1979:CPG,% Ehrenfeucht:1975:SCV% }. \NAMECITE{vector}{% Hack:1976:QPV,% Hopcroft:1979:RPD,% Rackoff:1978:CBP% }. \NAMECITE{verification}{% Plaisted:1979:FVT% }. \NAMECITE{verify}{% Vuillemin:1977:HVC% }. \NAMECITE{visit}{% Greibach:1978:OWF% }. \NAMECITE{way}{% Greibach:1978:OWF,% Greibach:1978:RBP,% Ibarra:1978:TWS,% Inoue:1979:OWS% }. \NAMECITE{weak}{% Hindley:1979:DTH% }. \NAMECITE{weighted}{% Hotz:1976:CBT% }. \NAMECITE{where}{% Pin:1978:SMW,% deGroote:1978:VOAc% }. \NAMECITE{which}{% Schnorr:1978:ILB% }. \NAMECITE{whose}{% Wegener:1979:SFW% }. \NAMECITE{{Winograd}}{% Morgenstern:1979:EWT% }. \NAMECITE{without}{% Ehrenfeucht:1975:SCV% }. \NAMECITE{words}{% Duval:1979:RBG% }. \NAMECITE{{Z}}{% Ruohonen:1976:ZZR% }. \NAMECITE{{Z}-rational}{% Ruohonen:1976:ZZR% }. \NAMECITE{Zeros}{% Ruohonen:1976:ZZR% }.