%%====================================================================== %% 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:37 MDT 2018 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$2$}{% Howell:1986:SCB,% Linial:1985:DHC,% Salomaa:1988:PRC% }. \NAMECITE{$\alpha_0$}{% Domosi:1988:CCP,% Esik:1986:CCA,% Esik:1986:PP% }. \NAMECITE{$\alpha_2$}{% Esik:1986:PP% }. \NAMECITE{\$beta}{% Blanchard:1989:BES% }. \NAMECITE{$\beta$}{% Sekimoto:1988:OSR% }. \NAMECITE{$D_1'*$}{% Deleage:1986:RID% }. \NAMECITE{$ \exp (\Theta (\sqrt [p]{n})) $}{% Pierre:1988:RIC% }. \NAMECITE{$F$}{% Martino:1988:QIG% }. \NAMECITE{$G[u]/,\ell>1$}{% Averbuch:1988:CAM% }. \NAMECITE{$\gamma$}{% Chan:1988:DAB% }. \NAMECITE{$Gw$}{% Yamasaki:1989:LTR% }. \NAMECITE{$k$}{% Ramanan:1985:PRA% }. \NAMECITE{$l$}{% Weispfenning:1986:CWP% }. \NAMECITE{\$lambda}{% Hardin:1989:CRP,% Hindley:1989:BCL% }. \NAMECITE{$\Lambda$}{% Bohm:1985:AST,% Sekimoto:1988:OSR% }. \NAMECITE{$N^k$}{% Gohon:1985:ADW% }. \NAMECITE{$n^{th}$}{% Blum:1985:LBM% }. \NAMECITE{$ n^{\Theta ((\ln n)^(1 / p))} $}{% Pierre:1988:RIC% }. \NAMECITE{$O(\bmod {T} \bmod ^3)$}{% Kapur:1985:ATC% }. \NAMECITE{$O(k.2^nk)$}{% Vyskoc:1987:TSA% }. \NAMECITE{$O(n^{lgk}.2^n2)$}{% Vyskoc:1987:TSA% }. \NAMECITE{$\omega$}{% Moriya:1988:ACA% }. \NAMECITE{$\Omega(n^4/3)$}{% Blum:1985:LBM% }. \NAMECITE{$X$}{% Hodel:1988:ODE% }. \NAMECITE{-acyclic}{% Chan:1988:DAB% }. \NAMECITE{-ary}{% Ramanan:1985:PRA% }. \NAMECITE{-calculi}{% Hardin:1989:CRP% }. \NAMECITE{-calculus}{% Sekimoto:1988:OSR% }. \NAMECITE{-colourability}{% Linial:1985:DHC% }. \NAMECITE{-context-free}{% Salomaa:1988:PRC% }. \NAMECITE{-expansions}{% Blanchard:1989:BES% }. \NAMECITE{-groups}{% Weispfenning:1986:CWP% }. \NAMECITE{-languages}{% Moriya:1988:ACA,% Yamasaki:1989:LTR% }. \NAMECITE{-product}{% Domosi:1988:CCP,% Esik:1986:CCA% }. \NAMECITE{-products}{% Esik:1986:PP% }. \NAMECITE{{}-programs}{% Bohm:1985:AST% }. \NAMECITE{-regular}{% Meznik:1988:SIR% }. \NAMECITE{-terms}{% Hindley:1989:BCL% }. \NAMECITE{{}-trees}{% Hodel:1988:ODE% }. \NAMECITE{14th}{% Ottmann:1989:ICA% }. \NAMECITE{2-asynchronous}{% Cori:1988:AA% }. \NAMECITE{'86}{% Gruska:1988:ISM% }. \NAMECITE{'87}{% Levi:1988:IJC% }. \NAMECITE{{Abelian}}{% Cori:1985:RSS,% Diekert:1986:CST,% Iliopoulos:1985:CGA,% Iliopoulos:1988:CCA,% Weispfenning:1986:CWP% }. \NAMECITE{Abstract}{% Bernot:1986:ADT,% Burkhard:1985:ICC,% Lafont:1988:LAM,% Nielson:1989:TLS,% Tarlecki:1985:EFM% }. \NAMECITE{Abstraction}{% Piperno:1989:APC,% Baeten:1987:CKF,% Bergstra:1985:ACP,% Thatte:1989:FAL% }. \NAMECITE{Accepting}{% Moriya:1988:ACA% }. \NAMECITE{acceptors}{% Ito:1989:DTD,% Lindsay:1986:AOT% }. \NAMECITE{access}{% Arques:1988:CAC% }. \NAMECITE{{Ackermann}}{% Grossman:1988:IIC% }. \NAMECITE{actions}{% Pettorossi:1987:DEP% }. \NAMECITE{active}{% Ehrenfeucht:1986:AFU% }. \NAMECITE{acyclic}{% Ausiello:1985:EAV,% Chan:1988:DAB,% DiBattista:1988:APR,% Simon:1988:IAT% }. \NAMECITE{adaptive}{% Pelc:1989:WAC% }. \NAMECITE{Adding}{% Ehrenfeucht:1985:AGF% }. \NAMECITE{addition}{% Howell:1986:SCB,% KleineBuning:1989:PVA% }. \NAMECITE{adherences}{% Latteux:1986:TCR% }. \NAMECITE{Adic}{% Mosse:1989:QAS% }. \NAMECITE{adjacent}{% Dahlhaus:1985:CTA% }. \NAMECITE{Adjunction}{% Hayashi:1985:ASC% }. \NAMECITE{advantages}{% Hromkovic:1988:ANA% }. \NAMECITE{{Alexander}}{% Kerisit:1989:RAL% }. \NAMECITE{Algebra}{% Anonymous:1987:ECT,% Bergstra:1985:ACP,% Averbuch:1988:CAM,% Belaga:1987:CUA,% Demel:1985:FAC,% Poulsen:1986:ECA% }. \NAMECITE{algebra-framework}{% Poulsen:1986:ECA% }. \NAMECITE{Algebraic}{% Bergstra:1987:ASC,% Gonthier:1985:ACP,% Kaplan:1989:ASC,% Ait-Kaci:1986:ASA,% Beauquier:1987:NCT,% Berghammer:1986:RAS,% Book:1985:VTA,% Dicky:1986:AAM,% Heering:1986:PEO,% Hennessy:1987:ATF,% Kuich:1988:MSP,% Lakshmanan:1987:ATF,% MeyerAufDerHeide:1985:SPD,% NaitAbdallah:1989:LAA,% Oyamaguchi:1985:DTE,% Tarlecki:1985:EFM,% Velinov:1988:ASD,% Wirsing:1986:SAS% }. \NAMECITE{algebras}{% Benson:1989:FPF,% Bohm:1985:AST,% Broy:1988:ESP,% Thibon:1985:IAF% }. \NAMECITE{algorithm}{% Bertolazzi:1987:MAR,% Etzion:1986:AGS,% Gohon:1985:ADW,% He:1988:NOP,% Kapur:1985:ATC,% Karloff:1989:NAB,% Kurtz:1987:PDA,% LeChenadec:1987:ADA,% Ritzmann:1986:FNA,% Simon:1988:IAT,% Tarhio:1988:GAA,% Tomita:1989:DBA,% Varman:1988:EPA,% Vyskoc:1987:TSA,% Xin:1989:EAD% }. \NAMECITE{algorithmic}{% Danko:1986:FOA,% Dicky:1986:AAM,% Huang:1985:IFS% }. \NAMECITE{Algorithms}{% DiBattista:1988:APR,% Helfrich:1985:ACM,% Arques:1988:CAC,% Averbuch:1988:CAM,% Demel:1985:FAC,% Galil:1987:DAS,% Keller-Gehrig:1985:FAC,% Korach:1989:OLB,% Marberg:1987:DSA,% Narendran:1989:SPT,% Robert:1989:OSA,% Schnorr:1987:HPT,% Schoning:1985:RAD,% Staples:1988:DUA,% Venkatesan:1987:AAW% }. \NAMECITE{{ALNA}}{% Mascari:1985:WPN% }. \NAMECITE{alphabet}{% Spehner:1985:ESE,% Thibon:1985:IAF% }. \NAMECITE{Alternating}{% Inoue:1985:ALT,% King:1988:AMF,% Matsuno:1985:ASM,% Muller:1987:AAI,% Slutzki:1985:ATA,% Hromkovic:1989:TLR,% Inoue:1989:LSH,% Ito:1989:DTD,% Liskiewicz:1987:RBA,% Moriya:1989:GCA% }. \NAMECITE{Alternation}{% Lindsay:1986:AOT% }. \NAMECITE{ambiguity}{% Flajolet:1987:AMA% }. \NAMECITE{among}{% Mahaney:1985:RAP% }. \NAMECITE{Amortized}{% Italiano:1986:AEP% }. \NAMECITE{analysing}{% Dicky:1986:AAM% }. \NAMECITE{Analysis}{% LeChenadec:1987:ADA,% Alexi:1988:EVP,% Choppy:1989:CAT,% FarinasDelCerro:1985:DLD,% Gambosi:1989:WCA,% Kurtz:1987:PDA,% Mosse:1989:QAS,% Orlowska:1986:SAI,% Rao:1988:ACA% }. \NAMECITE{Analytic}{% Flajolet:1987:AMA% }. \NAMECITE{anonymous}{% Attiya:1987:LCS% }. \NAMECITE{answer}{% Bruyere:1988:AQA% }. \NAMECITE{aperiodic}{% Therien:1989:PAM% }. \NAMECITE{application}{% Courcelle:1987:ADC,% Pin:1985:AMR% }. \NAMECITE{Applications}{% Gonczarowski:1985:AST,% Main:1987:AIS,% Meyer:1988:ACS,% Courcelle:1986:ETR,% Galil:1989:SDP,% Ibarra:1988:TDI,% Sistla:1987:CPB,% Tchuente:1986:SSP% }. \NAMECITE{approach}{% Ait-Kaci:1986:ASA,% Arques:1988:CAC,% Asano:1985:ASH,% Bernot:1986:ADT,% Hankin:1988:SAP,% Hortala-Gonzalez:1989:HLN,% Hromkovic:1988:ANA,% Kerisit:1989:RAL,% Martin:1989:GAM,% NaitAbdallah:1989:LAA,% Parigot:1985:LAP,% Piperno:1989:APC,% Schoning:1985:RAD% }. \NAMECITE{Approximating}{% Marek:1986:ASE% }. \NAMECITE{Approximation}{% Venkatesan:1987:AAW,% Danko:1986:FOA,% Lehmkuhl:1989:OAA,% Tarhio:1988:GAA% }. \NAMECITE{approximative}{% Griesser:1986:LBA,% Lehmkuhl:1989:OAA% }. \NAMECITE{arbiters}{% Suzuki:1986:SVD% }. \NAMECITE{arbitrary}{% Cole:1987:PPS% }. \NAMECITE{arbre}{% Duval:1988:GSC% }. \NAMECITE{arithmetic}{% Alt:1985:MEN,% Gradel:1988:SPA,% Mosse:1989:QAS% }. \NAMECITE{arithmetical}{% Protasi:1989:NAO% }. \NAMECITE{Arithmetics}{% Anonymous:1989:CAC,% Liardet:1989:CAC% }. \NAMECITE{arrays}{% Hodel:1988:ODE,% Ibarra:1988:RPC,% Ibarra:1988:TDI% }. \NAMECITE{ary}{% Ramanan:1985:PRA% }. \NAMECITE{aspects}{% Gray:1987:CAD,% Shamir:1989:CAN% }. \NAMECITE{assertion}{% Drabent:1988:IAM% }. \NAMECITE{assignment}{% Longo:1986:CHT% }. \NAMECITE{assignments}{% Dezani-Ciancaglini:1986:CFC,% Mascari:1985:WPN,% Tiomkin:1985:PDL% }. \NAMECITE{associated}{% Rindone:1987:CFC% }. \NAMECITE{Asynchronous}{% Fauconnier:1987:ASI,% Cori:1988:AA,% Duboc:1986:MPA,% Hennessy:1987:ATF,% Mishra:1985:HVA% }. \NAMECITE{asynchrony}{% Darondeau:1985:AFA% }. \NAMECITE{{ATMs}}{% Chang:1989:ESS% }. \NAMECITE{atomicity}{% Boudol:1988:CA% }. \NAMECITE{attribute}{% File:1987:CIA% }. \NAMECITE{Automata}{% Anonymous:1987:TIC,% Chrobak:2003:EFA,% Ottmann:1989:ICA,% Ablyv:1988:CPP,% Ayers:1985:DAS,% Beal:1988:CCF,% Berry:1986:RED,% Brandenburg:1987:CDA,% Carpi:1988:SUA,% Chang:1986:PA,% Chrobak:1986:FAU,% Chrobak:1986:HOW,% Cori:1988:AA,% Duboc:1986:MPA,% Ehrenfeucht:1986:AFU,% Esik:1986:CCA,% Esik:1987:RTA,% Fachini:1988:CTS,% Garzon:1987:CA,% Goles:1985:DPA,% Grzymala-Busse:1986:CSI,% Huckenbeck:1989:EGT,% Ibarra:1985:FPL,% Ito:1989:DTD,% King:1988:AMF,% Kott:1988:TIC,% Leiss:1985:SRR,% Matsuno:1985:ASM,% Moriya:1988:ACA,% Moriya:1989:GCA,% Muller:1985:TEP,% Muller:1987:AAI,% Pecuchet:1985:TWF,% Rosier:1986:BEC,% Saito:1989:SBE,% Saoudi:1986:VAD,% Scheuing:1986:DLA,% Sistla:1987:CPB,% Slutzki:1985:ATA,% Vogel:1985:TWA,% Pecuchet:1986:CBA% }. \NAMECITE{automated}{% Huang:1986:APT% }. \NAMECITE{Automatic}{% Bohm:1985:AST,% Hsiang:1987:AIT,% Shallit:1988:GAS% }. \NAMECITE{automation}{% Beauquier:1989:MAF,% Blumer:1985:SAR% }. \NAMECITE{automaton}{% Birget:1989:CIT% }. \NAMECITE{aux}{% Dumont:1989:SNR% }. \NAMECITE{Average}{% Dieu:1986:APT,% Rao:1988:ACA% }. \NAMECITE{average-case}{% Rao:1988:ACA% }. \NAMECITE{Avoidable}{% Schmidt:1989:APT,% Baker:1989:GPA% }. \NAMECITE{axiomatic}{% Courcelle:1987:ADC,% Szalas:1987:CAC% }. \NAMECITE{Axiomatisation}{% Benoit:1985:AT% }. \NAMECITE{axiomatization}{% Bartha:1987:EAS% }. \NAMECITE{backtracking}{% Gambosi:1989:WCA% }. \NAMECITE{Balance}{% Maon:1986:BMV,% Kirschenhofer:1989:BPP% }. \NAMECITE{Bandwidth}{% Monien:1985:BCN,% Arvind:1989:SBR% }. \NAMECITE{based}{% Beeson:1988:TCS,% Bernot:1986:ADT,% Burkhard:1985:ICC,% Kari:1989:OCP,% Salomaa:1986:PKC,% Shamir:1989:CAN,% Solitro:1989:TCB,% Yamasaki:1987:FSH% }. \NAMECITE{baseline}{% Bermond:1989:ICE% }. \NAMECITE{baseline-equivalent}{% Bermond:1989:ICE% }. \NAMECITE{bases}{% Goldschlager:1986:CPC,% Helfrich:1985:ACM% }. \NAMECITE{basis}{% Schnorr:1987:HPT% }. \NAMECITE{{B}{CK}}{% Hindley:1989:BCL% }. \NAMECITE{{B}{CK}-combinators}{% Hindley:1989:BCL% }. \NAMECITE{{BCNF}}{% Chan:1988:DAB% }. \NAMECITE{be}{% Tomita:1985:WSC% }. \NAMECITE{behavior}{% Falaschi:1989:DMO% }. \NAMECITE{behavioral}{% Saito:1989:SBE% }. \NAMECITE{behaviour}{% Best:1987:SCB,% Fauconnier:1987:ASI,% Jojczyk:1989:IBP% }. \NAMECITE{behavioural}{% Livesey:1989:SFB% }. \NAMECITE{belief}{% Kraus:1988:KBT% }. \NAMECITE{benchmarks}{% Lyon:1989:DFP% }. \NAMECITE{{Bendix}}{% Diekert:1989:KBC% }. \NAMECITE{{Bergstra}}{% Marongiu:1989:CBT% }. \NAMECITE{beta}{% Mezghiche:1989:PCB% }. \NAMECITE{between}{% Bernot:1986:ADT,% Borodin:1988:TBS,% Larsen:1987:CDE,% Sato:1989:CBC,% Stark:1988:PEB,% Tiuryn:1988:SRB,% Wagner:1986:SOC% }. \NAMECITE{biconnected}{% Lingas:1989:SIB% }. \NAMECITE{Bilinear}{% Belaga:1988:BMR,% Averbuch:1988:CAM% }. \NAMECITE{binary}{% Diks:1985:EBT,% Levcopoulos:1989:HOB% }. \NAMECITE{biology}{% Galil:1989:SDP% }. \NAMECITE{bipartite}{% Muller:1987:NCS% }. \NAMECITE{biprefix}{% DeFelice:1988:FBS% }. \NAMECITE{bisimulation}{% Hallnas:1987:ICL% }. \NAMECITE{bitonic}{% Huang:1986:APT% }. \NAMECITE{blocking}{% Akyildiz:1989:ESO% }. \NAMECITE{{Boolean}}{% Beynon:1987:PMC,% Fogelman-Soulie:1985:PSC,% Goldschlager:1986:CPC,% Leiss:1985:SRR,% Mundici:1989:FCM,% Scarpellini:1985:CBN% }. \NAMECITE{born{\'e}e}{% Duval:1988:GSC% }. \NAMECITE{bound}{% Blum:1985:LBM,% Kaminski:1985:LBP% }. \NAMECITE{boundary}{% Ehrenfeucht:1986:AFU% }. \NAMECITE{Bounded}{% Fagin:1985:BDP,% Head:1987:BDL,% Ayers:1985:DAS,% Balcazar:1985:BQM,% Brandenburg:1987:CDA,% Chang:1989:ESS,% Engelfriet:1988:NBN,% Hromkovic:1987:RBN,% Liskiewicz:1987:RBA,% Meinel:1988:PNP,% Rytter:1985:CRB,% Stoss:1989:RRF% }. \NAMECITE{Bounded-depth}{% Fagin:1985:BDP% }. \NAMECITE{bounded-width}{% Meinel:1988:PNP% }. \NAMECITE{Boundedness}{% Rosier:1986:BEC% }. \NAMECITE{bounds}{% Allender:1985:ILB,% Dietzfelbinger:1989:LBS,% Griesser:1986:LBA,% Hong:1986:LBC,% Howell:1986:SCB,% Inoue:1985:ALT,% Iwata:1987:SPT,% Jukna:1988:ECC,% Korach:1989:OLB,% Nigmatullin:1987:MLB,% Snir:1985:LBP,% Stoss:1989:LBC% }. \NAMECITE{bracket}{% Rytter:1987:OPP% }. \NAMECITE{branching}{% Alon:1989:NTB,% Brazma:1986:GRE,% Meinel:1988:PNP,% Tomita:1989:DBA% }. \NAMECITE{broadcast}{% Marberg:1987:DSA% }. \NAMECITE{broadcasting}{% Galil:1987:DAS% }. \NAMECITE{{Brooks}}{% Karloff:1989:NAB% }. \NAMECITE{Brzozowski}{% Takahashi:1987:BHO% }. \NAMECITE{bubbling}{% Sado:1987:FEC% }. \NAMECITE{{Buchi}}{% Pecuchet:1986:CBA,% Sistla:1987:CPB% }. \NAMECITE{Building}{% Pelin:1987:BEC% }. \NAMECITE{{Burnside}}{% Restivo:1985:RLB% }. \NAMECITE{c}{% Mezghiche:1989:PCB,% Fachini:1988:CTS% }. \NAMECITE{{C}-tree}{% Fachini:1988:CTS% }. \NAMECITE{Calculation}{% Metivier:1985:CLR,% Spehner:1986:RCS% }. \NAMECITE{calculi}{% Gonthier:1985:ACP,% Hardin:1989:CRP,% Staples:1988:DUA% }. \NAMECITE{calculus}{% Bunder:1985:EKC,% Hayashi:1985:ASC,% PinoPerez:1989:DRE,% Sekimoto:1988:OSR,% Solitro:1989:TCB,% Zaionc:1987:WOD% }. \NAMECITE{cancellation}{% Frougny:1985:CFG% }. \NAMECITE{Canonical}{% Ginsburg:1987:CFI,% Wagner:1987:CCP,% Kapur:1985:FTS% }. \NAMECITE{case}{% Gambosi:1989:WCA,% Rao:1988:ACA,% Stefanescu:1987:FTI% }. \NAMECITE{cases}{% Du:1989:ISC% }. \NAMECITE{Categorical}{% Gray:1987:CAD,% Hardin:1989:CRP,% Hayashi:1985:ASC,% Wagner:1987:CTP,% Yokouchi:1989:CRT% }. \NAMECITE{Categories}{% Coquand:1989:CE% }. \NAMECITE{{CCC}}{% Sato:1989:CBC% }. \NAMECITE{{CCL}}{% Hardin:1986:PTR,% Hardin:1989:CRP% }. \NAMECITE{{CCS}}{% Parrow:1989:SCE% }. \NAMECITE{cellular}{% Ibarra:1985:FPL,% Ibarra:1988:RPC% }. \NAMECITE{central}{% Dunne:1986:CCS% }. \NAMECITE{Certain}{% Blanchard:1989:CSS,% Blanchard:1986:DOP,% Madlener:1989:ADP,% Rindone:1987:CFC,% Vyskoc:1987:TSA% }. \NAMECITE{{CFL}}{% Main:1987:AIS% }. \NAMECITE{chain}{% Gutbrod:1989:TSG,% Sudborough:1985:CDC,% Suzuki:1986:SVD% }. \NAMECITE{chains}{% Metivier:1985:CLR% }. \NAMECITE{change}{% Lehmann:1987:UMC% }. \NAMECITE{channel}{% Marberg:1987:DSA,% Rosier:1986:BEC% }. \NAMECITE{character}{% Imori:1985:PCS% }. \NAMECITE{characterisation}{% Beauquier:1987:NCT% }. \NAMECITE{characteristic}{% Keller-Gehrig:1985:FAC% }. \NAMECITE{Characteristics}{% Habel:1987:CGL% }. \NAMECITE{Characterization}{% Grzymala-Busse:1986:CSI,% Yamasaki:1986:COR,% Bermond:1989:ICE,% Bloom:1985:LCO,% Dezani-Ciancaglini:1986:CFC,% Hallnas:1987:ICL,% Hirose:1985:CSH,% Hirose:1985:HCR,% Lakshmanan:1988:SFM,% Leconte:1985:CPF,% Moriya:1989:GCA,% Okawa:1986:IHC,% Orejas:1987:CPC,% Ronse:1986:TCT,% Rytter:1985:CRB,% Stirling:1985:PTC,% Szalas:1987:CAC% }. \NAMECITE{Characterizations}{% Stern:1985:CSC,% Balcazar:1987:CCP,% Ibarra:1988:TDI,% Latteux:1986:TCR,% Makowsky:1989:WSO,% Moriya:1987:TCI,% Yokomori:1987:PMC% }. \NAMECITE{Characterizing}{% Browne:1988:CFK% }. \NAMECITE{characters}{% Imori:1985:PCS% }. \NAMECITE{checking}{% Tomita:1989:DBA% }. \NAMECITE{choice}{% Kaplan:1988:RNC% }. \NAMECITE{{Chomsky}}{% Hirose:1985:CSH% }. \NAMECITE{chordal}{% Muller:1987:NCS% }. \NAMECITE{{Church}}{% Bunder:1985:EKC,% Kapur:1985:ATC,% Kapur:1985:CRP,% Narendran:1989:SPT,% Oyamaguchi:1987:CRP,% Squier:1987:USC,% Xin:1989:EAD,% Yokouchi:1989:CRT% }. \NAMECITE{circuits}{% Fagin:1985:BDP,% Jukna:1988:ECC,% Mishra:1985:HVA% }. \NAMECITE{Circular}{% Beal:1988:CCF,% Bloom:1989:ELC% }. \NAMECITE{class}{% Balcazar:1987:CCP% }. \NAMECITE{classes}{% Ambos-Spies:1989:RCH,% Domosi:1988:CCP,% Duval:1988:GSC,% Esik:1986:CCA,% Hartmanis:1988:CCM,% Leiss:1985:CTU,% Lingas:1989:PCS,% Madlener:1989:ADP,% Schmidt:1985:RTS,% Stern:1985:CSC% }. \NAMECITE{Classical}{% File:1987:CIA% }. \NAMECITE{Classification}{% Averbuch:1988:CAM,% Bleuzen-Guernalec:1989:PCR,% Kaminski:1985:COR,% Orponen:1986:CCC% }. \NAMECITE{clausal}{% Enjalbert:1989:MRC% }. \NAMECITE{clause}{% Ramanujam:1989:SDD% }. \NAMECITE{clauses}{% Paul:1986:SEP,% Schmidt-Schauss:1988:ICU% }. \NAMECITE{closed}{% Akyildiz:1989:ESO% }. \NAMECITE{closure}{% Abdali:1985:TCR,% Ibarra:1988:RPC,% Kretschmer:1988:CPR,% Pasztor:1986:SIC,% Simon:1988:IAT% }. \NAMECITE{closures}{% Wagner:1987:MCQ% }. \NAMECITE{Clustering}{% Gonzalez:1985:CMM% }. \NAMECITE{{CNF}}{% Arvind:1989:SBR% }. \NAMECITE{{co}}{% Main:1987:AIS% }. \NAMECITE{{co-CFL}}{% Main:1987:AIS% }. \NAMECITE{coarsest}{% Paige:1985:LTS% }. \NAMECITE{Code}{% Head:1985:CPH,% Van:1985:CCS,% Gutbrod:1989:TSG,% Nielson:1988:TLS,% Sudborough:1985:CDC% }. \NAMECITE{Code-compatible}{% Van:1985:CCS% }. \NAMECITE{Coded}{% Blanchard:1986:CS% }. \NAMECITE{codes}{% Barbin-LeRest:1985:CTW,% Beal:1988:CCF,% Blanchard:1989:CSS,% DeFelice:1985:CFC,% Karhumaki:1985:PTE,% Karhumaki:1985:TEC,% Rindone:1987:CFC,% deFelice:1989:CFF% }. \NAMECITE{Coding}{% Anonymous:1989:CAC,% Liardet:1989:CAC% }. \NAMECITE{coefficients}{% Averbuch:1988:CAM,% Ritzmann:1986:FNA% }. \NAMECITE{Cohesion}{% Ginsburg:1989:COH% }. \NAMECITE{Colloquium}{% Anonymous:1987:ECT,% Anonymous:1987:TIC,% Ottmann:1989:ICA,% Kott:1988:TIC% }. \NAMECITE{colourability}{% Linial:1985:DHC% }. \NAMECITE{colouring}{% Edwards:1986:CCP% }. \NAMECITE{combinator}{% Hankin:1988:SAP,% Hirokawa:1985:CCR,% Statman:1989:SSC% }. \NAMECITE{combinatorial}{% Arques:1988:CAC,% Barbin-LeRest:1985:CTW,% Jerrum:1986:RGC,% Tretkoff:1988:CCG,% deLuca:1989:SCP% }. \NAMECITE{combinators}{% Bunder:1985:EKC,% Hindley:1989:BCL,% Yokouchi:1989:CRT% }. \NAMECITE{combinatory}{% Gargov:1988:DLC,% Mezghiche:1989:PCB,% Piperno:1989:APC% }. \NAMECITE{Comment}{% Rupert:1989:CRF% }. \NAMECITE{Comments}{% Brandenburg:1987:CDA% }. \NAMECITE{common}{% Tarhio:1988:GAA% }. \NAMECITE{communicating}{% Back:1985:STS,% Bergstra:1985:ACP,% Hennessy:1987:ATF,% Reed:1988:TMC,% Rosier:1986:BEC,% Stirling:1987:MLC% }. \NAMECITE{Communication}{% Hromkovic:1986:CCH,% Shamir:1989:CAN,% Broy:1986:TNP,% Hong:1986:LBC,% Hromkovic:1988:ANA% }. \NAMECITE{communications}{% Bouge:1987:RSD% }. \NAMECITE{commutations}{% Hung:1989:SCP% }. \NAMECITE{Commutative}{% Diekert:1986:CMC,% Baader:1988:UCI,% Duboc:1986:SEF,% Duchamp:1988:TTP,% Gibbons:1986:DSP,% Metivier:1988:RSF,% Thibon:1985:IAF% }. \NAMECITE{commutativity}{% Otto:1989:DCF% }. \NAMECITE{compactness}{% Meyer:1988:ACS% }. \NAMECITE{Comparison}{% Arques:1988:CAC,% vandenBroek:1988:CTG,% Pelc:1989:WAC,% Watanabe:1987:CPT% }. \NAMECITE{comparisons}{% Johnson:1986:SPT% }. \NAMECITE{compatibility}{% Orejas:1987:CPC% }. \NAMECITE{compatible}{% Van:1985:CCS% }. \NAMECITE{complementation}{% Hromkovic:1987:RBN,% Pardubska:1989:NMM,% Pecuchet:1986:CBA,% Sistla:1987:CPB% }. \NAMECITE{Complete}{% Diekert:1986:CST,% Esik:1986:CCA,% Fages:1986:CSU,% Gallier:1989:CST,% Plaisted:1985:CDP,% Ambos-Spies:1989:RCH,% Dezani-Ciancaglini:1986:CFC,% Diekert:1986:CMC,% Du:1989:ISC,% Hartmanis:1988:CCM,% Ko:1985:SNC,% Korach:1989:OLB,% Monien:1988:MCN,% Mundici:1987:SMV,% Narendran:1986:PCE,% Shepherdson:1989:SCS,% Szalas:1987:CAC,% Dieu:1986:APT,% Monien:1985:BCN,% Vyskoc:1987:TSA% }. \NAMECITE{completeness}{% Heering:1986:PEO,% Longo:1986:CHT,% RodriguezArtalejo:1985:SQA,% Sain:1985:SPC,% Thatte:1989:FAL,% Watanabe:1987:CPT,% Muller:1987:NCS% }. \NAMECITE{completing}{% Ginsburg:1985:CTS% }. \NAMECITE{Completion}{% Bachmair:1989:CRM,% Diekert:1989:KBC,% Kirchner:1989:SIS% }. \NAMECITE{Complex}{% Scarpellini:1985:CBN,% Ritzmann:1986:FNA% }. \NAMECITE{Complexity}{% Choppy:1989:CAT,% Cosnard:1989:CSX,% Hartmanis:1988:CCM,% Hirokawa:1985:CCR,% Narendran:1985:CRC,% Pan:1987:CPM,% Sudborough:1985:CDC,% Tretkoff:1988:CCG,% Ablyv:1988:CPP,% Ambos-Spies:1989:RCH,% Attiya:1987:LCS,% Beth:1987:CCG,% Blum:1985:LBM,% Book:1988:SGC,% Bublitz:1986:PCM,% Dieu:1986:APT,% Dunne:1986:CCS,% Edwards:1986:CCP,% Farr:1985:CCH,% Griesser:1986:LBA,% Howell:1986:SCB,% Hromkovic:1986:CCH,% Hromkovic:1988:ANA,% Iliopoulos:1988:CCA,% Jerrum:1985:CFM,% Jukna:1988:ECC,% Lingas:1989:PCS,% Mignosi:1989:IWL,% Orponen:1986:CCC,% Pelz:1985:CTP,% Rosier:1988:CDF,% Rytter:1986:CPP,% Schmidt:1985:RTS,% Spirakis:1987:PCD,% Stoss:1985:CEI,% Stoss:1989:LBC,% Stoss:1989:RRF,% Tiuryn:1988:SRB,% Urquhart:1989:CGS,% Wegener:1985:CSF,% Wegener:1986:MCS,% Weispfenning:1986:CWP% }. \NAMECITE{complicated}{% Wagner:1987:MCQ% }. \NAMECITE{composition}{% Ritzmann:1986:FNA% }. \NAMECITE{compositions}{% Maon:1985:EPC% }. \NAMECITE{compositive}{% Piperno:1989:APC% }. \NAMECITE{Comput}{% Chrobak:2003:EFA% }. \NAMECITE{Computability}{% Longo:1986:CHT% }. \NAMECITE{computable}{% Ambos-Spies:1987:DPT,% Bergstra:1987:ASC,% Ko:1986:CFR,% Ko:1987:CFR% }. \NAMECITE{computation}{% Beeson:1988:TCS,% Beynon:1987:PMC,% Chang:1989:ESS,% Dymond:1986:NPC,% Fogelman-Soulie:1985:PSC,% Grossman:1988:IIC,% MeyerAufDerHeide:1985:SPD,% Pelin:1987:BEC% }. \NAMECITE{computational}{% Beth:1987:CCG,% Iliopoulos:1988:CCA,% Leivant:1986:TCP% }. \NAMECITE{computations}{% Broy:1985:HKU,% Immerman:1989:RRC,% Pan:1987:CPM,% Priese:1985:FDM,% Rytter:1988:EPC% }. \NAMECITE{compute}{% Heintz:1986:PSG% }. \NAMECITE{computed}{% Mundici:1989:FCM% }. \NAMECITE{Computer}{% Anonymous:1985:TCF,% Gruska:1988:ISM% }. \NAMECITE{computers}{% Goldschlager:1986:CPC% }. \NAMECITE{Computing}{% Iliopoulos:1985:CGA,% Averbuch:1988:CAM,% Pettorossi:1987:DEP,% Sado:1987:FEC% }. \NAMECITE{Concatenation}{% Birget:1989:CIT% }. \NAMECITE{conceptual}{% Stark:1988:PEB% }. \NAMECITE{Concerning}{% Dahlhaus:1985:CTA,% Szalas:1986:CSC,% Howell:1986:SCB,% Howell:1989:PCF,% Kari:1989:OCP% }. \NAMECITE{Concurrency}{% Boudol:1988:CA,% Broy:1986:TNP,% deBakker:1987:ISF% }. \NAMECITE{Concurrent}{% Janicki:1986:CMC,% Mazurkiewicz:1989:CSI,% Peleg:1987:CPS,% Stark:1989:CTS,% Arques:1988:CAC,% Best:1987:SCB,% Burkhard:1985:ICC,% Diekert:1989:KBC,% Janicki:1985:TSS,% Kaplan:1989:ASC,% Lisper:1988:SEC,% Priese:1985:FDM,% Rosier:1988:CDF,% Stirling:1988:GOG% }. \NAMECITE{condition}{% Edelsbrunner:1989:TNC,% Honkala:1989:NCR,% Tomita:1985:WSC% }. \NAMECITE{conditional}{% Paun:1985:VRC% }. \NAMECITE{conditions}{% Hashiguchi:1986:NFG,% Hashiguchi:1988:NCR,% Moriya:1988:ACA,% Wagner:1987:CTP% }. \NAMECITE{cones}{% Kuich:1988:MSP% }. \NAMECITE{Conference}{% Anonymous:1985:TCF,% Ausiello:1988:SPP,% Levi:1988:IJC,% Anonymous:1989:CAC,% Liardet:1989:CAC% }. \NAMECITE{configurations}{% Carpi:1988:MUC% }. \NAMECITE{conflict}{% Howell:1989:PCF,% Lakshmanan:1988:SFM% }. \NAMECITE{conflict-free}{% Howell:1989:PCF,% Lakshmanan:1988:SFM% }. \NAMECITE{Confluence}{% Hardin:1989:CRP,% Otto:1989:DCF% }. \NAMECITE{congruence}{% Arnold:1985:SCR,% Bachmair:1989:CRM,% Hashiguchi:1988:NCR% }. \NAMECITE{congruences}{% Demel:1985:FAC% }. \NAMECITE{conjecture}{% Albert:1985:PEC,% Marongiu:1989:CBT,% Spehner:1985:ESE,% Diekert:1986:SVE,% Poulsen:1986:ECA% }. \NAMECITE{conjugacy}{% Narendran:1985:CRC,% Narendran:1986:PCE% }. \NAMECITE{conjugaison}{% Duval:1988:GSC% }. \NAMECITE{conjugation}{% Duval:1988:GSC% }. \NAMECITE{connection}{% Wagner:1986:SOC% }. \NAMECITE{connections}{% Bermond:1989:ICE% }. \NAMECITE{consequence}{% Szalas:1986:CSC% }. \NAMECITE{consistency}{% Baeten:1987:CKF% }. \NAMECITE{constrained}{% Monien:1985:BCN% }. \NAMECITE{constraints}{% Wagner:1987:CCP% }. \NAMECITE{construct}{% Helfrich:1985:ACM% }. \NAMECITE{constructed}{% Bleuzen-Guernalec:1989:PCR% }. \NAMECITE{constructibility}{% Kobayashi:1985:PTC% }. \NAMECITE{constructing}{% Demel:1985:FAC,% He:1988:NOP,% Tarhio:1988:GAA% }. \NAMECITE{Construction}{% DeFelice:1985:CFC,% Rindone:1987:CFC,% deFelice:1989:CFF,% Dahlhaus:1988:PCP,% Goldschlager:1986:CPC,% Parrow:1989:SCE,% Urbanek:1985:GNF,% Urbanek:1986:GNF% }. \NAMECITE{Constructive}{% Belaga:1987:CUA% }. \NAMECITE{constructor}{% Thatte:1988:IFO% }. \NAMECITE{constructors}{% Gray:1987:CAD% }. \NAMECITE{contact}{% Jukna:1988:ECC% }. \NAMECITE{containment}{% Atzeni:1988:SCI,% Clote:1986:FCP,% Santoro:1987:GCV% }. \NAMECITE{contains}{% Ayers:1985:DAS,% Brandenburg:1987:CDA% }. \NAMECITE{Context}{% Frougny:1985:CFG,% Ayers:1985:DAS,% Boonyavatana:1988:IPL,% Brandenburg:1987:CDA,% Cazanescu:1985:CFT,% Courcelle:1987:ADC,% Dahlhaus:1985:CTA,% Ehrenfeucht:1985:AGF,% Flajolet:1987:AMA,% Hirose:1985:CSH,% Igarashi:1985:PLR,% Larsen:1987:CDE,% Maon:1985:EPC,% Okawa:1986:IHC,% Paun:1985:VRC,% Pierre:1988:RIC,% Rytter:1986:CPP,% Salomaa:1988:PRC,% Wyrostek:1986:SUC,% Yokomori:1987:PMC% }. \NAMECITE{Context-free}{% Frougny:1985:CFG,% Boonyavatana:1988:IPL,% Cazanescu:1985:CFT,% Courcelle:1987:ADC,% Dahlhaus:1985:CTA,% Ehrenfeucht:1985:AGF,% Flajolet:1987:AMA,% Hirose:1985:CSH,% Igarashi:1985:PLR,% Maon:1985:EPC,% Pierre:1988:RIC,% Rytter:1986:CPP,% Wyrostek:1986:SUC,% Yokomori:1987:PMC% }. \NAMECITE{context-sensitive}{% Ayers:1985:DAS,% Brandenburg:1987:CDA,% Okawa:1986:IHC% }. \NAMECITE{Continuation}{% Dowling:1986:CSF% }. \NAMECITE{continued}{% Ko:1986:CFR,% Ko:1987:CFR,% Kraaikamp:1989:SEP% }. \NAMECITE{Continuous}{% Adamek:1986:CS,% Redziejowski:1986:IWL% }. \NAMECITE{Continuously}{% Bracho:1989:CGF% }. \NAMECITE{contribution}{% Bouge:1985:CTP% }. \NAMECITE{control}{% Burkhard:1985:ICC,% Felleisen:1987:STS% }. \NAMECITE{controlling}{% Arques:1988:CAC% }. \NAMECITE{controls}{% Burkhard:1985:ICC% }. \NAMECITE{convolution}{% Blum:1985:LBM% }. \NAMECITE{coordinated}{% Rozenberg:1985:CSS% }. \NAMECITE{core}{% Orponen:1986:CCC% }. \NAMECITE{cores}{% Book:1988:SGC% }. \NAMECITE{correctness}{% Sain:1987:TCN% }. \NAMECITE{correspond}{% Kreowski:1986:NPC% }. \NAMECITE{countable}{% Statman:1986:ECP% }. \NAMECITE{counterexample}{% Bunder:1985:EKC% }. \NAMECITE{Counting}{% Choffrut:1988:CRF,% Farr:1985:CCH,% Sacca:1988:GCM,% Wagner:1986:SOC% }. \NAMECITE{covering}{% Bertolazzi:1987:MAR% }. \NAMECITE{coverings}{% Rosenkrantz:1985:TGC% }. \NAMECITE{covers}{% Lakshmanan:1988:SFM% }. \NAMECITE{creation}{% America:1988:DES% }. \NAMECITE{creative}{% Homer:1986:SCS% }. \NAMECITE{{CREW}}{% Gafni:1989:SEC% }. \NAMECITE{Critical}{% Domosi:1988:CCP,% LeChenadec:1987:ADA% }. \NAMECITE{cryptosystem}{% Kari:1989:OCP,% Salomaa:1986:PKC% }. \NAMECITE{{CSP}}{% Bouge:1987:RSD,% Fauconnier:1987:ASI% }. \NAMECITE{{CTS}}{% Aalbersberg:1985:CSP% }. \NAMECITE{cubic}{% Lingas:1989:SIB% }. \NAMECITE{cut}{% Ablyv:1988:CPP,% Monien:1988:MCN% }. \NAMECITE{cycle}{% Allender:1985:ILB% }. \NAMECITE{cycles}{% Dahlhaus:1988:PCP,% Etzion:1986:AGS% }. \NAMECITE{Cyclic}{% Garzon:1987:CA,% Narendran:1986:PCE% }. \NAMECITE{{D0L}}{% Head:1985:CPH,% Head:1986:PDL,% Head:1986:RSI% }. \NAMECITE{{D0L}-systems}{% Head:1986:RSI% }. \NAMECITE{daisy}{% Suzuki:1986:SVD% }. \NAMECITE{{DAL}}{% FarinasDelCerro:1985:DLD% }. \NAMECITE{{DAL-a}}{% FarinasDelCerro:1985:DLD% }. \NAMECITE{dans}{% Spehner:1988:RFL% }. \NAMECITE{data}{% Bergstra:1987:ASC,% Bernot:1986:ADT,% Bloom:1989:ELC,% FarinasDelCerro:1985:DLD,% Gray:1987:CAD,% Italiano:1986:AEP,% Oyamaguchi:1985:DTE,% Wagner:1987:CCP% }. \NAMECITE{database}{% Abiteboul:1988:RHD,% Arques:1988:CAC,% Ausiello:1985:EAV,% Ausiello:1988:SPP,% Chan:1988:DAB% }. \NAMECITE{databases}{% Lakshmanan:1987:ATF,% Marek:1988:NSM,% Topor:1987:DIF% }. \NAMECITE{Deadlock}{% Hesselink:1988:DFM,% Spirakis:1987:PCD% }. \NAMECITE{decentralized}{% Suzuki:1986:SVD% }. \NAMECITE{Decidability}{% PinoPerez:1989:DRE,% Gibbons:1986:DSP,% Sudborough:1985:CDC% }. \NAMECITE{decidable}{% Culik:1986:EFV,% Kapur:1985:FTS,% Oyamaguchi:1987:CRP,% Tomita:1985:WSC% }. \NAMECITE{decide}{% Gohon:1985:ADW,% Xin:1989:EAD% }. \NAMECITE{Deciding}{% Linial:1985:DHC,% Otto:1989:DCF,% Rosier:1988:CDF% }. \NAMECITE{decision}{% Cockett:1987:DDT,% Snir:1985:LBP% }. \NAMECITE{Declarative}{% Falaschi:1989:DMO% }. \NAMECITE{Decomposition}{% Scheuing:1986:DLA,% Guo:1986:DDL,% Kanaoka:1985:HDS,% Maon:1986:PED,% Priese:1985:FDM% }. \NAMECITE{Decompositions}{% Lange:1988:DNR,% Lehmkuhl:1989:OAA% }. \NAMECITE{definability}{% Arnold:1988:LDF% }. \NAMECITE{definable}{% Zaionc:1987:WOD% }. \NAMECITE{defined}{% Jensen:1987:RDD,% Paul:1986:SEP% }. \NAMECITE{defining}{% Hromkovic:1988:ANA% }. \NAMECITE{definite}{% Ramanujam:1989:SDD% }. \NAMECITE{definition}{% Courcelle:1987:ADC% }. \NAMECITE{degree}{% Blum:1985:LBM% }. \NAMECITE{degrees}{% Homer:1987:HPD,% Ito:1989:DTD% }. \NAMECITE{degrees-rotation}{% Ito:1989:DTD% }. \NAMECITE{{Dehn}}{% LeChenadec:1987:ADA% }. \NAMECITE{Delaying}{% Staples:1988:DUA% }. \NAMECITE{demonstration}{% Hansel:1986:DSP% }. \NAMECITE{Dense}{% Blanchard:1986:DOP,% Dahlhaus:1988:PCP,% Edwards:1986:CCP% }. \NAMECITE{dependencies}{% Beeri:1985:FSJ,% Ginsburg:1985:CTS,% Grant:1985:IND,% Lakshmanan:1987:ATF,% Lakshmanan:1988:SFM% }. \NAMECITE{dependency}{% Hull:1985:NFS,% vanGucht:1988:IFM% }. \NAMECITE{dependent}{% Larsen:1987:CDE% }. \NAMECITE{depth}{% Fagin:1985:BDP,% Straubing:1988:SLD,% Weil:1989:IMD% }. \NAMECITE{'Deque}{% Brandenburg:1987:CDA,% Ayers:1985:DAS% }. \NAMECITE{Derivation}{% Pettorossi:1987:DEP,% Bucher:1985:TRG,% Gonczarowski:1986:MDF,% Kreowski:1986:NPC,% Parchmann:1987:GDM% }. \NAMECITE{derivations}{% Velinov:1988:ASD% }. \NAMECITE{deriving}{% Saoudi:1986:VAD% }. \NAMECITE{description}{% Gutbrod:1989:TSG% }. \NAMECITE{descriptive}{% Madlener:1989:ADP% }. \NAMECITE{Design}{% Lyon:1989:DFP,% Culik:1985:TTT% }. \NAMECITE{Designing}{% America:1988:DES% }. \NAMECITE{desirability}{% Chan:1988:DAB% }. \NAMECITE{detecting}{% Valiant:1986:NED% }. \NAMECITE{detection}{% Allender:1985:ILB,% Rosier:1986:BEC,% Spirakis:1987:PCD% }. \NAMECITE{Determinacy}{% Engelfriet:1985:DOE% }. \NAMECITE{determinant}{% Mori:1989:FDP% }. \NAMECITE{determination}{% Armbruster:1988:PDM% }. \NAMECITE{Determinism}{% Gargov:1988:DLC% }. \NAMECITE{Deterministic}{% Ito:1989:DTD,% Berghammer:1986:RAS,% Berry:1986:RED,% Gelenbe:1987:SDF,% Igarashi:1985:PLR,% MeyerAufDerHeide:1985:SPD,% Tomita:1989:DBA% }. \NAMECITE{development}{% Levi:1988:IJC% }. \NAMECITE{devices}{% deSimone:1985:HLS% }. \NAMECITE{diagonal}{% Kraaikamp:1989:SEP% }. \NAMECITE{diagonalization}{% Scarpellini:1985:CBN% }. \NAMECITE{Diagonalizations}{% Ambos-Spies:1987:DPT% }. \NAMECITE{dictionary}{% Borodin:1988:TBS% }. \NAMECITE{different}{% Schoning:1985:RAD% }. \NAMECITE{digital}{% Kirschenhofer:1988:FRD% }. \NAMECITE{digraphs}{% DiBattista:1988:APR,% Simon:1988:IAT% }. \NAMECITE{dimension}{% Cole:1987:PPS% }. \NAMECITE{dimensional}{% Guibas:1987:SRT,% Howell:1986:SCB,% Ibarra:1988:TDI,% Inoue:1989:LSH,% Ito:1989:DTD% }. \NAMECITE{direct}{% Tomita:1989:DBA% }. \NAMECITE{disambiguating}{% Johnson:1989:UFD% }. \NAMECITE{discipline}{% RonchiDellaRocca:1988:PTS% }. \NAMECITE{Discrete}{% Cockett:1987:DDT,% Beth:1987:CCG% }. \NAMECITE{Disjunctive}{% Guo:1986:DDL% }. \NAMECITE{distance}{% Gonzalez:1985:CMM% }. \NAMECITE{distinction}{% Bernot:1986:ADT% }. \NAMECITE{distinctness}{% Karchmer:1986:TTS% }. \NAMECITE{Distributed}{% Galil:1987:DAS,% Marberg:1987:DSA,% Bouge:1987:RSD,% Korach:1989:OLB,% Kurtz:1987:PDA,% Ramanujam:1989:SDD% }. \NAMECITE{distribution}{% Jerrum:1986:RGC% }. \NAMECITE{divergent}{% Kirchner:1989:SIS% }. \NAMECITE{divisibility}{% Plaisted:1985:CDP% }. \NAMECITE{{DL}}{% Head:1987:BDL% }. \NAMECITE{Domain}{% Topor:1987:DIF% }. \NAMECITE{Domain-independent}{% Topor:1987:DIF% }. \NAMECITE{domains}{% Droste:1989:ESD,% Jensen:1987:RDD% }. \NAMECITE{dominance}{% Santoro:1987:GCV% }. \NAMECITE{dominating}{% Megiddo:1988:FMD,% Muller:1987:NCS% }. \NAMECITE{domination}{% Brandstadt:1987:DPP% }. \NAMECITE{dot}{% Straubing:1988:SLD,% Weil:1989:IMD% }. \NAMECITE{dot-depth}{% Straubing:1988:SLD,% Weil:1989:IMD% }. \NAMECITE{down}{% Ehrenfeucht:1986:AFU% }. \NAMECITE{{DPDAs}}{% Tomita:1985:WSC% }. \NAMECITE{d'un}{% Spehner:1988:RFL% }. \NAMECITE{d'une}{% Duval:1988:GSC% }. \NAMECITE{{Dyck}}{% Deleage:1986:RID% }. \NAMECITE{dynamic}{% Galil:1989:SDP,% Hajek:1986:SDL,% Hodel:1988:ODE,% Rytter:1988:EPC,% Tiomkin:1985:PDL% }. \NAMECITE{Dynamics}{% Goles:1985:DPA,% Blanchard:1989:BES% }. \NAMECITE{{E-CCC}}{% Sato:1989:CBC% }. \NAMECITE{{E}-unification}{% Gallier:1989:CST% }. \NAMECITE{ear}{% Maon:1986:PED% }. \NAMECITE{easiest}{% Alt:1985:MEN% }. \NAMECITE{easy}{% Bermond:1989:ICE,% Heintz:1986:PSG,% Valiant:1986:NED% }. \NAMECITE{edge}{% Habel:1987:CGL,% Monien:1988:MCN% }. \NAMECITE{{EDS}}{% Maon:1986:PED% }. \NAMECITE{effective}{% Ait-Kaci:1986:ASA% }. \NAMECITE{efficiency}{% Italiano:1986:AEP% }. \NAMECITE{Efficient}{% Chang:1989:ESS,% Landau:1986:ESM,% Ibarra:1985:ERT,% Pettorossi:1987:DEP,% Rytter:1988:EPC,% Varman:1988:EPA,% Xin:1989:EAD% }. \NAMECITE{{Ehrenfeucht}}{% Albert:1985:PEC,% Diekert:1986:SVE,% Poulsen:1986:ECA,% Spehner:1985:ESE% }. \NAMECITE{election}{% Marchetti-Spaccamela:1987:NPE% }. \NAMECITE{element}{% Karchmer:1986:TTS,% Karhumaki:1985:PTE,% Karhumaki:1985:TEC% }. \NAMECITE{elements}{% Parberry:1987:TRS,% vonzurGathen:1987:FPP% }. \NAMECITE{Eleventh}{% Anonymous:1987:ECT% }. \NAMECITE{eliminants}{% Abdali:1985:TCR% }. \NAMECITE{elimination}{% Robert:1989:OSA% }. \NAMECITE{embeddable}{% Statman:1986:ECP% }. \NAMECITE{embedding}{% Hodel:1988:ODE,% Otto:1986:USE,% Parchmann:1986:SEI% }. \NAMECITE{Embeddings}{% Diks:1985:EBT,% Coquand:1989:CE% }. \NAMECITE{empty}{% Rosier:1986:BEC% }. \NAMECITE{ends}{% Muller:1985:TEP% }. \NAMECITE{engendered}{% Blanchard:1989:CSS% }. \NAMECITE{entailment}{% Stark:1988:PEB% }. \NAMECITE{Entire}{% Spehner:1985:ESE% }. \NAMECITE{Entropie}{% Petuaud:1989:ETS,% Staiger:1988:SEU% }. \NAMECITE{Entropy}{% Jukna:1988:ECC,% Beal:1988:CCF,% Petuaud:1989:ETS,% Staiger:1988:SEU% }. \NAMECITE{enumerable}{% Geffert:1988:RRE,% Hirose:1985:HCR% }. \NAMECITE{equality}{% Brandenburg:1987:RLF,% Narendran:1986:PCE,% Paul:1986:SEP,% Ruohonen:1985:EMS% }. \NAMECITE{equation}{% Parrow:1989:SCE% }. \NAMECITE{Equational}{% Bloom:1989:ELC,% Broy:1988:ESP,% Bartha:1987:EAS,% Fages:1986:CSU,% Gischer:1988:ETP,% PinoPerez:1989:DRE,% Thatte:1989:FAL% }. \NAMECITE{equations}{% Ait-Kaci:1986:ASA,% Dowling:1986:CSF,% Duboc:1986:SEF,% Gardarin:1989:TLP,% Kannan:1985:SSL,% Leiss:1985:SSE,% Leiss:1986:GLE,% Spehner:1985:ESE,% Statman:1989:SSC% }. \NAMECITE{equivalence}{% Abramsky:1987:OET,% Bloom:1985:LCO,% Culik:1986:EFV,% Engelfriet:1985:DOE,% Johnson:1986:RER,% Kim:1987:MEP,% Larsen:1987:CDE,% Lisper:1988:SEC,% Maon:1985:EPC,% Maon:1986:BMV,% Marek:1986:ASE,% Narendran:1986:EPR,% Saito:1989:SBE,% Stirling:1985:PTC,% Tomita:1985:WSC,% Tomita:1989:DBA,% Watanabe:1985:OOP% }. \NAMECITE{equivalence=trace}{% Engelfriet:1985:DOE% }. \NAMECITE{Equivalences}{% Courcelle:1986:ETR,% Livesey:1989:SFB% }. \NAMECITE{equivalent}{% America:1988:DES,% Bermond:1989:ICE,% Ito:1989:DTD,% Kapur:1985:FTS% }. \NAMECITE{{EREW}}{% Gafni:1989:SEC% }. \NAMECITE{ergodic}{% Kraaikamp:1989:SEP% }. \NAMECITE{Errata}{% Chrobak:2003:EFA% }. \NAMECITE{error}{% Pelc:1989:SKE% }. \NAMECITE{errors}{% Bernot:1986:ADT% }. \NAMECITE{Etude}{% Pecuchet:1988:ESP% }. \NAMECITE{{Euclidian}}{% Huckenbeck:1989:EGT% }. \NAMECITE{{Euler}}{% MendesFrance:1989:GEI% }. \NAMECITE{evaluating}{% Sado:1987:FEC,% Stoss:1985:CEI% }. \NAMECITE{evaluation}{% Bunder:1985:PFE,% File:1987:CIA,% Heering:1986:PEO% }. \NAMECITE{Event}{% Droste:1989:ESD% }. \NAMECITE{events}{% Stern:1985:CSC% }. \NAMECITE{Every}{% Statman:1986:ECP% }. \NAMECITE{evolution}{% Janicki:1986:CMC% }. \NAMECITE{Exact}{% Akyildiz:1989:ESO,% Pelin:1987:BEC% }. \NAMECITE{exception}{% Bernot:1986:ADT% }. \NAMECITE{exceptions}{% Bernot:1986:ADT% }. \NAMECITE{existence}{% Ausiello:1985:EAV,% Tarlecki:1985:EFM% }. \NAMECITE{expansions}{% Blanchard:1989:BES% }. \NAMECITE{expressions}{% Berry:1986:RED,% Brazma:1986:GRE,% Gonthier:1985:ACP,% Jantzen:1985:ERE,% Leiss:1985:CTU,% Leivant:1986:TCP,% Suzuki:1986:SVD% }. \NAMECITE{expressiveness}{% RodriguezArtalejo:1985:SQA% }. \NAMECITE{extended}{% Gambosi:1989:WCA,% Kerisit:1989:RAL,% Suzuki:1986:SVD% }. \NAMECITE{Extending}{% Jantzen:1985:ERE% }. \NAMECITE{extension}{% Bunder:1985:EKC,% Oyamaguchi:1985:DTE,% Seite:1987:YEL% }. \NAMECITE{Extensional}{% Breazu-Tannen:1988:EMP% }. \NAMECITE{external}{% Kirschenhofer:1989:BPP% }. \NAMECITE{Extraction}{% Alexi:1988:EVP% }. \NAMECITE{extremal}{% Huang:1985:IFS% }. \NAMECITE{{F}}{% Dezani-Ciancaglini:1986:CFC,% Girard:1986:SFV% }. \NAMECITE{{F}-complete}{% Dezani-Ciancaglini:1986:CFC% }. \NAMECITE{facteurs}{% Spehner:1988:RFL% }. \NAMECITE{factor}{% Hashiguchi:1988:NCR% }. \NAMECITE{factorial}{% Beauquier:1989:MAF% }. \NAMECITE{Factoring}{% vonzurGathen:1987:FPP% }. \NAMECITE{factorisation}{% DeFelice:1985:CFC% }. \NAMECITE{factors}{% Edelsbrunner:1989:TNC,% Lyon:1989:DFP,% Spehner:1986:OFG,% Spehner:1988:RFL% }. \NAMECITE{failure}{% Shepherdson:1989:SCS% }. \NAMECITE{fair}{% Baeten:1987:CKF,% Darondeau:1985:AFA,% Hennessy:1987:ATF,% Rosier:1988:CDF,% Tiomkin:1989:PTV% }. \NAMECITE{fairness}{% Hesselink:1988:DFM,% Howell:1989:PCF,% Priese:1987:IRT% }. \NAMECITE{families}{% Brandenburg:1987:RLF,% Hull:1985:NFS,% Livesey:1989:SFB% }. \NAMECITE{family}{% Rindone:1987:CFC,% deFelice:1989:CFF% }. \NAMECITE{Fast}{% Clausen:1989:FGF,% Demel:1985:FAC,% Ibarra:1985:FPL,% Keller-Gehrig:1985:FAC,% Priese:1985:FDM,% Ritzmann:1986:FNA% }. \NAMECITE{{Fibonacci}}{% Protasi:1989:NAO% }. \NAMECITE{{FIFO}}{% Memmi:1985:IFN% }. \NAMECITE{fifteen}{% Girard:1986:SFV% }. \NAMECITE{figures}{% Edelsbrunner:1985:FTS% }. \NAMECITE{file}{% Rao:1988:ACA% }. \NAMECITE{Finding}{% Edelsbrunner:1985:FTS,% Jerrum:1985:CFM,% Megiddo:1988:FMD,% Protasi:1989:NAO% }. \NAMECITE{fini}{% Spehner:1988:RFL% }. \NAMECITE{Finite}{% Chrobak:1986:FAU,% Chrobak:2003:EFA,% DeFelice:1988:FBS,% Albert:1986:TSF,% Beal:1988:CCF,% Browne:1988:CFK,% Bruyere:1988:AQA,% Clote:1986:FCP,% Culik:1986:EFV,% Demel:1985:FAC,% Howell:1986:SCB,% Hull:1985:NFS,% Ito:1989:DTD,% Johnson:1989:UFD,% Kapur:1985:FTS,% King:1988:AMF,% Madlener:1989:ADP,% Matsuno:1985:ASM,% Narendran:1986:PCE,% Narendran:1989:SPT,% Otto:1986:USE,% Otto:1989:DCF,% Pecuchet:1985:TWF,% Rindone:1987:CFC,% Rosier:1986:BEC,% Rosier:1988:CDF,% Spehner:1985:ESE,% Spehner:1988:RFL,% deBakker:1987:ISF,% deFelice:1989:CFF% }. \NAMECITE{finite-state}{% Rosier:1988:CDF% }. \NAMECITE{Finitely}{% Restivo:1989:FGS,% Hashiguchi:1986:NFG% }. \NAMECITE{firing}{% Mazoyer:1987:SSM% }. \NAMECITE{First}{% Danko:1986:FOA,% Ausiello:1988:SPP,% Szalas:1986:CSC,% Szalas:1987:CAC,% Szalas:1988:IFO,% Thatte:1988:IFO% }. \NAMECITE{First-order}{% Danko:1986:FOA,% Szalas:1986:CSC,% Szalas:1987:CAC,% Szalas:1988:IFO,% Thatte:1988:IFO% }. \NAMECITE{Fixed}{% Benson:1989:FPF,% Arnold:1988:LDF,% Bracho:1989:CGF,% Meyer:1986:MRP,% Takahashi:1986:GFP% }. \NAMECITE{fixed-point}{% Meyer:1986:MRP% }. \NAMECITE{fixed-points}{% Takahashi:1986:GFP% }. \NAMECITE{fixedpoints}{% Lassez:1985:OFL% }. \NAMECITE{fixpoint}{% Gardarin:1989:TLP,% Yamasaki:1987:FSH% }. \NAMECITE{flowchart}{% Stefanescu:1987:FTI% }. \NAMECITE{flowgraph}{% Dowling:1986:CSF% }. \NAMECITE{flows}{% Gelenbe:1987:SDF% }. \NAMECITE{{Floyd}}{% Sain:1985:SPC% }. \NAMECITE{fonction}{% Dumont:1989:SNR% }. \NAMECITE{forbidden}{% Huang:1985:IFS% }. \NAMECITE{forbidding}{% Ehrenfeucht:1985:AGF% }. \NAMECITE{forests}{% Gonczarowski:1986:MDF% }. \NAMECITE{form}{% Enjalbert:1989:MRC,% Mezghiche:1989:PCB,% Urbanek:1985:GNF,% Urbanek:1986:GNF% }. \NAMECITE{Formal}{% Beeri:1985:FSJ,% Alexi:1988:EVP,% Berard:1987:LSF,% Gonczarowski:1985:AST,% Thibon:1985:IAF% }. \NAMECITE{forms}{% Bunder:1985:PFE,% Ginsburg:1987:CFI% }. \NAMECITE{formulas}{% Arvind:1989:SBR,% Chlebus:1989:HPH,% Harel:1985:PLR,% Mundici:1989:FCM,% Topor:1987:DIF,% Yamasaki:1986:COR% }. \NAMECITE{Forys}{% Rupert:1989:CRF% }. \NAMECITE{Foundations}{% Anonymous:1985:TCF,% Gruska:1988:ISM% }. \NAMECITE{{Fourier}}{% Beth:1987:CCG,% Clausen:1989:FGF% }. \NAMECITE{fractal}{% Dumont:1989:SNR% }. \NAMECITE{fractales}{% Dumont:1989:SNR% }. \NAMECITE{fraction}{% Ko:1986:CFR,% Ko:1987:CFR,% Kraaikamp:1989:SEP% }. \NAMECITE{fragment}{% Solitro:1989:TCB% }. \NAMECITE{framework}{% Johnson:1989:UFD,% Poulsen:1986:ECA% }. \NAMECITE{{Fredholm}}{% Mori:1989:FDP% }. \NAMECITE{free}{% Benson:1989:FPF,% Boonyavatana:1988:IPL,% Cazanescu:1985:CFT,% Courcelle:1987:ADC,% Dahlhaus:1985:CTA,% Diekert:1986:CMC,% Duboc:1986:SEF,% Ehrenfeucht:1985:AGF,% Flajolet:1987:AMA,% Frougny:1985:CFG,% Gibbons:1986:DSP,% Hirose:1985:CSH,% Howell:1989:PCF,% Igarashi:1985:PLR,% Kobayashi:1986:RFW,% Lakshmanan:1988:SFM,% Leconte:1985:CPF,% Main:1987:AIS,% Maon:1985:EPC,% Metivier:1985:CLR,% Metivier:1988:RSF,% Pierre:1988:RIC,% Rytter:1986:CPP,% Salomaa:1988:PRC,% Tarlecki:1985:EFM,% Wyrostek:1986:SUC,% Yokomori:1987:PMC,% deLuca:1986:SFS,% vanGucht:1988:IFM% }. \NAMECITE{freedom}{% Lakshmanan:1988:SFM% }. \NAMECITE{{French}}{% Dumont:1989:SNR,% Duval:1988:GSC,% Pecuchet:1988:ESP,% Petuaud:1989:ETS,% Spehner:1988:RFL% }. \NAMECITE{Full}{% Thatte:1989:FAL,% Ehrenfeucht:1986:AFU% }. \NAMECITE{function}{% Alt:1985:MEN,% Grossman:1988:IIC,% Honkala:1989:NCR,% Paige:1985:LTS,% Sado:1987:FEC% }. \NAMECITE{functional}{% Gardarin:1989:TLP,% Ginsburg:1985:CTS,% Hull:1985:NFS,% Josephs:1989:SLF,% Lakshmanan:1987:ATF% }. \NAMECITE{Functions}{% Mundici:1989:FCM,% Allouche:1989:SRF,% Beynon:1987:PMC,% Choffrut:1988:CRF,% Dumont:1989:SNR,% Dunne:1986:CCS,% Fagin:1985:BDP,% Ginsburg:1987:CFI,% Goldschlager:1986:CPC,% Jacopini:1989:GIF,% Joseph:1985:SRW,% Ko:1986:OWF,% Kobayashi:1985:PTC,% Stoss:1989:RRF,% Wegener:1985:CSF,% Wegener:1986:MCS% }. \NAMECITE{Further}{% Kirschenhofer:1988:FRD% }. \NAMECITE{{Galois}}{% Heintz:1986:PSG% }. \NAMECITE{gate}{% Seger:1988:OTS% }. \NAMECITE{{Gaussian}}{% Louchard:1987:RWG,% Robert:1989:OSA% }. \NAMECITE{general}{% Beth:1987:CCG,% Gallier:1989:CST,% Iliopoulos:1985:CGA,% Rytter:1986:CPP% }. \NAMECITE{generalisation}{% Finkel:1985:GTH,% Van:1985:CCS% }. \NAMECITE{generalised}{% Fenton:1985:GMT% }. \NAMECITE{Generalization}{% Hagiya:1989:GPP,% Shallit:1988:GAS,% Stirling:1988:GOG% }. \NAMECITE{Generalized}{% Brazma:1986:GRE,% Leiss:1986:GLE,% Book:1988:SGC,% Brandenburg:1987:RLF,% Buss:1988:RPG,% Clausen:1989:FGF,% Peleg:1987:GPR,% Sacca:1988:GCM% }. \NAMECITE{generated}{% Bracho:1989:CGF,% Bucher:1985:TRG,% Habel:1987:CGL,% Hashiguchi:1986:NFG,% Kirchner:1989:SIS,% Restivo:1989:FGS% }. \NAMECITE{Generating}{% Skarbek:1988:GOT,% Etzion:1986:AGS,% Gutbrod:1989:TSG% }. \NAMECITE{Generation}{% Jacopini:1989:GIF,% Jerrum:1986:RGC,% Nielson:1988:TLS,% Duval:1988:GSC,% Duval:1988:GSC% }. \NAMECITE{generator}{% Jerrum:1985:CFM% }. \NAMECITE{generators}{% Beauquier:1987:NCT,% Litovsky:1987:GRO% }. \NAMECITE{{Gentzen}}{% Urquhart:1989:CGS% }. \NAMECITE{Geometric}{% Bajaj:1987:GOP,% Santoro:1987:GCV,% Edelsbrunner:1985:FTS,% Shamir:1989:CAN% }. \NAMECITE{geometrical}{% Martin:1989:GAM% }. \NAMECITE{geometry}{% Huckenbeck:1989:EGT,% MendesFrance:1989:GEI% }. \NAMECITE{{German}}{% Staiger:1988:SEU% }. \NAMECITE{{Girard}}{% Martino:1988:QIG% }. \NAMECITE{given}{% Spehner:1986:OFG% }. \NAMECITE{global}{% Ehrenfeucht:1985:AGF% }. \NAMECITE{grammar}{% Seite:1987:YEL% }. \NAMECITE{Grammars}{% Parchmann:1987:GDM,% Courcelle:1986:ETR,% Courcelle:1987:ADC,% Ehrenfeucht:1985:AGF,% Ehrenfeucht:1986:AFU,% Engelfriet:1988:NBN,% Frougny:1985:CFG,% Kreowski:1986:NPC,% Parchmann:1986:SEI,% Paun:1985:VRC,% Rozenberg:1985:CSS,% Seidl:1987:PRH,% Siromoney:1985:IWO,% Wyrostek:1986:SUC,% opdenAkker:1989:LGL% }. \NAMECITE{grammatical}{% Moriya:1989:GCA,% Rosenkrantz:1985:TGC% }. \NAMECITE{graph}{% Courcelle:1987:ADC,% DeFelice:1988:FBS,% Engelfriet:1988:NBN,% Habel:1987:CGL,% Kennaway:1987:GR,% Kennaway:1988:GR,% Kreowski:1986:NPC,% vandenBroek:1988:CTG% }. \NAMECITE{graph-rewrite}{% vandenBroek:1988:CTG% }. \NAMECITE{graphs}{% Brandstadt:1987:DPP,% Dahlhaus:1988:PCP,% Edwards:1986:CCP,% He:1988:NOP,% Lingas:1989:PCS,% Lingas:1989:SIB,% Maon:1986:PED,% Muller:1987:NCS% }. \NAMECITE{greatest}{% Takahashi:1986:GFP% }. \NAMECITE{greedy}{% Tarhio:1988:GAA% }. \NAMECITE{{Greibach}}{% Urbanek:1985:GNF,% Urbanek:1986:GNF% }. \NAMECITE{{Gries}}{% Stirling:1988:GOG% }. \NAMECITE{ground}{% Oyamaguchi:1987:CRP% }. \NAMECITE{group}{% Heintz:1986:PSG,% Iliopoulos:1988:CCA,% Tretkoff:1988:CCG,% Xin:1989:EAD% }. \NAMECITE{groups}{% Diekert:1986:CST,% Iliopoulos:1985:CGA,% Rindone:1987:CFC,% Weispfenning:1986:CWP% }. \NAMECITE{Growth}{% Baker:1989:GPA,% Lange:1985:RWS% }. \NAMECITE{{H}}{% Linial:1985:DHC% }. \NAMECITE{{H}-resolution}{% Linial:1985:DHC% }. \NAMECITE{{Hamiltonian}}{% Dahlhaus:1988:PCP% }. \NAMECITE{handling}{% Bernot:1986:ADT% }. \NAMECITE{hard}{% Ambos-Spies:1989:RCH,% Iliopoulos:1985:CGA% }. \NAMECITE{having}{% Lakshmanan:1988:SFM% }. \NAMECITE{{HDT0L}}{% Culik:1986:EFV% }. \NAMECITE{helping}{% Ko:1987:HRO% }. \NAMECITE{{Herbrand}}{% Broy:1985:HKU% }. \NAMECITE{{Herbrand-Kleene}}{% Broy:1985:HKU% }. \NAMECITE{{Hermite}}{% Helfrich:1985:ACM% }. \NAMECITE{Heuristics}{% Levcopoulos:1989:HOB% }. \NAMECITE{Hierarchical}{% Mishra:1985:HVA,% Abiteboul:1988:RHD% }. \NAMECITE{Hierarchies}{% Chrobak:1986:HOW% }. \NAMECITE{hierarchy}{% Bajaj:1987:GOP,% Chlebus:1989:HPH,% Gradel:1988:SPA,% Hromkovic:1986:CCH,% Inoue:1989:LSH,% Kobayashi:1985:SOT,% Schnorr:1987:HPT,% Takahashi:1987:BHO% }. \NAMECITE{high}{% Huber:1986:RTH% }. \NAMECITE{high-level}{% Huber:1986:RTH% }. \NAMECITE{Higher}{% deSimone:1985:HLS,% Broy:1988:ESP,% Hagiya:1989:GPP,% Longo:1986:CHT,% Seidl:1987:PRH% }. \NAMECITE{Higher-level}{% deSimone:1985:HLS% }. \NAMECITE{higher-order}{% Broy:1988:ESP,% Hagiya:1989:GPP% }. \NAMECITE{{Higman}}{% Finkel:1985:GTH% }. \NAMECITE{histories}{% Ginsburg:1986:POH,% Ginsburg:1989:COH% }. \NAMECITE{{Hoare}}{% Hortala-Gonzalez:1989:HLN,% RodriguezArtalejo:1985:SQA,% Stirling:1988:GOG% }. \NAMECITE{homeomorphism}{% Asano:1985:ASH,% Lingas:1989:PCS% }. \NAMECITE{homeomorphs}{% Farr:1985:CCH% }. \NAMECITE{Homogeneous}{% Kanaoka:1985:HDS% }. \NAMECITE{homomorphic}{% Brandenburg:1987:RLF,% Hirose:1985:CSH,% Hirose:1985:HCR,% Okawa:1986:IHC% }. \NAMECITE{homomorphisms}{% Geffert:1988:RRE,% Head:1985:CPH% }. \NAMECITE{Honest}{% Homer:1987:HPD% }. \NAMECITE{{Horn}}{% Chlebus:1989:HPH,% Paul:1986:SEP,% Yamasaki:1987:FSH% }. \NAMECITE{hypergraph}{% Linial:1985:DHC% }. \NAMECITE{{Ianov}}{% FrutosEscrig:1987:PIS% }. \NAMECITE{ideals}{% Demel:1985:FAC,% Hofer:1989:LIR% }. \NAMECITE{idempotent}{% Baader:1988:UCI% }. \NAMECITE{identifying}{% Imori:1985:PCS% }. \NAMECITE{identities}{% MendesFrance:1989:GEI% }. \NAMECITE{{II}}{% Leiss:1985:SRR% }. \NAMECITE{{II.}}{% Gelenbe:1987:SDF,% Stefanescu:1987:FTI% }. \NAMECITE{implementation}{% Bouge:1987:RSD% }. \NAMECITE{Implementing}{% Thatte:1988:IFO% }. \NAMECITE{Implication}{% Schmidt-Schauss:1988:ICU% }. \NAMECITE{Implications}{% Huang:1985:IFS% }. \NAMECITE{implicit}{% Borodin:1988:TBS% }. \NAMECITE{impossibility}{% Okawa:1986:IHC% }. \NAMECITE{Improved}{% Allender:1985:ILB,% Simon:1988:IAT% }. \NAMECITE{incidence}{% Shamir:1989:CAN% }. \NAMECITE{Incompleteness}{% Szalas:1988:IFO% }. \NAMECITE{incremental}{% File:1987:CIA% }. \NAMECITE{Independent}{% Bermond:1989:ICE,% Grzymala-Busse:1986:CSI,% He:1988:NOP,% Topor:1987:DIF% }. \NAMECITE{index}{% Deleage:1986:RID,% Pierre:1988:RIC% }. \NAMECITE{indexed}{% Parchmann:1986:SEI,% Parchmann:1987:GDM% }. \NAMECITE{individual}{% Reisig:1985:PNI% }. \NAMECITE{induction}{% Jensen:1987:RDD,% Pasztor:1986:SIC% }. \NAMECITE{Inductive}{% Drabent:1988:IAM,% Hsiang:1987:AIT,% Orlowska:1986:SAI% }. \NAMECITE{inefficient}{% Du:1989:ISC% }. \NAMECITE{inevitability}{% Mazurkiewicz:1989:CSI% }. \NAMECITE{inference}{% Atzeni:1988:SCI,% Swart:1989:IS% }. \NAMECITE{Inferences}{% Grant:1985:IND% }. \NAMECITE{infinis}{% Pecuchet:1988:ESP% }. \NAMECITE{Infinite}{% Mignosi:1989:IWL,% Redziejowski:1986:IWL,% deBakker:1987:ISF,% Blanchard:1986:DOP,% Fauconnier:1987:ASI,% Finkel:1985:GTH,% Jaffar:1986:SIT,% Kirchner:1989:SIS,% Ko:1986:NIP,% Main:1987:AIS,% Moriya:1987:TCI,% Muller:1987:AAI,% Pecuchet:1988:ESP,% Saoudi:1986:VAD,% Siromoney:1985:IWO% }. \NAMECITE{Infinite-word}{% Redziejowski:1986:IWL% }. \NAMECITE{infinity}{% Meznik:1988:SIR% }. \NAMECITE{inherently}{% Grossman:1988:IIC% }. \NAMECITE{initial}{% Bernot:1986:ADT,% Head:1986:RSI% }. \NAMECITE{inputs}{% Birget:1989:CIT% }. \NAMECITE{institutions}{% Tarlecki:1985:EFM% }. \NAMECITE{integers}{% deLuca:1986:SFS% }. \NAMECITE{Integrity}{% Thibon:1985:IAF% }. \NAMECITE{intensional}{% Hallnas:1987:ICL% }. \NAMECITE{Interaction}{% vanGucht:1988:IFM% }. \NAMECITE{Interaction-free}{% vanGucht:1988:IFM% }. \NAMECITE{interchange}{% Boonyavatana:1988:IPL% }. \NAMECITE{intercluster}{% Gonzalez:1985:CMM% }. \NAMECITE{interconnection}{% Bermond:1989:ICE,% Kruskal:1986:UTI% }. \NAMECITE{interleaving}{% Jojczyk:1989:IBP% }. \NAMECITE{International}{% Anonymous:1987:TIC,% Gruska:1988:ISM,% Levi:1988:IJC,% Ottmann:1989:ICA,% Ausiello:1988:SPP,% Kott:1988:TIC% }. \NAMECITE{interpolation}{% Stoss:1985:CEI% }. \NAMECITE{interpretation}{% Martino:1988:QIG,% Nielson:1989:TLS% }. \NAMECITE{Interpretations}{% Hesselink:1988:IRU% }. \NAMECITE{intersection}{% Brandenburg:1988:ISQ,% Iliopoulos:1988:CCA,% Kurtz:1987:PDA,% Lakshmanan:1988:SFM,% RonchiDellaRocca:1988:PTS% }. \NAMECITE{interval}{% Ginsburg:1987:CFI% }. \NAMECITE{intractability}{% Haken:1985:IR% }. \NAMECITE{Introduction}{% Lynch:1988:ITN,% Belaga:1987:CUA,% Memmi:1985:IFN,% Priese:1987:IRT% }. \NAMECITE{invariant}{% Kalorkoti:1988:TIM% }. \NAMECITE{Inverse}{% Weil:1989:IMD,% Maon:1985:EPC% }. \NAMECITE{inversion}{% Kalorkoti:1988:TIM% }. \NAMECITE{inverted}{% Rao:1988:ACA% }. \NAMECITE{invertible}{% Jacopini:1989:GIF% }. \NAMECITE{investigation}{% Burkhard:1985:ICC% }. \NAMECITE{irrational}{% Hellekalek:1989:WSS% }. \NAMECITE{isolated}{% Ablyv:1988:CPP% }. \NAMECITE{isomorphism}{% Lingas:1989:PCS,% Lingas:1989:SIB,% Mahaney:1985:RAP% }. \NAMECITE{isomorphisms}{% Ko:1986:OWF% }. \NAMECITE{{ITA}}{% Culik:1986:RTP% }. \NAMECITE{iterated}{% Fle:1985:MSI,% Jantzen:1985:ERE,% Kari:1989:OCP,% Salomaa:1986:PKC% }. \NAMECITE{iterations}{% Tchuente:1986:SSP% }. \NAMECITE{iterative}{% Grossman:1988:IIC,% Ibarra:1988:TDI% }. \NAMECITE{join}{% Beeri:1985:FSJ% }. \NAMECITE{joint}{% Levi:1988:IJC% }. \NAMECITE{kernel}{% Wirsing:1986:SAS% }. \NAMECITE{key}{% Kari:1989:OCP,% Salomaa:1986:PKC% }. \NAMECITE{{Kleene}}{% Broy:1985:HKU% }. \NAMECITE{{Klop}}{% Bunder:1985:EKC% }. \NAMECITE{Knowledge}{% Kraus:1988:KBT,% NaitAbdallah:1989:LAA% }. \NAMECITE{known}{% Pelc:1989:SKE% }. \NAMECITE{{Knuth}}{% Diekert:1989:KBC% }. \NAMECITE{{Koomen}}{% Baeten:1987:CKF% }. \NAMECITE{{Kripke}}{% Browne:1988:CFK% }. \NAMECITE{labelled}{% Dekking:1989:POL% }. \NAMECITE{Lambda}{% Hayashi:1985:ASC,% Bunder:1985:EKC,% Leivant:1986:TCP,% PinoPerez:1989:DRE,% Staples:1988:DUA,% Zaionc:1987:WOD% }. \NAMECITE{lambda-calculus}{% Bunder:1985:EKC,% Zaionc:1987:WOD% }. \NAMECITE{langage}{% Spehner:1988:RFL% }. \NAMECITE{Language}{% Attiya:1987:LCS,% Yamasaki:1989:LTR,% Beauquier:1989:MAF,% Brandenburg:1987:CDA,% Brandenburg:1987:RLF,% Brazma:1986:GRE,% Deleage:1986:RID,% Gonczarowski:1985:AST,% Honkala:1989:NCR,% Hromkovic:1989:TLR,% Ibarra:1985:FPL,% Leiss:1986:GLE,% Spehner:1988:RFL,% Stirling:1988:GOG,% Tretkoff:1988:CCG,% Wirsing:1986:SAS% }. \NAMECITE{Language-theoretical}{% Yamasaki:1989:LTR% }. \NAMECITE{Languages}{% Anonymous:1987:TIC,% Chrobak:2003:EFA,% Ottmann:1989:ICA,% Arnold:1985:SCR,% Ayers:1985:DAS,% Berard:1987:LSF,% Blanchard:1986:DOP,% Boonyavatana:1988:IPL,% Brandenburg:1987:CDA,% Burkhard:1985:ICC,% Chrobak:1986:FAU,% Chrobak:1986:HOW,% Culik:1986:EFV,% Dahlhaus:1985:CTA,% Falaschi:1989:DMO,% Flajolet:1987:AMA,% Geffert:1988:RRE,% Guo:1986:DDL,% Gutbrod:1989:TSG,% Habel:1987:CGL,% Hartmanis:1988:CCM,% Hashiguchi:1986:NFG,% Hashiguchi:1988:NCR,% Head:1986:PDL,% Head:1987:BDL,% Hirose:1985:CSH,% Hirose:1985:HCR,% Igarashi:1985:PLR,% Josephs:1989:SLF,% Kaminski:1985:COR,% Kim:1987:MEP,% Kott:1988:TIC,% Kretschmer:1988:CPR,% Leiss:1985:SRR,% Litovsky:1987:GRO,% Maon:1985:EPC,% Meznik:1988:SIR,% Moriya:1987:TCI,% Moriya:1988:ACA,% Okawa:1986:IHC,% Parchmann:1987:GDM,% Parigot:1985:LAP,% Pecuchet:1988:ESP,% Pierre:1988:RIC,% Redziejowski:1986:IWL,% Restivo:1985:RLB,% Ruohonen:1985:EMS,% Rytter:1985:CRB,% Rytter:1986:CPP,% Rytter:1987:OPP,% Sakarovitch:1987:RTL,% Salomaa:1988:PRC,% Straubing:1988:SLD,% Sudborough:1985:CDC,% Takahashi:1986:GFP,% Takahashi:1987:BHO,% Thatte:1989:FAL,% Yamasaki:1986:COR,% Yamasaki:1989:LTR,% Yokomori:1987:PMC,% opdenAkker:1989:LGL% }. \NAMECITE{largest}{% Hallnas:1987:ICL% }. \NAMECITE{later}{% Girard:1986:SFV% }. \NAMECITE{lattice}{% Helfrich:1985:ACM,% Schnorr:1987:HPT% }. \NAMECITE{lattices}{% Orponen:1986:CCC% }. \NAMECITE{laws}{% Roscoe:1988:LOP% }. \NAMECITE{lazy}{% Josephs:1989:SLF% }. \NAMECITE{{LC}}{% opdenAkker:1989:LGL% }. \NAMECITE{leader}{% Marchetti-Spaccamela:1987:NPE% }. \NAMECITE{Leaf}{% Inoue:1989:LSH% }. \NAMECITE{Leaf-size}{% Inoue:1989:LSH% }. \NAMECITE{Lech}{% Hansel:1986:DSP% }. \NAMECITE{Left}{% Hofer:1989:LIR% }. \NAMECITE{lemma}{% Igarashi:1985:PLR% }. \NAMECITE{{lemmas}}{% Boonyavatana:1988:IPL% }. \NAMECITE{length}{% Duval:1988:GSC,% Jerrum:1985:CFM,% Kirschenhofer:1989:BPP,% Metivier:1985:CLR,% Mohrherr:1988:RLP% }. \NAMECITE{letters}{% Schmidt:1989:APT% }. \NAMECITE{level}{% Bauer:1985:LRS,% Huber:1986:RTH,% Nielson:1988:TLS,% Nielson:1989:TLS,% Seidl:1987:PRH,% deSimone:1985:HLS% }. \NAMECITE{Lie}{% Pelc:1986:LPS% }. \NAMECITE{{like}}{% Armbruster:1988:PDM% }. \NAMECITE{limited}{% Duval:1988:GSC% }. \NAMECITE{limiting}{% Thatte:1989:FAL% }. \NAMECITE{line}{% Inoue:1985:ALT,% Ito:1989:DTD% }. \NAMECITE{lin{\'e}aire}{% Spehner:1988:RFL% }. \NAMECITE{Linear}{% Girard:1987:LL,% Avron:1988:SPT,% Culik:1986:RTP,% Eilam-Tzoreff:1988:MPS,% Guibas:1987:SRT,% Hindley:1989:BCL,% Johnson:1986:SPT,% Kannan:1985:SSL,% Lafont:1988:LAM,% Mignosi:1989:IWL,% Mori:1989:FDP,% Paige:1985:LTS,% Scheuing:1986:DLA,% Snir:1985:LBP,% Solitro:1989:TCB,% Spehner:1988:RFL,% Szalas:1987:CAC% }. \NAMECITE{linear-time}{% Culik:1986:RTP% }. \NAMECITE{lines}{% Diks:1985:EBT% }. \NAMECITE{list}{% Louchard:1987:RWG% }. \NAMECITE{Literal}{% Berard:1987:LSF% }. \NAMECITE{local}{% Tiomkin:1985:PDL% }. \NAMECITE{{L{\"o}f}}{% Bunder:1985:PFE,% Troelstra:1987:SML% }. \NAMECITE{log}{% Iwata:1987:SPT% }. \NAMECITE{log-space}{% Iwata:1987:SPT% }. \NAMECITE{logarithmic}{% Guibas:1987:SRT% }. \NAMECITE{logic}{% Avron:1988:SPT,% Blair:1989:PLP,% Bloom:1989:ELC,% Drabent:1988:IAM,% Falaschi:1989:DMO,% FarinasDelCerro:1985:DLD,% Fitting:1986:PML,% Gardarin:1989:TLP,% Girard:1987:LL,% Hajek:1986:SDL,% Hardin:1989:CRP,% Harel:1985:PLR,% Hortala-Gonzalez:1989:HLN,% Howell:1989:PCF,% Jaffar:1986:SIT,% Kerisit:1989:RAL,% Lassez:1985:OFL,% Marek:1988:NSM,% Mascari:1985:WPN,% Mezghiche:1989:PCB,% Mishra:1985:HVA,% Muller:1985:TEP,% Mundici:1987:SMV,% Piperno:1989:APC,% RodriguezArtalejo:1985:SQA,% Sacca:1988:GCM,% Sistla:1987:CPB,% Solitro:1989:TCB,% Stirling:1988:GOG,% Szalas:1986:CSC,% Szalas:1987:CAC,% Szalas:1988:IFO,% Tiomkin:1985:PDL,% Urquhart:1989:CGS,% Vieille:1989:RQP,% Browne:1988:CFK% }. \NAMECITE{Logical}{% Arnold:1988:LDF,% Bloom:1985:LCO,% Parigot:1985:LAP% }. \NAMECITE{logico}{% NaitAbdallah:1989:LAA% }. \NAMECITE{logico-algebraic}{% NaitAbdallah:1989:LAA% }. \NAMECITE{logics}{% Peleg:1987:CPS,% Sain:1987:TCN,% Stirling:1987:MLC,% Tiuryn:1988:SRB% }. \NAMECITE{longueur}{% Duval:1988:GSC% }. \NAMECITE{looping}{% Gargov:1988:DLC% }. \NAMECITE{loops}{% Brazma:1986:GRE% }. \NAMECITE{Lower}{% Dietzfelbinger:1989:LBS,% Griesser:1986:LBA,% Hong:1986:LBC,% Snir:1985:LBP,% Stoss:1989:LBC,% Allender:1985:ILB,% Blum:1985:LBM,% Iwata:1987:SPT,% Jukna:1988:ECC,% Kaminski:1985:LBP,% Korach:1989:OLB,% Nigmatullin:1987:MLB% }. \NAMECITE{lower-bounds}{% Nigmatullin:1987:MLB% }. \NAMECITE{{LRR}}{% Seite:1987:YEL% }. \NAMECITE{{Lyndon}}{% Duval:1988:GSC% }. \NAMECITE{machine}{% Hirokawa:1985:CCR,% Kobayashi:1985:SOT,% Lafont:1988:LAM,% Lehmann:1987:UMC,% Parberry:1987:TRS,% Rytter:1985:CRB% }. \NAMECITE{machines}{% Balcazar:1985:BQM,% Engelfriet:1986:PMM,% Hartmanis:1988:CCM,% Hofer:1989:LIR,% Hromkovic:1987:RBN,% Hromkovic:1989:TLR,% Inoue:1985:ALT,% Inoue:1989:LSH,% Ko:1987:HRO,% Liskiewicz:1987:RBA,% Pardubska:1989:NMM,% Rozenberg:1985:CSS% }. \NAMECITE{macro}{% Engelfriet:1986:PMM% }. \NAMECITE{Mahler}{% Hansel:1986:DSP% }. \NAMECITE{Manipulating}{% Gonczarowski:1986:MDF% }. \NAMECITE{manipulation}{% Kruskal:1989:TPM% }. \NAMECITE{manipulations}{% Cockett:1987:DDT% }. \NAMECITE{many}{% Maon:1986:BMV,% Mundici:1987:SMV% }. \NAMECITE{many-valued}{% Maon:1986:BMV,% Mundici:1987:SMV% }. \NAMECITE{mappings}{% Redziejowski:1986:IWL% }. \NAMECITE{{Martin}}{% Bunder:1985:PFE,% Troelstra:1987:SML% }. \NAMECITE{{Martin-L{\"o}f}}{% Bunder:1985:PFE,% Troelstra:1987:SML% }. \NAMECITE{{MAT}}{% Rao:1988:ACA% }. \NAMECITE{matchers}{% Fages:1986:CSU% }. \NAMECITE{Matching}{% Eilam-Tzoreff:1988:MPS,% Galil:1987:PSM,% Landau:1986:ESM,% Venkatesan:1987:AAW% }. \NAMECITE{matchings}{% Dahlhaus:1988:PCP% }. \NAMECITE{mathematical}{% Fenton:1985:GMT,% Gruska:1988:ISM% }. \NAMECITE{matrices}{% Kruskal:1989:TPM% }. \NAMECITE{Matrix}{% Kuich:1988:MSP,% Kalorkoti:1988:TIM,% Pan:1987:CPM,% Pin:1985:AMR% }. \NAMECITE{maxima}{% Wagner:1987:MCQ% }. \NAMECITE{Maximal}{% Fle:1985:MSI,% Bruyere:1988:AQA,% He:1988:NOP,% deFelice:1989:CFF% }. \NAMECITE{maximally}{% Janicki:1986:CMC% }. \NAMECITE{maximum}{% Gonzalez:1985:CMM% }. \NAMECITE{means}{% File:1987:CIA,% Meyer:1986:MRP% }. \NAMECITE{measures}{% Bublitz:1986:PCM,% Hansel:1989:RPM% }. \NAMECITE{medium}{% Vogel:1985:TWA% }. \NAMECITE{{MEIJE}}{% deSimone:1985:HLS% }. \NAMECITE{{MEIJE-SCCS}}{% deSimone:1985:HLS% }. \NAMECITE{membership}{% Iliopoulos:1988:CCA,% Kim:1987:MEP% }. \NAMECITE{memory}{% Ehrenfeucht:1986:AFU% }. \NAMECITE{Merging}{% Meyer:1986:MRP% }. \NAMECITE{method}{% Dicky:1986:AAM,% Drabent:1988:IAM,% Kerisit:1989:RAL,% Priese:1985:FDM,% Sacca:1988:GCM,% Sain:1985:SPC% }. \NAMECITE{{MFCS}}{% Gruska:1988:ISM% }. \NAMECITE{{Min}}{% Monien:1988:MCN% }. \NAMECITE{mincing}{% Belaga:1988:BMR% }. \NAMECITE{minima}{% Wagner:1987:MCQ% }. \NAMECITE{Minimal}{% Beauquier:1989:MAF,% Averbuch:1988:CAM,% Demel:1985:FAC,% Mazoyer:1987:SSM% }. \NAMECITE{minimize}{% Gonzalez:1985:CMM% }. \NAMECITE{minimum}{% Jerrum:1985:CFM,% Levcopoulos:1989:HOB,% Megiddo:1988:FMD,% Varman:1988:EPA% }. \NAMECITE{minimum-length}{% Jerrum:1985:CFM% }. \NAMECITE{{Minkowski}}{% Helfrich:1985:ACM,% Kraaikamp:1989:SEP% }. \NAMECITE{mismatches}{% Galil:1987:PSM,% Landau:1986:ESM% }. \NAMECITE{Mixed}{% Duboc:1986:MPA,% Akyildiz:1989:ESO% }. \NAMECITE{mn}{% Bertolazzi:1987:MAR% }. \NAMECITE{Modal}{% Enjalbert:1989:MRC,% Stirling:1987:MLC,% Marek:1988:NSM% }. \NAMECITE{modality}{% Winskel:1985:PM% }. \NAMECITE{model}{% NaitAbdallah:1989:LAA,% Reed:1988:TMC% }. \NAMECITE{modeling}{% Falaschi:1989:DMO% }. \NAMECITE{Models}{% Nigmatullin:1987:MLB,% America:1988:DES,% Breazu-Tannen:1988:EMP,% Chang:1989:ESS,% Fitting:1986:PML,% Flajolet:1987:AMA,% Gafni:1989:SEC,% Priese:1985:FDM,% Tarlecki:1985:EFM% }. \NAMECITE{modes}{% Parchmann:1987:GDM% }. \NAMECITE{modular}{% Back:1985:STS% }. \NAMECITE{modulo}{% Averbuch:1988:CAM,% Bachmair:1989:CRM,% Otto:1989:DCF% }. \NAMECITE{molecular}{% Galil:1989:SDP% }. \NAMECITE{monadic}{% Narendran:1989:SPT,% Yamasaki:1986:COR% }. \NAMECITE{monogeneous}{% Memmi:1985:IFN% }. \NAMECITE{monoid}{% Xin:1989:EAD% }. \NAMECITE{monoide}{% Metivier:1985:CLR% }. \NAMECITE{monoids}{% Baader:1988:UCI,% Carpi:1987:URM,% Cori:1985:RSS,% Diekert:1986:CMC,% Duboc:1986:SEF,% Gibbons:1986:DSP,% Metivier:1988:RSF,% Narendran:1985:CRC,% Squier:1987:USC,% Therien:1989:PAM,% Weil:1989:IMD% }. \NAMECITE{monotone}{% Beynon:1987:PMC,% Blum:1985:LBM,% Dunne:1989:MSN,% Mundici:1989:FCM% }. \NAMECITE{morphic}{% Yokomori:1987:PMC% }. \NAMECITE{morphisms}{% Hesselink:1988:DFM,% Kari:1989:OCP,% Leconte:1985:CPF,% Maon:1985:EPC,% Salomaa:1986:PKC% }. \NAMECITE{{Morse}}{% deLuca:1989:SCP% }. \NAMECITE{most}{% Armbruster:1988:PDM% }. \NAMECITE{most-recent}{% Armbruster:1988:PDM% }. \NAMECITE{mots}{% Duval:1988:GSC,% Pecuchet:1988:ESP% }. \NAMECITE{multi}{% Eilam-Tzoreff:1988:MPS,% Marberg:1987:DSA% }. \NAMECITE{multi-channel}{% Marberg:1987:DSA% }. \NAMECITE{multi-linear}{% Eilam-Tzoreff:1988:MPS% }. \NAMECITE{multicounter}{% Hromkovic:1987:RBN,% Pardubska:1989:NMM% }. \NAMECITE{Multidimensional}{% Carpi:1988:MUC% }. \NAMECITE{multihead}{% Chrobak:1986:HOW,% King:1988:AMF,% Matsuno:1985:ASM% }. \NAMECITE{multiple}{% Leiss:1986:GLE% }. \NAMECITE{Multiplication}{% Alt:1985:MEN,% Kaminski:1985:LBP% }. \NAMECITE{multiplicity}{% Ruohonen:1985:EMS% }. \NAMECITE{multipushdown}{% Rytter:1985:CRB% }. \NAMECITE{multiset}{% Martin:1989:GAM% }. \NAMECITE{multistage}{% Bermond:1989:ICE% }. \NAMECITE{multivalued}{% Lakshmanan:1987:ATF,% Lakshmanan:1988:SFM,% vanGucht:1988:IFM% }. \NAMECITE{{MVD}}{% Lakshmanan:1988:SFM% }. \NAMECITE{{MVD}-intersection}{% Lakshmanan:1988:SFM% }. \NAMECITE{n}{% Bauer:1985:LRS,% Parberry:1987:TRS% }. \NAMECITE{n-level}{% Bauer:1985:LRS% }. \NAMECITE{name}{% Book:1985:SNS% }. \NAMECITE{name-stamp}{% Book:1985:SNS% }. \NAMECITE{Narrowing}{% Bosco:1988:NVS% }. \NAMECITE{natural}{% Ko:1985:SNC,% Marek:1988:NSM% }. \NAMECITE{{NC}}{% Karloff:1989:NAB% }. \NAMECITE{nearly}{% He:1988:NOP% }. \NAMECITE{necessary}{% Honkala:1989:NCR% }. \NAMECITE{{Neciporuk}}{% Alon:1989:NTB% }. \NAMECITE{necklace}{% Edelsbrunner:1989:TNC% }. \NAMECITE{negation}{% Shepherdson:1989:SCS% }. \NAMECITE{nested}{% Lynch:1988:ITN% }. \NAMECITE{Net}{% Kreowski:1986:NPC,% Best:1987:SCB,% Gonthier:1985:ACP,% Parigot:1985:LAP% }. \NAMECITE{nets}{% Aalbersberg:1985:CSP,% Clote:1986:FCP,% Howell:1989:PCF,% Huber:1986:RTH,% Hung:1989:SCP,% Memmi:1985:IFN,% Reisig:1985:PNI,% Jojczyk:1989:IBP% }. \NAMECITE{nets-monogeneous}{% Memmi:1985:IFN% }. \NAMECITE{network}{% Blum:1985:LBM,% Korach:1989:OLB,% Kruskal:1986:UTI% }. \NAMECITE{networks}{% Akyildiz:1989:ESO,% Bermond:1989:ICE,% Culik:1985:TTT,% Dunne:1989:MSN,% Fogelman-Soulie:1985:PSC,% Galil:1987:DAS,% Goles:1985:DPA,% Hong:1986:LBC,% Marberg:1987:DSA,% Saito:1989:SBE,% Scarpellini:1985:CBN,% Shamir:1989:CAN% }. \NAMECITE{{NLC}}{% Courcelle:1987:ADC,% Engelfriet:1988:NBN% }. \NAMECITE{no}{% Mundici:1989:FCM% }. \NAMECITE{Non}{% Hull:1985:NFS,% Diekert:1986:CMC% }. \NAMECITE{non-commutative}{% Diekert:1986:CMC% }. \NAMECITE{Non-finite}{% Hull:1985:NFS% }. \NAMECITE{Nonapplicable}{% Lerat:1986:NN% }. \NAMECITE{noncomplete}{% Joseph:1985:SRW% }. \NAMECITE{nondeterminacy}{% Hesselink:1988:IRU% }. \NAMECITE{nondeterminism}{% Broy:1986:TNP,% Dymond:1986:NPC,% Meinel:1988:PNP% }. \NAMECITE{Nondeterministic}{% Pardubska:1989:NMM,% Berghammer:1986:RAS,% Broy:1985:HKU,% Hortala-Gonzalez:1989:HLN,% Hromkovic:1987:RBN,% Kaplan:1988:RNC,% Kobayashi:1985:SOT,% Lange:1988:DNR,% Mascari:1985:WPN,% Stefanescu:1987:FTI% }. \NAMECITE{nonextensional}{% Hayashi:1985:ASC% }. \NAMECITE{nonmonotone}{% Dunne:1989:MSN% }. \NAMECITE{nonpolynomial}{% Joseph:1985:SRW% }. \NAMECITE{nonsequential}{% Janicki:1986:CMC% }. \NAMECITE{nonstandard}{% Hortala-Gonzalez:1989:HLN,% Sain:1987:TCN% }. \NAMECITE{Nonterminal}{% Engelfriet:1988:NBN% }. \NAMECITE{nontrivial}{% Alt:1985:MEN% }. \NAMECITE{normal}{% Mezghiche:1989:PCB,% Urbanek:1985:GNF,% Urbanek:1986:GNF% }. \NAMECITE{note}{% Beauquier:1987:NCT% }. \NAMECITE{Notes}{% Hashiguchi:1986:NFG,% Hashiguchi:1988:NCR% }. \NAMECITE{notion}{% Ko:1986:NIP% }. \NAMECITE{notions}{% Watanabe:1987:CPT% }. \NAMECITE{{NP}}{% Dieu:1986:APT,% Du:1989:ISC,% Homer:1986:SCS,% Homer:1987:HPD,% Joseph:1985:SRW,% Monien:1985:BCN,% Monien:1988:MCN,% Muller:1987:NCS,% Mundici:1987:SMV,% Valiant:1986:NED,% Vyskoc:1987:TSA,% Wagner:1987:MCQ% }. \NAMECITE{{NP-complete}}{% Dieu:1986:APT,% Monien:1985:BCN,% Vyskoc:1987:TSA,% Du:1989:ISC,% Monien:1988:MCN,% Mundici:1987:SMV% }. \NAMECITE{{NP-completeness}}{% Muller:1987:NCS% }. \NAMECITE{nulls}{% Lerat:1986:NN% }. \NAMECITE{number}{% Protasi:1989:NAO% }. \NAMECITE{numbering}{% Maon:1986:PED% }. \NAMECITE{numbers}{% Ko:1986:CFR,% Ko:1987:CFR,% Protasi:1989:NAO% }. \NAMECITE{numeration}{% Dumont:1989:SNR,% Dumont:1989:SNR% }. \NAMECITE{numerical}{% Grant:1985:IND,% Ritzmann:1986:FNA% }. \NAMECITE{{O}}{% Bertolazzi:1987:MAR% }. \NAMECITE{object}{% Ginsburg:1986:POH,% Ginsburg:1989:COH% }. \NAMECITE{objects}{% Abiteboul:1988:RHD% }. \NAMECITE{Observation}{% Abramsky:1987:OET,% Bloom:1985:LCO,% Engelfriet:1985:DOE% }. \NAMECITE{observational}{% Stirling:1985:PTC% }. \NAMECITE{Observations}{% Kari:1989:OCP,% Wagner:1986:SOC,% deBakker:1987:ISF% }. \NAMECITE{obtained}{% Scarpellini:1985:CBN,% Siromoney:1985:IWO% }. \NAMECITE{occam}{% Roscoe:1988:LOP% }. \NAMECITE{occurrence}{% Dekking:1989:POL,% Spehner:1986:OFG% }. \NAMECITE{off}{% Johnson:1986:SPT% }. \NAMECITE{omega}{% Arnold:1985:SCR,% Heering:1986:PEO,% Kaminski:1985:COR,% Lindsay:1986:AOT,% Litovsky:1987:GRO,% Longo:1986:CHT,% Pasztor:1986:SIC,% Pecuchet:1988:ESP,% Suzuki:1986:SVD,% Takahashi:1986:GFP,% Takahashi:1987:BHO,% Yamasaki:1986:COR% }. \NAMECITE{omega-completeness}{% Heering:1986:PEO% }. \NAMECITE{omega-extended}{% Suzuki:1986:SVD% }. \NAMECITE{omega-languages}{% Arnold:1985:SCR,% Pecuchet:1988:ESP,% Takahashi:1987:BHO% }. \NAMECITE{omega-power}{% Litovsky:1987:GRO% }. \NAMECITE{omega-regular}{% Kaminski:1985:COR,% Yamasaki:1986:COR% }. \NAMECITE{omega-sups}{% Pasztor:1986:SIC% }. \NAMECITE{omega-tree}{% Takahashi:1986:GFP% }. \NAMECITE{omega-type}{% Lindsay:1986:AOT% }. \NAMECITE{on-line}{% Inoue:1985:ALT,% Ito:1989:DTD% }. \NAMECITE{One}{% Sekimoto:1988:OSR,% Chrobak:1986:HOW,% Ko:1986:OWF,% Kobayashi:1985:SOT,% Tomita:1989:DBA,% Vogel:1985:TWA,% Watanabe:1985:OOP% }. \NAMECITE{one-one}{% Watanabe:1985:OOP% }. \NAMECITE{One-step}{% Sekimoto:1988:OSR% }. \NAMECITE{one-tape}{% Kobayashi:1985:SOT% }. \NAMECITE{one-way}{% Chrobak:1986:HOW,% Ko:1986:OWF% }. \NAMECITE{only}{% Inoue:1985:ALT% }. \NAMECITE{open}{% Akyildiz:1989:ESO% }. \NAMECITE{operation}{% Zaionc:1987:WOD% }. \NAMECITE{operational}{% Falaschi:1989:DMO% }. \NAMECITE{operations}{% Brandenburg:1987:RLF,% Protasi:1989:NAO% }. \NAMECITE{operator}{% Kaplan:1988:RNC% }. \NAMECITE{operators}{% Ko:1985:SNC% }. \NAMECITE{Optimal}{% Hodel:1988:ODE,% Korach:1989:OLB,% Lassez:1985:OFL,% Robert:1989:OSA,% Rytter:1987:OPP,% Edelsbrunner:1989:TNC,% He:1988:NOP% }. \NAMECITE{optimistic}{% Seger:1988:OTS% }. \NAMECITE{optimization}{% Bajaj:1987:GOP% }. \NAMECITE{Optimizers}{% Zeugmann:1988:PRO% }. \NAMECITE{optimum}{% Levcopoulos:1989:HOB% }. \NAMECITE{oracle}{% Ko:1987:HRO% }. \NAMECITE{oracles}{% Plaisted:1985:CDP,% Schoning:1985:RAD% }. \NAMECITE{orbit}{% Blanchard:1986:DOP% }. \NAMECITE{order}{% Broy:1988:ESP,% Danko:1986:FOA,% Hagiya:1989:GPP,% Lehmkuhl:1989:OAA,% Makowsky:1989:WSO,% Muller:1985:TEP,% Szalas:1986:CSC,% Szalas:1987:CAC,% Szalas:1988:IFO,% Thatte:1988:IFO,% Yamasaki:1986:COR% }. \NAMECITE{ordered}{% Bunder:1985:EKC,% Skarbek:1988:GOT% }. \NAMECITE{ordering}{% Krishnamoorthy:1985:RPO% }. \NAMECITE{orderings}{% Martin:1989:GAM% }. \NAMECITE{oriented}{% Fribourg:1985:SOT% }. \NAMECITE{other}{% Brandstadt:1987:DPP,% Bunder:1985:EKC% }. \NAMECITE{outerplanar}{% Lingas:1989:SIB% }. \NAMECITE{overlap}{% Hong:1986:LBC% }. \NAMECITE{{Owicki}}{% Stirling:1988:GOG% }. \NAMECITE{{Owicki-Gries}}{% Stirling:1988:GOG% }. \NAMECITE{{P}}{% Longo:1986:CHT% }. \NAMECITE{{P=}}{% Homer:1987:HPD% }. \NAMECITE{packet}{% Peleg:1987:GPR% }. \NAMECITE{pair}{% Bunder:1985:EKC,% Tomita:1985:WSC% }. \NAMECITE{pairs}{% LeChenadec:1987:ADA% }. \NAMECITE{palutators}{% Tretkoff:1988:CCG% }. \NAMECITE{papers}{% Ausiello:1988:SPP% }. \NAMECITE{Paraconsistent}{% Blair:1989:PLP% }. \NAMECITE{Parallel}{% Dahlhaus:1988:PCP,% Fogelman-Soulie:1985:PSC,% Galil:1987:PSM,% Maon:1986:PED,% Chang:1989:ESS,% Dymond:1986:NPC,% Goldschlager:1986:CPC,% Hankin:1988:SAP,% He:1988:NOP,% Ibarra:1985:FPL,% Kruskal:1989:TPM,% Lingas:1989:PCS,% Lyon:1989:DFP,% Pan:1987:CPM,% Parberry:1987:TRS,% Robert:1989:OSA,% Rytter:1986:CPP,% Rytter:1987:OPP,% Rytter:1988:EPC,% Spirakis:1987:PCD,% Tchuente:1986:SSP,% Varman:1988:EPA% }. \NAMECITE{parallelism}{% Broy:1986:TNP% }. \NAMECITE{Parameter}{% Seidl:1987:PRH% }. \NAMECITE{Parameter-reduction}{% Seidl:1987:PRH% }. \NAMECITE{parameterized}{% Orejas:1987:CPC,% Wagner:1987:CCP% }. \NAMECITE{parametrization}{% Hagiya:1989:GPP% }. \NAMECITE{parsing}{% Rytter:1986:CPP,% Rytter:1987:OPP,% Seite:1987:YEL% }. \NAMECITE{part}{% Benson:1989:FPF,% Averbuch:1988:CAM% }. \NAMECITE{Partial}{% Fitting:1986:PML,% Heering:1986:PEO,% Broy:1988:ESP,% Hagiya:1989:GPP,% Otto:1989:DCF,% PinoPerez:1989:DRE% }. \NAMECITE{partially}{% Cori:1985:RSS,% Duboc:1986:SEF,% Duchamp:1988:TTP,% Gibbons:1986:DSP,% Metivier:1988:RSF,% Thibon:1985:IAF% }. \NAMECITE{parties}{% Pecuchet:1988:ESP% }. \NAMECITE{partition}{% Paige:1985:LTS% }. \NAMECITE{Partitioning}{% Cole:1987:PPS% }. \NAMECITE{party}{% Book:1985:VTA% }. \NAMECITE{{Pascal}}{% Armbruster:1988:PDM% }. \NAMECITE{{Pascal-like}}{% Armbruster:1988:PDM% }. \NAMECITE{passing}{% Orejas:1987:CPC% }. \NAMECITE{path}{% Italiano:1986:AEP,% Kirschenhofer:1989:BPP,% Krishnamoorthy:1985:RPO% }. \NAMECITE{paths}{% DeFelice:1988:FBS% }. \NAMECITE{{Patricia}}{% Kirschenhofer:1989:BPP% }. \NAMECITE{patterns}{% Eilam-Tzoreff:1988:MPS,% Pelc:1986:LPS,% Schmidt:1989:APT% }. \NAMECITE{{Patterson}}{% Van:1985:CCS% }. \NAMECITE{{PDL}}{% Gargov:1988:DLC% }. \NAMECITE{pebble}{% Chang:1986:PA% }. \NAMECITE{pebbling}{% Kirousis:1986:SP% }. \NAMECITE{perfect}{% Dahlhaus:1988:PCP% }. \NAMECITE{period}{% Imori:1985:PCS% }. \NAMECITE{Periodic}{% Head:1986:PDL,% Imori:1985:PCS,% Head:1986:RSI% }. \NAMECITE{Permutation}{% Ramanan:1985:PRA,% Brandstadt:1987:DPP,% Iliopoulos:1988:CCA% }. \NAMECITE{permutations}{% Pelz:1985:CTP% }. \NAMECITE{Petri}{% Reisig:1985:PNI,% Aalbersberg:1985:CSP,% Best:1987:SCB,% Clote:1986:FCP,% Howell:1989:PCF,% Huber:1986:RTH,% Hung:1989:SCP,% Parigot:1985:LAP% }. \NAMECITE{picture}{% Kim:1987:MEP,% Sudborough:1985:CDC% }. \NAMECITE{pictures}{% Gutbrod:1989:TSG% }. \NAMECITE{piecewise}{% Mori:1989:FDP% }. \NAMECITE{pigeonhole}{% Buss:1988:RPG% }. \NAMECITE{planar}{% Beynon:1987:PMC,% He:1988:NOP,% Lingas:1989:PCS% }. \NAMECITE{plane}{% DiBattista:1988:APR,% Edelsbrunner:1989:TNC% }. \NAMECITE{point}{% Ablyv:1988:CPP,% Cole:1987:PPS,% Meyer:1986:MRP% }. \NAMECITE{points}{% Arnold:1988:LDF,% Benson:1989:FPF,% Blanchard:1986:DOP,% Bracho:1989:CGF,% Takahashi:1986:GFP% }. \NAMECITE{poly}{% Balcazar:1987:CCP,% Iwata:1987:SPT% }. \NAMECITE{poly-time}{% Iwata:1987:SPT% }. \NAMECITE{polymorphism}{% Breazu-Tannen:1988:EMP% }. \NAMECITE{polynomial}{% Ambos-Spies:1987:DPT,% Armbruster:1988:PDM,% Averbuch:1988:CAM,% Bajaj:1987:GOP,% Dieu:1986:APT,% Fagin:1985:BDP,% Gradel:1988:SPA,% Homer:1987:HPD,% Kaminski:1985:LBP,% Keller-Gehrig:1985:FAC,% Ko:1986:OWF,% Mahaney:1985:RAP,% Meinel:1988:PNP,% Narendran:1989:SPT,% Schnorr:1987:HPT,% Watanabe:1985:OOP,% Watanabe:1987:CPT% }. \NAMECITE{polynomial-size}{% Fagin:1985:BDP,% Meinel:1988:PNP% }. \NAMECITE{polynomial-time}{% Gradel:1988:SPA,% Ko:1986:OWF,% Narendran:1989:SPT% }. \NAMECITE{polynomials}{% Averbuch:1988:CAM,% Duchamp:1988:TTP,% Heintz:1986:PSG,% Kannan:1985:SSL,% Stoss:1985:CEI,% Stoss:1989:LBC,% vonzurGathen:1987:FPP% }. \NAMECITE{pomsets}{% Gischer:1988:ETP% }. \NAMECITE{poset}{% Statman:1986:ECP% }. \NAMECITE{positive}{% Goles:1985:DPA% }. \NAMECITE{Possible}{% Bunder:1985:PFE,% Bleuzen-Guernalec:1989:PCR% }. \NAMECITE{post}{% Wagner:1987:CTP% }. \NAMECITE{post-conditions}{% Wagner:1987:CTP% }. \NAMECITE{Power}{% Zeugmann:1988:PRO,% Abadi:1989:PTP,% Ibarra:1988:RPC,% Kuich:1988:MSP,% Leconte:1985:CPF,% Litovsky:1987:GRO,% Madlener:1989:ADP,% Meinel:1988:PNP,% Ritzmann:1986:FNA,% Vieille:1989:RQP% }. \NAMECITE{power-free}{% Leconte:1985:CPF% }. \NAMECITE{powerdomain}{% Meyer:1988:ACS% }. \NAMECITE{powerdomains}{% Winskel:1985:PM% }. \NAMECITE{practice}{% Levi:1988:IJC% }. \NAMECITE{{PRAM}}{% Gafni:1989:SEC% }. \NAMECITE{{PRAMs}}{% Bublitz:1986:PCM% }. \NAMECITE{pre}{% Wagner:1987:CTP% }. \NAMECITE{pre-}{% Wagner:1987:CTP% }. \NAMECITE{prefix}{% Bruyere:1988:AQA% }. \NAMECITE{{Presburger}}{% Gradel:1988:SPA% }. \NAMECITE{presentations}{% Diekert:1986:CMC% }. \NAMECITE{presented}{% Ausiello:1988:SPP,% Xin:1989:EAD% }. \NAMECITE{primes}{% vonzurGathen:1987:FPP% }. \NAMECITE{primitive}{% vonzurGathen:1987:FPP% }. \NAMECITE{Principal}{% RonchiDellaRocca:1988:PTS,% Kuich:1988:MSP% }. \NAMECITE{principles}{% Buss:1988:RPG,% Jensen:1987:RDD% }. \NAMECITE{priorities}{% Baeten:1989:TRS% }. \NAMECITE{Probabilistic}{% FrutosEscrig:1987:PIS,% Tiomkin:1989:PTV,% Ablyv:1988:CPP,% Kurtz:1987:PDA,% MeyerAufDerHeide:1985:SPD,% Rosier:1988:CDF,% Snir:1985:LBP% }. \NAMECITE{probability}{% Dekking:1989:POL,% Hansel:1989:RPM,% Pelc:1989:SKE% }. \NAMECITE{problem}{% Allender:1985:ILB,% Arvind:1989:SBR,% Asano:1985:ASH,% Borodin:1988:TBS,% Clote:1986:FCP,% Gambosi:1989:WCA,% Kapur:1985:FTS,% Lingas:1989:PCS,% Maon:1985:EPC,% Mazoyer:1987:SSM,% Mohrherr:1988:RLP,% Narendran:1985:CRC,% Narendran:1986:EPR,% Oyamaguchi:1985:DTE,% Paige:1985:LTS,% Paul:1986:SEP,% Peleg:1987:GPR,% Restivo:1985:RLB,% Sistla:1987:CPB,% Weispfenning:1986:CWP,% deLuca:1989:SCP% }. \NAMECITE{Problems}{% Howell:1989:PCF,% Ambos-Spies:1989:RCH,% Baker:1989:GPA,% Bertolazzi:1987:MAR,% Brandstadt:1987:DPP,% Dieu:1986:APT,% Du:1989:ISC,% Edwards:1986:CCP,% Gibbons:1986:DSP,% Guibas:1987:SRT,% Howell:1986:SCB,% Huang:1985:IFS,% Iliopoulos:1988:CCA,% Kim:1987:MEP,% Levcopoulos:1989:HOB,% Maon:1986:BMV,% Monien:1985:BCN,% Narendran:1986:PCE,% Piperno:1989:APC,% Plaisted:1985:CDP,% Rytter:1988:EPC,% Vyskoc:1987:TSA% }. \NAMECITE{procedures}{% File:1987:CIA,% Pelc:1986:LPS% }. \NAMECITE{Process}{% Harel:1985:PLR,% America:1988:DES,% Benson:1989:FPF% }. \NAMECITE{processes}{% Back:1985:STS,% Bergstra:1985:ACP,% Diekert:1989:KBC,% Gonthier:1985:ACP,% Hennessy:1987:ATF,% Kirchner:1989:SIS,% Kreowski:1986:NPC,% Larsen:1987:CDE,% Louchard:1987:RWG,% Meyer:1986:MRP,% Reed:1988:TMC% }. \NAMECITE{processing}{% Lyon:1989:DFP,% Vieille:1989:RQP% }. \NAMECITE{processors}{% Korach:1989:OLB% }. \NAMECITE{product}{% Averbuch:1988:CAM,% Domosi:1988:CCP,% Duboc:1986:MPA,% Esik:1986:CCA% }. \NAMECITE{products}{% Esik:1986:PP,% Hellekalek:1989:WSS% }. \NAMECITE{program}{% Bouge:1985:CTP,% Courcelle:1986:ETR,% Makowsky:1989:WSO,% Peleg:1987:CPS% }. \NAMECITE{Programming}{% Anonymous:1987:ECT,% Ottmann:1989:ICA,% Blair:1989:PLP,% Fenton:1985:GMT,% Fitting:1986:PML,% Galil:1989:SDP,% Guibas:1987:SRT,% Jaffar:1986:SIT,% Kerisit:1989:RAL,% Roscoe:1988:LOP,% Rytter:1988:EPC,% Anonymous:1987:TIC,% Kott:1988:TIC% }. \NAMECITE{Programs}{% Therien:1989:PAM,% Alexi:1988:EVP,% Alon:1989:NTB,% Armbruster:1988:PDM,% Berghammer:1986:RAS,% Bohm:1985:AST,% Brazma:1986:GRE,% Drabent:1988:IAM,% Gardarin:1989:TLP,% Hortala-Gonzalez:1989:HLN,% Lassez:1985:OFL,% Mascari:1985:WPN,% Meinel:1988:PNP,% Pettorossi:1987:DEP,% Ramanujam:1989:SDD,% Rosier:1988:CDF,% Sain:1987:TCN,% Tiuryn:1988:SRB% }. \NAMECITE{Projection}{% Ginsburg:1986:POH% }. \NAMECITE{Projections}{% KleineBuning:1989:PVA,% Hull:1985:NFS% }. \NAMECITE{{PROLOG}}{% Hsiang:1987:AIT% }. \NAMECITE{Proof}{% Hardin:1986:PTR,% Albert:1985:PEC,% Avron:1988:SPT,% Hansel:1986:DSP,% Huang:1986:APT,% Johnson:1986:SPT,% Poulsen:1986:ECA,% Sain:1985:SPC,% Stirling:1985:PTC% }. \NAMECITE{proof-theoretic}{% Stirling:1985:PTC% }. \NAMECITE{proofs}{% Abadi:1989:PTP,% Alexi:1988:EVP,% Back:1985:STS,% Buss:1988:RPG,% Nigmatullin:1987:MLB% }. \NAMECITE{Properties}{% Bublitz:1986:PCM,% Abdali:1985:TCR,% Ablyv:1988:CPP,% Frougny:1985:CFG,% Head:1985:CPH,% Ibarra:1988:RPC,% Kraaikamp:1989:SEP,% Leivant:1986:TCP,% Parchmann:1987:GDM,% deLuca:1989:SCP% }. \NAMECITE{property}{% Armbruster:1988:PDM,% Bunder:1985:EKC,% Kapur:1985:ATC,% Kapur:1985:CRP,% Karhumaki:1985:PTE,% Kirschenhofer:1989:BPP,% Kretschmer:1988:CPR,% Oyamaguchi:1987:CRP% }. \NAMECITE{Propositional}{% Tiomkin:1985:PDL,% Arvind:1989:SBR,% Chlebus:1989:HPH,% Urquhart:1989:CGS,% Browne:1988:CFK% }. \NAMECITE{protocols}{% Book:1985:SNS,% Book:1985:VTA,% Marchetti-Spaccamela:1987:NPE% }. \NAMECITE{prover}{% Fribourg:1985:SOT% }. \NAMECITE{Proving}{% Stark:1988:PEB,% Hsiang:1987:AIT,% Kobayashi:1985:PTC% }. \NAMECITE{pseudo}{% Culik:1986:RTP,% Mezghiche:1989:PCB% }. \NAMECITE{pseudo-c}{% Mezghiche:1989:PCB% }. \NAMECITE{pseudorandom}{% Ko:1986:NIP% }. \NAMECITE{{PSPACE}}{% Balcazar:1987:CCP% }. \NAMECITE{{PSPACE/}}{% Balcazar:1987:CCP% }. \NAMECITE{{PT}}{% Jojczyk:1989:IBP% }. \NAMECITE{{PT-nets}}{% Jojczyk:1989:IBP% }. \NAMECITE{public}{% Kari:1989:OCP,% Salomaa:1986:PKC% }. \NAMECITE{public-key}{% Kari:1989:OCP,% Salomaa:1986:PKC% }. \NAMECITE{pump}{% Boonyavatana:1988:IPL% }. \NAMECITE{pumping}{% Hashiguchi:1986:NFG,% Hashiguchi:1988:NCR,% Igarashi:1985:PLR,% Salomaa:1988:PRC% }. \NAMECITE{pure}{% Hardin:1989:CRP% }. \NAMECITE{purely}{% Yokomori:1987:PMC% }. \NAMECITE{push}{% Ehrenfeucht:1986:AFU% }. \NAMECITE{push-down}{% Ehrenfeucht:1986:AFU% }. \NAMECITE{Pushdown}{% Engelfriet:1986:PMM,% Moriya:1989:GCA,% Muller:1985:TEP,% Tomita:1989:DBA% }. \NAMECITE{{Q}}{% Mosse:1989:QAS% }. \NAMECITE{{Q}-Adic}{% Mosse:1989:QAS% }. \NAMECITE{quantitative}{% Martino:1988:QIG% }. \NAMECITE{queries}{% Sacca:1988:GCM% }. \NAMECITE{query}{% Balcazar:1985:BQM,% Vieille:1989:RQP% }. \NAMECITE{question}{% Bruyere:1988:AQA% }. \NAMECITE{questions}{% RodriguezArtalejo:1985:SQA,% Wagner:1987:MCQ% }. \NAMECITE{queue}{% Gelenbe:1987:SDF% }. \NAMECITE{queueing}{% Akyildiz:1989:ESO% }. \NAMECITE{queues}{% Brandenburg:1988:ISQ% }. \NAMECITE{quotient}{% Geffert:1988:RRE% }. \NAMECITE{races}{% Seger:1988:OTS% }. \NAMECITE{Random}{% Jerrum:1986:RGC,% Louchard:1987:RWG,% Paun:1985:VRC% }. \NAMECITE{randomly}{% Dekking:1989:POL% }. \NAMECITE{rank}{% Belaga:1988:BMR% }. \NAMECITE{rapid}{% Spehner:1986:RCS% }. \NAMECITE{Rational}{% Hansel:1989:RPM,% Johnson:1986:RER,% Pierre:1988:RIC,% Restivo:1985:RLB,% Allouche:1989:SRF,% Arnold:1985:SCR,% Beauquier:1989:MAF,% Choffrut:1988:CRF,% Deleage:1986:RID,% Gibbons:1986:DSP,% Gohon:1985:ADW,% Hashiguchi:1988:NCR,% Latteux:1986:TCR,% Litovsky:1987:GRO,% Pecuchet:1988:ESP,% Stoss:1989:RRF,% Takahashi:1986:GFP% }. \NAMECITE{rationality}{% Honkala:1989:NCR% }. \NAMECITE{Reachability}{% Huber:1986:RTH,% Hofer:1989:LIR,% KleineBuning:1989:PVA% }. \NAMECITE{Real}{% Culik:1986:RTP,% Bleuzen-Guernalec:1989:PCR,% Igarashi:1985:PLR,% Ko:1986:CFR,% Ko:1987:CFR,% Tomita:1989:DBA% }. \NAMECITE{Real-time}{% Culik:1986:RTP,% Bleuzen-Guernalec:1989:PCR,% Igarashi:1985:PLR,% Tomita:1989:DBA% }. \NAMECITE{reasoning}{% Orlowska:1986:SAI% }. \NAMECITE{recognition}{% Hromkovic:1989:TLR,% Ibarra:1985:ERT,% Ibarra:1985:FPL,% Spehner:1988:RFL% }. \NAMECITE{Recognizable}{% Cori:1985:RSS,% Gohon:1985:ADW,% Metivier:1988:RSF% }. \NAMECITE{recognizing}{% Blumer:1985:SAR% }. \NAMECITE{reconnaissables}{% Pecuchet:1988:ESP% }. \NAMECITE{reconnaissance}{% Spehner:1988:RFL% }. \NAMECITE{Recurrent}{% Lange:1985:RWS,% Sekimoto:1988:OSR% }. \NAMECITE{recursion}{% Hesselink:1988:IRU,% Schmidt:1985:RTS,% Wagner:1986:SOC,% Weihrauch:1985:TRT% }. \NAMECITE{recursion-theoretic}{% Schmidt:1985:RTS% }. \NAMECITE{Recursive}{% Vieille:1989:RQP,% Zeugmann:1988:PRO,% Courcelle:1986:ETR,% File:1987:CIA,% Krishnamoorthy:1985:RPO,% Sacca:1988:GCM% }. \NAMECITE{Recursively}{% Jensen:1987:RDD,% Geffert:1988:RRE,% Hirose:1985:HCR% }. \NAMECITE{reduced}{% Helfrich:1985:ACM% }. \NAMECITE{reduces}{% Imori:1985:PCS% }. \NAMECITE{Reducibility}{% Ginzburg:1985:RSS% }. \NAMECITE{reduction}{% Bunder:1985:PFE,% Hankin:1988:SAP,% Hirokawa:1985:CCR,% Schnorr:1987:HPT,% Seidl:1987:PRH% }. \NAMECITE{Reductions}{% Gallier:1985:RTR,% Mahaney:1985:RAP,% Carpi:1987:URM,% Lange:1988:DNR% }. \NAMECITE{Refusal}{% Phillips:1987:RT% }. \NAMECITE{register}{% Etzion:1986:AGS% }. \NAMECITE{registers}{% Scheuing:1986:DLA% }. \NAMECITE{regular}{% Berry:1986:RED,% Bertolazzi:1987:MAR,% Brazma:1986:GRE,% Courcelle:1986:ETR,% Harel:1985:PLR,% Hashiguchi:1986:NFG,% Honkala:1989:NCR,% Hortala-Gonzalez:1989:HLN,% Jantzen:1985:ERE,% Kaminski:1985:COR,% Kretschmer:1988:CPR,% Leiss:1985:CTU,% Leiss:1985:SRR,% Meyer:1986:MRP,% Meznik:1988:SIR,% Narendran:1986:EPR,% Priese:1987:IRT,% Ruohonen:1985:EMS,% Sakarovitch:1987:RTL,% Stern:1985:CSC,% Suzuki:1986:SVD,% Xin:1989:EAD,% Yamasaki:1986:COR% }. \NAMECITE{Regularity}{% Head:1986:RSI% }. \NAMECITE{regulators}{% Bucher:1985:TRG% }. \NAMECITE{rejection}{% Akyildiz:1989:ESO% }. \NAMECITE{related}{% Abdali:1985:TCR,% Guibas:1987:SRT% }. \NAMECITE{relatifs}{% Dumont:1989:SNR% }. \NAMECITE{Relating}{% Ibarra:1988:RPC% }. \NAMECITE{relation}{% Szalas:1986:CSC% }. \NAMECITE{Relational}{% Berghammer:1986:RAS,% Kerisit:1989:RAL,% Lakshmanan:1987:ATF% }. \NAMECITE{relations}{% Bucher:1985:TRG,% Carpi:1987:URM,% Hashiguchi:1988:NCR,% Ibarra:1985:ERT,% Johnson:1986:RER,% Marek:1986:ASE,% Saito:1989:SBE,% Shamir:1989:CAN,% Watanabe:1985:OOP% }. \NAMECITE{relationships}{% Tiuryn:1988:SRB% }. \NAMECITE{relative}{% Ambos-Spies:1989:RCH,% Dumont:1989:SNR,% RodriguezArtalejo:1985:SQA% }. \NAMECITE{relativized}{% Immerman:1989:RRC% }. \NAMECITE{Relativizing}{% Immerman:1989:RRC% }. \NAMECITE{remark}{% Mohrherr:1988:RLP,% Rupert:1989:CRF% }. \NAMECITE{remarks}{% Joseph:1985:SRW% }. \NAMECITE{Repeatable}{% Nishida:1987:RWS% }. \NAMECITE{Repeated}{% Bouge:1987:RSD,% Mundici:1989:FCM% }. \NAMECITE{Repetition}{% Kobayashi:1986:RFW% }. \NAMECITE{Repetition-free}{% Kobayashi:1986:RFW% }. \NAMECITE{repetitions}{% Crochemore:1986:TR% }. \NAMECITE{replacement}{% Gallier:1985:RTR,% Habel:1987:CGL% }. \NAMECITE{representation}{% Esik:1987:RTA,% Geffert:1988:RRE,% Ko:1986:CFR,% Ko:1987:CFR,% Leiss:1985:SRR,% Pin:1985:AMR,% Ramanan:1985:PRA,% Stoss:1989:RRF% }. \NAMECITE{Representations}{% Brandenburg:1987:RLF,% DiBattista:1988:APR,% Kreitz:1985:TR,% Yamasaki:1989:LTR% }. \NAMECITE{required}{% Parberry:1987:TRS% }. \NAMECITE{residue}{% Scheuing:1986:DLA% }. \NAMECITE{Resolution}{% Buss:1988:RPG,% Ait-Kaci:1986:ASA,% Bosco:1988:NVS,% Enjalbert:1989:MRC,% Haken:1985:IR,% Linial:1985:DHC% }. \NAMECITE{restricted}{% Arvind:1989:SBR% }. \NAMECITE{restriction}{% PinoPerez:1989:DRE% }. \NAMECITE{Restructuring}{% Abiteboul:1988:RHD% }. \NAMECITE{result}{% Salomaa:1988:PRC% }. \NAMECITE{results}{% Hardin:1989:CRP,% Kirschenhofer:1988:FRD,% Narendran:1985:CRC% }. \NAMECITE{retrieval}{% Italiano:1986:AEP% }. \NAMECITE{Reversal}{% Hromkovic:1987:RBN,% Liskiewicz:1987:RBA,% Rytter:1985:CRB% }. \NAMECITE{Reversal-bounded}{% Hromkovic:1987:RBN,% Rytter:1985:CRB% }. \NAMECITE{revisited}{% Stoughton:1988:SR% }. \NAMECITE{rewrite}{% Kirchner:1989:SIS,% vandenBroek:1988:CTG% }. \NAMECITE{Rewriting}{% Kaplan:1988:RNC,% Bachmair:1989:CRM,% Baeten:1989:TRS,% Bauer:1985:LRS,% Choppy:1989:CAT,% Courcelle:1987:ADC,% Hardin:1986:PTR,% Kennaway:1987:GR,% Kennaway:1988:GR,% Madlener:1989:ADP,% Metivier:1985:CLR,% Narendran:1986:PCE,% Otto:1989:DCF,% Oyamaguchi:1987:CRP,% Thatte:1988:IFO,% Velinov:1988:ASD,% Yokouchi:1989:CRT% }. \NAMECITE{right}{% Ehrenfeucht:1986:AFU% }. \NAMECITE{right-boundary}{% Ehrenfeucht:1986:AFU% }. \NAMECITE{ring}{% Attiya:1987:LCS,% Marchetti-Spaccamela:1987:NPE% }. \NAMECITE{rings}{% Scheuing:1986:DLA% }. \NAMECITE{Robust}{% Schoning:1985:RAD,% Ko:1987:HRO% }. \NAMECITE{Rosser}{% Narendran:1989:SPT,% Xin:1989:EAD,% Bunder:1985:EKC,% Kapur:1985:ATC,% Kapur:1985:CRP,% Oyamaguchi:1987:CRP,% Squier:1987:USC,% Yokouchi:1989:CRT% }. \NAMECITE{rotation}{% Ito:1989:DTD% }. \NAMECITE{rotations}{% Hellekalek:1989:WSS% }. \NAMECITE{routing}{% Peleg:1987:GPR% }. \NAMECITE{rule}{% Baeten:1987:CKF,% Baeten:1989:TRS% }. \NAMECITE{rules}{% Kirchner:1989:SIS% }. \NAMECITE{safe}{% Hankin:1988:SAP% }. \NAMECITE{{Sardinas}}{% Van:1985:CCS% }. \NAMECITE{{Sardinas-Patterson}}{% Van:1985:CCS% }. \NAMECITE{Satisfiability}{% Mundici:1987:SMV,% Arvind:1989:SBR% }. \NAMECITE{satisfy}{% Ginsburg:1985:CTS% }. \NAMECITE{Satz}{% Staiger:1988:SEU% }. \NAMECITE{{SCCS}}{% deSimone:1985:HLS% }. \NAMECITE{scheduling}{% Gonczarowski:1985:AST,% Gonczarowski:1986:MDF,% Robert:1989:OSA% }. \NAMECITE{Schematization}{% Kirchner:1989:SIS% }. \NAMECITE{scheme}{% Ausiello:1985:EAV,% RonchiDellaRocca:1988:PTS% }. \NAMECITE{schemes}{% Chan:1988:DAB,% Courcelle:1986:ETR,% FrutosEscrig:1987:PIS,% Peleg:1987:CPS% }. \NAMECITE{Sci}{% Chrobak:2003:EFA% }. \NAMECITE{science}{% Gruska:1988:ISM,% Anonymous:1985:TCF% }. \NAMECITE{Scott}{% Pasztor:1986:SIC% }. \NAMECITE{search}{% Borodin:1988:TBS,% Kirschenhofer:1988:FRD,% Levcopoulos:1989:HOB,% Maon:1986:PED,% Pelc:1986:LPS% }. \NAMECITE{Searching}{% Kirousis:1986:SP,% Pelc:1989:SKE,% Pelc:1989:WAC% }. \NAMECITE{second}{% Makowsky:1989:WSO,% Muller:1985:TEP,% Yamasaki:1986:COR% }. \NAMECITE{second-order}{% Muller:1985:TEP,% Yamasaki:1986:COR% }. \NAMECITE{section}{% Duval:1988:GSC% }. \NAMECITE{security}{% Book:1985:SNS% }. \NAMECITE{Selected}{% Ausiello:1988:SPP% }. \NAMECITE{selection}{% Cosnard:1989:CSX% }. \NAMECITE{selective}{% Rozenberg:1985:CSS,% Siromoney:1985:IWO% }. \NAMECITE{Self}{% Parchmann:1986:SEI,% Otto:1986:USE% }. \NAMECITE{Self-embedding}{% Parchmann:1986:SEI,% Otto:1986:USE% }. \NAMECITE{Semantic}{% Orlowska:1986:SAI,% America:1988:DES,% Szalas:1986:CSC% }. \NAMECITE{Semantics}{% Jaffar:1986:SIT,% Ramanujam:1989:SDD,% Ait-Kaci:1986:ASA,% Avron:1988:SPT,% Back:1985:STS,% Berghammer:1986:RAS,% Dowling:1986:CSF,% Fauconnier:1987:ASI,% Josephs:1989:SLF,% Marek:1988:NSM,% Nielson:1988:TLS,% Nielson:1989:TLS,% Shepherdson:1989:SCS,% Yamasaki:1987:FSH,% deBakker:1987:ISF% }. \NAMECITE{Semi}{% Hung:1989:SCP,% Paun:1985:VRC,% Diekert:1986:CST,% Otto:1986:USE% }. \NAMECITE{Semi-commutations}{% Hung:1989:SCP% }. \NAMECITE{semi-conditional}{% Paun:1985:VRC% }. \NAMECITE{{semi-Thue}}{% Diekert:1986:CST,% Otto:1986:USE% }. \NAMECITE{semicomputable}{% Bergstra:1987:ASC% }. \NAMECITE{semifunctors}{% Hayashi:1985:ASC% }. \NAMECITE{semigroup}{% Parberry:1987:TRS% }. \NAMECITE{Semigroups}{% Straubing:1988:SLD,% Hashiguchi:1986:NFG,% deLuca:1989:SCP% }. \NAMECITE{semilattices}{% Adamek:1986:CS% }. \NAMECITE{semilinear}{% Ayers:1985:DAS,% Brandenburg:1987:CDA,% KleineBuning:1989:PVA% }. \NAMECITE{semiring}{% Abdali:1985:TCR% }. \NAMECITE{sensitive}{% Ayers:1985:DAS,% Brandenburg:1987:CDA,% Okawa:1986:IHC% }. \NAMECITE{sentences}{% Yamasaki:1987:FSH% }. \NAMECITE{sentential}{% Mundici:1987:SMV% }. \NAMECITE{separating}{% Gafni:1989:SEC% }. \NAMECITE{sequence}{% Allouche:1989:SRF,% deLuca:1989:SCP% }. \NAMECITE{sequences}{% Angluin:1989:TS,% Bleuzen-Guernalec:1989:PCR,% Imori:1985:PCS,% Jerrum:1985:CFM,% Ko:1986:NIP,% Mosse:1989:QAS,% Pelin:1987:BEC,% Pettorossi:1987:DEP,% Shallit:1988:GAS% }. \NAMECITE{Sequential}{% Best:1987:SCB,% Tchuente:1986:SSP,% Felleisen:1987:STS,% Felleisen:1989:STS,% Fogelman-Soulie:1985:PSC,% Janicki:1985:TSS,% Reed:1988:TMC% }. \NAMECITE{serializability}{% Fle:1985:MSI% }. \NAMECITE{series}{% Kuich:1988:MSP,% Ritzmann:1986:FNA,% Thibon:1985:IAF% }. \NAMECITE{server}{% Gelenbe:1987:SDF% }. \NAMECITE{Set}{% Atzeni:1988:SCI,% Beeson:1988:TCS,% Bertolazzi:1987:MAR,% Gambosi:1989:WCA,% He:1988:NOP,% Kurtz:1987:PDA,% Megiddo:1988:FMD,% Muller:1987:NCS% }. \NAMECITE{set-covering}{% Bertolazzi:1987:MAR% }. \NAMECITE{set-union}{% Gambosi:1989:WCA% }. \NAMECITE{sets}{% Albert:1986:TSF,% Ambos-Spies:1987:DPT,% Brandenburg:1987:RLF,% Bruyere:1988:AQA,% Cole:1987:PPS,% DeFelice:1988:FBS,% Edelsbrunner:1985:FTS,% Fages:1986:CSU,% Gallier:1989:CST,% Head:1986:RSI,% Homer:1986:SCS,% Joseph:1985:SRW,% Kirchner:1989:SIS,% KleineBuning:1989:PVA,% Marek:1986:ASE,% Ruohonen:1985:EMS,% Statman:1989:SSC,% Van:1985:CCS,% Yamasaki:1987:FSH,% deLuca:1986:SFS,% vanGucht:1988:IFM% }. \NAMECITE{shift}{% Etzion:1986:AGS,% Scheuing:1986:DLA% }. \NAMECITE{shift-register}{% Etzion:1986:AGS% }. \NAMECITE{shift-registers}{% Scheuing:1986:DLA% }. \NAMECITE{shortest}{% Edelsbrunner:1989:TNC,% Tarhio:1988:GAA% }. \NAMECITE{shuffle}{% Berard:1987:LSF,% Jantzen:1985:ERE% }. \NAMECITE{shuffles}{% Spehner:1986:RCS% }. \NAMECITE{{Simon}}{% Finkel:1985:GTH% }. \NAMECITE{simple}{% Chang:1989:ESS,% Edelsbrunner:1985:FTS,% Hajek:1986:SDL,% Hansel:1986:DSP,% Homer:1986:SCS,% Johnson:1986:SPT,% Matsuno:1985:ASM,% Sain:1985:SPC% }. \NAMECITE{Simulating}{% MeyerAufDerHeide:1985:SPD% }. \NAMECITE{simulation}{% Seger:1988:OTS,% Tchuente:1986:SSP% }. \NAMECITE{simulations}{% Chang:1989:ESS,% Dunne:1989:MSN% }. \NAMECITE{Simultaneous}{% Iwata:1987:SPT,% Lange:1985:RWS,% Parberry:1987:TRS% }. \NAMECITE{single}{% Gelenbe:1987:SDF,% Paige:1985:LTS% }. \NAMECITE{single-server}{% Gelenbe:1987:SDF% }. \NAMECITE{six}{% Mazoyer:1987:SSM% }. \NAMECITE{six-state}{% Mazoyer:1987:SSM% }. \NAMECITE{size}{% Fagin:1985:BDP,% Inoue:1989:LSH,% Meinel:1988:PNP,% Wyrostek:1986:SUC% }. \NAMECITE{skew}{% Hellekalek:1989:WSS% }. \NAMECITE{Skolem}{% Hansel:1986:DSP% }. \NAMECITE{Skolem-Mahler-Lech}{% Hansel:1986:DSP% }. \NAMECITE{{SLD}}{% Bosco:1988:NVS% }. \NAMECITE{{SLD}-resolution}{% Bosco:1988:NVS% }. \NAMECITE{slice}{% Dunne:1986:CCS,% Wegener:1985:CSF,% Wegener:1986:MCS% }. \NAMECITE{slowly}{% Plaisted:1985:CDP% }. \NAMECITE{small}{% Inoue:1985:ALT% }. \NAMECITE{smallest}{% Blumer:1985:SAR% }. \NAMECITE{{Smyth}}{% Meyer:1988:ACS% }. \NAMECITE{snapshots}{% Bouge:1987:RSD% }. \NAMECITE{sofic}{% Blanchard:1989:CSS,% Restivo:1989:FGS% }. \NAMECITE{Software}{% Anonymous:1985:TCF,% Levi:1988:IJC% }. \NAMECITE{solution}{% Mazoyer:1987:SSM,% Paige:1985:LTS% }. \NAMECITE{solutions}{% Akyildiz:1989:ESO,% Leiss:1986:GLE,% Statman:1989:SSC,% Valiant:1986:NED% }. \NAMECITE{Solving}{% Guibas:1987:SRT,% Kannan:1985:SSL,% Leiss:1985:SSE,% Parrow:1989:SCE,% Paul:1986:SEP% }. \NAMECITE{Some}{% Howell:1986:SCB,% Joseph:1985:SRW,% Narendran:1989:SPT,% RodriguezArtalejo:1985:SQA,% Tiuryn:1988:SRB,% Wagner:1986:SOC,% deLuca:1989:SCP,% Arvind:1989:SBR,% Cori:1985:RSS,% Diekert:1986:SVE,% Dieu:1986:APT,% Duboc:1986:SEF,% Gibbons:1986:DSP,% Ko:1985:SNC,% Korach:1989:OLB,% Mosse:1989:QAS,% Priese:1985:FDM,% Rytter:1988:EPC,% Stern:1985:CSC,% Wagner:1987:MCQ% }. \NAMECITE{sort}{% Huang:1986:APT% }. \NAMECITE{sorting}{% Dietzfelbinger:1989:LBS,% Johnson:1986:SPT,% Marberg:1987:DSA% }. \NAMECITE{sound}{% Shepherdson:1989:SCS% }. \NAMECITE{space}{% Chang:1989:ESS,% Inoue:1985:ALT,% Iwata:1987:SPT,% Johnson:1986:SPT,% Karchmer:1986:TTS,% Vyskoc:1987:TSA% }. \NAMECITE{space-bounded}{% Chang:1989:ESS% }. \NAMECITE{spanning}{% Varman:1988:EPA% }. \NAMECITE{sparse}{% Kruskal:1989:TPM% }. \NAMECITE{special}{% Du:1989:ISC,% Kapur:1985:CRP,% Squier:1987:USC,% vonzurGathen:1987:FPP% }. \NAMECITE{specifiability}{% Hull:1985:NFS% }. \NAMECITE{Specification}{% Suzuki:1986:SVD,% Bloom:1989:ELC,% Broy:1988:ESP,% Kaplan:1989:ASC% }. \NAMECITE{specifications}{% Bergstra:1987:ASC,% Heering:1986:PEO,% Orejas:1987:CPC,% Oyamaguchi:1985:DTE,% Stark:1988:PEB,% Wirsing:1986:SAS% }. \NAMECITE{specified}{% Petuaud:1989:ETS% }. \NAMECITE{specifi{\'e}s}{% Petuaud:1989:ETS% }. \NAMECITE{spectral}{% Mosse:1989:QAS% }. \NAMECITE{Speeding}{% Galil:1989:SDP% }. \NAMECITE{Split}{% Lakshmanan:1988:SFM% }. \NAMECITE{Split-freedom}{% Lakshmanan:1988:SFM% }. \NAMECITE{squad}{% Mazoyer:1987:SSM% }. \NAMECITE{square}{% Main:1987:AIS% }. \NAMECITE{square-free}{% Main:1987:AIS% }. \NAMECITE{st}{% Maon:1986:PED% }. \NAMECITE{st-numbering}{% Maon:1986:PED% }. \NAMECITE{Stable}{% Livesey:1989:SFB% }. \NAMECITE{stacks}{% Brandenburg:1988:ISQ% }. \NAMECITE{stamp}{% Book:1985:SNS% }. \NAMECITE{{Stanley}}{% Hirose:1985:CSH% }. \NAMECITE{Star}{% deLuca:1986:SFS,% Leiss:1985:SSE% }. \NAMECITE{Star-free}{% deLuca:1986:SFS% }. \NAMECITE{state}{% Felleisen:1989:STS,% Grzymala-Busse:1986:CSI,% Lehmann:1987:UMC,% Mazoyer:1987:SSM,% Rosier:1988:CDF,% Stark:1988:PEB% }. \NAMECITE{state-independent}{% Grzymala-Busse:1986:CSI% }. \NAMECITE{states}{% Howell:1986:SCB,% Inoue:1985:ALT% }. \NAMECITE{Stationary}{% Gelenbe:1987:SDF% }. \NAMECITE{Statistic}{% Kraaikamp:1989:SEP% }. \NAMECITE{{Steiner}}{% Muller:1987:NCS% }. \NAMECITE{step}{% Sekimoto:1988:OSR% }. \NAMECITE{stochastic}{% Kanaoka:1985:HDS% }. \NAMECITE{storage}{% Vogel:1985:TWA% }. \NAMECITE{strategies}{% Swart:1989:IS% }. \NAMECITE{streams}{% Meyer:1988:ACS,% deBakker:1987:ISF% }. \NAMECITE{strict}{% Tomita:1989:DBA% }. \NAMECITE{strictly}{% Imori:1985:PCS% }. \NAMECITE{string}{% Galil:1987:PSM,% Landau:1986:ESM,% Madlener:1989:ADP,% Otto:1989:DCF% }. \NAMECITE{string-rewriting}{% Madlener:1989:ADP,% Otto:1989:DCF% }. \NAMECITE{strings}{% Eilam-Tzoreff:1988:MPS,% Head:1986:RSI% }. \NAMECITE{strong}{% Hardin:1989:CRP% }. \NAMECITE{Structural}{% Saito:1989:SBE% }. \NAMECITE{structure}{% Book:1988:SGC,% Iliopoulos:1988:CCA,% Italiano:1986:AEP,% Kobayashi:1985:SOT,% Kruskal:1986:UTI,% Schmidt:1985:RTS,% Velinov:1988:ASD% }. \NAMECITE{Structured}{% Wirsing:1986:SAS,% Fenton:1985:GMT% }. \NAMECITE{structures}{% Browne:1988:CFK,% Droste:1989:ESD,% Ginzburg:1985:RSS,% Hayashi:1985:ASC,% Huang:1985:IFS,% Jerrum:1986:RGC,% Louchard:1987:RWG% }. \NAMECITE{study}{% Pecuchet:1988:ESP% }. \NAMECITE{subalgebras}{% Demel:1985:FAC% }. \NAMECITE{subclass}{% Memmi:1985:IFN,% Meznik:1988:SIR% }. \NAMECITE{Subclasses}{% Gradel:1988:SPA% }. \NAMECITE{subfamily}{% Ayers:1985:DAS,% Brandenburg:1987:CDA% }. \NAMECITE{Subgraph}{% Lingas:1989:SIB,% Asano:1985:ASH,% Lingas:1989:PCS% }. \NAMECITE{subject}{% Eilam-Tzoreff:1988:MPS% }. \NAMECITE{Submodule}{% Parrow:1989:SCE% }. \NAMECITE{submonoids}{% Staiger:1988:SEU% }. \NAMECITE{subset}{% Gohon:1985:ADW% }. \NAMECITE{subsets}{% Cori:1985:RSS,% Gibbons:1986:DSP,% Metivier:1988:RSF% }. \NAMECITE{{SUBST}}{% Hardin:1986:PTR% }. \NAMECITE{Substitution}{% Stoughton:1988:SR,% Nishida:1987:RWS,% Siromoney:1985:IWO,% Yamasaki:1987:FSH% }. \NAMECITE{substitutions}{% Albert:1986:TSF,% Dumont:1989:SNR,% Rozenberg:1985:CSS,% Salomaa:1986:PKC% }. \NAMECITE{subsystems}{% Hardin:1989:CRP% }. \NAMECITE{subtrees}{% Dekking:1989:POL% }. \NAMECITE{Subword}{% Dare:1986:ST,% Mignosi:1989:IWL% }. \NAMECITE{subwords}{% Blumer:1985:SAR% }. \NAMECITE{Succinct}{% Leiss:1985:SRR% }. \NAMECITE{sufficient}{% Tomita:1985:WSC% }. \NAMECITE{suitability}{% Back:1985:STS% }. \NAMECITE{sum}{% Parberry:1987:TRS% }. \NAMECITE{sums}{% Dietzfelbinger:1989:LBS,% Hellekalek:1989:WSS% }. \NAMECITE{superposition}{% Fribourg:1985:SOT% }. \NAMECITE{superstrings}{% Tarhio:1988:GAA% }. \NAMECITE{sups}{% Pasztor:1986:SIC% }. \NAMECITE{syllogisms}{% Atzeni:1988:SCI% }. \NAMECITE{symbolic}{% Blanchard:1989:BES% }. \NAMECITE{symmetric}{% Fagin:1985:BDP,% Heintz:1986:PSG% }. \NAMECITE{symposium}{% Gruska:1988:ISM% }. \NAMECITE{synchronising}{% deSimone:1985:HLS% }. \NAMECITE{synchronization}{% Ginzburg:1985:RSS,% Mazoyer:1987:SSM,% Rosier:1986:BEC% }. \NAMECITE{synchronizing}{% Carpi:1988:SUA% }. \NAMECITE{synchronous}{% Attiya:1987:LCS,% Bouge:1987:RSD,% Galil:1987:DAS% }. \NAMECITE{syntactic}{% Arnold:1985:SCR,% Felleisen:1987:STS,% Felleisen:1989:STS,% Pecuchet:1988:ESP% }. \NAMECITE{syntax}{% Troelstra:1987:SML% }. \NAMECITE{syntaxique}{% Pecuchet:1988:ESP% }. \NAMECITE{Synthesis}{% Lisper:1988:SEC,% Bohm:1985:AST,% Brazma:1986:GRE% }. \NAMECITE{system}{% Beeson:1988:TCS,% Girard:1986:SFV,% Gutbrod:1989:TSG,% Hardin:1986:PTR,% Kapur:1985:FTS,% KleineBuning:1989:PVA,% Martino:1988:QIG,% Sado:1987:FEC,% Xin:1989:EAD,% Yokouchi:1989:CRT% }. \NAMECITE{Syst{\'e}mes}{% Dumont:1989:SNR,% Petuaud:1989:ETS% }. \NAMECITE{systems}{% Aalbersberg:1985:CSP,% Baeten:1989:TRS,% Bartha:1987:EAS,% Bauer:1985:LRS,% Beeri:1985:FSJ,% Blanchard:1986:CS,% Blanchard:1989:CSS,% Bouge:1987:RSD,% Burkhard:1985:ICC,% Choppy:1989:CAT,% Courcelle:1986:ETR,% Dicky:1986:AAM,% Diekert:1986:CST,% Gallier:1985:RTR,% Head:1985:CPH,% Head:1986:RSI,% Hesselink:1988:DFM,% Howell:1986:SCB,% Janicki:1985:TSS,% Janicki:1986:CMC,% Kanaoka:1985:HDS,% Kannan:1985:SSL,% Kaplan:1989:ASC,% Kapur:1985:ATC,% Kapur:1985:CRP,% Kuich:1988:MSP,% Lange:1985:RWS,% Lisper:1988:SEC,% Madlener:1989:ADP,% Makowsky:1989:WSO,% Mazurkiewicz:1989:CSI,% Narendran:1986:EPR,% Narendran:1986:PCE,% Narendran:1989:SPT,% Otto:1986:USE,% Otto:1989:DCF,% Oyamaguchi:1987:CRP,% Petuaud:1989:ETS,% Restivo:1989:FGS,% Spehner:1985:ESE,% Stark:1989:CTS,% Stirling:1987:MLC,% Thatte:1988:IFO,% Urquhart:1989:CGS,% Velinov:1988:ASD,% vandenBroek:1988:CTG,% Anonymous:1989:CAC,% Dumont:1989:SNR,% Liardet:1989:CAC% }. \NAMECITE{systems-applications}{% Courcelle:1986:ETR% }. \NAMECITE{systolic}{% Bartha:1987:EAS,% Culik:1985:TTT,% Fachini:1988:CTS% }. \NAMECITE{{T0L}}{% Lange:1985:RWS% }. \NAMECITE{tables}{% Ginsburg:1985:CTS% }. \NAMECITE{tape}{% Kobayashi:1985:SOT% }. \NAMECITE{{TAPSOFT}}{% Levi:1988:IJC% }. \NAMECITE{Techniques}{% Kruskal:1989:TPM,% Gonczarowski:1986:MDF% }. \NAMECITE{Technology}{% Anonymous:1985:TCF% }. \NAMECITE{Temporal}{% Browne:1988:CFK,% Abadi:1989:PTP,% Howell:1989:PCF,% Mishra:1985:HVA,% Sistla:1987:CPB,% Szalas:1986:CSC,% Szalas:1987:CAC,% Szalas:1988:IFO% }. \NAMECITE{temps}{% Spehner:1988:RFL% }. \NAMECITE{tensors}{% Lehmkuhl:1989:OAA% }. \NAMECITE{Term}{% Baeten:1989:TRS,% Bohm:1985:AST,% Choppy:1989:CAT,% Oyamaguchi:1987:CRP% }. \NAMECITE{Term-rewriting}{% Baeten:1989:TRS,% Choppy:1989:CAT,% Oyamaguchi:1987:CRP% }. \NAMECITE{termination}{% Hardin:1986:PTR,% Rosier:1988:CDF,% Tiomkin:1989:PTV% }. \NAMECITE{terms}{% Hindley:1989:BCL,% Huckenbeck:1989:EGT,% Sekimoto:1988:OSR,% Statman:1986:ECP% }. \NAMECITE{ternary}{% Seger:1988:OTS% }. \NAMECITE{tessellation}{% Ito:1989:DTD% }. \NAMECITE{Test}{% Albert:1986:TSF% }. \NAMECITE{Testing}{% Edelsbrunner:1989:TNC,% Rosenkrantz:1985:TGC,% Abramsky:1987:OET,% Bouge:1985:CTP,% Kapur:1985:ATC,% Phillips:1987:RT% }. \NAMECITE{tests}{% Benoit:1985:AT% }. \NAMECITE{text}{% Blumer:1985:SAR,% Spehner:1986:OFG,% Spehner:1988:RFL% }. \NAMECITE{texte}{% Spehner:1988:RFL% }. \NAMECITE{their}{% Bouge:1987:RSD,% Ibarra:1988:RPC,% Jensen:1987:RDD,% Jukna:1988:ECC,% Peleg:1987:CPS% }. \NAMECITE{theorem}{% Alon:1989:NTB,% Beauquier:1987:NCT,% Fribourg:1985:SOT,% Hansel:1986:DSP,% Hsiang:1987:AIT,% Karloff:1989:NAB,% Staiger:1988:SEU,% Van:1985:CCS,% Yokouchi:1989:CRT% }. \NAMECITE{theorems}{% Duchamp:1988:TTP,% Finkel:1985:GTH% }. \NAMECITE{Theoret}{% Chrobak:2003:EFA% }. \NAMECITE{theoretic}{% Schmidt:1985:RTS,% Stirling:1985:PTC% }. \NAMECITE{Theoretical}{% Anonymous:1985:TCF,% Yamasaki:1989:LTR% }. \NAMECITE{theories}{% Danko:1986:FOA,% Fages:1986:CSU,% Paul:1986:SEP,% Pelz:1985:CTP,% Stefanescu:1987:FTI,% Troelstra:1987:SML% }. \NAMECITE{Theory}{% Aalbersberg:1988:TT,% Kreitz:1985:TR,% Ausiello:1988:SPP,% Avron:1988:SPT,% Beeson:1988:TCS,% Best:1987:SCB,% Bouge:1985:CTP,% Broy:1986:TNP,% Bunder:1985:PFE,% Cockett:1987:DDT,% Felleisen:1987:STS,% Felleisen:1989:STS,% Fenton:1985:GMT,% Gischer:1988:ETP,% Gonczarowski:1985:AST,% Hagiya:1989:GPP,% Hennessy:1987:ATF,% Huckenbeck:1989:EGT,% Kruskal:1986:UTI,% Lakshmanan:1987:ATF,% Levi:1988:IJC,% Lynch:1988:ITN,% Meyer:1986:MRP,% Muller:1985:TEP,% NaitAbdallah:1989:LAA,% PinoPerez:1989:DRE,% Priese:1987:IRT,% Rozenberg:1985:CSS,% Tiuryn:1988:SRB,% Tretkoff:1988:CCG,% Weihrauch:1985:TRT% }. \NAMECITE{thinning}{% Ronse:1986:TCT% }. \NAMECITE{{Third}}{% Anonymous:1985:TCF% }. \NAMECITE{{Thirteenth}}{% Kott:1988:TIC% }. \NAMECITE{three}{% Guibas:1987:SRT,% Karhumaki:1985:PTE,% Karhumaki:1985:TEC% }. \NAMECITE{three-dimensional}{% Guibas:1987:SRT% }. \NAMECITE{three-element}{% Karhumaki:1985:PTE,% Karhumaki:1985:TEC% }. \NAMECITE{{Thue}}{% Diekert:1986:CST,% Kapur:1985:ATC,% Kapur:1985:CRP,% Kapur:1985:FTS,% Narendran:1986:EPR,% Narendran:1989:SPT,% Otto:1986:USE,% Xin:1989:EAD,% deLuca:1989:SCP% }. \NAMECITE{time}{% Ambos-Spies:1987:DPT,% Bleuzen-Guernalec:1989:PCR,% Borodin:1988:TBS,% Chang:1989:ESS,% Culik:1986:RTP,% Dieu:1986:APT,% Gradel:1988:SPA,% Guibas:1987:SRT,% Igarashi:1985:PLR,% Iwata:1987:SPT,% Johnson:1986:SPT,% Karchmer:1986:TTS,% Ko:1986:OWF,% Kobayashi:1985:PTC,% Kobayashi:1985:SOT,% Kraus:1988:KBT,% Lingas:1989:SIB,% Mazoyer:1987:SSM,% Narendran:1989:SPT,% Paige:1985:LTS,% Parberry:1987:TRS,% Sado:1987:FEC,% Schnorr:1987:HPT,% Spehner:1988:RFL,% Szalas:1987:CAC,% Tomita:1989:DBA,% Vyskoc:1987:TSA,% Watanabe:1985:OOP,% Watanabe:1987:CPT% }. \NAMECITE{time-bounded}{% Chang:1989:ESS% }. \NAMECITE{time-space}{% Johnson:1986:SPT,% Karchmer:1986:TTS% }. \NAMECITE{timed}{% Reed:1988:TMC% }. \NAMECITE{{TMs}}{% Chang:1989:ESS% }. \NAMECITE{tokens}{% Reisig:1985:PNI% }. \NAMECITE{tool}{% Culik:1985:TTT% }. \NAMECITE{Topological}{% Culik:1985:TTT,% Moriya:1987:TCI,% Ronse:1986:TCT,% Petuaud:1989:ETS% }. \NAMECITE{topologique}{% Petuaud:1989:ETS% }. \NAMECITE{topology}{% Dare:1986:ST% }. \NAMECITE{{TOPOS}}{% Sato:1989:CBC% }. \NAMECITE{Total}{% Sain:1987:TCN,% Bucher:1985:TRG% }. \NAMECITE{tournament}{% Megiddo:1988:FMD% }. \NAMECITE{tours}{% Edelsbrunner:1989:TNC% }. \NAMECITE{trace}{% Back:1985:STS,% Huang:1986:APT,% Kalorkoti:1988:TIM,% Sakarovitch:1987:RTL% }. \NAMECITE{traces}{% Aalbersberg:1988:TT% }. \NAMECITE{tractable}{% Leiss:1985:CTU% }. \NAMECITE{trade}{% Johnson:1986:SPT% }. \NAMECITE{trade-off}{% Johnson:1986:SPT% }. \NAMECITE{tradeoff}{% Borodin:1988:TBS% }. \NAMECITE{Tradeoffs}{% Hromkovic:1989:TLR,% Karchmer:1986:TTS% }. \NAMECITE{Training}{% Angluin:1989:TS% }. \NAMECITE{transactions}{% Fle:1985:MSI,% Lynch:1988:ITN% }. \NAMECITE{transducer}{% Engelfriet:1986:PMM% }. \NAMECITE{Transducers}{% Crochemore:1986:TR,% Culik:1986:EFV,% Tomita:1989:DBA% }. \NAMECITE{transductions}{% Ibarra:1985:ERT,% Johnson:1989:UFD,% Maon:1986:BMV,% Pin:1985:AMR% }. \NAMECITE{Transfer}{% Duchamp:1988:TTP% }. \NAMECITE{transform}{% Beth:1987:CCG% }. \NAMECITE{transformation}{% Gutbrod:1989:TSG,% Huang:1986:APT,% Mori:1989:FDP% }. \NAMECITE{transformations}{% Courcelle:1986:ETR,% Culik:1985:TTT,% Eilam-Tzoreff:1988:MPS,% Gallier:1989:CST% }. \NAMECITE{Transforming}{% Janicki:1985:TSS% }. \NAMECITE{transforms}{% Clausen:1989:FGF% }. \NAMECITE{transition}{% Dicky:1986:AAM,% Hesselink:1988:DFM,% Stark:1989:CTS% }. \NAMECITE{Transitive}{% Abdali:1985:TCR,% Beauquier:1989:MAF,% Simon:1988:IAT% }. \NAMECITE{Translation}{% Gardarin:1989:TLP% }. \NAMECITE{transversals}{% Edelsbrunner:1985:FTS% }. \NAMECITE{treatment}{% Wagner:1987:CTP% }. \NAMECITE{tree}{% Dekking:1989:POL,% Duval:1988:GSC,% Engelfriet:1986:PMM,% Esik:1987:RTA,% Fachini:1988:CTS,% Gallier:1985:RTR,% Jaffar:1986:SIT,% Moriya:1987:TCI,% Muller:1987:NCS,% Slutzki:1985:ATA,% Takahashi:1986:GFP% }. \NAMECITE{Trees}{% Anonymous:1987:ECT,% Cazanescu:1985:CFT,% Diks:1985:EBT,% Hodel:1988:ODE,% Huber:1986:RTH,% Kirschenhofer:1988:FRD,% Kirschenhofer:1989:BPP,% Levcopoulos:1989:HOB,% MeyerAufDerHeide:1985:SPD,% Monien:1988:MCN,% Muller:1987:AAI,% Ramanan:1985:PRA,% Saoudi:1986:VAD,% Skarbek:1988:GOT,% Snir:1985:LBP,% Varman:1988:EPA% }. \NAMECITE{triadic}{% Lehmkuhl:1989:OAA% }. \NAMECITE{triangulation}{% Levcopoulos:1989:HOB% }. \NAMECITE{{Tucker}}{% Marongiu:1989:CBT% }. \NAMECITE{{Turing}}{% Inoue:1985:ALT,% Inoue:1989:LSH,% Kobayashi:1985:SOT,% Lindsay:1986:AOT,% Liskiewicz:1987:RBA% }. \NAMECITE{{Twelfth}}{% Anonymous:1987:TIC% }. \NAMECITE{Two}{% Ibarra:1988:TDI,% Karchmer:1986:TTS,% Latteux:1986:TCR,% Nielson:1988:TLS,% Nielson:1989:TLS,% Pecuchet:1985:TWF,% Vogel:1985:TWA,% Averbuch:1988:CAM,% Barbin-LeRest:1985:CTW,% Birget:1989:CIT,% Book:1985:VTA,% Dahlhaus:1985:CTA,% Geffert:1988:RRE,% Guibas:1987:SRT,% Imori:1985:PCS,% Inoue:1989:LSH,% Ito:1989:DTD,% Schmidt:1989:APT,% Spehner:1986:RCS,% Straubing:1988:SLD,% Tomita:1989:DBA,% Weil:1989:IMD,% vandenBroek:1988:CTG% }. \NAMECITE{two-}{% Guibas:1987:SRT% }. \NAMECITE{two-adjacent}{% Dahlhaus:1985:CTA% }. \NAMECITE{Two-dimensional}{% Ibarra:1988:TDI,% Inoue:1989:LSH,% Ito:1989:DTD% }. \NAMECITE{Two-level}{% Nielson:1988:TLS,% Nielson:1989:TLS% }. \NAMECITE{two-party}{% Book:1985:VTA% }. \NAMECITE{Two-way}{% Pecuchet:1985:TWF,% Vogel:1985:TWA,% Birget:1989:CIT,% Ito:1989:DTD% }. \NAMECITE{two-word}{% Barbin-LeRest:1985:CTW% }. \NAMECITE{Type}{% Weihrauch:1985:TRT,% Ait-Kaci:1986:ASA,% Bloom:1989:ELC,% Bunder:1985:PFE,% Dezani-Ciancaglini:1986:CFC,% Gray:1987:CAD,% Hagiya:1989:GPP,% Lindsay:1986:AOT,% Longo:1986:CHT,% Oyamaguchi:1985:DTE,% Parchmann:1987:GDM,% RonchiDellaRocca:1988:PTS,% Troelstra:1987:SML% }. \NAMECITE{type-0}{% Parchmann:1987:GDM% }. \NAMECITE{typed}{% Bohm:1985:AST,% Solitro:1989:TCB,% Zaionc:1987:WOD% }. \NAMECITE{types}{% Bergstra:1987:ASC,% Bernot:1986:ADT,% Girard:1986:SFV,% Hindley:1989:BCL,% Longo:1986:CHT,% Mahaney:1985:RAP,% Wagner:1987:CCP% }. \NAMECITE{Typing}{% Leivant:1986:TCP% }. \NAMECITE{unambiguous}{% Carpi:1987:URM,% Carpi:1988:SUA,% Wyrostek:1986:SUC% }. \NAMECITE{Unary}{% Chrobak:2003:EFA,% Chrobak:1986:FAU% }. \NAMECITE{unbounded}{% Hesselink:1988:IRU% }. \NAMECITE{undecidability}{% Otto:1986:USE% }. \NAMECITE{undecidable}{% Schmidt-Schauss:1988:ICU% }. \NAMECITE{Unification}{% Baader:1988:UCI,% Gallier:1989:CST,% RonchiDellaRocca:1988:PTS,% Staples:1988:DUA% }. \NAMECITE{unified}{% Johnson:1989:UFD,% Kruskal:1986:UTI,% Rozenberg:1985:CSS% }. \NAMECITE{unifiers}{% Fages:1986:CSU% }. \NAMECITE{uniform}{% Jerrum:1986:RGC,% deBakker:1987:ISF% }. \NAMECITE{union}{% Gambosi:1989:WCA% }. \NAMECITE{unique}{% Valiant:1986:NED% }. \NAMECITE{Units}{% Squier:1987:USC% }. \NAMECITE{universal}{% Belaga:1987:CUA,% Inoue:1985:ALT,% Lehmann:1987:UMC% }. \NAMECITE{universe}{% Broy:1985:HKU% }. \NAMECITE{unrepetitive}{% Carpi:1988:MUC% }. \NAMECITE{unrestricted}{% Leiss:1985:CTU% }. \NAMECITE{unsolvable}{% Statman:1986:ECP% }. \NAMECITE{{Untermonoiden}}{% Staiger:1988:SEU% }. \NAMECITE{until}{% Szalas:1988:IFO% }. \NAMECITE{update}{% Borodin:1988:TBS% }. \NAMECITE{updating}{% Varman:1988:EPA% }. \NAMECITE{use}{% Ehrenfeucht:1986:AFU% }. \NAMECITE{using}{% Hsiang:1987:AIT,% Mishra:1985:HVA% }. \NAMECITE{utilized}{% Plaisted:1985:CDP% }. \NAMECITE{valued}{% Culik:1986:EFV,% Maon:1986:BMV,% Mundici:1987:SMV% }. \NAMECITE{variable}{% Girard:1986:SFV% }. \NAMECITE{variables}{% Mundici:1989:FCM% }. \NAMECITE{variant}{% Paun:1985:VRC% }. \NAMECITE{variants}{% Diekert:1986:SVE% }. \NAMECITE{Varieties}{% Saoudi:1986:VAD% }. \NAMECITE{various}{% Goldschlager:1986:CPC,% Makowsky:1989:WSO% }. \NAMECITE{vector}{% Howell:1986:SCB,% KleineBuning:1989:PVA,% Santoro:1987:GCV% }. \NAMECITE{verifiability}{% Book:1985:VTA% }. \NAMECITE{verification}{% Alexi:1988:EVP,% Makowsky:1989:WSO,% Mishra:1985:HVA,% Suzuki:1986:SVD% }. \NAMECITE{version}{% Shepherdson:1989:SCS% }. \NAMECITE{versions}{% Arvind:1989:SBR% }. \NAMECITE{versus}{% Tiomkin:1989:PTV% }. \NAMECITE{via}{% Abdali:1985:TCR% }. \NAMECITE{viewpoint}{% Kirschenhofer:1989:BPP% }. \NAMECITE{views}{% Ausiello:1985:EAV% }. \NAMECITE{{VLSI}}{% Hromkovic:1988:ANA% }. \NAMECITE{vs}{% Bosco:1988:NVS% }. \NAMECITE{walks}{% Louchard:1987:RWG% }. \NAMECITE{way}{% Birget:1989:CIT,% Chrobak:1986:HOW,% Ito:1989:DTD,% Ko:1986:OWF,% Pecuchet:1985:TWF,% Vogel:1985:TWA% }. \NAMECITE{Weak}{% Makowsky:1989:WSO% }. \NAMECITE{weaker}{% Tomita:1985:WSC% }. \NAMECITE{Weakly}{% Pelc:1989:WAC% }. \NAMECITE{weight}{% Levcopoulos:1989:HOB% }. \NAMECITE{weighted}{% Monien:1988:MCN,% Venkatesan:1987:AAW% }. \NAMECITE{{Weyl}}{% Hellekalek:1989:WSS% }. \NAMECITE{where}{% Imori:1985:PCS% }. \NAMECITE{whether}{% Gohon:1985:ADW,% Xin:1989:EAD% }. \NAMECITE{which}{% Ayers:1985:DAS,% Brandenburg:1987:CDA,% Heintz:1986:PSG,% Tomita:1989:DBA% }. \NAMECITE{While}{% Mascari:1985:WPN,% Stirling:1988:GOG% }. \NAMECITE{While-programs}{% Mascari:1985:WPN% }. \NAMECITE{width}{% Meinel:1988:PNP% }. \NAMECITE{without}{% Ambos-Spies:1989:RCH,% Hartmanis:1988:CCM,% Kapur:1985:FTS,% Lehmann:1987:UMC% }. \NAMECITE{witness}{% Joseph:1985:SRW% }. \NAMECITE{Word}{% Zaionc:1987:WOD,% Barbin-LeRest:1985:CTW,% Kapur:1985:FTS,% Redziejowski:1986:IWL,% Spehner:1986:OFG,% Weispfenning:1986:CWP% }. \NAMECITE{words}{% Baker:1989:GPA,% Blanchard:1986:DOP,% Bruyere:1988:AQA,% Duval:1988:GSC,% Finkel:1985:GTH,% Kobayashi:1986:RFW,% Lange:1985:RWS,% Mignosi:1989:IWL,% Nishida:1987:RWS,% Pecuchet:1985:TWF,% Pecuchet:1988:ESP,% Siromoney:1985:IWO,% Spehner:1986:RCS% }. \NAMECITE{Worst}{% Gambosi:1989:WCA% }. \NAMECITE{Worst-case}{% Gambosi:1989:WCA% }. \NAMECITE{{WRAMs}}{% Bublitz:1986:PCM% }. \NAMECITE{writes}{% Parberry:1987:TRS% }. \NAMECITE{{X}}{% Cosnard:1989:CSX% }. \NAMECITE{{Yacc}}{% Seite:1987:YEL% }. \NAMECITE{years}{% Girard:1986:SFV% }. \NAMECITE{zeta}{% Honkala:1989:NCR% }.