%%====================================================================== %% 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@suncore.math.utah.edu on Mon Nov 19 08:57:25 MST 2001 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1}~\cite{#2}} \fi \NAMECITE{$(3/2) \log 3$}{% Wan:1997:CAC% }. \NAMECITE{$(\alpha)$}{% Hirokawa:1998:IPP% }. \NAMECITE{$(A \vee B) \Rightarrow C$}{% Gorbunov:1998:CF% }. \NAMECITE{$(q)$}{% Adleman:1999:SAD% }. \NAMECITE{$*$}{% Barr:1995:NAC% }. \NAMECITE{$+$}{% Berline:1997:DSM,% Berline:1999:DSM% }. \NAMECITE{$0$}{% Fernau:1998:RRL,% Harrison:1995:DPP,% Lacoste:1997:LP,% Nishida:1995:QDS,% Nishida:1996:SL,% Salomaa:1996:SEE,% Sengupta:1998:LBM% }. \NAMECITE{$1$}{% Alessi:1998:CDB,% Biran:1995:TBR,% Cheng:1995:CRS,% Lacoste:1997:LP,% Sengupta:1998:LBM% }. \NAMECITE{$101$}{% Gratzer:1999:CL% }. \NAMECITE{$180$}{% Cattaneo:1998:GSS% }. \NAMECITE{$2$}{% Cassaigne:1998:EUP,% Delorme:1999:DPC,% Durand:1995:RNC,% Engelfriet:1996:CCU,% Gu:1999:AAG,% Krause:1997:CPD,% Otto:1998:EUW,% Pelletier:1999:RFD% }. \NAMECITE{$2.5$}{% Arques:1995:FSL% }. \NAMECITE{$2\lambda$}{% Hilken:1996:TPT% }. \NAMECITE{$3$}{% Dattasharma:1995:AVR,% Gao:1997:WSN,% Kullmann:1999:NMS,% Long:1997:SIO,% Malgouyres:1997:DSZ% }. \NAMECITE{$4$}{% Kant:1997:REL% }. \NAMECITE{$=$}{% Arvind:1995:INP% }. \NAMECITE{$^0$}{% Andersson:1999:FTC% }. \NAMECITE{$A^*$}{% Ikeda:1999:EAM% }. \NAMECITE{$\alpha$}{% Chuan:1999:SMA,% Ershov:1997:BCH% }. \NAMECITE{$B_n$}{% Handley:1997:DSM% }. \NAMECITE{$\beta$}{% Jouannaud:1998:ROH% }. \NAMECITE{$\beta=\lambda$}{% Bunder:1996:TTN% }. \NAMECITE{$c\beta$}{% Mezghiche:1997:MR% }. \NAMECITE{$D$}{% Manzini:1999:CEC,% Ershov:1999:S% }. \NAMECITE{$\Delta$}{% Lisitsa:1997:LSL% }. \NAMECITE{$E$}{% Gurevich:1999:MSR,% Juedes:1995:WC,% Voronkov:1999:SRU% }. \NAMECITE{$E_2$}{% Juedes:1995:WC% }. \NAMECITE{$\eta$}{% Jouannaud:1998:ROH% }. \NAMECITE{$F$}{% Takimoto:1997:LOH,% Chen:1995:MDS% }. \NAMECITE{$F_<$}{% Ghelli:1995:DTC% }. \NAMECITE{$F_{q^n}$}{% Gollmann:1999:DBB% }. \NAMECITE{$G$}{% Fourneau:1996:NMC% }. \NAMECITE{$h$}{% Manabe:1998:ASG% }. \NAMECITE{$H(X)$}{% Blanck:1999:EDR% }. \NAMECITE{$K$}{% Lin:1998:CMP,% Bettayeb:1995:AH,% Bodlaender:1998:PAG,% Bollig:1998:HTK,% Carrere:1996:KRA,% Gupta:1996:CSI,% Hasegawa:1995:ALS,% Ikeda:1999:EAM,% Manabe:1998:ASG,% Wada:1998:EAM,% Yu:1998:CCS% }. \NAMECITE{$\kappa$}{% Berline:1997:DSM,% Berline:1999:DSM% }. \NAMECITE{$L_1$}{% Grolmusz:1997:PCG% }. \NAMECITE{$\lambda$}{% Ait-Kaci:1995:LSC,% Berarducci:1999:ICT,% Bierman:1999:CLC,% Castagna:1997:UOA,% Danos:1999:RIO,% David:1997:SPO,% Dezani-Ciancaglini:1996:FMC,% Dufourd:1999:PBN,% Gallier:1995:PPT,% Hagiya:1995:TCP,% Honsell:1999:SAP,% Hoofman:1996:CMI,% Kamareddine:1996:UN,% Tronci:1996:EPCa,% Tronci:1996:EPCb,% Tronci:1996:EPL% }. \NAMECITE{$\lambda^\{\}$}{% Castagna:1997:UOA% }. \NAMECITE{$\lambda\beta$}{% Mezghiche:1997:MR% }. \NAMECITE{$\log_2 n + {\rm O}(1)$}{% Beigel:1998:ASA% }. \NAMECITE{$m$}{% Rote:1997:FSV,% Zimand:1995:TSC% }. \NAMECITE{$\mu$}{% Ambler:1995:DCM,% Arnold:1995:ISC,% Hartonas:1998:DMS,% Levi:1999:CCP,% Niwinski:1996:GC,% Otto:1999:BIP% }. \NAMECITE{$N$}{% Didier:1999:CEA,% Viennot:1997:PFO,% Xue:1998:THT% }. \NAMECITE{$n + c^{\rm ste}$}{% Didier:1999:CEA% }. \NAMECITE{$n+c^{\rm th}$}{% Didier:1999:CEA% }. \NAMECITE{$\not=$}{% Sureson:1995:NCN% }. \NAMECITE{${\rm O}(n)$}{% Xue:1998:THT% }. \NAMECITE{$O(n^5/2)$}{% Lingas:1997:MTP% }. \NAMECITE{$\Omega$}{% Wagner:1997:LCC,% Arnold:1995:TPR,% Maler:1997:SCL,% Mihoubi:1998:CCP,% Peled:1998:AAC,% Selivanov:1998:FHR,% Takahashi:1997:VHR,% Van:1995:CRL% }. \NAMECITE{$P$}{% Hemaspaandra:1996:RCP,% Hemaspaandra:2000:ESC,% Agrawal:1996:QLT,% Koskas:1996:APW,% Zimand:1995:TSC% }. \NAMECITE{$P_4$}{% Giakoumakis:1997:ERE,% Jamison:1995:LTR% }. \NAMECITE{$\pi$}{% Boreale:1998:SCP,% Ferrari:1996:CES,% Sangiorgi:1996:CIM,% Sarkar:1998:MAP% }. \NAMECITE{$P \omega$}{% Drakengren:1998:DCR,% Drakengren:1996:USR% }. \NAMECITE{$r$}{% Schmidt-Schauss:1995:MTC% }. \NAMECITE{$R^q$}{% Zhong:1998:RES% }. \NAMECITE{$S$}{% Sarkar:1998:MAP% }. \NAMECITE{$\sigma$}{% Barua:1996:GGT,% Sarkar:1998:MAP% }. \NAMECITE{$\sigma^+$}{% Barua:1996:GGT% }. \NAMECITE{$\varepsilon$}{% Hasegawa:1995:ALS% }. \NAMECITE{$W[1]$}{% Downey:1995:FPT% }. \NAMECITE{$W[2]$}{% Downey:1998:TDS% }. \NAMECITE{$X$}{% Courcelle:1996:MSO% }. \NAMECITE{$Z/nZ$}{% Chua:1999:ART% }. \NAMECITE{$Z^3$}{% Malgouyres:1996:TNL,% Malgouyres:1997:DSZ% }. \NAMECITE{$Z_m$}{% Manzini:1999:CEC,% Sato:1998:ECL% }. \NAMECITE{$Z_N$}{% Feng:1999:TCC% }. \NAMECITE{-}{% Zimand:1995:TSC% }. \NAMECITE{-abstraction}{% Castagna:1997:UOA% }. \NAMECITE{-adjacent}{% Carrere:1996:KRA% }. \NAMECITE{-approximation}{% Gu:1999:AAG% }. \NAMECITE{-approximations}{% Hasegawa:1995:ALS% }. \NAMECITE{-Arbiter}{% Manabe:1998:ASG% }. \NAMECITE{-arboretum}{% Bodlaender:1998:PAG% }. \NAMECITE{-ary}{% Bettayeb:1995:AH% }. \NAMECITE{-automata}{% Sarkar:1998:MAP% }. \NAMECITE{-autonomous}{% Barr:1995:NAC% }. \NAMECITE{-bisimilar}{% Dufourd:1999:PBN% }. \NAMECITE{-body}{% Xue:1998:THT% }. \NAMECITE{-bounded}{% Alessi:1998:CDB% }. \NAMECITE{-calculi}{% Dezani-Ciancaglini:1996:FMC% }. \NAMECITE{-Calculus}{% Sangiorgi:1996:CIM,% Ait-Kaci:1995:LSC,% Ambler:1995:DCM,% Arnold:1995:ISC,% Berarducci:1999:ICT,% Bierman:1999:CLC,% Boreale:1998:SCP,% Ferrari:1996:CES,% Hagiya:1995:TCP,% Hilken:1996:TPT,% Honsell:1999:SAP,% Hoofman:1996:CMI,% Niwinski:1996:GC,% Tronci:1996:EPCa,% Tronci:1996:EPCb,% Tronci:1996:EPL,% Levi:1999:CCP,% Otto:1999:BIP% }. \NAMECITE{{}-categories}{% Wagner:1997:LCC% }. \NAMECITE{{}-center}{% Lin:1998:CMP% }. \NAMECITE{-chain}{% Yu:1998:CCS% }. \NAMECITE{-competitive}{% Wan:1997:CAC% }. \NAMECITE{-complete}{% Zimand:1995:TSC% }. \NAMECITE{-connected}{% Kant:1997:REL% }. \NAMECITE{-consistent}{% Schmidt-Schauss:1995:MTC% }. \NAMECITE{-denotational}{% Berline:1997:DSM,% Berline:1999:DSM% }. \NAMECITE{-dependent}{% Chen:1995:MDS% }. \NAMECITE{{}-dimensional}{% Manzini:1999:CEC% }. \NAMECITE{{}-{\'e}critures}{% Didier:1999:CEA% }. \NAMECITE{{}-free}{% Viennot:1997:PFO% }. \NAMECITE{-game}{% Barua:1996:GGT% }. \NAMECITE{-generator}{% Cassaigne:1998:EUP% }. \NAMECITE{{-Horn}}{% Takimoto:1997:LOH% }. \NAMECITE{-infix}{% Long:1997:SIO% }. \NAMECITE{-label}{% Hasegawa:1995:ALS% }. \NAMECITE{-languages}{% Arnold:1995:TPR,% Maler:1997:SCL,% Mihoubi:1998:CCP,% Selivanov:1998:FHR,% Van:1995:CRL,% Lisitsa:1997:LSL% }. \NAMECITE{{}-logics}{% Hartonas:1998:DMS% }. \NAMECITE{-long}{% Jouannaud:1998:ROH% }. \NAMECITE{-Machine}{% Mezghiche:1997:MR% }. \NAMECITE{-machines}{% Danos:1999:RIO% }. \NAMECITE{{}-matrices}{% Sarkar:1998:MAP% }. \NAMECITE{{}-median}{% Lin:1998:CMP% }. \NAMECITE{{}-networks}{% Fourneau:1996:NMC% }. \NAMECITE{-normal}{% Jouannaud:1998:ROH% }. \NAMECITE{-notation}{% Kamareddine:1996:UN% }. \NAMECITE{-opt}{% Ikeda:1999:EAM% }. \NAMECITE{-out}{% Manabe:1998:ASG% }. \NAMECITE{-paperfolding}{% Koskas:1996:APW% }. \NAMECITE{-partition}{% Wada:1998:EAM% }. \NAMECITE{-polynomials}{% Sarkar:1998:MAP% }. \NAMECITE{{}-reducible}{% Giakoumakis:1997:ERE,% Jamison:1995:LTR% }. \NAMECITE{-reduction}{% Mezghiche:1997:MR% }. \NAMECITE{-regular}{% Peled:1998:AAC,% Takahashi:1997:VHR% }. \NAMECITE{-safe}{% Cheng:1995:CRS% }. \NAMECITE{-{SAT}}{% Kullmann:1999:NMS% }. \NAMECITE{-selective}{% Agrawal:1996:QLT,% Hemaspaandra:2000:ESC,% Hemaspaandra:1996:RCP% }. \NAMECITE{-solvable}{% Biran:1995:TBR% }. \NAMECITE{-space}{% Ershov:1997:BCH% }. \NAMECITE{-Spaces}{% Ershov:1999:S% }. \NAMECITE{{}-sparse}{% Giakoumakis:1997:ERE% }. \NAMECITE{-stage}{% Gao:1997:WSN% }. \NAMECITE{-structures}{% Engelfriet:1996:CCU% }. \NAMECITE{-tape}{% Pelletier:1999:RFD% }. \NAMECITE{-terms}{% Bunder:1996:TTN,% David:1997:SPO,% Gallier:1995:PPT% }. \NAMECITE{-trees}{% Gupta:1996:CSI% }. \NAMECITE{{}-unification}{% Gurevich:1999:MSR,% Voronkov:1999:SRU% }. \NAMECITE{-words}{% Chuan:1999:SMA% }. \NAMECITE{{}-writings}{% Didier:1999:CEA% }. \NAMECITE{{0}}{% Metayer:1999:PEA% }. \NAMECITE{{1}}{% Tronci:1996:EPL% }. \NAMECITE{1-optimal}{% Baumker:1998:TEP% }. \NAMECITE{{150}}{% Anonymous:1995:CIV,% Anonymous:1995:SIV,% Hazewinkel:1995:ESI% }. \NAMECITE{{160}}{% Anonymous:1996:MIVa% }. \NAMECITE{{170}}{% Anonymous:1996:MIVb% }. \NAMECITE{171-180}{% Anonymous:1997:MIV% }. \NAMECITE{{2}}{% Tronci:1996:EPCb% }. \NAMECITE{3rd}{% Aigrain:1996:PSI% }. \NAMECITE{{58}}{% Anonymous:1996:CEBa% }. \NAMECITE{{59}}{% Anonymous:1996:CEBb% }. \NAMECITE{{5NF}}{% Vincent:1997:CDR% }. \NAMECITE{{5th}}{% Anonymous:1997:CAR% }. \NAMECITE{{60}}{% Anonymous:1997:CEBa% }. \NAMECITE{{61}}{% Anonymous:1997:CEBb% }. \NAMECITE{{62}}{% Anonymous:1997:CEBc% }. \NAMECITE{{'94}}{% Gouyou-Beauchamps:1996:PSI% }. \NAMECITE{'95}{% Anonymous:1998:JCS% }. \NAMECITE{{'96}}{% Anonymous:1998:LLP,% Schmid:1999:BLC% }. \NAMECITE{{A.}}{% Aceto:1998:QSE,% Petersen:1995:RPB% }. \NAMECITE{abducibles}{% Yamasaki:1998:SAP% }. \NAMECITE{Abduction}{% Eiter:1997:ALP% }. \NAMECITE{abductive}{% Teusink:1996:TVC,% Yamasaki:1998:SAP% }. \NAMECITE{abelian}{% Stuber:1998:STP,% Carpi:1999:ASS% }. \NAMECITE{Abstract}{% Honda:1998:APS,% Jouannaud:1997:ADT,% Nilsson:1995:AIK,% Nolte:1997:AFS,% Abramsky:1998:LSS,% Banach:1998:DRA,% Brogi:1995:FAC,% Calude:1996:ECM,% Cortesi:1998:QAI,% Costa:1997:SAD,% DiGianantonio:1999:ADT,% File:1999:POA,% Fokkink:1997:TME,% Giacobazzi:1999:RRP,% Jeffrey:1999:FAS,% Marchiori:1999:DAD,% Pan:1996:PCP,% Tendeau:1998:CAD,% Ying:1996:WIC,% Zucca:1999:SDA% }. \NAMECITE{abstraction}{% Abramsky:1999:FAI,% Castagna:1997:UOA,% Hofmann:1996:BAB,% Mislove:1995:FAR,% Mukherji:1998:PCB,% Pigozzi:1995:LAA,% Sieber:1996:FAS% }. \NAMECITE{{AC}}{% Andersson:1999:FTC,% Rubio:1995:TAC% }. \NAMECITE{{AC-compatible}}{% Rubio:1995:TAC% }. \NAMECITE{acceptance}{% Borchert:1995:APR,% Litovsky:1997:FAI,% Niedermeier:1998:UCL% }. \NAMECITE{access}{% Cho:1998:TGP,% Tiskin:1998:BSP% }. \NAMECITE{according}{% Favati:1997:AOD% }. \NAMECITE{accumulations}{% Gibbons:1996:CDA% }. \NAMECITE{{Accuracy}}{% Mikov:1996:LSA% }. \NAMECITE{achieve}{% Neiger:1999:UKO% }. \NAMECITE{{Achilles}}{% Bournez:1999:ATC% }. \NAMECITE{action}{% Gardner:1999:CAC,% Zhang:1999:SCA% }. \NAMECITE{actions}{% Monteiro:1998:EBA,% Rabinovich:1998:TTL,% Gorrieri:1995:TPD% }. \NAMECITE{active}{% Abramsky:1998:LSS% }. \NAMECITE{Actor}{% Mason:1999:ALT% }. \NAMECITE{acyclic}{% Takaoka:1998:SPA% }. \NAMECITE{adaptation}{% Fouks:1999:TAT% }. \NAMECITE{adaptive}{% Alvarez:1995:ADP,% Kutten:1999:STA% }. \NAMECITE{Addition}{% Beigel:1998:ASA,% Maurin:1996:ECB,% Mikov:1996:LSA,% Oberman:1998:RML% }. \NAMECITE{Additive}{% Favati:1997:AOD,% Barua:1996:GGT,% Grigoriev:1996:CAC,% Marion:1999:MSA,% Yu:1997:STT% }. \NAMECITE{additives}{% TortoradeFalco:1998:GSL% }. \NAMECITE{adequacy}{% Brauner:1997:GAR% }. \NAMECITE{adjacent}{% Carrere:1996:KRA% }. \NAMECITE{Adjoining}{% Fraenkel:1998:AWG,% Uemura:1999:TAG% }. \NAMECITE{adjunction}{% Leavens:1997:BRA% }. \NAMECITE{admissible}{% Gobel:1999:SRP% }. \NAMECITE{Advances}{% Tamassia:1999:ATP,% Sakakibara:1997:RAG% }. \NAMECITE{advice}{% Balcazar:1998:SLA,% Hemaspaandra:1996:OA% }. \NAMECITE{Affine}{% LeGoueslierdArgence:1998:ASB,% Drewes:1995:GSA,% Nehlig:1996:AQA% }. \NAMECITE{affines}{% Nehlig:1996:AQA% }. \NAMECITE{agent}{% Burkhard:1997:FCM,% Mukherji:1998:PCB,% Sangiorgi:1996:CIM% }. \NAMECITE{agent-passing}{% Sangiorgi:1996:CIM% }. \NAMECITE{aggregating}{% Jain:1995:ATL% }. \NAMECITE{aggregation}{% Ross:1998:FAC% }. \NAMECITE{aggregative}{% Park:1996:AFA% }. \NAMECITE{ahead}{% Gyenizse:1996:CDB,% Slutzki:1995:DTT% }. \NAMECITE{{Ajtai}}{% Cusick:1999:ARC% }. \NAMECITE{al{\'e}atoire}{% Denise:1996:GAU,% Wilf:1996:RDP% }. \NAMECITE{Algebra}{% Anonymous:1997:CAR,% Baeten:1997:PAP,% Bremond-Gregoire:1997:PAC,% Brogi:1995:FAC,% Bronstein:1996:IPL,% Cleaveland:1998:PAD,% Courcelle:1996:BNU,% Desharnais:1995:EDS,% Fredlund:1997:FVL,% Koutny:1999:ODS,% Makhlouf:1997:AAC,% Nielson:1996:CPA,% Ollagnier:1996:AMD,% Sassone:1996:AAP,% Vrancken:1997:ACP,% vanWamel:1997:PAL% }. \NAMECITE{Algebraic}{% Anonymous:1996:WAC,% Burmeister:1997:ATU,% Burmeister:1999:ATU,% Buszkowski:1998:ASC,% Gardiner:1995:APC,% Janssen:1998:ATC,% Klapper:1999:AFS,% Ramalho:1998:ASD,% Rus:1998:APP,% Yao:1995:ADT,% Arnold:1996:ACO,% Barbanera:1996:ITA,% Bergeron:1995:CDF,% Bidoit:1998:FST,% Busi:1998:PAV,% Codish:1996:PIA,% DeNicola:1995:PAV,% DiCosmo:1996:CAR,% Grigoriev:1996:CAC,% Gritzner:1996:RAM,% Grossman:1995:AAH,% Gumm:1999:GAL,% Haxthausen:1997:OSA,% Hemmerling:1999:AAC,% Honkala:1997:LAP,% Honkala:1997:LAS,% Hubert:1997:DDB,% Jeavons:1998:ASC,% Maddux:1996:RAS,% Malacaria:1995:SET,% Meinke:1996:TMA,% Mobasher:1997:MVL,% Park:1996:AFA,% Piperno:1999:AVB,% Sen:1997:LBP,% Sun:1999:AGF,% Tendeau:1998:CAD,% Thomas:1997:PDS,% Wilke:1996:ACF,% Ying:1996:WIC,% Zhang:1996:QPA,% deGroote:1999:ACC% }. \NAMECITE{algebraically}{% Esik:1998:EPI% }. \NAMECITE{algebras}{% Bloom:1996:FSA,% Burmeister:1997:ATU,% Burmeister:1999:ATU,% DArgenio:1997:GCE,% Esik:1995:EPK,% Goldblatt:1998:EFA,% Gyuris:1997:SPR,% Koslowski:1997:NFA,% Makhlouf:1997:AAC,% Pigozzi:1995:LAA,% Stoltenberg-Hansen:1999:CMC,% Sun:1999:AGF,% Tucker:1999:CWP,% deGraaf:1997:ADS% }. \NAMECITE{Alg{\`e}bres}{% Makhlouf:1997:AAC% }. \NAMECITE{{ALGOL}}{% Sieber:1996:FAS,% Abramsky:1998:LSS,% Abramsky:1999:FAI% }. \NAMECITE{{ALGOL}-like}{% Sieber:1996:FAS% }. \NAMECITE{algorithm}{% Adleman:1999:SAD,% Alonso:1996:PAG,% Arques:1995:FSL,% Benson:1995:SEA,% Berman:1997:NOP,% Berstel:1996:LLB,% Breslauer:1996:SCC,% Browne:1997:IAE,% Bundgen:1996:BAT,% Chung:1998:IAS,% Colbourn:1998:LTA,% Damaschke:1997:OPA,% Feige:1996:FRL,% Finkel:1996:PAM,% Fournier:1996:PFP,% Gehrke:1999:RCL,% Gu:1996:OHA,% Gu:1999:AAG,% Hirshfeld:1996:PAD,% Iliopoulos:1996:WTO,% Jamison:1995:LTR,% Kirschenhofer:1995:AOS,% Koscielski:1998:MAP,% Liu:1997:ISA,% Lui:1999:SSN,% Nickolas:1996:QPU,% Niederreiter:1999:ASC,% Rytter:1995:CFR,% Schmidt-Schauss:1998:DAD,% Senizergues:1998:PAT,% Wan:1997:CAC,% Xue:1998:THT,% Ziadi:1999:OPA,% deGraaf:1997:ADS,% vanNimwegen:1999:SDR% }. \NAMECITE{algorithme}{% Fournier:1996:PFP% }. \NAMECITE{Algorithmes}{% Labhalla:1996:ACR% }. \NAMECITE{Algorithmic}{% Anonymous:1996:WAC,% Chen:1997:AGE,% Alur:1995:AAH,% Fouks:1996:MRA,% Fouks:1999:TAT,% Jaromczyk:1996:TEF,% Karhumaki:1999:GFW,% Peled:1998:AAC,% Apolloni:1998:SSL% }. \NAMECITE{algorithmically}{% Kautz:1998:IZO% }. \NAMECITE{Algorithms}{% Kosters:1999:FAG,% Ollagnier:1996:AMD,% Schroder:1999:AFP,% Auletta:1996:DSA,% Ausiello:1997:LAS,% Bafna:1997:AAM,% Baumker:1998:TEP,% Beguin:1998:GID,% Blot:1995:ACA,% Bouchitte:1997:LAO,% Chaudhuri:1998:SPD,% Codenotti:1997:PAC,% Colussi:1996:HCC,% Demange:1998:DAA,% Diaz:1997:PAM,% Eiben:1999:TEA,% Fernandez-Baca:1997:LTA,% Flajolet:1998:CFA,% Goldreich:1998:CIA,% He:1999:CRG,% Hsu:1996:EMP,% Ikeda:1999:EAM,% Irani:1998:RAM,% Larmore:1998:AOS,% Levcopoulos:1996:EFI,% Louchard:1999:APS,% Lozano:1999:GAB,% Mayr:1996:DCA,% Nakano:1998:ISA,% Novak:1999:CUN,% Park:1998:ATD,% Pinotti:1995:PAP,% Schmitt:1998:LAG,% Seetharaman:1995:SDS,% Shen:1997:OAG,% Sikkel:1998:PSC,% Sridhar:1995:EAS,% Srikrishna:1995:OPA,% Takaoka:1998:SPA,% Uehara:1999:FRN,% Wada:1998:EAM,% Yu:1995:EPA,% Labhalla:1996:ACR% }. \NAMECITE{Alignment}{% Jiang:1995:ATA,% Bafna:1997:AAM,% Benson:1995:SEA,% Bodlaender:1995:PCS% }. \NAMECITE{alignments}{% Ikeda:1999:EAM% }. \NAMECITE{{Alimohamed}}{% Scedrov:1995:MA% }. \NAMECITE{all-optical}{% Bartal:1999:LRA% }. \NAMECITE{allocating}{% Malesinska:1998:HAF% }. \NAMECITE{Allocation}{% Kohlas:1997:AAE,% Chakrabarti:1996:RAJ,% Diks:1998:MGP% }. \NAMECITE{allowing}{% Cegielski:1999:AFO,% Goles:1999:TAR% }. \NAMECITE{Almost}{% Larmore:1998:AOS,% Erdos:1999:FLS,% Harrison:1996:ACL% }. \NAMECITE{along}{% Cerioli:1997:MBY% }. \NAMECITE{Alphabet}{% Karpinski:1998:AIO,% Shimozono:1999:AIA,% Aceto:1998:QSE,% Middendorf:1995:FVM,% Tomescu:1996:AAL% }. \NAMECITE{Alphabet-independent}{% Karpinski:1998:AIO% }. \NAMECITE{alphabetic}{% Karpinski:1997:CCO% }. \NAMECITE{alternating}{% Cai:1995:IRM,% Ito:1995:OST,% Krithivasan:1995:NPA,% Muller:1995:SAT,% Yamamoto:1997:PAR% }. \NAMECITE{Alternation}{% Matamala:1997:ACA,% Bradfield:1998:MMA,% Yamamoto:1997:PAR% }. \NAMECITE{alternative}{% Jiang:1995:ATA% }. \NAMECITE{always}{% Kaminski:1996:PAO% }. \NAMECITE{{AM}}{% Arvind:1995:INP% }. \NAMECITE{ambiguity}{% Herzog:1997:PAB% }. \NAMECITE{amidst}{% Dattasharma:1995:AVR,% Rao:1995:FPS% }. \NAMECITE{among}{% Metayer:1999:PEA,% Rossner:1998:HAS% }. \NAMECITE{analog}{% Moore:1998:DRR% }. \NAMECITE{Analysis}{% Cedeno:1999:ASN,% Kirschenhofer:1995:AOS,% Kosters:1999:FAG,% Park:1998:ATD,% Albers:1998:CAL,% Alpuente:1996:CSB,% Alur:1995:AAH,% Asarin:1995:RAD,% Beigel:1998:ASA,% Blot:1995:ACA,% Bouajjani:1999:SRA,% Bridges:1999:CMF,% Cenzer:1999:ISC,% Chebotarev:1998:RBA,% Demri:1996:LAD,% Duquenne:1999:LSD,% ElHamidi:1997:UMA,% Flajolet:1999:SAA,% Gardy:1995:DAS,% Honda:1999:GTA,% Honsell:1999:SAP,% Kullmann:1999:NMS,% Kushner:1999:MCA,% Louchard:1996:PAS,% Mahmoud:1995:PAB,% Picouleau:1996:WCA,% Pour-El:1999:AIC,% Sagiv:1996:PID,% Schmitt:1998:LAG% }. \NAMECITE{Analytic}{% Chadzelek:1999:AM,% Baier:1998:BQA,% Koiran:1999:CFA% }. \NAMECITE{Analytical}{% Jacquet:1998:ADA% }. \NAMECITE{ancestor}{% Brandenburg:1998:AWG% }. \NAMECITE{animals}{% Louchard:1996:PAS% }. \NAMECITE{annealing}{% Nourani:1999:ENH% }. \NAMECITE{Annotated}{% Nerode:1997:ANR% }. \NAMECITE{Anomalous}{% Case:1996:ALH% }. \NAMECITE{Anonymous}{% Diks:1995:AWR% }. \NAMECITE{answer}{% Egly:1998:AOP% }. \NAMECITE{Answering}{% Ngo:1997:AQC% }. \NAMECITE{anti}{% Lisitsa:1999:LOG% }. \NAMECITE{anti-founded}{% Lisitsa:1999:LOG% }. \NAMECITE{Antimirov}{% Kuoherov:1996:VA,% Kucherov:1996:VA% }. \NAMECITE{any}{% Gobel:1999:SRP% }. \NAMECITE{aperiodic}{% Beaudry:1998:LRF,% Blanchard:1996:DBC% }. \NAMECITE{application}{% Ablayev:1996:LBO,% DeFelice:1996:AHF,% Didier:1999:CEA,% Fokkink:1997:TME% }. \NAMECITE{Applications}{% Carriere:1997:ADC,% Nehlig:1996:AQA,% Afek:1997:LDP,% Alonso:1996:PAG,% Andreev:1997:OBA,% Bauernoppel:1997:PSG,% Chen:1996:PCM,% Chopard:1999:LBC,% Colombet:1998:SEL,% Dessmark:1995:MLC,% Fernau:1995:VLA,% Habib:1996:TSD,% Heen:1997:LSC,% HotzelEscardo:1999:IRP,% Jacquet:1998:ADA,% Jaromczyk:1996:TEF,% Kant:1997:REL,% Kumar:1995:ESI,% Sagiv:1996:PID,% Sander:1999:GLA,% Zhong:1999:CSS,% Zielonka:1998:IGF% }. \NAMECITE{Applying}{% Gregorio:1999:ACA% }. \NAMECITE{approach}{% Anderson:1997:RAF,% Banach:1995:LCD,% Bauderon:1998:PRG,% Burmeister:1997:ATU,% Burmeister:1999:ATU,% Chebotarev:1998:RBA,% Cicerone:1998:UAS,% Corradini:1998:CAS,% Costa:1997:SAD,% Doornbos:1997:CAM,% Dougherty:1995:CLA,% Edalat:1999:DTA,% Gasieniec:1995:ZMR,% Grossman:1995:AAH,% Hartonas:1998:FAF,% Heckel:1998:ECC,% Mobasher:1997:MVL,% Peled:1998:AAC,% Priese:1998:UAT,% Sagot:1997:MSC,% Schneider:1998:NOI,% Zhang:1999:SCA,% deVink:1999:BPT% }. \NAMECITE{approximability}{% Amaldi:1995:CAF,% Amaldi:1995:CAO,% Amaldi:1998:AMN,% Clementi:1999:INA,% Galbiati:1997:ASM% }. \NAMECITE{Approximate}{% Ausiello:1995:ASN,% Kivinen:1995:AIF,% Kranakis:1998:AMF,% Romanik:1997:ATR,% Hemmerling:1999:AAC,% Ikeda:1999:EAM,% Lopresti:1997:BEM,% Park:1998:ATD% }. \NAMECITE{approximately}{% Kobayashi:1997:LAR% }. \NAMECITE{Approximating}{% Ewacha:1997:ANL,% Andreev:1998:PCA,% Rossner:1998:HAS,% Shimozono:1999:AIA% }. \NAMECITE{Approximation}{% Bafna:1997:AAM,% Akutsu:1999:APT,% Andreev:1997:OBA,% Codish:1996:PIA,% Demange:1996:AMF,% Demange:1998:DAA,% Garcia:1996:MPA,% Gu:1999:AAG,% Karpinski:1996:SAP,% Kopidakis:1997:ASS,% Libkin:1998:MAD,% Spreen:1999:FPL,% Spreen:2001:CSF,% Zhang:1995:ALC% }. \NAMECITE{Approximations}{% Du:1998:ASI,% Hasegawa:1995:ALS% }. \NAMECITE{Arbiter}{% Manabe:1998:ASG% }. \NAMECITE{arbitrary}{% Garcia:1996:MPA% }. \NAMECITE{arboretum}{% Bodlaender:1998:PAG% }. \NAMECITE{area}{% Wilf:1996:RDP% }. \NAMECITE{Argument}{% Naughton:1995:ARF% }. \NAMECITE{arguments}{% Kohlas:1997:AAE,% Krause:1996:GAY% }. \NAMECITE{arithmetic}{% Allender:1998:NCA,% Denise:1999:URG,% Francon:1996:TPA,% Girodias:1997:SLM,% Revol:1996:PEA,% Sengupta:1998:LBM,% Sureson:1995:NCN,% Sureson:1996:PNC,% Yamasaki:1997:MGA% }. \NAMECITE{arithmetical}{% Bournez:1999:ATC,% Cegielski:1999:AFO,% Grumbach:1997:QAC% }. \NAMECITE{arithmetics}{% deLuca:1997:SWS% }. \NAMECITE{arithm{\'e}tique}{% Francon:1996:TPA% }. \NAMECITE{Array}{% Hackstadt:1998:DDA,% Krithivasan:1995:NPA,% Terrier:1995:RTO% }. \NAMECITE{arrays}{% DePrisco:1998:TRV,% Prisco:1998:TRV% }. \NAMECITE{{Articles}}{% Anonymous:1995:RLI% }. \NAMECITE{artificially}{% Sipper:1999:CAE% }. \NAMECITE{ary}{% Bettayeb:1995:AH% }. \NAMECITE{Aspects}{% Anonymous:1997:WNL,% Fredholm:1995:IAF,% Gratzer:1999:SCA,% Heinemann:1999:TAM,% KrishnaRao:1998:MAT,% Rao:1998:MAT% }. \NAMECITE{assertional}{% Bouge:1997:FVD% }. \NAMECITE{assertions}{% Bjorner:1997:AGI% }. \NAMECITE{Assigning}{% Koole:1997:ASS% }. \NAMECITE{assignment}{% Barbanera:1996:ITA,% Wan:1998:CFC,% vanBakel:1995:ITA% }. \NAMECITE{associated}{% Fabre:1996:DSN,% Sirvent:1996:RBD% }. \NAMECITE{{Associative}}{% Makhlouf:1997:AAC% }. \NAMECITE{associatives}{% Makhlouf:1997:AAC% }. \NAMECITE{associ{\'e}s}{% Fabre:1996:DSN% }. \NAMECITE{Assumption}{% Jonsson:1996:AGS,% Bernot:1995:OSI% }. \NAMECITE{Assumption/guarantee}{% Jonsson:1996:AGS% }. \NAMECITE{asteroidal}{% Kloks:1997:TMF% }. \NAMECITE{Asymptotic}{% Demetrovics:1998:APK,% Jacquet:1995:ABL,% Louchard:1999:APS,% Tomescu:1996:AAL% }. \NAMECITE{asymptotically}{% LeGoueslierdArgence:1998:ASB% }. \NAMECITE{asymptotics}{% Flajolet:1995:MTAa,% Flajolet:1995:MTAb,% Flajolet:1999:SAA% }. \NAMECITE{asynchronous}{% Amadio:1998:BAP,% Gehrke:1999:RCL,% Gibbons:1998:QRQ,% Muscholl:1996:CAC,% Orponen:1997:CTA% }. \NAMECITE{atomic}{% Abraham:1995:ICI,% Kshemkalyani:1998:FVA,% Wong:1995:CSS% }. \NAMECITE{atomicity}{% Fekete:1995:HAN% }. \NAMECITE{Attack}{% Chua:1999:ART% }. \NAMECITE{Attribute}{% Ganter:1999:AEB% }. \NAMECITE{augmented}{% Dattasharma:1995:AVR% }. \NAMECITE{authenticated}{% Beimel:1999:RCP% }. \NAMECITE{Author}{% Anonymous:1997:AIV% }. \NAMECITE{Autocorrelation}{% Angel:1998:ACG% }. \NAMECITE{automata}{% Aigrain:1995:PTC,% Allouche:1997:ADS,% Alur:1999:ECA,% Bandini:1999:MCA,% Barua:1996:GGT,% Bedon:1996:FAO,% Blanchard:1996:DBC,% Bracho:1997:RCC,% Braga:1995:PGE,% Buchholz:1999:EPE,% Carton:1996:CA,% Cattaneo:1997:MRS,% Cattaneo:1998:GSS,% Cattaneo:1999:DBC,% Chebotarev:1998:RBA,% DeNicola:1995:PAV,% Delorme:1999:DPC,% Durand:1995:RNC,% Favati:1997:AOD,% Frougny:1998:SDA,% Giammarresi:1999:DGA,% Globerman:1996:CRT,% Gregorio:1999:ACA,% Heen:1997:LSC,% Henzinger:1999:DTC,% Herzog:1997:PAB,% Imai:1996:FSS,% Ito:1995:OST,% Kutrib:1999:PCA,% Louscou-Bozapalidou:1996:SCT,% Macarie:1998:PPP,% Manzini:1999:CEC,% Matamala:1997:ACA,% Mazoyer:1999:SOD,% Morita:1995:RSO,% Muller:1995:SAT,% Muscholl:1996:CAC,% Pelletier:1999:RFD,% Roka:1999:SBC,% Rystsov:1997:RWC,% Sakarovitch:1998:CFA,% Salomaa:1996:DED,% Sarkar:1998:MAP,% Sato:1998:ECL,% Schmitt:1998:STA,% Shen:1996:MPL,% Shilov:1997:PSV,% Sipper:1999:CAE,% Terrier:1996:LRR,% Terrier:1999:TDC,% Worsch:1999:PTM,% Wu:1997:CBP,% Zielonka:1998:IGF,% delaClergerie:1998:IFT% }. \NAMECITE{automated}{% Hausen-Tropper:1996:FTA% }. \NAMECITE{automates}{% Frougny:1998:SDA% }. \NAMECITE{Automatic}{% Bjorner:1997:AGI,% Korelc:1997:AGF,% Fagnot:1997:FMA,% Lehr:1996:VSA,% Sands:1996:PCR% }. \NAMECITE{Automaticity}{% Allouche:1997:ADS,% Pomerance:1997:AID% }. \NAMECITE{automatiques}{% Fagnot:1997:FMA% }. \NAMECITE{automaton}{% Antimirov:1996:PDR,% Beal:1998:BSD,% Tao:1999:FAP,% Ziadi:1999:OPA% }. \NAMECITE{Automorphism}{% Pelecq:1996:AGC% }. \NAMECITE{autonomous}{% Barr:1995:NAC% }. \NAMECITE{Avant}{% Mazoyer:1999:AP% }. \NAMECITE{Average}{% Blot:1995:ACA,% Beigel:1998:ASA,% Crochemore:1999:CSS,% Rivals:1998:ORA,% Tomescu:1996:AAL% }. \NAMECITE{averaging}{% Belanger:1997:NNP% }. \NAMECITE{avoid}{% Johnsson:1998:GRH% }. \NAMECITE{Avoiding}{% Ajili:1997:ASV,% Proietti:1995:UDF% }. \NAMECITE{axiom}{% Rus:1998:PPM% }. \NAMECITE{axiomatics}{% Pour-El:1999:AIC% }. \NAMECITE{Axiomatisation}{% Levene:1998:AFD% }. \NAMECITE{Axiomatising}{% Kaivola:1998:AEC% }. \NAMECITE{axiomatization}{% Aceto:1995:CAT,% Aceto:1999:CEA,% Sassone:1996:AAP% }. \NAMECITE{B}{% Petersen:1995:RPB,% Retore:1998:PMS% }. \NAMECITE{{B}-graphs}{% Retore:1998:PMS% }. \NAMECITE{background}{% Ganter:1999:AEB% }. \NAMECITE{balancing}{% Gehrke:1999:RCL% }. \NAMECITE{balistique}{% Carriere:1997:ADC% }. \NAMECITE{ballistics}{% Carriere:1997:ADC% }. \NAMECITE{{Banach}}{% Edalat:1999:CBS,% Girard:1998:CBS,% Girard:1999:CBS% }. \NAMECITE{bananas}{% Yarroll:1996:SMT% }. \NAMECITE{banded}{% Chung:1998:IAS% }. \NAMECITE{based}{% Aceto:1998:QSE,% Cerone:1999:TBE,% Chebotarev:1998:RBA,% Chua:1999:ART,% Collette:1997:FMR,% Girodias:1997:SLM,% Honda:1995:RBP,% Jantke:1995:CBR,% Monteiro:1998:EBA,% Mukherji:1998:PCB,% Naik:1998:HBO,% Pitts:1998:PCB,% Plasmeijer:1998:CPE,% Ruanaidh:1999:CCP,% Rubio:1995:TAC,% Sands:1996:PCR,% VandenBussche:1995:EPC,% Varadharajan:1999:DER,% Wagner:1995:RMO,% Wan:1998:CFC,% Wong:1995:CSS,% Wozniakowski:1999:WDI% }. \NAMECITE{bases}{% Gobel:1999:SRP,% Gollmann:1999:DBB,% Ngo:1997:AQC,% Tromp:1997:SWB,% Wada:1998:EAM% }. \NAMECITE{Basic}{% Courcelle:1996:BNU,% Beling:1998:UFM,% Senizergues:1998:PAT% }. \NAMECITE{basis}{% Alpuente:1996:CSB,% Fournier:1996:PFP,% Ying:1996:WIC% }. \NAMECITE{{BDDs}}{% Sieling:1995:GDB% }. \NAMECITE{be}{% Andersson:1999:FTC,% Dumitrescu:1996:NPG% }. \NAMECITE{behavior}{% Cattaneo:1999:DBC,% Jacquet:1995:ABL,% Leavens:1997:BRA,% Niwinski:1997:FPC% }. \NAMECITE{behaviors}{% Bergeron:1997:RBC,% Hubert:1997:DDB,% Wu:1997:CBP% }. \NAMECITE{behaviour}{% Blanchard:1996:DBC,% Csuhaj-Varju:1998:TBE% }. \NAMECITE{Behavioural}{% Bidoit:1996:BTP,% Cheng:1998:OMB,% Ferreira:1999:BTF,% Hofmann:1996:BAB,% Schmidt-Schauss:1999:DBE% }. \NAMECITE{behaviours}{% Aceto:1995:CAT,% Courcelle:1995:MSO,% Keesmaat:1997:RRV% }. \NAMECITE{beholder}{% Gurevich:1997:EEB,% Lamport:1997:PEB% }. \NAMECITE{{Beimel}}{% Blundo:1998:GBC% }. \NAMECITE{belief}{% You:1996:IBR% }. \NAMECITE{{Belnap}}{% Ruet:1997:CEN% }. \NAMECITE{{Bernoulli}}{% Flajolet:1999:SAA% }. \NAMECITE{{Berry}}{% Berstel:1996:LLB% }. \NAMECITE{Bertrand}{% Bruyere:1997:BNS% }. \NAMECITE{best}{% Benson:1995:SEA% }. \NAMECITE{beta}{% Fabre:1995:SSN,% Kuske:1998:IBR% }. \NAMECITE{beta-reduction}{% Kuske:1998:IBR% }. \NAMECITE{better}{% Krause:1996:GAY% }. \NAMECITE{between}{% Alessi:1998:CDB,% Demange:1996:AMF,% Laroussinie:1995:TBM,% Muchnik:1996:GMC,% Roka:1999:SBC,% Sirvent:1996:RBD,% Vigna:1996:RBD% }. \NAMECITE{beyond}{% Bonsangue:1995:DBS% }. \NAMECITE{bidimensional}{% Vuillon:1998:CMS% }. \NAMECITE{bidimensionnelle}{% Vuillon:1998:CMS% }. \NAMECITE{bifix}{% Bruyere:1999:MBC,% Zhang:1995:CRB% }. \NAMECITE{bifurcation}{% ElHamidi:1997:UMA,% Prodinger:1997:PYM% }. \NAMECITE{billard}{% Hubert:1996:PCS% }. \NAMECITE{billiard}{% Hubert:1996:PCS% }. \NAMECITE{Binary}{% Gasarch:1997:BSR,% Kemp:1996:BST,% Bampis:1995:OPE,% Breitbart:1995:SBD,% DePrisco:1996:NLB,% Durand:1996:FOS,% Ehrenfeucht:1996:NBG,% Handley:1997:DSM,% Hosaka:1997:SOB,% Houle:1999:ODE,% Kolpakov:1999:RFB,% Middendorf:1995:FVM,% Nagaraj:1997:OBS,% Prodinger:1997:PYM% }. \NAMECITE{binding}{% Dami:1998:LCD,% Sun:1999:AGF% }. \NAMECITE{bioremediation}{% Gregorio:1999:ACA% }. \NAMECITE{bipartite}{% Chaboud:1996:DTP,% Mitas:1997:CPE,% Yu:1995:EPA% }. \NAMECITE{bipartitioning}{% Angel:1998:ACG% }. \NAMECITE{bird}{% Eiben:1999:TEA% }. \NAMECITE{Bireflectivity}{% Freyd:1999:B% }. \NAMECITE{bisimilar}{% Dufourd:1999:PBN% }. \NAMECITE{bisimilarities}{% Boreale:1998:SCP% }. \NAMECITE{Bisimilarity}{% Gordon:1999:BTF,% Hirshfeld:1996:PAD,% Jancar:1995:UBP% }. \NAMECITE{Bisimulation}{% Otto:1999:BIP,% deVink:1999:BPT,% Aceto:1995:CAT,% Eloranta:1997:ETB,% Nielsen:1996:PNB,% Stirling:1998:DBE,% Yen:1996:DBT% }. \NAMECITE{Bisimulation-invariant}{% Otto:1999:BIP% }. \NAMECITE{Bisimulations}{% Hennessy:1998:BCB,% Amadio:1998:BAP,% Bloom:1995:SOS,% Hennessy:1995:SB% }. \NAMECITE{bit}{% Gollmann:1999:DBB% }. \NAMECITE{bit-serial}{% Gollmann:1999:DBB% }. \NAMECITE{bits}{% Carlsson:1996:HB,% Savicky:1997:LBB% }. \NAMECITE{black}{% Arvind:1997:SBB% }. \NAMECITE{black-box}{% Arvind:1997:SBB% }. \NAMECITE{blessings}{% vanDalen:1998:ICB% }. \NAMECITE{Block}{% Lopresti:1997:BEM,% Wong:1999:OPC% }. \NAMECITE{{Blum}}{% Ceola:1998:CMD,% Zhong:1998:RES% }. \NAMECITE{{Blum-Shub-Smale}}{% Zhong:1998:RES% }. \NAMECITE{body}{% Xue:1998:THT% }. \NAMECITE{{B{\"o}hm}}{% Piperno:1999:AVB% }. \NAMECITE{{B{\"o}hm-out}}{% Piperno:1999:AVB% }. \NAMECITE{{Boltzmann}}{% Chopard:1999:LBC% }. \NAMECITE{{Book}}{% McNaughton:1998:CRV% }. \NAMECITE{Boolean}{% Botelho:1997:EBN,% Andreev:1997:OBA,% Botelho:1994:BNN,% Breitbart:1995:SBD,% Ekin:1997:HFS,% Flammini:1997:DBR,% Gao:1999:NMW,% Hemaspaandra:1998:BOJ,% Marriott:1996:NBC,% Mitas:1997:CPE,% Sakurai:1995:VDD,% Schmid:1999:BLC,% Sieling:1995:GDB,% Tsukiji:1996:SCB,% Tyszkiewicz:1998:KEP,% Vereshchagin:1998:RBD,% Zheng:1999:RTN% }. \NAMECITE{{Boolean-valued}}{% Sakurai:1995:VDD% }. \NAMECITE{border}{% Smith:1996:BCC% }. \NAMECITE{{Borel}}{% Weihrauch:1999:CPM% }. \NAMECITE{born{\'e}}{% Frougny:1998:SDA% }. \NAMECITE{borrow}{% Cerioli:1997:MBY% }. \NAMECITE{Bottom}{% Kemp:1995:BEQ,% Gyenizse:1996:CDB,% Hagiya:1995:TCP% }. \NAMECITE{Bottom-up}{% Kemp:1995:BEQ,% Gyenizse:1996:CDB,% Hagiya:1995:TCP% }. \NAMECITE{bound}{% Beal:1998:BSD,% Dietzfelbinger:1996:CTL,% Gubas:1995:NLB,% Risler:1996:BDN,% Savicky:1997:LBB,% Sengupta:1998:LBM% }. \NAMECITE{boundaries}{% Apolloni:1997:PLC,% Hoogeboom:1997:CPT% }. \NAMECITE{Bounded}{% Atkinson:1997:BCP,% Baeza-Yates:1996:BDE,% Ghelli:1998:BEM,% Suciu:1997:BFC,% Alessi:1998:CDB,% Ambos-Spies:1997:RBR,% Beigel:1996:FCB,% Bodlaender:1998:PAG,% Bruyere:1998:MCB,% Corradini:1998:CCW,% Crescenzi:1995:RSS,% Ershov:1997:BCH,% Fortnow:1996:RBI,% Frougny:1998:SDA,% Herzog:1997:PAB,% LeGoueslierdArgence:1998:ASB,% VandenBussche:1995:EPC,% Yamamoto:1997:PAR% }. \NAMECITE{bounded-complete}{% Ershov:1997:BCH% }. \NAMECITE{Bounding}{% Baier:1998:BQA% }. \NAMECITE{bounds}{% Ablayev:1996:LBO,% Allender:1998:NCA,% Andreev:1997:OBA,% Apolloni:1998:SSL,% Benke:1999:SCB,% Biran:1995:TBR,% Cichon:1998:ORB,% DePrisco:1996:NLB,% Edmonds:1997:FSR,% Grigoriev:1996:CLB,% Iwama:1996:TLB,% Krause:1996:GAY,% Maurin:1996:ECB,% Sen:1997:LBP% }. \NAMECITE{box}{% Arvind:1997:SBB,% Esparza:1996:TME,% Koutny:1999:ODS% }. \NAMECITE{{BPP}}{% Strauss:1997:NNS,% Yen:1997:REB% }. \NAMECITE{{BPP}-nets}{% Yen:1997:REB% }. \NAMECITE{branch}{% Sambin:1996:CDT% }. \NAMECITE{branches}{% Gasperoni:1998:LSP% }. \NAMECITE{branching}{% Savicky:1997:LBB,% vanBreugel:1998:TMS% }. \NAMECITE{bridging}{% Lozano:1999:GAB% }. \NAMECITE{brief}{% Davies:1995:BHT% }. \NAMECITE{broadcast}{% Blundo:1998:GBC,% Jansen:1995:MBT% }. \NAMECITE{broadcasting}{% Diks:1998:MGP,% Hennessy:1998:BCB% }. \NAMECITE{Broadening}{% Pratt:1998:BDS% }. \NAMECITE{{Bruijn}}{% Cao:1999:OTS% }. \NAMECITE{{BSP}}{% Baumker:1998:TEP% }. \NAMECITE{{BSS}}{% Vigna:1996:RBD% }. \NAMECITE{Bubbles}{% Marchiori:1998:BM% }. \NAMECITE{{Buchberger}}{% Bundgen:1996:BAT% }. \NAMECITE{{Buchi}}{% Muscholl:1996:CAC% }. \NAMECITE{bucket}{% Mahmoud:1995:PAB% }. \NAMECITE{budget}{% Kranakis:1998:AMF% }. \NAMECITE{build}{% Erdos:1999:FLS% }. \NAMECITE{building}{% Mundici:1998:RMB% }. \NAMECITE{bulk}{% Tiskin:1998:BSP% }. \NAMECITE{bulk-synchronous}{% Tiskin:1998:BSP% }. \NAMECITE{Bulletin}{% Anonymous:1996:CEBa,% Anonymous:1996:CEBb,% Anonymous:1997:CEBa,% Anonymous:1997:CEBb,% Anonymous:1997:CEBc% }. \NAMECITE{{Bus}}{% Calmet:1997:TMS% }. \NAMECITE{{Caenorhabditis}}{% Bignone:1999:CML% }. \NAMECITE{cakes}{% Schmid:1999:BLC% }. \NAMECITE{calcul}{% Carriere:1997:ADC,% Labhalla:1996:ACR,% Makhlouf:1997:AAC% }. \NAMECITE{calculational}{% Doornbos:1997:CAM% }. \NAMECITE{calculations}{% Baaz:1999:NGC% }. \NAMECITE{calculi}{% Arai:1996:PHP,% Boreale:1998:EIM,% Dezani-Ciancaglini:1996:FMC,% DiCosmo:1996:CAR,% Dyckhoff:1999:PPI,% Gardner:1999:CAC,% Gorrieri:1995:ICC,% Sangiorgi:1996:CIM,% Sangiorgi:1996:LIS,% Schwichtenberg:1999:TPC,% Spreen:1999:FPL,% Spreen:2001:CSF% }. \NAMECITE{Calculus}{% Sangiorgi:1996:CIM,% Ait-Kaci:1995:LSC,% Amadio:1998:BAP,% Ambler:1995:DCM,% Arai:1996:TCF,% Arnold:1995:ISC,% Asperti:1995:PCL,% Benveniste:1995:CSS,% Berarducci:1999:ICT,% Bierman:1998:TCL,% Bierman:1999:CLC,% Bono:1999:MLC,% Boreale:1998:SCP,% Bradfield:1998:MMA,% Burckel:1996:CIC,% Burkart:1999:MCF,% Cagman:1998:CWR,% Carriere:1997:ADC,% Dam:1997:DPE,% Dami:1998:LCD,% Engelfriet:1996:MSP,% Engelfriet:1999:MSC,% Esparza:1996:TME,% Ferrari:1996:CES,% Goldblatt:1998:EFA,% Hagiya:1995:TCP,% Hennessy:1998:BCB,% Hilken:1996:TPT,% Honsell:1999:SAP,% Hoofman:1996:CMI,% Kennaway:1997:ILC,% Levi:1999:CCP,% Maraist:1999:CNC,% Marriott:1997:CCC,% McDowell:1998:ETS,% Mukherji:1998:PCB,% Mundici:1998:RMB,% Niwinski:1996:GC,% Otto:1999:BIP,% Pitts:1998:PCB,% Tronci:1996:EPCa,% Tronci:1996:EPCb,% Tronci:1996:EPL% }. \NAMECITE{Call}{% Maraist:1999:CNC,% Boudol:2000:SCN,% Colson:1998:SCV,% Honda:1999:GTA% }. \NAMECITE{Call-by-name}{% Maraist:1999:CNC,% Boudol:2000:SCN% }. \NAMECITE{call-by-need}{% Maraist:1999:CNC% }. \NAMECITE{call-by-value}{% Colson:1998:SCV,% Honda:1999:GTA,% Maraist:1999:CNC% }. \NAMECITE{can}{% Andersson:1999:FTC,% Dumitrescu:1996:NPG,% Koiran:1999:CFA% }. \NAMECITE{canonical}{% Drakengren:1998:DCR% }. \NAMECITE{capabilities}{% Branicky:1995:UCO% }. \NAMECITE{capacity}{% Atkinson:1997:BCP% }. \NAMECITE{Caract{\'e}risation}{% Didier:1999:CEA% }. \NAMECITE{cardinality}{% VandenBussche:1995:EPC% }. \NAMECITE{cardinality-bounded}{% VandenBussche:1995:EPC% }. \NAMECITE{cares}{% Kucherov:1997:MSS% }. \NAMECITE{{Cartesian}}{% Zhang:1996:LCC% }. \NAMECITE{Case}{% Jantke:1995:CBR,% Andreev:1999:WCH,% Blot:1995:ACA,% Cattaneo:1998:GSS,% Gorrieri:1995:ICC,% Kullmann:1999:NMS,% Picouleau:1996:WCA,% Pomerance:1997:AID% }. \NAMECITE{Case-based}{% Jantke:1995:CBR% }. \NAMECITE{cases}{% Ikeda:1999:EAM% }. \NAMECITE{cash}{% Varadharajan:1999:DER% }. \NAMECITE{catch}{% Sato:1997:ICN% }. \NAMECITE{categorial}{% Buszkowski:1998:ASC,% Finkel:1996:PAM% }. \NAMECITE{categorical}{% Alimohamed:1995:CLD,% Cockett:1995:SCD,% Schneider:1998:NOI,% Tuijn:1996:CCG% }. \NAMECITE{categories}{% Barr:1995:NAC,% Cockett:1997:CPC,% Esik:1998:EPI,% Hu:1999:CCC,% Wagner:1997:LCC% }. \NAMECITE{category}{% Alessi:1995:FPT,% Calude:1996:ECM,% Massol:1997:MSS,% Zhang:1996:LCC% }. \NAMECITE{catenation}{% Kudlek:1997:DC% }. \NAMECITE{causality}{% Smith:1996:BCC,% Zhang:1999:SCA% }. \NAMECITE{{Cayley}}{% Roka:1999:SBC,% Schupp:1998:SHC% }. \NAMECITE{{CCC}'s}{% Bloom:1996:FPO% }. \NAMECITE{{CCS}}{% Inverardi:1995:DOC,% vanGlabbeek:1997:NMC% }. \NAMECITE{cell}{% Miltersen:1995:CPC% }. \NAMECITE{cellular}{% Aigrain:1995:PTC,% Allouche:1997:ADS,% Bandini:1999:MCA,% Barua:1996:GGT,% Blanchard:1996:DBC,% Braga:1995:PGE,% Cattaneo:1997:MRS,% Cattaneo:1998:GSS,% Cattaneo:1999:DBC,% Delorme:1999:DPC,% Durand:1995:RNC,% Favati:1997:AOD,% Gregorio:1999:ACA,% Heen:1997:LSC,% Imai:1996:FSS,% Krithivasan:1995:NPA,% Kutrib:1999:PCA,% Manzini:1999:CEC,% Matamala:1997:ACA,% Mazoyer:1999:SOD,% Morita:1995:RSO,% Morita:1996:SRR,% Muscholl:1996:CAC,% Roka:1999:SBC,% Sato:1998:ECL,% Sipper:1999:CAE,% Terrier:1995:RTO,% Terrier:1996:LRR,% Terrier:1999:TDC,% Worsch:1999:PTM% }. \NAMECITE{center}{% Lin:1998:CMP% }. \NAMECITE{centralized}{% Autebert:1999:SRA% }. \NAMECITE{certain}{% Codenotti:1997:PAC% }. \NAMECITE{certificates}{% Even:1998:MCC% }. \NAMECITE{{CGOOD}}{% Tuijn:1996:CCG% }. \NAMECITE{Chain}{% Carton:1996:CA,% Dehornoy:1998:TPC,% Felsner:1997:LCP,% Yu:1998:CCS% }. \NAMECITE{change}{% Ambainis:1999:OMC% }. \NAMECITE{channel}{% Bouajjani:1999:SRA,% Wan:1998:CFC% }. \NAMECITE{channels}{% Schied:1998:LTH% }. \NAMECITE{chaos}{% Favati:1997:AOD% }. \NAMECITE{chaotic}{% Cattaneo:1998:GSS,% Cattaneo:1999:DBC,% Favati:1997:AOD% }. \NAMECITE{character}{% Colussi:1996:HCC% }. \NAMECITE{characteristic}{% Chuan:1998:UFC% }. \NAMECITE{characteristics}{% Yao:1995:ADT% }. \NAMECITE{Characterization}{% Engelfriet:1996:CCU,% Mihoubi:1998:CCP,% Alessi:1998:CDB,% Alimohamed:1995:CLD,% Arnold:1996:ACO,% Brattka:1996:RCC,% Downey:1998:TDS,% Iliopoulos:1997:CSF,% Malgouyres:1996:TNL,% Nagaymam:1998:GTC,% Niwinski:1997:FPC,% Pour-El:1999:AIC,% Ramesh:1996:DCC,% Sato:1998:ECL,% Simplot:1999:CRP,% Wilke:1996:ACF,% Didier:1999:CEA% }. \NAMECITE{Characterizations}{% Martin-Vide:1998:CRE,% Van:1995:CRL,% Feng:1999:TCC,% Vollmer:1996:RTC,% Bauernoppel:1997:PSG% }. \NAMECITE{characterized}{% Jones:1999:LPC% }. \NAMECITE{checker}{% Emms:1999:ETC% }. \NAMECITE{Checking}{% Litovsky:1998:CGG,% Burkart:1999:MCF,% Cheng:1997:PNT,% Ghelli:1995:DTC,% Peled:1998:AAC,% Quemener:1998:MCI% }. \NAMECITE{{Chervonenkis}}{% Shinohara:1995:CCV% }. \NAMECITE{chip}{% Ferguson:1998:SCT,% Goles:1997:UCF% }. \NAMECITE{chip-firing}{% Goles:1997:UCF% }. \NAMECITE{{Choffrut}}{% Bruyere:1999:PCT% }. \NAMECITE{choice}{% Esparza:1998:RLS% }. \NAMECITE{{Chor}}{% Blundo:1998:GBC% }. \NAMECITE{chord}{% Cori:1998:CNI% }. \NAMECITE{circles}{% Delorme:1999:DPC% }. \NAMECITE{circuit}{% Downey:1998:PCC% }. \NAMECITE{circuits}{% Allender:1998:NCA,% Arvind:1995:INP,% Goldreich:1998:CIA,% Grigoriev:1996:CAC,% Grolmusz:1997:PCG,% Krause:1996:GAY,% Krause:1997:CPD,% Revol:1996:PEA,% Sakurai:1995:VDD,% Sengupta:1998:LBM% }. \NAMECITE{Circumscribing}{% Cadoli:1998:CDE% }. \NAMECITE{circumscription}{% Cadoli:1997:CRP% }. \NAMECITE{class}{% Aceto:1995:CAT,% Alur:1999:ECA,% Creignou:1995:CPL,% Cusick:1999:ARC,% Demri:1998:CDI,% Schachinger:1995:VCI,% Schied:1998:LTH,% Tsukiji:1996:SCB% }. \NAMECITE{classes}{% Apolloni:1997:PLC,% Balcazar:1998:SLA,% Fourneau:1996:NMC,% Gupta:1996:CSI,% Gustedt:1998:EUF,% Hemaspaandra:1996:RCP,% Hemaspaandra:2000:ESC,% Kulkarni:1996:LTP,% Mocas:1996:SCE,% Muchnik:1996:GMC,% Regan:1996:ISP,% Regan:1997:GLL,% Sridhar:1995:EAS,% Vollmer:1996:RTC,% Zimand:1998:SCW% }. \NAMECITE{classical}{% Bierman:1998:TCL,% Bierman:1999:CLC,% Danos:1998:CIC,% Sato:1997:ICN% }. \NAMECITE{classification}{% Manzini:1999:CEC,% Sassone:1996:MCT% }. \NAMECITE{Classifying}{% Matsuda:1999:CMS% }. \NAMECITE{clauses}{% Zhang:1996:NMS% }. \NAMECITE{{CLEAN}}{% Plasmeijer:1998:CPE% }. \NAMECITE{climbing}{% Bournez:1999:ATC% }. \NAMECITE{clock}{% Alur:1999:ECA,% Corradini:1998:CCW% }. \NAMECITE{clocks}{% Liu:1999:VRS% }. \NAMECITE{{Clos}}{% Gao:1997:WSN% }. \NAMECITE{Closed}{% Burckel:1996:CIC,% Gardner:1999:CAC,% Koiran:1999:CFA,% Brattka:1999:CSE,% Malgouyres:1995:GGC,% Zhang:1996:LCC% }. \NAMECITE{Closed-form}{% Koiran:1999:CFA% }. \NAMECITE{{Closing}}{% Hartmann:1998:SRV% }. \NAMECITE{closure}{% Ito:1997:IDC,% Mihoubi:1998:CCP,% Park:1996:AFA,% Peled:1998:AAC,% Pin:1996:PCG,% Smyth:1995:SMC,% Zhang:1999:STC% }. \NAMECITE{{CLP}}{% Etalle:1996:TCM,% Girodias:1997:SLM% }. \NAMECITE{cluster}{% Wan:1998:CFC% }. \NAMECITE{{CML}}{% Ferreira:1999:BTF,% Nielson:1996:CPA% }. \NAMECITE{{CNF}}{% Boufkhad:1999:LPI% }. \NAMECITE{{Co}}{% Sureson:1996:PNC,% Sureson:1995:NCN% }. \NAMECITE{{Co-NP}}{% Sureson:1996:PNC,% Sureson:1995:NCN% }. \NAMECITE{coalgebraic}{% deVink:1999:BPT% }. \NAMECITE{coarsest}{% Corradini:1998:CCW% }. \NAMECITE{code}{% Derencourt:1996:TWC,% Fischer:1999:MCL,% Hoogeboom:1997:CPT,% Knoop:1998:EPD,% Korelc:1997:AGF% }. \NAMECITE{codes}{% Bruyere:1998:MCB,% Bruyere:1998:MOL,% Bruyere:1999:MBC,% DeFelice:1996:AHF,% Ehrenfeucht:1996:NBG,% Lam:1997:HFC,% Long:1996:NGC,% Long:1997:SIO,% Tromp:1997:SWB,% Zhang:1995:CRB% }. \NAMECITE{codicity}{% Aigrain:1995:PTC% }. \NAMECITE{codings}{% Bruyere:1995:SDP% }. \NAMECITE{coefficient}{% Angel:1998:ACG% }. \NAMECITE{coefficients}{% Allouche:1999:TFP,% Labhalla:1996:ACR% }. \NAMECITE{{Cohen}}{% Takahashi:1996:SOP% }. \NAMECITE{{Cohen-Grossberg}}{% Takahashi:1996:SOP% }. \NAMECITE{Coherence}{% Hu:1999:CCC% }. \NAMECITE{Coherent}{% Girard:1998:CBS,% Girard:1999:CBS% }. \NAMECITE{Coin}{% Moews:1996:CSG,% Wan:1997:CAC% }. \NAMECITE{Coin-sliding}{% Moews:1996:CSG% }. \NAMECITE{coincide}{% Ingolfsdottir:1995:LES% }. \NAMECITE{collage}{% Drewes:1995:GSA% }. \NAMECITE{collection}{% Buneman:1995:PPC% }. \NAMECITE{coloured}{% Basart:1999:SCC,% Chiola:1997:SRG,% Zielonka:1998:IGF% }. \NAMECITE{colouring}{% Dubhashi:1998:NOD,% deFigueiredo:1997:ECI% }. \NAMECITE{Combination}{% Baader:1995:CTD,% Baader:1998:CCS,% Vuillon:1998:CMS% }. \NAMECITE{combinational}{% Gubas:1995:NLB% }. \NAMECITE{combinations}{% Nakamura:1995:ELL% }. \NAMECITE{Combinatoire}{% Vuillon:1998:CMS% }. \NAMECITE{combinatoires}{% Hubert:1996:PCS% }. \NAMECITE{combinatorial}{% Barcucci:1999:RGT,% Demange:1998:DAA,% Drmota:1995:MCC,% Gratzer:1999:SCA,% Hsu:1996:EMP,% Jeavons:1998:ASC,% Justin:1996:CPS,% Prasad:1995:NCS,% Hubert:1996:PCS% }. \NAMECITE{combinatorics}{% deLuca:1997:SWS,% deLuca:1999:CFW% }. \NAMECITE{combinators}{% Bunder:1996:LTD% }. \NAMECITE{Combinatory}{% Cagman:1998:CWR,% Dougherty:1995:CLA% }. \NAMECITE{Combining}{% DiCosmo:1996:CAR,% Ruet:1997:CEN% }. \NAMECITE{combustion}{% ElHamidi:1997:UMA% }. \NAMECITE{committed}{% Pitts:1998:PCB% }. \NAMECITE{common}{% Bunder:1996:TTN,% Middendorf:1998:SCS,% Muchnik:1998:CI,% Tomescu:1996:AAL,% Zhang:1995:ALC% }. \NAMECITE{communicating}{% Bremond-Gregoire:1997:PAC,% Csuhaj-Varju:1999:CCC,% Finkel:1997:VIC,% Mullins:1997:EHC,% Seidel:1995:PCP,% Vrancken:1997:ACP% }. \NAMECITE{Communication}{% AdeleA:1998:CCF,% Gargano:1998:CCF,% Ablayev:1996:LBO,% Abraham:1995:ICI,% Aguilera:1999:UHF,% Beimel:1999:RCP,% Dietzfelbinger:1996:CTL,% Geffert:1998:CHP,% Lin:1997:FDQ,% MacKenzie:1998:EPO,% Middendorf:1999:SIT,% Munier:1997:UDS% }. \NAMECITE{commutation}{% Fokkink:1997:TME% }. \NAMECITE{commutations}{% Diekert:1999:SWE% }. \NAMECITE{commutative}{% Allender:1998:NCA,% Kanovitch:1998:SCS,% Rystsov:1997:RWC% }. \NAMECITE{Commutativity}{% Choffrut:1998:CFI% }. \NAMECITE{commuting}{% Hohl:1997:MPF% }. \NAMECITE{Compact}{% Krumke:1997:CLP,% Alessi:1995:FPT,% Alessi:1998:CDB,% Blanck:1999:EDR,% Brattka:1999:CSE,% Cadoli:1997:CRP,% Drakengren:1998:DCR,% Sigstam:1997:RLC% }. \NAMECITE{companion}{% Bassino:1997:NCM% }. \NAMECITE{Comparing}{% Hoofman:1996:CMI% }. \NAMECITE{comparison}{% Colussi:1996:HCC,% Dietzfelbinger:1996:CTL,% Mundici:1997:OCS,% Sagot:1997:MSC% }. \NAMECITE{Comparisons}{% Ramos-Jimenez:1998:CPC,% Breslauer:1996:SCC% }. \NAMECITE{compatibility}{% Chebotarev:1998:RBA% }. \NAMECITE{{compatible}}{% Rubio:1995:TAC% }. \NAMECITE{competitive}{% Albers:1998:CAL,% Breslauer:1998:CLP,% Wan:1997:CAC% }. \NAMECITE{Compilation}{% Cassez:1995:CER% }. \NAMECITE{compiler}{% Gruau:1995:FSN,% Janssen:1998:ATC,% Sander:1999:GLA% }. \NAMECITE{complementation}{% Arnold:1995:ISC,% Muscholl:1996:CAC% }. \NAMECITE{Complete}{% Stewart:1995:CPM,% Aceto:1995:CAT,% Aceto:1999:CEA,% Ambos-Spies:1997:RBR,% Backofen:1995:CRF,% Badouel:1997:SPE,% Bampis:1995:OPE,% Bouhoula:1996:UIR,% Durand:1995:RNC,% Ershov:1997:BCH,% Esik:1998:EPI,% Esparza:1998:RLS,% Hirokawa:1998:IPP,% Houle:1999:ODE,% Kobayashi:1995:FPM,% Manzini:1999:CEC,% Perrier:1999:PCF,% Portier:1998:RUP,% Zimand:1995:TSC% }. \NAMECITE{Completeness}{% Baaz:1996:CFO,% Esik:1997:CPI,% Ambler:1995:DCM,% Blute:1998:NFC,% Creignou:1995:CPL,% Crescenzi:1999:MNC,% Csuhaj-Varju:1999:CCC,% Downey:1995:FPT,% Gardiner:1995:APC,% Girard:1998:DC,% Girard:1999:DC,% Juedes:1995:WC,% Lutz:1996:CVK,% Middeldorp:1996:LNS,% Mislove:1995:FPC,% Okada:1998:PSH,% Rao:1995:MPC,% Brimkov:1996:SNC% }. \NAMECITE{Completion}{% Anonymous:1995:WTC,% Zhang:1995:CRB,% Bonacina:1995:TFC,% Bonsangue:1998:GMS,% Lam:1997:HFC,% Lynch:1995:RCC,% Majster-Cederbaum:1996:MCV,% Ramesh:1996:DCC,% Teusink:1996:TVC,% Ying:1996:WIC% }. \NAMECITE{completions}{% Hu:1999:CCC% }. \NAMECITE{complets}{% Portier:1998:RUP% }. \NAMECITE{complex}{% Buneman:1995:PPC,% Gregorio:1999:ACA,% Safer:1999:PRR,% Suciu:1997:BFC% }. \NAMECITE{complexit{\'e}}{% Didier:1999:CEA% }. \NAMECITE{Complexity}{% Anonymous:1996:WAC,% Apolloni:1998:SSL,% Cheng:1995:CRS,% Ferenczi:1999:CFF,% Globerman:1996:CRT,% Goles:1997:CTR,% Grigoriev:1996:CLB,% Shinohara:1995:CCV,% Ablayev:1996:LBO,% AdeleA:1998:CCF,% Amaldi:1995:CAF,% Amaldi:1995:CAO,% Ambainis:1999:OMC,% Andreev:1998:PCA,% Balcazar:1998:SLA,% Benke:1999:SCB,% Biran:1995:TBR,% Blanchard:1998:LCR,% Bodlaender:1995:PCS,% Burago:1996:CPO,% Cadoli:1998:CDE,% Cai:1998:RPD,% Calude:1996:ECM,% Cicerone:1997:CSM,% Diamond:1995:FCS,% Didier:1999:CEA,% Dietzfelbinger:1996:CTL,% Downey:1998:PCC,% Durand:1999:CDD,% Eiter:1997:ALP,% Eiter:1998:EPC,% Engelfriet:1996:CCU,% Fortnow:1996:RBI,% Gargano:1998:CCF,% Goldstein:1995:CPG,% Gorbunov:1998:CF,% Grigoriev:1996:CAC,% Gubas:1995:NLB,% Gupta:1996:CSI,% Hartmann:1998:SRV,% Ibarra:1997:PCL,% Ilie:1997:CCC,% Koubarakis:1997:CQE,% Laumond:1996:NSC,% Levin:1996:CCF,% Lincoln:1998:CLP,% Lincoln:1999:OCL,% Matos:1997:MLP,% Maurin:1996:ECB,% Mayer:1996:CPI,% Miltersen:1995:CPC,% Muchnik:1996:GMC,% Naik:1995:QTC,% Pomerance:1997:AID,% Ramalingam:1996:CCD,% Regan:1996:ISP,% Regan:1997:GLL,% Rivals:1998:ORA,% Sakurai:1995:VDD,% Sen:1997:LBP,% Vollmer:1996:RTC,% Wozniakowski:1999:WDI,% Yu:1998:CCS,% Zwick:1996:CMP,% Dessmark:1995:MLC% }. \NAMECITE{component}{% Bouge:1997:FVD% }. \NAMECITE{composed}{% Derencourt:1996:TWC% }. \NAMECITE{Composition}{% Wu:1997:CBP% }. \NAMECITE{compositional}{% Alpuente:1996:CSB,% Brogi:1995:FAC,% Corradini:1998:CAS,% Levi:1999:CCP,% Mokkedem:1995:UTL% }. \NAMECITE{Compositionality}{% Comini:1999:CPS% }. \NAMECITE{Compositions}{% Danyi:1998:CSD,% Gyenizse:1996:CDB% }. \NAMECITE{compressed}{% Chang:1997:RED% }. \NAMECITE{COMPUGRAPH}{% Anonymous:1998:JCS,% Ehrig:1998:IC% }. \NAMECITE{COMPUGRAPH/SEMAGRAPH}{% Anonymous:1998:JCS% }. \NAMECITE{Comput}{% Bernardo:2001:CST,% Botelho:1997:EBN,% Hemaspaandra:2000:ESC,% Perrier:1998:CGP,% Pierce:1997:CHO,% Spreen:2001:CSF% }. \NAMECITE{Computability}{% Brattka:1999:CSE,% Ceola:1998:CMD,% Grigoriev:1996:CAC,% Muller:1999:CRV,% Weihrauch:1999:CPM,% Zhong:1999:CSS,% Edalat:1999:DTA,% Hemmerling:1999:AAC,% Lisitsa:1999:LOG,% Vigna:1996:RBD,% Yasugi:1999:EPS% }. \NAMECITE{Computable}{% Brattka:1999:CI,% Edalat:1999:CBS,% Moschovakis:1995:CCP,% Beklemishev:1999:PFI,% Brattka:1996:RCC,% Bridges:1999:CMF,% Cenzer:1999:ISC,% Jiang:1995:SCS,% Ko:1995:PTC,% Lisitsa:1997:LSL,% Manzini:1999:CEC,% Pelibossian:1996:LLC,% Pour-El:1999:AIC,% Seese:1998:LTC% }. \NAMECITE{Computation}{% Anonymous:1998:JCS,% Sipper:1999:CAE,% Tucker:1999:CWP,% Beigel:1996:FCB,% Branicky:1995:UCO,% Grigoriev:1996:CLB,% Honda:1999:GTA,% Jeffrey:1999:FAS,% Kaivola:1998:AEC,% Karpinski:1996:RVD,% Moore:1996:RTR,% Pan:1996:PCP,% Rytter:1995:CFR,% Stoltenberg-Hansen:1999:CMC% }. \NAMECITE{Computational}{% Danos:1998:CIC,% Goldreich:1998:CIA,% Levin:1996:CCF,% Abello:1997:CPS,% Bournez:1996:CPD,% Csuhaj-Varju:1999:CCC,% Devillers:1996:IRC,% Edalat:1998:CMM,% Ilie:1997:CCC,% Krause:1997:CPD,% Ramalingam:1996:CCD,% Sunderhauf:1995:FCM% }. \NAMECITE{computations}{% Asperti:1995:PCL,% Bracho:1997:RCC,% Chopard:1999:LBC,% Codenotti:1997:PAC,% Crescenzi:1995:RSS,% Diks:1996:RCF,% Geffert:1998:CHP,% Kanovitch:1998:SCS,% Krithivasan:1995:NPA,% Kshemkalyani:1998:FVA,% Litovsky:1998:CGG,% Niedermeier:1998:UCL,% Niemi:1998:SMC,% Pan:1996:PCP,% Schroder:1999:OCD,% deBoer:1995:NIC,% Anonymous:1996:IWU% }. \NAMECITE{compute}{% Best:1998:UNR,% Smith:1998:PFT% }. \NAMECITE{Computer}{% Anonymous:1997:CAR,% Anonymous:1997:WNL,% Mislove:1995:EEN,% Makhlouf:1997:AAC,% Troelstra:1999:CCS% }. \NAMECITE{computers}{% Moore:1998:DRR,% Niemi:1998:SMC% }. \NAMECITE{Computing}{% Abiteboul:1995:CIL,% Fredholm:1996:CMP,% Gibbons:1996:CDA,% Jenner:1995:CFP,% Kagan:1996:CMM,% Lisper:1998:CUE,% Orponen:1997:CTA,% Paun:1996:CS,% Tendeau:1998:CAD,% Colbourn:1998:LTA,% Corradini:1998:CCP,% Iliopoulos:1996:WTO,% Krause:1996:GAY,% Labhalla:1996:ACR,% Sengupta:1998:LBM,% Shinohara:1995:CCV,% Wegner:1998:IFC,% Xue:1998:THT,% Zhong:1998:RES% }. \NAMECITE{concatenable}{% Sassone:1996:AAP% }. \NAMECITE{concept}{% Apolloni:1997:PLC,% Taentzer:1998:DAS% }. \NAMECITE{concerning}{% Karpinski:1996:SAP,% Otto:1998:SUR,% Turakainen:1997:USE% }. \NAMECITE{conclusion}{% Miller:1996:FMC% }. \NAMECITE{Concrete}{% Stoltenberg-Hansen:1999:CMC% }. \NAMECITE{concurrency}{% Droste:1995:RLC,% Jategaonkar:1996:DTC,% Pinna:1995:NEA,% Priese:1998:UAT,% Sassone:1996:MCT,% Vingralek:1998:UCC% }. \NAMECITE{Concurrent}{% Corradini:1998:CCP,% Korff:1998:CDS,% Bergeron:1997:RBC,% Bernardo:1998:TET,% Bernardo:2001:CST,% Bracho:1997:RCC,% Collette:1997:FMR,% Falaschi:1997:CCC,% Gorrieri:1995:ICC,% Keesmaat:1997:RRV,% Kobayashi:1999:DCL,% Marriott:1997:CCC,% Mokkedem:1995:UTL,% Moschovakis:1995:CCP,% Philippou:1998:TCP% }. \NAMECITE{concurrent-object}{% Philippou:1998:TCP% }. \NAMECITE{condition}{% Ramos-Jimenez:1998:CPC% }. \NAMECITE{conditional}{% Astesiano:1995:FOE,% Gramlich:1996:TCP,% Heckel:1998:ECC,% Khasidashvili:1998:CSC% }. \NAMECITE{conditions}{% Lynch:1999:TCL,% Ramos-Jimenez:1998:CPC% }. \NAMECITE{configurations}{% Bouajjani:1999:SRA% }. \NAMECITE{Conflict}{% Wan:1998:CFC,% Teruel:1996:STE% }. \NAMECITE{Conflict-Free}{% Wan:1998:CFC% }. \NAMECITE{Confluence}{% Falaschi:1997:CCC,% Groote:1996:CPV,% LafayedeMicheaux:1996:CGT,% Ait-Kaci:1995:LSC,% Gramlich:1996:TCP,% Harju:1998:QOW,% Liu:1998:PCP,% Mayr:1998:HOR,% Senizergues:1998:PAT,% Verma:1995:TCR,% vanOostrom:1997:DDR% }. \NAMECITE{confluent}{% Marriott:1997:CCC% }. \NAMECITE{conformisms}{% Monserrat:1998:HRU% }. \NAMECITE{confusion}{% Smith:1996:BCC% }. \NAMECITE{Congruence}{% Gratzer:1999:CL,% Boreale:1998:SCP,% Corradini:1998:CCW,% Engelfriet:1999:MSC,% Gratzer:1999:SCA,% Inverardi:1995:DOC% }. \NAMECITE{congruences}{% Cheng:1998:OMB,% Madlener:1998:RRT,% Maler:1997:SCL,% Van:1995:CRL% }. \NAMECITE{conjecture}{% Rosaz:1998:IUL,% Verbitsky:1996:TPR,% deLuca:1998:CCF% }. \NAMECITE{conjugation}{% Seebold:1998:CSM% }. \NAMECITE{conjunctive}{% Dezani-Ciancaglini:1996:FMC% }. \NAMECITE{conjunctive-disjunctive}{% Dezani-Ciancaglini:1996:FMC% }. \NAMECITE{connected}{% Courcelle:1999:MSO,% Kant:1997:REL% }. \NAMECITE{connectivity}{% Even:1998:MCC,% Feige:1996:FRL% }. \NAMECITE{conquer}{% Mayr:1996:DCA% }. \NAMECITE{consensus}{% Aguilera:1999:UHF,% Bodlaender:1995:PCS,% Lin:1997:FDQ% }. \NAMECITE{conservative}{% DArgenio:1997:GCE% }. \NAMECITE{considerations}{% Raz:1997:LCC% }. \NAMECITE{consistency}{% Dechter:1997:LGR,% Gardiner:1995:APC,% Heckel:1998:ECC,% Koubarakis:1997:LGC% }. \NAMECITE{Consistent}{% Fraser:1996:CSS,% Jiang:1995:SCS,% Middendorf:1995:FVM,% Schmidt-Schauss:1995:MTC% }. \NAMECITE{Constant}{% Crochemore:1999:CSS,% Asarin:1995:RAD,% Sagiv:1996:PID,% Vollmer:1998:RPT% }. \NAMECITE{Constant-space}{% Crochemore:1999:CSS% }. \NAMECITE{constants}{% Flajolet:1998:CFA% }. \NAMECITE{Constrained}{% Maher:1997:CD,% Lynch:1995:RCC% }. \NAMECITE{Constraint}{% Zhang:1995:CNS,% Alpuente:1995:ICS,% Apt:1999:ECP,% Baader:1998:CCS,% Bensaou:1998:TCL,% Falaschi:1997:CCC,% Girodias:1997:SLM,% Koubarakis:1997:CQE,% Koubarakis:1997:LGC,% Marriott:1997:CCC,% Takahashi:1996:SOP,% Yamasaki:1998:SAP,% deBoer:1995:NIC% }. \NAMECITE{constraints}{% Clementi:1999:INA,% Grumbach:1997:QAC,% Kozen:1996:RSS,% Marriott:1996:NBC,% Mateescu:1998:STS,% Meyer:1997:PLL,% Ross:1998:FAC,% Su:1997:DCO% }. \NAMECITE{construct}{% Muchnik:1996:GMC% }. \NAMECITE{constructed}{% Kemp:1996:BST% }. \NAMECITE{Constructible}{% Bergeron:1995:CDF% }. \NAMECITE{Constructing}{% Andreev:1996:CHD,% Cockett:1997:CPC,% Geiselman:1997:CTO,% JaJa:1996:SSC,% Karpinski:1997:CCO% }. \NAMECITE{construction}{% Bender:1995:PIO,% Forti:1996:GCH,% Janssen:1998:ATC,% Malgouyres:1995:GGC,% Matamala:1995:RCP,% Sakarovitch:1998:CFA,% Sander:1999:GLA,% Spreen:1999:FPL,% Spreen:2001:CSF% }. \NAMECITE{constructions}{% Antimirov:1996:PDR,% Chen:1996:PCM,% Drmota:1995:MCC% }. \NAMECITE{Constructive}{% Bridges:1999:CMF,% Sambin:1996:CDT,% Heckel:1998:ECC,% Kushner:1999:MCA,% Takahashi:1996:UCN% }. \NAMECITE{constructivism}{% Troelstra:1999:CCS% }. \NAMECITE{constructor}{% Gramlich:1996:TCP% }. \NAMECITE{constructor-sharing}{% Gramlich:1996:TCP% }. \NAMECITE{{Contact}}{% Smith:1996:BCC% }. \NAMECITE{containing}{% Tomescu:1998:WCA% }. \NAMECITE{contaminated}{% Gregorio:1999:ACA% }. \NAMECITE{content}{% Agrawal:1996:GSL% }. \NAMECITE{Contents}{% Anonymous:1996:CEBa,% Anonymous:1996:CEBb,% Anonymous:1997:CEBa,% Anonymous:1997:CEBb,% Anonymous:1997:CEBc% }. \NAMECITE{Context}{% Khasidashvili:1998:CSC,% Rytter:1995:CFR,% Wong:1995:CSS,% Csuhaj-Varju:1999:CCC,% Dassow:1997:CCF,% Fernau:1998:RRL,% Hirshfeld:1996:PAD,% Hotz:1996:PCC,% Kulkarni:1996:LTP,% Larmore:1998:AOS,% Ngo:1997:AQC,% Pelecq:1996:AGC,% Ramos-Jimenez:1998:CPC,% Raz:1997:LCC% }. \NAMECITE{Context-free}{% Rytter:1995:CFR,% Csuhaj-Varju:1999:CCC,% Dassow:1997:CCF,% Fernau:1998:RRL,% Hirshfeld:1996:PAD,% Pelecq:1996:AGC,% Ramos-Jimenez:1998:CPC,% Raz:1997:LCC% }. \NAMECITE{Context-sensitive}{% Khasidashvili:1998:CSC,% Ngo:1997:AQC% }. \NAMECITE{Context-specific}{% Wong:1995:CSS% }. \NAMECITE{contextual}{% Ehrenfeucht:1998:RRE,% Ilie:1997:CCC% }. \NAMECITE{Continued}{% Flajolet:1998:CFA,% Niederreiter:1999:ASC,% deLuca:1998:CCF% }. \NAMECITE{Continuity}{% Flagg:1997:CSR,% Weihrauch:1999:EGM% }. \NAMECITE{continuous}{% Branicky:1995:UCO,% Bucciarelli:1997:DPC,% Girard:1998:CBS,% Girard:1999:CBS,% Koslowski:1997:NFA,% Kranakis:1998:AMF,% Lemmon:1995:IIV,% Moore:1996:RTR% }. \NAMECITE{continuous-state}{% Lemmon:1995:IIV% }. \NAMECITE{continuous-time}{% Moore:1996:RTR% }. \NAMECITE{contraction}{% Diks:1998:MGP% }. \NAMECITE{contractum}{% Banach:1995:LCD% }. \NAMECITE{Contributions}{% Costantini:1995:CSM,% McNaughton:1998:CRV,% Rozenberg:1997:C% }. \NAMECITE{control}{% Bergeron:1995:SCD,% Burkhard:1997:FCM,% Cho:1998:TGP,% Henzinger:1999:DTC,% Hollingsworth:1998:UCC,% Kumar:1995:ESI,% OHearn:1999:SCI,% Vingralek:1998:UCC,% Worsch:1999:PTM% }. \NAMECITE{{Controllability}}{% Laumond:1996:NSC% }. \NAMECITE{controlled}{% Keesmaat:1997:RRV% }. \NAMECITE{convergence}{% Fill:1996:LRC,% Gehrke:1999:RCL,% He:1999:CRG,% Lozano:1999:GAB,% Wagner:1997:LCC% }. \NAMECITE{conversion}{% Esik:1995:EPK% }. \NAMECITE{conversions}{% Schwichtenberg:1999:TPC% }. \NAMECITE{convert}{% Ziadi:1999:OPA% }. \NAMECITE{convex}{% Barcucci:1996:RCP,% Berman:1997:NOP,% Dattasharma:1995:AVR,% LeGoueslierdArgence:1998:ASB,% Sen:1997:LBP,% Yu:1995:EPA,% dAndrea:1999:MSH% }. \NAMECITE{convex-bipartite}{% Yu:1995:EPA% }. \NAMECITE{{Cook}}{% Lutz:1996:CVK% }. \NAMECITE{Cooperation}{% Dassow:1997:CCF% }. \NAMECITE{coordinated}{% Middendorf:1998:SCS% }. \NAMECITE{coordinating}{% Mukherji:1998:PCB% }. \NAMECITE{coordination}{% Busi:1998:PAV,% Monteiro:1998:EBA,% Neiger:1999:UKO% }. \NAMECITE{copies}{% Kececioglu:1997:IDS% }. \NAMECITE{copying}{% Rambow:1999:IPF% }. \NAMECITE{copyright}{% Ruanaidh:1999:CCP% }. \NAMECITE{corner}{% Eriksson:1998:MFT% }. \NAMECITE{corrected}{% Vincent:1997:CDR% }. \NAMECITE{correction}{% Chung:1998:IAS% }. \NAMECITE{Correctness}{% Karpinski:1997:CCO,% Gritzner:1996:RAM,% Janssen:1998:ATC,% Navarro:1995:CMS,% Nickolas:1996:QPU,% Sands:1996:PCR,% Schwartzbach:1996:SCH,% Sikkel:1998:PSC,% deGroote:1999:ACC% }. \NAMECITE{correlation}{% Feng:1999:TCC% }. \NAMECITE{correlation-immune}{% Feng:1999:TCC% }. \NAMECITE{Correspondence}{% Harju:1996:FPC% }. \NAMECITE{Corrigendum}{% Bernardo:2001:CST,% Perrier:1998:CGP,% Pierce:1997:CHO,% Spreen:2001:CSF% }. \NAMECITE{cost}{% DePrisco:1996:NLB,% Fill:1996:LRC,% Hadjiat:1998:PGH,% Hollingsworth:1998:UCC,% Novak:1999:CUN% }. \NAMECITE{costed}{% Louscou-Bozapalidou:1996:SCT% }. \NAMECITE{costs}{% Koole:1997:ASS% }. \NAMECITE{counter}{% Morita:1996:URT% }. \NAMECITE{counterfeit}{% Wan:1997:CAC% }. \NAMECITE{Counting}{% Cori:1998:CNI,% Chen:1997:LCF,% Diaz:1998:RGC,% Grumbach:1995:EPC,% Lynch:1999:TCL,% Vollmer:1996:RTC,% vanDalen:1998:ICB% }. \NAMECITE{Coupled}{% Bignone:1999:CML,% Hotz:1996:PCC% }. \NAMECITE{coupled-context-free}{% Hotz:1996:PCC% }. \NAMECITE{Covariant}{% Jay:1997:CT% }. \NAMECITE{{Coven}}{% Blanchard:1996:DBC% }. \NAMECITE{Cover}{% Mitas:1997:CPE,% Clementi:1999:INA,% Wong:1999:OPC,% Yu:1998:CCS% }. \NAMECITE{Cover-preserving}{% Mitas:1997:CPE% }. \NAMECITE{coverage}{% Cohen:1996:PFS% }. \NAMECITE{covering}{% Iliopoulos:1999:QSC% }. \NAMECITE{Covers}{% Mall:1997:CFP,% Gallier:1995:PPT,% Iliopoulos:1996:WTO% }. \NAMECITE{{CPS}}{% Boudol:2000:SCN% }. \NAMECITE{{CRCW}}{% Iwama:1996:TLB,% Wang:1998:SCP% }. \NAMECITE{criteria}{% Lynch:1995:RCC% }. \NAMECITE{criterion}{% deGroote:1999:ACC% }. \NAMECITE{{Crochemore}}{% Breslauer:1996:SCC% }. \NAMECITE{{Crochemore-Perrin}}{% Breslauer:1996:SCC% }. \NAMECITE{crossbars}{% MeyeraufderHeide:1998:RNO% }. \NAMECITE{crowding}{% Cedeno:1999:ASN% }. \NAMECITE{Cryptographic}{% Ruanaidh:1999:CCP% }. \NAMECITE{cryptosystem}{% Tao:1999:FAP% }. \NAMECITE{cryptosystems}{% Chua:1999:ART% }. \NAMECITE{{CSP}}{% Davies:1995:BHT,% Lowe:1995:PPM,% Reed:1999:TFS,% vanGlabbeek:1997:NMC% }. \NAMECITE{cubes}{% Basart:1999:SCC% }. \NAMECITE{cubic}{% Chua:1999:ART% }. \NAMECITE{{Cumulative}}{% Anonymous:1995:CIV% }. \NAMECITE{{Curry}}{% Albrecht:1997:NCH% }. \NAMECITE{curve}{% Damaschke:1997:OPA,% Ko:1995:PTC% }. \NAMECITE{curves}{% Adleman:1999:SAD,% Asano:1997:SFC,% Chua:1999:ART,% Malgouyres:1995:GGC% }. \NAMECITE{customers}{% Fourneau:1996:NMC% }. \NAMECITE{cut}{% Arai:1996:TCF,% Diaz:1997:PAM,% Okada:1998:PSH,% Okada:1999:PSC% }. \NAMECITE{cut-elimination}{% Okada:1998:PSH,% Okada:1999:PSC% }. \NAMECITE{cut-free}{% Arai:1996:TCF% }. \NAMECITE{cycle}{% Malgouyres:1995:GGC% }. \NAMECITE{cycles}{% Schupp:1998:SHC% }. \NAMECITE{cyclic}{% Chung:1998:IAS,% Kennaway:1998:IRC,% Metayer:1998:SRC% }. \NAMECITE{cylindrical}{% Harrison:1996:ACL% }. \NAMECITE{{D}}{% Arques:1995:FSL,% Dattasharma:1995:AVR,% Delorme:1999:DPC,% Durand:1995:RNC,% Malgouyres:1997:DSZ% }. \NAMECITE{{D0L}}{% Harrison:1996:ACL% }. \NAMECITE{dans}{% Duval:1998:PLP,% Garel:1997:SMI,% Hubert:1996:PCS,% Wilf:1996:RDP% }. \NAMECITE{{DAQV}}{% Hackstadt:1998:DDA% }. \NAMECITE{data}{% Asano:1997:SFC,% Bouge:1997:FVD,% Costa:1997:SAD,% DiGianantonio:1999:ADT,% Duquenne:1999:LSD,% Elihai:1996:FHO,% Fekete:1999:ESD,% Fraigniaud:1998:XPM,% Jouannaud:1997:ADT,% Matthews:1995:ETL,% Munro:1996:SRO,% Schachinger:1995:VCI,% Sieling:1995:GDB,% Smith:1998:PFT,% Talamo:1997:DSL,% Tuijn:1996:CCG,% VandenBussche:1995:EPC,% Wong:1995:CSS,% Yarroll:1996:SMT,% Zucca:1999:SDA% }. \NAMECITE{data-movement-intensive}{% Fraigniaud:1998:XPM% }. \NAMECITE{data-parallel}{% Bouge:1997:FVD% }. \NAMECITE{data-types}{% Zucca:1999:SDA% }. \NAMECITE{database}{% Fouquere:1998:LLT,% Vincent:1997:CDR% }. \NAMECITE{databases}{% Bonatti:1996:QDD,% Bosc:1997:FQR,% Demetrovics:1998:APK,% Eiter:1998:EPC,% Gardy:1995:DAS,% Koubarakis:1997:CQE,% Libkin:1998:MAD,% Suciu:1998:DIQ,% Wong:1995:CSS,% Zimanyi:1997:QEP% }. \NAMECITE{dataflow}{% Sagiv:1996:PID% }. \NAMECITE{{DATALOG}}{% Cadoli:1998:CDE,% Lifschitz:1998:PVD% }. \NAMECITE{datatypes}{% Cockett:1995:SCD% }. \NAMECITE{dead}{% Knoop:1998:EPD% }. \NAMECITE{deadlines}{% Kwon:1999:SPT,% Schmid:1995:RTQ% }. \NAMECITE{deadlock}{% Abramsky:1999:SSD,% Durand:1999:CDD,% Matthews:1995:ETL% }. \NAMECITE{deadlock-freedom}{% Abramsky:1999:SSD% }. \NAMECITE{Decidability}{% Mihalache:1999:DPG,% Salomaa:1996:DED,% Schmidt-Schauss:1999:DBE,% Stirling:1998:DBE,% Ceola:1998:CMD,% Choffrut:1997:NDQ,% Dam:1997:DPE,% Harrison:1996:ACL,% Shilov:1997:PSV% }. \NAMECITE{decidable}{% Demri:1998:CDI,% Drakengren:1998:DCR,% Loader:1998:UPD% }. \NAMECITE{Deciding}{% Inverardi:1995:DOC,% Jategaonkar:1996:DTC,% Yen:1996:DBT,% Hirshfeld:1996:PAD% }. \NAMECITE{decision}{% Baader:1995:CTD,% Breitbart:1995:SBD,% Bruyere:1995:SDP,% Burago:1996:CPO,% Hosaka:1997:SOB,% Kullmann:1999:NMS,% Marion:1999:MSA,% Ramakrishna:1996:ILTa,% Ramakrishna:1996:ILTb,% Schmidt-Schauss:1998:DAD,% Sen:1997:LBP,% Vereshchagin:1998:RBD,% Voronkov:1999:SRU,% Yao:1995:ADT% }. \NAMECITE{decisional}{% Madonia:1997:SDP% }. \NAMECITE{{Deco}}{% Barcucci:1996:DPP% }. \NAMECITE{decoding}{% Cegielski:1999:AFO% }. \NAMECITE{decomposable}{% Denise:1999:URG% }. \NAMECITE{decomposition}{% Kavvadias:1996:HED,% Maler:1995:DTP,% deGraaf:1997:ADS,% Fournier:1996:PFP% }. \NAMECITE{decompositions}{% Courcelle:1999:MSO% }. \NAMECITE{decorations}{% Tendeau:1998:CAD% }. \NAMECITE{deduction}{% Astesiano:1995:FOE,% Martini:1997:ELN,% Sato:1997:ICN% }. \NAMECITE{deductions}{% Stone:1999:RSI% }. \NAMECITE{deductive}{% Eiter:1998:EPC% }. \NAMECITE{default}{% Dimopoulos:1996:GTS,% Zhang:1999:SCA% }. \NAMECITE{Defaults}{% Zhang:1997:DDT% }. \NAMECITE{definability}{% Alimohamed:1995:CLD,% Ebinger:1996:LDI% }. \NAMECITE{definable}{% Bunder:1996:LTD,% Niedermeier:1998:UCL% }. \NAMECITE{defined}{% Barcucci:1996:PDT,% Dybjer:1996:RID,% Dybjer:1997:RID,% Hubert:1996:PCS,% Peladeau:1997:FSV,% Quemener:1998:MCI% }. \NAMECITE{d{\'e}finies}{% Hubert:1996:PCS% }. \NAMECITE{defining}{% Thomas:1997:PDS% }. \NAMECITE{definition}{% Favati:1997:AOD,% Kahrs:1997:DEM,% Malgouyres:1997:DSZ,% Proietti:1995:UDF,% Vincent:1997:CDR,% Visser:1998:PSD% }. \NAMECITE{definitions}{% Fredholm:1995:IAF% }. \NAMECITE{degenerate}{% Hubert:1997:DDB% }. \NAMECITE{degree}{% Andreev:1996:CHD,% Andreev:1998:PCA,% Cucker:1996:GKP,% Risler:1996:BDN% }. \NAMECITE{Degrees}{% Bucciarelli:1997:DPC,% Zimand:1995:TSC% }. \NAMECITE{delai}{% Frougny:1998:SDA% }. \NAMECITE{delay}{% Beal:1998:BSD,% Bruyere:1998:MCB,% DiIanni:1998:EDR,% Frougny:1998:SDA,% Hartonas:1997:SFD,% Hartonas:1998:FAF,% Ianni:1998:EDR% }. \NAMECITE{delays}{% Munier:1997:UDS% }. \NAMECITE{deletion}{% Ito:1997:IDC% }. \NAMECITE{{Delta}}{% Schneider:1998:NOI% }. \NAMECITE{{Delta}-grammars}{% Schneider:1998:NOI% }. \NAMECITE{demonic}{% Demri:1996:LAD,% Desharnais:1995:EDS% }. \NAMECITE{denotational}{% Berline:1997:DSM,% Berline:1999:DSM,% Girard:1998:CBS,% Girard:1998:DC,% Girard:1999:CBS,% Girard:1999:DC,% Koutny:1999:ODS,% Pratt:1998:BDS% }. \NAMECITE{dense}{% Andreev:1996:CHD,% Bremond-Gregoire:1997:PAC,% Diaz:1998:RGC% }. \NAMECITE{density}{% Clementi:1999:INA,% Kolpakov:1999:RFB% }. \NAMECITE{{D}{\'e}pendance}{% Fabre:1996:DSN% }. \NAMECITE{dependence}{% Bracho:1997:RCC,% Fabre:1996:DSN% }. \NAMECITE{dependences}{% Bidoit:1998:FST% }. \NAMECITE{dependencies}{% Demetrovics:1998:APK,% Kivinen:1995:AIF,% Levene:1998:AFD,% Maher:1997:CD% }. \NAMECITE{dependent}{% Chen:1995:MDS% }. \NAMECITE{depoissonization}{% Jacquet:1998:ADA% }. \NAMECITE{depth}{% Allender:1998:NCA,% Andrews:1997:LSD,% Krause:1997:CPD,% Sakurai:1995:VDD,% Vollmer:1998:RPT% }. \NAMECITE{depth-}{% Krause:1997:CPD% }. \NAMECITE{depth-first}{% Andrews:1997:LSD% }. \NAMECITE{derandomization}{% Andreev:1999:WCH% }. \NAMECITE{derivation}{% Barendsen:1998:DSU,% Wang:1998:FDT,% Weiermann:1995:TPT% }. \NAMECITE{derivations}{% Comini:1999:CPS,% Korff:1998:CDS% }. \NAMECITE{derivatives}{% Antimirov:1996:PDR,% Asarin:1995:RAD% }. \NAMECITE{derived}{% Tseytin:1999:FRD% }. \NAMECITE{{Descriptional}}{% Pomerance:1997:AID% }. \NAMECITE{descriptions}{% Gruska:1997:SDS,% Morcrette:1996:EDF,% Seese:1998:LTC% }. \NAMECITE{Design}{% Marchiori:1999:DAD,% Asano:1997:SFC,% Gabarro:1996:DPD,% Hartmann:1998:SRV,% Seetharaman:1995:SDS,% Varadharajan:1999:DER,% Vincent:1997:CDR% }. \NAMECITE{designs}{% Du:1998:ASI% }. \NAMECITE{{DESIR}}{% Pflugel:1997:LVD% }. \NAMECITE{{DESIR-II}}{% Pflugel:1997:LVD% }. \NAMECITE{Detecting}{% Hubert:1997:DDB% }. \NAMECITE{detection}{% Afek:1997:LDP,% Apostolico:1995:PDA,% Durand:1999:CDD,% Loogen:1995:DDD% }. \NAMECITE{detector}{% Aguilera:1999:UHF% }. \NAMECITE{determination}{% Bronnimann:1999:SDR% }. \NAMECITE{determining}{% Le:1998:DOS% }. \NAMECITE{determinism}{% Loogen:1995:DDD% }. \NAMECITE{deterministe}{% Frougny:1998:SDA% }. \NAMECITE{Deterministic}{% Giammarresi:1999:DGA,% Handley:1997:DSM,% Slutzki:1995:DTT,% Danyi:1998:CSD,% Frougny:1998:SDA,% Grigoriev:1997:TSE,% Gyenizse:1996:CDB,% Karpinski:1996:RVD,% Koshiba:1997:LDE,% Kudlek:1996:SDT,% Nishida:1995:QDS,% Pelletier:1999:RFD,% Salomaa:1996:DED,% deBruin:1998:LDK% }. \NAMECITE{determinizable}{% Alur:1999:ECA% }. \NAMECITE{{Devaney}}{% Favati:1997:AOD% }. \NAMECITE{Developing}{% vanOostrom:1997:DDR% }. \NAMECITE{development}{% Bignone:1999:CML% }. \NAMECITE{developments}{% Wilf:1996:RDP,% vanOostrom:1997:DDR% }. \NAMECITE{d{\'e}v{\'e}loppements}{% Wilf:1996:RDP% }. \NAMECITE{devising}{% Flammini:1997:DBR% }. \NAMECITE{{DFA}}{% Chang:1997:RED% }. \NAMECITE{diagnosis}{% Diks:1998:SDS% }. \NAMECITE{diagonal}{% Colson:1999:DFP% }. \NAMECITE{diagram}{% Berman:1997:NOP% }. \NAMECITE{diagrams}{% Breitbart:1995:SBD,% Cori:1998:CNI,% Hosaka:1997:SOB% }. \NAMECITE{dictionary}{% Gabarro:1996:DPD% }. \NAMECITE{{DIEGO}}{% Taentzer:1998:DAS% }. \NAMECITE{differences}{% Auer:1997:LND,% Flajolet:1995:MTAb% }. \NAMECITE{differentiable}{% Schroder:1999:OCD% }. \NAMECITE{Differential}{% Demange:1998:DAA,% Fakler:1997:SOH,% Geiselman:1997:CTO,% Grigoriev:1996:NSS,% Hubert:1997:DDB,% Ollagnier:1996:AMD,% Scheen:1997:IPT,% Thomas:1997:PDS% }. \NAMECITE{differential-algebraic}{% Thomas:1997:PDS% }. \NAMECITE{differentially}{% Bergeron:1995:CDF% }. \NAMECITE{diffusion}{% AdeleA:1998:CCF,% Gargano:1998:CCF% }. \NAMECITE{digital}{% Arques:1995:FSL,% Damaschke:1997:OPA,% JaJa:1996:SSC,% Jacquet:1995:ABL,% Ruanaidh:1999:CCP,% Schachinger:1995:VCI,% Smyth:1995:SMC% }. \NAMECITE{digraphs}{% Chaudhuri:1998:SPD,% Cicerone:1998:UAS,% Wan:1998:CFC% }. \NAMECITE{{Dijkstra}}{% Berghammer:1995:FDP% }. \NAMECITE{dimension}{% Houle:1999:ODE,% Kopidakis:1997:ASS,% Shinohara:1995:CCV,% Sakurai:1995:VDD% }. \NAMECITE{dimension-exchange}{% Houle:1999:ODE% }. \NAMECITE{dimensional}{% Allouche:1997:ADS,% Barua:1996:GGT,% Durand-Lose:1998:PTT,% Favati:1997:AOD,% Ito:1995:OST,% Karpinski:1998:AIO,% Manzini:1999:CEC,% Mazoyer:1999:SOD,% Middendorf:1996:TDP,% Morita:1995:RSO,% Orgun:1997:MDL,% Otto:1999:BIP,% Park:1998:ATD,% Rote:1997:FSV,% Terrier:1999:TDC,% delaHiguera:1997:DET% }. \NAMECITE{dimensions}{% Koiran:1999:CFA,% Shinohara:1995:CCV% }. \NAMECITE{{Diophantine}}{% Ajili:1997:ASV% }. \NAMECITE{direct}{% Ramesh:1996:DCC,% Wang:1998:FDT% }. \NAMECITE{directed}{% Erlebach:1999:OWR,% Louchard:1996:PAS,% Schied:1998:LTH,% Takaoka:1998:SPA% }. \NAMECITE{directional}{% deBerg:1995:RGD% }. \NAMECITE{discipline}{% Sangiorgi:1999:NDU% }. \NAMECITE{discovery}{% Mukouchi:1995:TMT% }. \NAMECITE{Discrete}{% Delorme:1999:DPC,% Henzinger:1999:DTC,% Sarrafzadeh:1995:DWP,% Adleman:1999:SAD,% Goles:1996:SDU,% Malgouyres:1997:DSZ% }. \NAMECITE{Discrete-time}{% Henzinger:1999:DTC% }. \NAMECITE{discretization}{% Elihai:1996:FHO% }. \NAMECITE{discretized}{% Malgouyres:1995:GGC% }. \NAMECITE{discrimination}{% Cai:1995:UMD% }. \NAMECITE{discussion}{% Bignone:1999:CML% }. \NAMECITE{disjoint}{% Gramlich:1996:TCP% }. \NAMECITE{disjunctive}{% Bonatti:1996:QDD,% Dezani-Ciancaglini:1996:FMC,% Eiter:1998:EPC,% Goralcik:1998:DSP% }. \NAMECITE{disk}{% Marathe:1997:HSU% }. \NAMECITE{disorder}{% Baeza-Yates:1996:BDE% }. \NAMECITE{dispersal}{% Beguin:1998:GID% }. \NAMECITE{distance}{% Alessi:1998:CDB,% Leung:1997:UUM,% Sridhar:1995:EAS% }. \NAMECITE{distances}{% Lin:1998:CMP% }. \NAMECITE{Distributed}{% Kobayashi:1999:DCL,% Bergeron:1995:SCD,% Biran:1995:TBR,% Cleaveland:1998:PAD,% Dubhashi:1998:NOD,% Krause:1996:GAY,% Kshemkalyani:1998:FVA,% Kudlek:1997:DC,% Lin:1997:FDQ,% Neiger:1999:UKO,% Yu:1997:STT,% Zhang:1999:FVP,% Hackstadt:1998:DDA% }. \NAMECITE{distribution}{% Blundo:1998:GBC,% Dubhashi:1995:FML,% Fill:1996:LRC,% Houle:1999:ODE% }. \NAMECITE{distributions}{% Belanger:1997:NNP,% Drmota:1995:MCC,% Kobayashi:1997:TPM% }. \NAMECITE{distributive}{% Habib:1996:TSD,% Schmidt-Schauss:1998:DAD,% Vigna:1996:RBD% }. \NAMECITE{disunification}{% Baader:1995:CTD% }. \NAMECITE{Divergence}{% Ghelli:1995:DTC,% Erdogmus:1996:OSN,% Hansen:1995:FD% }. \NAMECITE{Divide}{% Mayr:1996:DCA% }. \NAMECITE{Divide-and-conquer}{% Mayr:1996:DCA% }. \NAMECITE{division}{% Bosc:1997:FQR% }. \NAMECITE{{DLOGTIME}}{% Alvarez:1995:ADP% }. \NAMECITE{{DNA}}{% Kececioglu:1997:IDS% }. \NAMECITE{do}{% Iwama:1996:TLB% }. \NAMECITE{documents}{% Ramalho:1998:ASD% }. \NAMECITE{does}{% Wozniakowski:1999:WDI% }. \NAMECITE{Domain}{% Edalat:1995:DTI,% Suciu:1998:DIQ,% Blanck:1999:EDR,% Drakengren:1996:USR,% Drakengren:1998:DCR,% Edalat:1999:CBS,% Edalat:1999:DTA,% Edmonds:1997:FSR,% Rutten:1996:EGU,% Sambin:1996:CDT,% Zhang:1997:DDT% }. \NAMECITE{Domain-independent}{% Suciu:1998:DIQ% }. \NAMECITE{domain-theoretic}{% Edalat:1999:DTA% }. \NAMECITE{domaine}{% Wilf:1996:RDP% }. \NAMECITE{domains}{% Bonsangue:1998:GMS,% Flagg:1997:CSR,% Giacobazzi:1999:RRP,% Koslowski:1997:NFA,% LeGoueslierdArgence:1998:ASB,% Marchiori:1999:DAD,% Sigstam:1997:RLC,% Zhang:1996:LCC,% Zhang:1996:QPA,% Hodges:1995:MSD% }. \NAMECITE{dominating}{% Downey:1998:TDS% }. \NAMECITE{{Domineering}}{% Kim:1996:NVD% }. \NAMECITE{Domino}{% Chaboud:1996:DTP,% Latteux:1997:RPL% }. \NAMECITE{dominoes}{% Fournier:1996:PFP% }. \NAMECITE{dominos}{% Fournier:1996:PFP% }. \NAMECITE{don't}{% Kucherov:1997:MSS% }. \NAMECITE{double}{% Allouche:1997:ADS,% Banach:1995:LCD,% Burmeister:1997:ATU% }. \NAMECITE{{Double-pushout}}{% Burmeister:1997:ATU% }. \NAMECITE{doubly}{% Yu:1995:EPA% }. \NAMECITE{down}{% Andre:1998:EPL,% Danyi:1998:CSD,% Gyenizse:1996:CDB,% Slutzki:1995:DTT,% delaClergerie:1998:IFT% }. \NAMECITE{downwards}{% Gibbons:1996:CDA% }. \NAMECITE{{DPO}}{% Banach:1998:DRA% }. \NAMECITE{Drawing}{% delaHiguera:1997:DET,% Kant:1997:REL,% Tamassia:1999:ATP% }. \NAMECITE{drawings}{% Crescenzi:1998:SUD% }. \NAMECITE{driven}{% Sieling:1995:GDB% }. \NAMECITE{Dual}{% Gollmann:1999:DBB,% Cai:1998:RPD,% Chaboud:1996:DTP,% Lange:1996:MDM% }. \NAMECITE{Duality}{% Ambler:1995:DCM,% Bonsangue:1995:DBS,% Hartonas:1998:DMS% }. \NAMECITE{d'un}{% Fabre:1996:DSN,% Francon:1996:TPA% }. \NAMECITE{d'une}{% Labhalla:1996:ACR,% Vuillon:1998:CMS% }. \NAMECITE{duplication}{% Munier:1997:UDS% }. \NAMECITE{durational}{% Gorrieri:1995:TPD% }. \NAMECITE{durations}{% Lakhneche:1995:MTL% }. \NAMECITE{Dynamic}{% Auletta:1996:DSA,% Gardy:1995:DAS,% Loogen:1995:DDD,% Su:1997:DCO,% Bidoit:1998:FST,% Blundo:1996:FDS,% Cicerone:1998:UAS,% Costa:1997:SAD,% Dami:1998:LCD,% Ramalingam:1996:CCD,% Tendeau:1998:CAD,% Zhang:1995:CNS,% Zucca:1999:SDA,% deBruin:1998:LDK% }. \NAMECITE{dynamic-data}{% Costa:1997:SAD% }. \NAMECITE{Dynamical}{% Blanchard:1996:DBC,% Harrison:1995:DPP,% Moore:1998:DRR,% Asarin:1995:RAD,% Bournez:1996:CPD,% Branicky:1995:UCO,% Cattaneo:1999:DBC,% Lemmon:1995:IIV,% Sirvent:1996:RBD,% Sirvent:1997:SDS% }. \NAMECITE{dynamics}{% Bignone:1999:CML,% Kuorka:1997:TDT,% Siegelmann:1996:SDS,% vanNimwegen:1999:SDR% }. \NAMECITE{{E}-pattern}{% Ohlebusch:1997:EPP% }. \NAMECITE{{E}-unification}{% Degtyarev:1996:USR,% Dougherty:1995:CLA% }. \NAMECITE{each}{% Andreae:1999:TPG% }. \NAMECITE{eager}{% Middeldorp:1996:LNS% }. \NAMECITE{early}{% Ingolfsdottir:1995:LES% }. \NAMECITE{ears}{% Kavvadias:1996:HED% }. \NAMECITE{easy}{% Crescenzi:1999:MNC% }. \NAMECITE{{EATCS}}{% Anonymous:1996:CEBa,% Anonymous:1996:CEBb,% Anonymous:1997:CEBa,% Anonymous:1997:CEBb,% Anonymous:1997:CEBc% }. \NAMECITE{Echanges}{% Santini-Bouchard:1997:ETI% }. \NAMECITE{eco}{% Csuhaj-Varju:1998:TBE% }. \NAMECITE{eco-grammar}{% Csuhaj-Varju:1998:TBE% }. \NAMECITE{{\'e}critures}{% Didier:1999:CEA% }. \NAMECITE{edge}{% Bloo:1999:ESE,% Dubhashi:1998:NOD,% Kant:1997:REL,% deFigueiredo:1997:ECI% }. \NAMECITE{edge-colouring}{% deFigueiredo:1997:ECI% }. \NAMECITE{edges}{% Colbourn:1998:LTA,% Drangmeister:1998:MEN% }. \NAMECITE{edit}{% Jiang:1995:ATA,% Leung:1997:UUM,% Lopresti:1997:BEM% }. \NAMECITE{Editorial}{% Anonymous:1999:Ea,% Anonymous:1999:Eb,% Bouge:1998:E,% Hazewinkel:1995:ESI,% Kirchner:1995:E,% Kirchner:1998:E,% Mislove:1995:EEN,% Nijholt:1998:E% }. \NAMECITE{education}{% Drappa:1998:UGG% }. \NAMECITE{effect}{% Baeza-Yates:1996:BDE% }. \NAMECITE{Effective}{% Blanck:1999:EDR,% Calude:1996:ECM,% Yasugi:1999:EPS,% Hertling:1999:ERM,% Mullins:1997:EHC% }. \NAMECITE{effectively}{% Gyenizse:1998:LGS% }. \NAMECITE{Effectiveness}{% Weihrauch:1999:EGM% }. \NAMECITE{effects}{% Mason:1997:FOL% }. \NAMECITE{efficiency}{% Colombet:1998:SEL% }. \NAMECITE{Efficient}{% Botorog:1998:EHL,% DiIanni:1998:EDR,% Gustedt:1998:EUF,% Hsu:1996:EMP,% Ianni:1998:EDR,% Niemi:1999:EVN,% Shen:1997:EEA,% Sridhar:1995:EAS,% Wada:1998:EAM,% Yu:1995:EPA,% Baumker:1998:TEP,% Benson:1995:SEA,% Cho:1998:TGP,% Gasieniec:1995:ZMR,% Kavvadias:1996:HED,% Varadharajan:1999:DER% }. \NAMECITE{efficiently}{% Manzini:1999:CEC% }. \NAMECITE{{Ehrenfeucht}}{% Arora:1997:WSE% }. \NAMECITE{election}{% Fredlund:1997:FVL% }. \NAMECITE{{ELECTRE}}{% Cassez:1995:CER% }. \NAMECITE{electronic}{% Varadharajan:1999:DER,% Mislove:1995:EEN% }. \NAMECITE{elegans}{% Bignone:1999:CML% }. \NAMECITE{element}{% Korelc:1997:AGF% }. \NAMECITE{elementary}{% Badouel:1997:SPE,% Braga:1995:PGE,% Cattaneo:1997:MRS,% Cattaneo:1998:GSS,% Grigoriev:1996:CLB,% Pedicini:1998:REL% }. \NAMECITE{Elements}{% Rutten:1996:EGU,% Drakengren:1998:DCR% }. \NAMECITE{Eliminating}{% Knoop:1998:EPD% }. \NAMECITE{Elimination}{% Koiran:1999:EPP,% Middeldorp:1996:LNS,% Okada:1998:PSH,% Okada:1999:PSC% }. \NAMECITE{elusive}{% Gao:1999:NMW% }. \NAMECITE{embedded}{% Cao:1999:OTS% }. \NAMECITE{Embedding}{% Desharnais:1995:EDS,% Bonsangue:1998:GMS,% OHearn:1999:OIY% }. \NAMECITE{embeddings}{% Chen:1997:AGE,% Mitas:1997:CPE% }. \NAMECITE{EMPA}{% Bernardo:2001:CST,% Bernardo:1998:TET% }. \NAMECITE{empty}{% Vrancken:1997:ACP,% Ziadi:1996:REL% }. \NAMECITE{emulations}{% Keller:1996:FRP% }. \NAMECITE{Encapsulated}{% Engels:1998:EHG% }. \NAMECITE{{eNCE}}{% Kim:1997:HEF,% Kim:1999:HGH% }. \NAMECITE{encircle}{% Andreae:1999:TPG% }. \NAMECITE{Encoding}{% McDowell:1998:ETS,% Cegielski:1999:AFO,% delaHiguera:1997:DET% }. \NAMECITE{encryption}{% Blundo:1998:GBC% }. \NAMECITE{end}{% Zhang:1997:EP% }. \NAMECITE{endoscopy}{% Wang:1998:OPV% }. \NAMECITE{engendr{\'e}s}{% Garel:1997:SMI% }. \NAMECITE{engine}{% Eades:1996:LER% }. \NAMECITE{engineering}{% Drappa:1998:UGG% }. \NAMECITE{Enhanced}{% Ikeda:1999:EAM% }. \NAMECITE{Enlargements}{% Goldblatt:1998:EFA% }. \NAMECITE{Ensuring}{% Heckel:1998:ECC% }. \NAMECITE{Entailment}{% Monteiro:1998:EBA% }. \NAMECITE{Entailment-based}{% Monteiro:1998:EBA% }. \NAMECITE{enumerable}{% Ehrenfeucht:1998:RRE,% Martin-Vide:1998:CRE,% Schurz:1995:MGF,% Zhong:1998:RES% }. \NAMECITE{enumeration}{% Nourani:1999:ENH,% Shen:1997:EEA% }. \NAMECITE{Enumerative}{% Bassino:1999:ESL% }. \NAMECITE{environment}{% Plasmeijer:1998:CPE% }. \NAMECITE{environmental}{% Gregorio:1999:ACA% }. \NAMECITE{environments}{% Lisper:1998:CUE,% Nadathur:1998:NLT% }. \NAMECITE{equal}{% Teruel:1996:STE% }. \NAMECITE{Equality}{% Boldi:1999:EJ,% Lam:1998:ISS% }. \NAMECITE{equation}{% Geiselman:1997:CTO% }. \NAMECITE{Equational}{% Esik:1995:EPK,% Esik:1998:EPI,% Otto:1998:EUW,% Tronci:1996:EPCa,% Tronci:1996:EPCb,% Tronci:1996:EPL,% Aceto:1998:QSE,% Aceto:1999:CEA,% Alpuente:1995:ICS,% Alpuente:1996:CSB,% Astesiano:1995:FOE,% Bloom:1997:ELF% }. \NAMECITE{equations}{% Ajili:1997:ASV,% Diekert:1999:SWE,% Fakler:1997:SOH,% Fokkink:1997:TME,% Grigoriev:1996:NSS,% Hakala:1999:SWE,% Hubert:1997:DDB,% Karhumaki:1996:SIS,% Leiss:1995:ILE,% Massol:1997:MSS,% Ying:1999:SPU% }. \NAMECITE{Equivalence}{% Gurevich:1997:EEB,% Andre:1998:EPL,% Arnold:1996:ACO,% Buchholz:1999:EPE,% Corradini:1998:CCW,% David:1997:SPO,% Grigoriev:1997:TSE,% Mason:1999:ALT,% Metayer:1999:PEA,% Montanari:1995:LEP,% Ohlebusch:1997:EPP,% Salomaa:1996:DED,% Salomaa:1996:SEE,% Schmidt-Schauss:1999:DBE,% Stirling:1998:DBE,% Turakainen:1997:USE,% Yen:1997:REB,% Morcrette:1996:EDF% }. \NAMECITE{equivalences}{% Cheng:1998:OMB,% Czumaj:1996:GPN,% Dam:1997:DPE,% Eloranta:1997:ETB,% Jategaonkar:1996:DTC,% Malacaria:1995:SET,% Yen:1996:DBT% }. \NAMECITE{equivalent}{% Creignou:1995:CPL% }. \NAMECITE{{ERCW}}{% MacKenzie:1998:EPO% }. \NAMECITE{{EREW}}{% Diks:1996:RCF% }. \NAMECITE{Ergodic}{% Sato:1998:ECL,% Vyugin:1998:ETI% }. \NAMECITE{Erratum}{% Botelho:1997:EBN,% Hemaspaandra:2000:ESC% }. \NAMECITE{erroneous}{% Kececioglu:1997:IDS% }. \NAMECITE{error}{% Diks:1998:SDS% }. \NAMECITE{errors}{% Mundici:1997:OCS% }. \NAMECITE{{ESM}}{% Janssens:1998:PLE% }. \NAMECITE{essence}{% Apt:1999:ECP% }. \NAMECITE{Essential}{% Eloranta:1997:ETB% }. \NAMECITE{estimates}{% Mikov:1996:LSA% }. \NAMECITE{estimation}{% Benveniste:1995:CSS% }. \NAMECITE{{\'e}tude}{% Didier:1999:CEA% }. \NAMECITE{{Euclidean}}{% Brattka:1999:CSE% }. \NAMECITE{{Euler}}{% Yao:1995:ADT% }. \NAMECITE{evaluation}{% Browne:1997:IAE,% Gasperoni:1998:LSP,% Kemp:1995:BEQ,% Koubarakis:1997:CQE,% Miltersen:1995:CPC,% Pitts:1998:PCB,% Revol:1996:PEA,% Zimanyi:1997:QEP,% vanderHoeven:1999:FEH% }. \NAMECITE{even}{% Jaromczyk:1996:TEF,% Koshiba:1997:LDE% }. \NAMECITE{Event}{% Alur:1999:ECA,% Castellani:1997:PPE,% Hoogers:1996:ESS% }. \NAMECITE{Event-clock}{% Alur:1999:ECA% }. \NAMECITE{events}{% Kshemkalyani:1998:FVA,% Pinna:1995:NEA% }. \NAMECITE{Eventually}{% Fekete:1999:ESD% }. \NAMECITE{Eventually-serializable}{% Fekete:1999:ESD% }. \NAMECITE{evidence}{% Kohlas:1997:AAE% }. \NAMECITE{evolutionary}{% Eiben:1999:TEA% }. \NAMECITE{evolved}{% Sipper:1999:CAE% }. \NAMECITE{Exact}{% Buchholz:1999:EPE,% Maurin:1996:ECB,% Nakamura:1995:ELL,% Fraenkel:1999:ENS% }. \NAMECITE{example}{% Bosc:1997:FQR,% Grigorchuk:1999:EIL,% Hagiya:1995:TCP% }. \NAMECITE{Examples}{% Cassaigne:1998:EUP,% Fischer:1997:PLG,% Koshiba:1997:LDE% }. \NAMECITE{exchange}{% Houle:1999:ODE% }. \NAMECITE{{Exchanges}}{% Santini-Bouchard:1997:ETI% }. \NAMECITE{exclusion}{% Baker:1996:MES,% Esparza:1996:TME,% Manabe:1998:ASG% }. \NAMECITE{executable}{% Alagic:1997:OSM% }. \NAMECITE{execution}{% Bampis:1995:OPE,% Farrell:1996:FSP% }. \NAMECITE{exist}{% Iwama:1996:TLB% }. \NAMECITE{existence}{% Leiss:1995:ILE% }. \NAMECITE{existentials}{% Ghelli:1998:BEM% }. \NAMECITE{expansions}{% Niederreiter:1999:ASC% }. \NAMECITE{Experiments}{% Martini:1997:ELN% }. \NAMECITE{Explicit}{% Bloo:1999:ESE,% Ferrari:1996:CES,% Leiss:1997:SSE,% Ruet:1997:CEN% }. \NAMECITE{explicitly}{% Knoop:1998:EPD% }. \NAMECITE{Exploiting}{% Levcopoulos:1996:EFI,% MeyeraufderHeide:1996:ESR% }. \NAMECITE{Exploration}{% Nourani:1999:ENH,% Ganter:1999:AEB% }. \NAMECITE{exponent}{% Haastad:1995:SER% }. \NAMECITE{exponential}{% Ambos-Spies:1996:GME,% Mocas:1996:SCE% }. \NAMECITE{exponential-time}{% Mocas:1996:SCE% }. \NAMECITE{expression}{% Best:1998:UNR,% Khasidashvili:1998:CSC,% Ziadi:1996:REL,% Ziadi:1999:OPA% }. \NAMECITE{expressions}{% Abramsky:1998:LSS,% Abramsky:1999:FAI,% Aceto:1998:QSE,% Antimirov:1995:RER,% Antimirov:1996:PDR,% Browne:1997:IAE,% Chang:1997:RED,% Inverardi:1995:DOC,% Korelc:1997:AGF,% Salomaa:1998:SEE% }. \NAMECITE{Expressive}{% Eiter:1998:EPC,% Cadoli:1998:CDE,% Grumbach:1995:EPC,% Tyszkiewicz:1998:KEP,% VandenBussche:1995:EPC% }. \NAMECITE{expressiveness}{% Boreale:1998:EIM,% Immerman:1996:EFF% }. \NAMECITE{expressivity}{% Cerone:1999:TBE% }. \NAMECITE{extended}{% Antimirov:1995:RER,% Duggan:1998:UEP,% Escardo:1996:PER,% Giakoumakis:1997:ERE,% Hemaspaandra:1998:BOJ,% Kaivola:1998:AEC,% Salomaa:1998:SEE,% Takahashi:1996:SOP,% You:1996:IBR,% Kahrs:1997:DEM% }. \NAMECITE{Extending}{% Emms:1999:ETC% }. \NAMECITE{extension}{% Baumker:1998:TEP,% DArgenio:1997:GCE,% Rosaz:1998:IUL% }. \NAMECITE{extensional}{% DiCosmo:1996:CAR,% Matthews:1995:ETL% }. \NAMECITE{extensions}{% Boley:1999:FLI,% Ewacha:1997:ANL,% Hayashi:1998:TEP,% Pavlotskaya:1996:MUE% }. \NAMECITE{external}{% Suciu:1998:DIQ% }. \NAMECITE{extracting}{% Grigoriev:1996:CAC% }. \NAMECITE{Extremal}{% Kumar:1995:ESI% }. \NAMECITE{eye}{% Eiben:1999:TEA,% Gurevich:1997:EEB,% Lamport:1997:PEB% }. \NAMECITE{facteurs}{% Berthe:1996:FFS,% Fagnot:1997:FMA% }. \NAMECITE{factoring}{% Naughton:1995:ARF% }. \NAMECITE{factorization}{% Bernardin:1997:SFF,% Justin:1995:QAF,% Naudin:1998:UPF% }. \NAMECITE{factorizations}{% DeFelice:1996:AHF,% Hohl:1997:MPF,% Karhumaki:1999:GFW,% Lam:1997:HFC% }. \NAMECITE{factors}{% Berthe:1996:FFS,% Chuan:1998:UFC,% Downarowicz:1998:MFM,% Fagnot:1997:FMA,% Ferenczi:1999:CFF,% Melancon:1999:LWS% }. \NAMECITE{facts}{% Mukouchi:1995:TMT% }. \NAMECITE{fail}{% Zwick:1995:SNW% }. \NAMECITE{failure}{% Aguilera:1999:UHF,% Ruet:1997:CEN% }. \NAMECITE{failures}{% Reed:1999:TFS% }. \NAMECITE{Fairness}{% Burkhard:1997:FCM,% Hartonas:1998:FAF,% Nolte:1997:AFS% }. \NAMECITE{faithful}{% Sunderhauf:1995:FCM% }. \NAMECITE{families}{% Durand:1999:CDD,% Kim:1997:HEF% }. \NAMECITE{family}{% Immerman:1996:EFF,% Koiran:1996:FUR% }. \NAMECITE{fans}{% Mall:1997:CFP% }. \NAMECITE{Fast}{% Breslauer:1995:FPS,% Keller:1996:FRP,% Uehara:1999:FRN,% vanderHoeven:1999:FEH,% Arques:1995:FSL,% Beling:1998:UFM,% Feige:1996:FRL,% Picouleau:1996:WCA,% Rao:1995:FPS% }. \NAMECITE{fault}{% AdeleA:1998:CCF,% Gargano:1998:CCF,% Lin:1997:FDQ,% Smith:1998:PFT% }. \NAMECITE{fault-tolerance}{% Lin:1997:FDQ% }. \NAMECITE{fault-tolerant}{% AdeleA:1998:CCF,% Gargano:1998:CCF,% Smith:1998:PFT% }. \NAMECITE{faulty}{% Diks:1996:RCF% }. \NAMECITE{Feasible}{% Lutz:1999:FRK,% Amaldi:1995:CAF,% Amaldi:1995:CAO,% Lorentz:1998:GRF% }. \NAMECITE{feature}{% Backofen:1995:CRF% }. \NAMECITE{features}{% Shimozono:1999:AIA% }. \NAMECITE{feedback}{% Johansen:1995:LSM,% Klapper:1999:AFS% }. \NAMECITE{few}{% Erdos:1999:FLS,% Levcopoulos:1996:EFI% }. \NAMECITE{fiber}{% Erlebach:1999:OWR% }. \NAMECITE{{Fibonacci}}{% Fraenkel:1999:ENS,% Iliopoulos:1997:CSF% }. \NAMECITE{field}{% Bernardin:1997:SFF,% Xue:1998:THT% }. \NAMECITE{fields}{% Karpinski:1996:SAP,% Naudin:1998:UPF,% Pan:1996:PCP,% Shparlinski:1996:FPR% }. \NAMECITE{{FIFO}}{% Bouajjani:1999:SRA% }. \NAMECITE{{FIFO}-channel}{% Bouajjani:1999:SRA% }. \NAMECITE{figures}{% Fournier:1996:PFP,% Morcrette:1996:EDF% }. \NAMECITE{fill}{% Kloks:1997:TMF% }. \NAMECITE{fill-in}{% Kloks:1997:TMF% }. \NAMECITE{filling}{% Arques:1995:FSL,% Asano:1997:SFC% }. \NAMECITE{Filter}{% Dezani-Ciancaglini:1996:FMC% }. \NAMECITE{find}{% Beling:1998:UFM,% Fiorio:1996:TLT,% Gustedt:1998:EUF% }. \NAMECITE{Finding}{% Rote:1997:FSV,% Shimozono:1997:FOS,% Amaldi:1995:CAF,% Amaldi:1995:CAO,% Benson:1995:SEA,% Kranakis:1998:AMF,% Middendorf:1995:FVM,% Shparlinski:1996:FPR% }. \NAMECITE{Fine}{% Selivanov:1998:FHR,% Berstel:1999:PWT,% Castelli:1999:FWT% }. \NAMECITE{Finite}{% Bedon:1996:FAO,% Hansen:1995:FD,% Litovsky:1997:FAI,% Peladeau:1997:FSV,% Wang:1998:FDT,% Anderson:1997:RAF,% Antimirov:1996:PDR,% Barthelmann:1998:NOF,% Beaudry:1998:LRF,% Bergeron:1995:CDF,% Bernardin:1997:SFF,% Bezem:1997:TFS,% Cassez:1995:CER,% Cohen:1996:PFS,% Ferenczi:1999:CFF,% Gobel:1999:SRP,% Hartonas:1997:SFD,% Hartonas:1998:FAF,% Immerman:1996:EFF,% Inverardi:1995:DOC,% Ito:1995:OST,% Jategaonkar:1996:DTC,% Karpinski:1996:SAP,% Korelc:1997:AGF,% Massol:1997:MSS,% Naudin:1998:UPF,% Niwinski:1997:FPC,% Pelletier:1999:RFD,% Rambow:1999:IPF,% Sakarovitch:1998:CFA,% Schupp:1998:SHC,% Shen:1996:MPL,% Shparlinski:1996:FPR,% Simplot:1999:CRP,% Tao:1999:FAP,% Tomescu:1996:AAL,% Turakainen:1997:USE,% Vyugin:1998:NSI,% deLuca:1999:CFW,% vanBreugel:1998:TMS,% Flajolet:1995:MTAb% }. \NAMECITE{finite-element}{% Korelc:1997:AGF% }. \NAMECITE{finite-state}{% Inverardi:1995:DOC,% Niwinski:1997:FPC% }. \NAMECITE{finitely}{% Aceto:1998:QSE,% Kobayashi:1995:FPM,% McNaughton:1998:FFP,% Zielonka:1998:IGF,% vanBreugel:1998:TMS% }. \NAMECITE{finiteness}{% McNaughton:1998:FFP% }. \NAMECITE{Firing}{% Imai:1996:FSS,% Goles:1997:UCF,% Mazoyer:1996:OSF% }. \NAMECITE{First}{% Durand:1996:FOS,% Andrews:1997:LSD,% Ariola:1995:PFO,% Baaz:1996:CFO,% Bidoit:1998:FST,% Cegielski:1999:AFO,% Comon:1997:FOT,% Ferreira:1999:BTF,% Hubert:1997:DDB,% Kaminski:1996:PAO,% Marchiori:1999:DAD,% Mason:1997:FOL,% Okada:1999:PSC,% Schied:1998:LTH,% Schurz:1995:MGF,% Treinen:1998:FOT% }. \NAMECITE{first-}{% Okada:1999:PSC% }. \NAMECITE{First-order}{% Durand:1996:FOS,% Ariola:1995:PFO,% Baaz:1996:CFO,% Cegielski:1999:AFO,% Comon:1997:FOT,% Ferreira:1999:BTF,% Kaminski:1996:PAO,% Marchiori:1999:DAD,% Treinen:1998:FOT% }. \NAMECITE{Fixed}{% Bloom:1996:FPO,% Downey:1995:FPT,% Mislove:1995:FPC,% Niwinski:1997:FPC,% Wang:1999:FTS,% Adamek:1995:GFP,% Alessi:1995:FPT,% Bloom:1997:ELF,% Colson:1999:DFP,% Cucker:1996:GKP,% Hodkinson:1995:GTF,% Kopidakis:1997:ASS,% Schroder:1999:AFP% }. \NAMECITE{Fixed-parameter}{% Downey:1995:FPT% }. \NAMECITE{fixed-point}{% Alessi:1995:FPT% }. \NAMECITE{fixpoint}{% Best:1998:UNR,% Browne:1997:IAE,% Hartonas:1998:FAF,% Yamasaki:1996:SRN% }. \NAMECITE{fixpoints}{% DiCosmo:1996:CAR,% Suciu:1997:BFC% }. \NAMECITE{Flatwords}{% Harju:1996:FPC% }. \NAMECITE{Flexible}{% Bosc:1997:FQR,% Elihai:1996:FHO% }. \NAMECITE{floating}{% Denise:1999:URG,% Oberman:1998:RML% }. \NAMECITE{floating-point}{% Denise:1999:URG,% Oberman:1998:RML% }. \NAMECITE{flow}{% Matthews:1995:ETL,% Zwick:1995:SNW,% delaClergerie:1998:IFT% }. \NAMECITE{folding}{% Proietti:1995:UDF% }. \NAMECITE{fonctions}{% Reutenauer:1995:VFR% }. \NAMECITE{{Fondement}}{% Fournier:1996:PFP% }. \NAMECITE{food}{% Eriksson:1998:MFT% }. \NAMECITE{force}{% Xue:1998:THT% }. \NAMECITE{{Ford}}{% Zwick:1995:SNW% }. \NAMECITE{{Ford-Fulkerson}}{% Zwick:1995:SNW% }. \NAMECITE{forests}{% Justin:1995:QAF,% Tendeau:1998:CAD,% Wang:1999:FTS% }. \NAMECITE{Foreword}{% Alagar:1997:F,% Ausiello:1998:F,% Calmet:1997:F,% Du:1997:F,% Gorrieri:1998:F,% Gottlob:1998:F,% Hsiang:1998:F,% Hull:1995:F,% Margenstern:1996:F,% Mislove:1997:F,% Mosses:1996:F,% Ono:1997:F,% Penczek:1998:F,% Shyamasundar:1995:F,% Zeugmann:1997:F% }. \NAMECITE{fork}{% Gyuris:1997:SPR% }. \NAMECITE{form}{% Anonymous:1998:JCS,% Anonymous:1998:LLP,% Jouannaud:1998:ROH,% Koiran:1999:CFA,% Pitts:1998:PCB% }. \NAMECITE{Formal}{% Bouge:1997:FVD,% Farrell:1996:FSP,% Fredlund:1997:FVL,% Zhang:1999:FVP,% Allouche:1999:TFP,% Carriere:1997:ADC,% Sigstam:1997:RLC% }. \NAMECITE{formalisation}{% Fouks:1996:MRA,% Nickolas:1996:QPU% }. \NAMECITE{formalization}{% Tseytin:1999:FRD% }. \NAMECITE{Formalizing}{% Berghammer:1995:FDP% }. \NAMECITE{formel}{% Carriere:1997:ADC,% Makhlouf:1997:AAC% }. \NAMECITE{forms}{% Inverardi:1995:INF% }. \NAMECITE{formula}{% Gorbunov:1998:CF% }. \NAMECITE{formulae}{% Boufkhad:1999:LPI,% Haastad:1995:SER% }. \NAMECITE{formulas}{% Takimoto:1997:LOH% }. \NAMECITE{formulation}{% Park:1996:AFA% }. \NAMECITE{Forum}{% Hodas:1998:FLP,% Miller:1996:FMC% }. \NAMECITE{foundation}{% Bonacina:1995:TFC,% Bridges:1999:CMF,% Collette:1997:FMR% }. \NAMECITE{Foundations}{% Ross:1998:FAC,% Orgun:1997:MDL,% Wegner:1998:IFC% }. \NAMECITE{founded}{% Demange:1996:AMF,% Gottlob:1996:NGR,% Kemp:1995:BEQ,% Lisitsa:1999:LOG% }. \NAMECITE{four}{% Sakurai:1995:VDD% }. \NAMECITE{{Fourier}}{% Kosters:1999:FAG% }. \NAMECITE{fourth}{% Dubhashi:1995:FML% }. \NAMECITE{fractal}{% Fernau:1995:VLA,% Sirvent:1997:SDS% }. \NAMECITE{fractals}{% Drewes:1995:GSA% }. \NAMECITE{fraction}{% Flajolet:1998:CFA,% Niederreiter:1999:ASC% }. \NAMECITE{fractions}{% deLuca:1998:CCF% }. \NAMECITE{fragment}{% Nagaymam:1998:GTC,% Perrier:1999:PCF% }. \NAMECITE{fragmentary}{% Diamond:1995:FCS% }. \NAMECITE{{Fra{\"\i}ss{\'e}}}{% Arora:1997:WSE% }. \NAMECITE{frames}{% Bonsangue:1995:DBS% }. \NAMECITE{framework}{% Hausen-Tropper:1996:FTA,% Kshemkalyani:1998:FVA,% Rao:1997:FIL,% Hackstadt:1998:DDA% }. \NAMECITE{Free}{% Astesiano:1995:FOE,% Bloom:1996:FSA,% Wan:1998:CFC,% Arai:1996:TCF,% Baader:1998:CCS,% Beklemishev:1999:PFI,% Bernardin:1997:SFF,% Chaudhuri:1999:WFI,% Choffrut:1998:CFI,% Csuhaj-Varju:1999:CCC,% Dassow:1997:CCF,% Esparza:1998:RLS,% Fernau:1998:RRL,% Hakala:1999:SWE,% Hirshfeld:1996:PAD,% Hotz:1996:PCC,% Ilie:1998:WQO,% Kloks:1997:TMF,% Kolpakov:1999:RFB,% Koslowski:1997:NFA,% Kulkarni:1996:LTP,% Larmore:1998:AOS,% Marion:1999:MSA,% Pelecq:1996:AGC,% Ramos-Jimenez:1998:CPC,% Raz:1997:LCC,% Rytter:1995:CFR,% Viennot:1997:PFO% }. \NAMECITE{free-choice}{% Esparza:1998:RLS% }. \NAMECITE{freedom}{% Abramsky:1999:SSD% }. \NAMECITE{{Frege}}{% Sun:1999:AGF% }. \NAMECITE{{French}}{% Berthe:1996:FFS,% Carriere:1997:ADC,% Denise:1996:GAU,% Didier:1999:CEA,% Duval:1998:PLP,% Fabre:1995:SSN,% Fabre:1996:DSN,% Fagnot:1997:FMA,% Fournier:1996:PFP,% Francon:1996:TPA,% Frougny:1998:SDA,% Garel:1997:SMI,% Hansel:1998:SNI,% Hubert:1996:PCS,% Labhalla:1996:ACR,% Makhlouf:1997:AAC,% Morcrette:1996:EDF,% Nehlig:1996:AQA,% Portier:1998:RUP,% Reutenauer:1995:VFR,% Santini-Bouchard:1997:ETI,% Vuillon:1998:CMS,% Wilf:1996:RDP% }. \NAMECITE{Frequences}{% Berthe:1996:FFS% }. \NAMECITE{frequencies}{% Malesinska:1998:HAF,% Berthe:1996:FFS% }. \NAMECITE{Frequency}{% Beigel:1996:FCB% }. \NAMECITE{fringe}{% DePrisco:1995:MPL% }. \NAMECITE{front}{% Fill:1996:LRC% }. \NAMECITE{frontier}{% Wilke:1996:ACF% }. \NAMECITE{Fugitive}{% Dendris:1997:FSG% }. \NAMECITE{Fugitive-search}{% Dendris:1997:FSG% }. \NAMECITE{{Fulkerson}}{% Zwick:1995:SNW% }. \NAMECITE{Full}{% Abramsky:1999:FAI,% Mislove:1995:FAR,% Sieber:1996:FAS,% Albrecht:1997:NCH,% Blute:1998:NFC,% Burkart:1999:MCF,% Cohen:1996:PFS,% Schmitt:1998:STA% }. \NAMECITE{Fully}{% Blundo:1996:FDS,% Brogi:1995:FAC,% Abramsky:1998:LSS,% Jeffrey:1999:FAS,% Lin:1997:FDQ% }. \NAMECITE{function}{% Colussi:1996:HCC,% Fredholm:1995:IAF,% Grigoriev:1996:CLB,% Nakamura:1995:ELL% }. \NAMECITE{Functional}{% Boley:1999:FLI,% Ariola:1995:PFO,% Brauner:1997:GAR,% Brock:1998:PSF,% Demetrovics:1998:APK,% Flajolet:1998:CFA,% Goldblatt:1998:EFA,% Gordon:1999:BTF,% Jeffrey:1999:FAS,% Kivinen:1995:AIF,% Levene:1998:AFD,% Loogen:1995:DDD,% Matos:1997:MLP% }. \NAMECITE{Functional-logic}{% Boley:1999:FLI% }. \NAMECITE{functionals}{% Jaromczyk:1996:TEF% }. \NAMECITE{functions}{% Andreev:1997:OBA,% Apsitis:1999:IIR,% Beklemishev:1999:PFI,% Brattka:1996:RCC,% Breitbart:1995:SBD,% Bruyere:1999:PCT,% Chen:1997:LCF,% Colson:1999:DFP,% Drmota:1995:MCC,% Ekin:1997:HFS,% Feng:1999:TCC,% Gao:1999:NMW,% Haxthausen:1997:OSA,% Ho:1999:RRR,% Hosaka:1997:SOB,% Jenner:1995:CFP,% Kimber:1995:LLS,% Kranakis:1998:AMF,% Levin:1996:CCF,% Pelibossian:1996:LLC,% Reutenauer:1995:VFR,% Sakurai:1995:VDD,% Schroder:1999:OCD,% Sieling:1995:GDB,% Spreen:1999:FPL,% Spreen:2001:CSF,% Suciu:1998:DIQ,% Vollmer:1996:RTC,% Yasugi:1999:EPS,% Zhang:1995:MSF,% Zheng:1999:RTN,% vanderHoeven:1999:FEH% }. \NAMECITE{functor}{% Adamek:1995:GFP% }. \NAMECITE{Fundamental}{% Edmonds:1997:FSR,% Gruau:1995:FSN% }. \NAMECITE{Fusion}{% Andersson:1999:FTC% }. \NAMECITE{{GA}}{% Cedeno:1999:ASN% }. \NAMECITE{{Gabbay}}{% Hodkinson:1995:GTF% }. \NAMECITE{{Galmiche}}{% Perrier:1998:CGP% }. \NAMECITE{Game}{% Honda:1999:GTA,% Abramsky:1998:LSS,% Andreae:1999:TPG,% Barua:1996:GGT,% Fraenkel:1995:MNM,% Fraenkel:1998:AWG,% Goles:1997:UCF,% Mundici:1997:OCS% }. \NAMECITE{Game-theoretic}{% Honda:1999:GTA% }. \NAMECITE{Games}{% Niwinski:1996:GC,% Althofer:1995:SPL,% Arora:1997:WSE,% Dendris:1997:FSG,% Ferguson:1998:SCT,% Lamarche:1998:PNG,% Le:1998:DOS,% Lincoln:1999:OCL,% Yamasaki:1997:MGA,% Zielonka:1998:IGF,% Zwick:1996:CMP% }. \NAMECITE{Gap}{% Regan:1997:GLL,% Hartmann:1998:SRV,% Lozano:1999:GAB% }. \NAMECITE{Gap-languages}{% Regan:1997:GLL% }. \NAMECITE{gaps}{% Baaz:1996:CFO% }. \NAMECITE{gas}{% ElHamidi:1997:UMA% }. \NAMECITE{GASCOM}{% Gouyou-Beauchamps:1996:PSI% }. \NAMECITE{gates}{% Grigoriev:1996:CLB,% Grolmusz:1997:PCG,% Krause:1997:CPD% }. \NAMECITE{{GCD}}{% Pan:1996:PCP% }. \NAMECITE{General}{% Beguin:1998:GID,% Steinby:1998:GVT,% Bignone:1999:CML,% Brauner:1997:GAR,% DArgenio:1997:GCE,% Diks:1998:MGP,% Etalle:1998:SMG,% Fischer:1997:PLG,% Forti:1996:GCH,% Guerrini:1999:GTS,% Hoogers:1996:ESS,% Manabe:1998:ASG,% Muchnik:1996:GMC,% Schurz:1995:MGF,% Yamasaki:1996:SRN% }. \NAMECITE{generalised}{% Sarkar:1998:MAP% }. \NAMECITE{generalization}{% Baaz:1999:NGC,% Castelli:1999:FWT,% Hagiya:1995:TCP,% Nadathur:1998:NLT,% Sun:1999:AGF% }. \NAMECITE{Generalized}{% Blundo:1998:GBC,% Bonsangue:1998:GMS,% Cattaneo:1998:GSS,% Cucker:1996:GKP,% Karhumaki:1999:GFW,% TortoradeFalco:1998:GSL,% Ferreira:1996:RRG,% Giammarresi:1999:DGA,% Gyenizse:1998:LGS,% Leavens:1997:BRA,% Rutten:1996:EGU,% Shen:1997:OAG,% Shinohara:1995:CCV,% delaClergerie:1998:IFT% }. \NAMECITE{generalizing}{% Malgouyres:1995:GGC% }. \NAMECITE{generated}{% Allouche:1997:ADS,% Atkinson:1997:PGT,% Garel:1997:SMI% }. \NAMECITE{Generating}{% Drewes:1995:GSA,% Gumm:1999:GAL,% Karczmarczuk:1997:GPL,% Kim:1999:HGH,% Denise:1996:GAU,% Drmota:1995:MCC% }. \NAMECITE{generation}{% Alonso:1996:PAG,% Barcucci:1996:DPP,% Barcucci:1999:RGT,% Bjorner:1997:AGI,% Denise:1999:URG,% Diaz:1998:RGC,% Korelc:1997:AGF,% Louchard:1999:APS,% Wilf:1996:RDP,% Denise:1996:GAU% }. \NAMECITE{generator}{% Cassaigne:1998:EUP% }. \NAMECITE{Genericity}{% Ambos-Spies:1996:GME,% Lorentz:1998:GRF% }. \NAMECITE{Genetic}{% Kosters:1999:FAG,% Lozano:1999:GAB,% vanNimwegen:1999:SDR,% He:1999:CRG,% Schmitt:1998:LAG% }. \NAMECITE{genome}{% Gu:1999:AAG% }. \NAMECITE{gentle}{% Kahrs:1997:DEM% }. \NAMECITE{{Gentzen}}{% Arai:1996:TCF,% Schwichtenberg:1999:TPC% }. \NAMECITE{genus}{% Adleman:1999:SAD% }. \NAMECITE{Geometric}{% Agrawal:1996:GSL,% Anonymous:1996:WAC,% Krause:1996:GAY,% Asano:1997:SFC,% Elihai:1996:FHO% }. \NAMECITE{geometry}{% Devillers:1996:IRC,% Fernau:1995:VLA% }. \NAMECITE{{GF}}{% Adleman:1999:SAD% }. \NAMECITE{given}{% Muchnik:1996:GMC% }. \NAMECITE{global}{% Corradini:1998:CCW,% Dechter:1997:LGR,% Elihai:1996:FHO,% Koubarakis:1997:LGC,% Litovsky:1998:CGG,% Michel:1997:HML,% Weihrauch:1999:EGM% }. \NAMECITE{global-clock-bounded}{% Corradini:1998:CCW% }. \NAMECITE{{Glushkov}}{% Ziadi:1999:OPA% }. \NAMECITE{{Go}}{% Moews:1996:CSG% }. \NAMECITE{goal}{% deBerg:1995:RGD% }. \NAMECITE{golden}{% Mignosi:1998:PGR% }. \NAMECITE{Graded}{% Chatalic:1997:GHT,% Lin:1998:CMP% }. \NAMECITE{grammar}{% Autebert:1999:SRA,% Buszkowski:1998:ASC,% Csuhaj-Varju:1998:TBE,% Csuhaj-Varju:1999:CCC,% Drappa:1998:UGG,% Dumitrescu:1996:NPG,% Korff:1998:CDS,% Mihalache:1999:DPG,% Schneider:1998:NOI,% Vaszil:1998:SNR% }. \NAMECITE{grammars}{% Brandenburg:1998:AWG,% Corradini:1998:CAS,% Corradini:1998:CCP,% Courcelle:1996:BNU,% Dassow:1997:CCF,% Drewes:1995:GSA,% Fernau:1998:RRL,% Finkel:1996:PAM,% Flasinski:1998:PPN,% Hermann:1997:UIS,% Kim:1999:HGH,% Martin-Vide:1998:CRE,% Mosbah:1996:PHR,% Quemener:1998:MCI,% Rus:1998:PPM,% Salomaa:1996:SEE,% Schneider:1998:NOI,% Uemura:1999:TAG% }. \NAMECITE{grammatical}{% Ehrenfeucht:1996:NBG,% Sakakibara:1997:RAG% }. \NAMECITE{Graph}{% Anonymous:1998:JCS,% Dimopoulos:1996:GTS,% Johnsson:1998:GRH,% Sander:1999:GLA,% Sieling:1995:GDB,% Wadsworth:1998:GRR,% Angel:1998:ACG,% Bodlaender:1995:RGP,% Ceola:1998:CMD,% Chen:1997:AGE,% Chiola:1997:SRG,% Clark:1998:SPN,% Colbourn:1998:LTA,% Corradini:1998:CAS,% Corradini:1998:CCP,% Courcelle:1996:BNU,% Drappa:1998:UGG,% Drewes:1998:STG,% Engels:1998:EHG,% Feige:1996:FRL,% Flasinski:1998:PPN,% Gasarch:1997:BSR,% Goldstein:1995:CPG,% Gustedt:1998:EUF,% Hadjiat:1998:PGH,% Heckel:1998:ECC,% Heimann:1998:PGR,% Kant:1997:REL,% Kim:1997:HEF,% Korff:1998:CDS,% Kreowski:1998:SPG,% KrishnaRao:1998:MAT,% LafayedeMicheaux:1996:CGT,% Lisitsa:1997:LSL,% Litovsky:1998:CGG,% Matsuda:1999:CMS,% Mizoguchi:1995:RGR,% Nagaymam:1998:GTC,% Plasmeijer:1998:CPE,% Prasad:1995:NCS,% Quemener:1998:MCI,% Ramalingam:1996:CCD,% Rao:1998:MAT,% Schneider:1998:NOI,% Shen:1997:EEA,% Sleep:1998:STP,% Taentzer:1998:DAS,% Tamassia:1999:ATP,% Tuijn:1996:CCG% }. \NAMECITE{graph-grammar}{% Schneider:1998:NOI% }. \NAMECITE{graph-oriented}{% Tuijn:1996:CCG% }. \NAMECITE{graph-theoretic}{% Nagaymam:1998:GTC% }. \NAMECITE{graphical}{% Fournier:1996:PFP% }. \NAMECITE{graphique}{% Fournier:1996:PFP% }. \NAMECITE{Graphs}{% Malgouyres:1995:GGC,% Andreae:1999:TPG,% Andreev:1996:CHD,% Atkinson:1997:PGT,% Bauderon:1998:PRG,% Bauernoppel:1997:PSG,% Bodlaender:1998:PAG,% Brandstadt:1997:HOG,% Cao:1999:OTS,% Chaboud:1996:DTP,% Chen:1995:MDS,% Courcelle:1995:MSO,% Courcelle:1996:MSO,% Courcelle:1998:LG,% Courcelle:1999:MSO,% Dendris:1997:FSG,% Diaz:1998:RGC,% Eades:1996:LER,% Engels:1998:EHG,% Fernandez-Baca:1997:LTA,% Finta:1996:SUU,% Giakoumakis:1997:ERE,% Guerrini:1999:GTS,% Gustedt:1998:EUF,% Habel:1998:URN,% Hagauer:1999:RMG,% Intrigila:1999:ORG,% Jamison:1995:LTR,% Kant:1997:REL,% Kennaway:1998:IRC,% Kloks:1997:TMF,% Lisitsa:1999:LOG,% Marathe:1997:HSU,% Mosbah:1999:NUR,% Pelecq:1996:AGC,% Retore:1998:PMS,% Roka:1999:SBC,% Schupp:1998:SHC,% Shand:1998:PG,% Srikrishna:1995:OPA,% Takaoka:1998:SPA,% Wada:1998:EAM,% Wong:1999:OPC,% Yu:1995:EPA,% Zielonka:1998:IGF,% Zwick:1996:CMP,% deFigueiredo:1997:ECI% }. \NAMECITE{greatest}{% Adamek:1995:GFP% }. \NAMECITE{greedy}{% Blot:1995:ACA,% Lui:1999:SSN% }. \NAMECITE{grid}{% Cho:1998:TGP% }. \NAMECITE{grids}{% Bampis:1995:OPE% }. \NAMECITE{{Grossberg}}{% Takahashi:1996:SOP% }. \NAMECITE{ground}{% Andrews:1997:LSD,% Gottlob:1996:NGR,% Yamasaki:1998:SAP% }. \NAMECITE{group}{% Arvind:1997:SBB,% Gobel:1999:SRP,% Long:1996:NGC,% Pin:1996:PCG,% Schupp:1998:SHC% }. \NAMECITE{groupoids}{% Beaudry:1998:LRF% }. \NAMECITE{groups}{% Mukherji:1998:PCB,% Pelecq:1996:AGC,% Stuber:1998:STP% }. \NAMECITE{growth}{% Braga:1995:PGE,% Grigorchuk:1999:EIL% }. \NAMECITE{guarantee}{% Jonsson:1996:AGS% }. \NAMECITE{{Guthrie}}{% Czumaj:1996:GPN% }. \NAMECITE{{Haj{\'o}s}}{% DeFelice:1996:AHF,% Lam:1997:HFC% }. \NAMECITE{{Hall}}{% Pin:1996:PCG% }. \NAMECITE{{Hamiltonian}}{% Malgouyres:1995:GGC,% Schupp:1998:SHC% }. \NAMECITE{{Hamming}}{% Tromp:1997:SWB% }. \NAMECITE{Hammock}{% Kavvadias:1996:HED% }. \NAMECITE{Hammock-on-ears}{% Kavvadias:1996:HED% }. \NAMECITE{hard}{% Hadjiat:1998:PGH,% Nourani:1999:ENH% }. \NAMECITE{harder}{% Belanger:1997:NNP% }. \NAMECITE{hardness}{% Andreev:1999:WCH,% Malesinska:1998:HAF,% Rossner:1998:HAS% }. \NAMECITE{hardness-randomness}{% Andreev:1999:WCH% }. \NAMECITE{{Harmonic}}{% Flajolet:1995:MTAa% }. \NAMECITE{hashing}{% Cai:1995:UMD,% Czech:1997:PH% }. \NAMECITE{having}{% Asarin:1995:RAD% }. \NAMECITE{head}{% Worsch:1999:PTM% }. \NAMECITE{Heaps}{% Carlsson:1996:HB,% Fadel:1999:HHS% }. \NAMECITE{heapsort}{% Fadel:1999:HHS,% Gu:1996:OHA% }. \NAMECITE{heartbeat}{% Aguilera:1999:UHF% }. \NAMECITE{height}{% Bassino:1997:NCM% }. \NAMECITE{{Helios}}{% Michel:1997:HML% }. \NAMECITE{helps}{% Case:1996:ALH% }. \NAMECITE{{Herbrand}}{% Voronkov:1999:SRU% }. \NAMECITE{{Hermite}}{% Labhalla:1996:ACR% }. \NAMECITE{{Hermitian}}{% Labhalla:1996:ACR% }. \NAMECITE{heterogeneous}{% Colombet:1998:SEL% }. \NAMECITE{heuristic}{% Vose:1999:RHS% }. \NAMECITE{heuristics}{% Picouleau:1996:WCA% }. \NAMECITE{hidden}{% Benveniste:1995:CSS,% Sakarovitch:1998:CFA% }. \NAMECITE{hierarchical}{% Engels:1998:EHG,% Podehl:1998:SMI,% Rao:1995:MPC,% Schwartzbach:1996:SCH,% Xue:1998:THT,% Courcelle:1999:MSO% }. \NAMECITE{Hierarchically}{% Marathe:1997:HSU% }. \NAMECITE{hierarchies}{% Takahashi:1997:VHR% }. \NAMECITE{Hierarchy}{% Bollig:1998:HTK,% Arai:1996:PHP,% Baier:1998:BQA,% Bournez:1999:ATC,% Bradfield:1998:MMA,% Bucciarelli:1997:DPC,% Downey:1998:PCC,% Geffert:1998:CHP,% Hemaspaandra:1998:BOJ,% Kim:1997:HEF,% Koiran:1999:EPP,% Laroussinie:1995:HTL,% Mocas:1996:SCE,% Mullins:1997:EHC,% Naik:1998:HBO,% Selivanov:1998:FHR% }. \NAMECITE{high}{% Andreev:1998:PCA,% Botorog:1998:EHL,% Elihai:1996:FHO,% Lin:1997:FDQ,% Okada:1998:PSH,% Taentzer:1997:PHL% }. \NAMECITE{high-level}{% Botorog:1998:EHL,% Taentzer:1997:PHL% }. \NAMECITE{high-order}{% Elihai:1996:FHO,% Okada:1998:PSH% }. \NAMECITE{Higher}{% Mayr:1998:HOR,% Pierce:1997:CHO,% Pierce:1997:HOS,% Barbanera:1996:ITA,% Dougherty:1995:CLA,% Haxthausen:1997:OSA,% Hofmann:1996:BAB,% Jeffrey:1999:FAS,% Jouannaud:1998:ROH,% Naumann:1995:PTH,% Okada:1999:PSC,% Otto:1999:BIP,% Schied:1998:LTH% }. \NAMECITE{higher-dimensional}{% Otto:1999:BIP% }. \NAMECITE{Higher-order}{% Mayr:1998:HOR,% Pierce:1997:CHO,% Pierce:1997:HOS,% Barbanera:1996:ITA,% Dougherty:1995:CLA,% Haxthausen:1997:OSA,% Hofmann:1996:BAB,% Jeffrey:1999:FAS,% Jouannaud:1998:ROH,% Naumann:1995:PTH,% Okada:1999:PSC% }. \NAMECITE{highest}{% Andreev:1996:CHD% }. \NAMECITE{{Higman}}{% Cichon:1998:ORB% }. \NAMECITE{histories}{% Ginsburg:1995:IQO% }. \NAMECITE{history}{% Davies:1995:BHT% }. \NAMECITE{holes}{% Fournier:1996:PFP% }. \NAMECITE{holonomic}{% vanderHoeven:1999:FEH% }. \NAMECITE{homogeneous}{% Fakler:1997:SOH% }. \NAMECITE{Homogeneously}{% Brandstadt:1997:HOG% }. \NAMECITE{homomorphic}{% Leavens:1997:BRA% }. \NAMECITE{horizontal}{% Barcucci:1996:PDT,% Barcucci:1996:RCP% }. \NAMECITE{horizontally}{% dAndrea:1999:MSH% }. \NAMECITE{{Horn}}{% Alpuente:1996:CSB,% Ekin:1997:HFS,% Takimoto:1997:LOH% }. \NAMECITE{{Howard}}{% Albrecht:1997:NCH% }. \NAMECITE{{HRNCE}}{% Kim:1999:HGH% }. \NAMECITE{hull}{% Ershov:1997:BCH% }. \NAMECITE{hulls}{% Sen:1997:LBP% }. \NAMECITE{Hybrid}{% Fekete:1995:HAN,% Alur:1995:AAH,% Bournez:1996:CPD,% Branicky:1995:UCO,% Grossman:1995:AAH,% Henzinger:1999:DTC,% Kohn:1995:VHS,% Malesinska:1998:HAF,% Zhang:1995:CNS% }. \NAMECITE{hyper}{% Bournez:1999:ATC% }. \NAMECITE{hyper-arithmetical}{% Bournez:1999:ATC% }. \NAMECITE{hypercube}{% Bettayeb:1995:AH,% Kopidakis:1997:ASS,% Mayr:1996:DCA,% Wan:1998:TML% }. \NAMECITE{hypercubes}{% Ferreira:1996:RRG% }. \NAMECITE{hyperedge}{% Mosbah:1996:PHR% }. \NAMECITE{hyperelliptic}{% Adleman:1999:SAD% }. \NAMECITE{Hypergraph}{% Monserrat:1998:HRU,% Kim:1999:HGH,% Kuske:1998:IBR% }. \NAMECITE{hyperuniverses}{% Forti:1996:GCH% }. \NAMECITE{hypothesis}{% Chatalic:1997:GHT% }. \NAMECITE{{I/O}}{% Wu:1997:CBP% }. \NAMECITE{{IBDDs}}{% Bollig:1998:HTK% }. \NAMECITE{ideal}{% Majster-Cederbaum:1996:MCV,% Ying:1996:WIC% }. \NAMECITE{idealized}{% Abramsky:1998:LSS,% Abramsky:1999:FAI% }. \NAMECITE{ideals}{% Madlener:1998:RRT,% Mall:1997:CFP% }. \NAMECITE{identical}{% Finkel:1997:VIC,% Yen:1996:DBT% }. \NAMECITE{identification}{% Ambainis:1999:OMC,% Freivalds:1997:KNM% }. \NAMECITE{If}{% Arvind:1995:INP,% Lutz:1996:CVK% }. \NAMECITE{{II}}{% Asperti:1996:ISI,% Burmeister:1999:ATU,% Chaudhuri:1998:SPD,% Downey:1995:FPT,% Erdos:1999:FLS,% Pflugel:1997:LVD,% Pomerance:1997:AID,% Ramakrishna:1996:ILTb% }. \NAMECITE{{II.}}{% Cockett:1995:SCD% }. \NAMECITE{image}{% Fiorio:1996:TLT,% Seetharaman:1995:SDS,% vanBreugel:1998:TMS% }. \NAMECITE{images}{% Nehlig:1996:AQA,% Ruanaidh:1999:CCP% }. \NAMECITE{immune}{% Feng:1999:TCC% }. \NAMECITE{imperative}{% Gumm:1999:GAL% }. \NAMECITE{Implementation}{% Scheen:1997:IPT,% Abraham:1995:ICI,% Felder:1998:TIR,% Gorrieri:1995:ICC,% Hsu:1996:EMP,% Michel:1997:HML,% Podehl:1998:SMI% }. \NAMECITE{implementations}{% Aasa:1995:PSI,% Chaudhuri:1999:WFI% }. \NAMECITE{implemented}{% Andersson:1999:FTC% }. \NAMECITE{Implementing}{% Kuske:1998:IBR,% Bidoit:1998:FST% }. \NAMECITE{implicants}{% Boufkhad:1999:LPI% }. \NAMECITE{implications}{% Codish:1996:PIA% }. \NAMECITE{Implicit}{% Leiss:1995:ILE,% Alimohamed:1995:CLD% }. \NAMECITE{imply}{% Weiermann:1995:TPT% }. \NAMECITE{Improved}{% Clementi:1999:INA,% Browne:1997:IAE,% Chung:1998:IAS,% Downey:1998:TDS,% Kautz:1998:IZO,% Lam:1998:ISS,% Liu:1997:ISA% }. \NAMECITE{Improving}{% Krumke:1999:IST,% Hoogeboom:1997:CPT% }. \NAMECITE{inaccurate}{% Fulk:1996:LPI% }. \NAMECITE{incomplete}{% Levene:1998:AFD% }. \NAMECITE{increasing}{% Colson:1999:DFP% }. \NAMECITE{Incremental}{% Alpuente:1995:ICS,% Rao:1997:FIL% }. \NAMECITE{indefinite}{% Koubarakis:1997:CQE% }. \NAMECITE{independants}{% Hansel:1998:SNI% }. \NAMECITE{Independent}{% Rambow:1999:IPF,% Teng:1995:ISV,% Hansel:1998:SNI,% Karhumaki:1996:SIS,% Karpinski:1998:AIO,% Kopidakis:1997:ASS,% Shoudai:1995:UMI,% Suciu:1998:DIQ% }. \NAMECITE{Index}{% Anonymous:1995:CIV,% Anonymous:1995:SIV,% Anonymous:1996:MIVa,% Anonymous:1996:MIVb,% Anonymous:1999:Ia,% Anonymous:1999:Ib,% Cenzer:1999:ISC,% Hazewinkel:1995:ESI,% Regan:1996:ISP,% Anonymous:1997:AIV,% Anonymous:1997:MIV,% Baeza-Yates:1996:BDE% }. \NAMECITE{Indexed}{% Anonymous:1995:RLI,% Zenger:1997:IT,% Gilman:1996:SLI,% Grigorchuk:1999:EIL% }. \NAMECITE{indexing}{% Shimozono:1999:AIA% }. \NAMECITE{indices}{% Hemaspaandra:1995:PSI% }. \NAMECITE{indifference}{% deFigueiredo:1997:ECI% }. \NAMECITE{indistinguishability}{% Bernot:1995:OSI,% Goldreich:1998:CIA% }. \NAMECITE{individual}{% Kwon:1999:SPT,% Vyugin:1998:ETI% }. \NAMECITE{Induction}{% HotzelEscardo:1999:IRP,% Beklemishev:1999:PFI,% Bouhoula:1996:UIR,% Doornbos:1997:CAM,% Esik:1997:CPI% }. \NAMECITE{inductive}{% Apsitis:1999:IIR,% Schachinger:1995:VCI% }. \NAMECITE{Inductively}{% Lemmon:1995:IIV,% Dybjer:1996:RID,% Dybjer:1997:RID% }. \NAMECITE{inequalities}{% Benke:1999:SCB,% DArgenio:1997:GCE% }. \NAMECITE{inequations}{% Ajili:1997:ASV,% Kumar:1995:ESI% }. \NAMECITE{inference}{% Apsitis:1999:IIR,% Arai:1996:TCF,% Kivinen:1995:AIF,% Sakakibara:1997:RAG,% Stephan:1997:NIO% }. \NAMECITE{Inferring}{% Kececioglu:1997:IDS,% Maruyama:1996:ITW,% Lemmon:1995:IIV% }. \NAMECITE{infinis}{% Garel:1997:SMI% }. \NAMECITE{Infinitary}{% Kennaway:1997:ILC,% Kennaway:1998:IRC,% Abiteboul:1995:CIL% }. \NAMECITE{Infinite}{% Berarducci:1999:ICT,% Inverardi:1995:INF,% Zielonka:1998:IGF,% Burkart:1999:MCF,% Ebinger:1996:LDI,% Ferenczi:1999:CFF,% Garel:1997:SMI,% Hermann:1997:UIS,% Litovsky:1997:FAI,% Mundici:1998:RMB,% Niwinski:1997:FPC,% Quemener:1998:MCI,% Vyugin:1998:NSI,% deBoer:1995:NIC% }. \NAMECITE{infinite-valued}{% Mundici:1998:RMB% }. \NAMECITE{Infiniteness}{% Hirokawa:1998:IPP% }. \NAMECITE{infix}{% Long:1997:SIO% }. \NAMECITE{influences}{% Fabre:1996:DSN% }. \NAMECITE{Information}{% delaClergerie:1998:IFT,% AdeleA:1998:CCF,% Agrawal:1996:GSL,% Beguin:1998:GID,% Blundo:1996:IRS,% Demri:1998:CDI,% Fulk:1996:LPI,% Gargano:1998:CCF,% Muchnik:1998:CI,% Wozniakowski:1999:WDI% }. \NAMECITE{information-based}{% Wozniakowski:1999:WDI% }. \NAMECITE{inhomogeneous}{% Koole:1997:ASS% }. \NAMECITE{initial}{% Arnold:1995:ISC,% Hodges:1995:MSD% }. \NAMECITE{input}{% Cai:1995:IRM,% DeNicola:1995:PAV,% Golin:1998:LTP% }. \NAMECITE{input/output}{% DeNicola:1995:PAV% }. \NAMECITE{Insertion}{% Ito:1997:IDC,% Martin-Vide:1998:CRE% }. \NAMECITE{instance}{% Fortnow:1996:RBI,% Hadjiat:1998:PGH% }. \NAMECITE{instantiation}{% Kagan:1996:CMM% }. \NAMECITE{institution}{% Zucca:1999:SDA% }. \NAMECITE{Institutions}{% Orejas:1997:ILP% }. \NAMECITE{instructions}{% Andersson:1999:FTC% }. \NAMECITE{instrumentation}{% Hollingsworth:1998:UCC% }. \NAMECITE{Integer}{% Nakano:1998:ISA,% Rossner:1998:HAS,% Stuber:1998:STP% }. \NAMECITE{integers}{% Matos:1994:PSI% }. \NAMECITE{integrals}{% Flajolet:1995:MTAb% }. \NAMECITE{integration}{% Boley:1999:FLI,% Edalat:1995:DTI% }. \NAMECITE{Intensional}{% Fredholm:1995:IAF,% Hoofman:1996:CMI% }. \NAMECITE{intensive}{% Fraigniaud:1998:XPM,% Smith:1998:PFT% }. \NAMECITE{interacting}{% Chebotarev:1998:RBA% }. \NAMECITE{Interaction}{% Asperti:1996:ISI,% Fernandez:1998:INT% }. \NAMECITE{Interactive}{% Wegner:1998:IFC,% Blundo:1998:GBC% }. \NAMECITE{interconnection}{% Bampis:1995:OPE,% Du:1998:ASI,% Wan:1998:CFC% }. \NAMECITE{interference}{% OHearn:1999:OIY,% OHearn:1999:SCI% }. \NAMECITE{interior}{% Ko:1995:PTC% }. \NAMECITE{interleaving}{% Degano:1999:NIS,% Mayer:1996:CPI,% Priese:1998:UAT,% Sangiorgi:1996:LIS% }. \NAMECITE{intermediate}{% Bjorner:1997:AGI,% Grigorchuk:1999:EIL% }. \NAMECITE{internal}{% Boreale:1998:EIM,% Ehrenfeucht:1998:RRE,% Sangiorgi:1996:CIM% }. \NAMECITE{International}{% Aigrain:1996:PSI,% Anonymous:1996:IWU% }. \NAMECITE{interpretation}{% Cortesi:1998:QAI,% Nilsson:1995:AIK% }. \NAMECITE{interpretations}{% File:1999:POA,% Turner:1999:OIL,% delaClergerie:1998:IFT% }. \NAMECITE{interprocedural}{% Sagiv:1996:PID% }. \NAMECITE{interprocess}{% Abraham:1995:ICI% }. \NAMECITE{Intersection}{% Barbanera:1996:ITA,% vanBakel:1995:ITA% }. \NAMECITE{{Intersections}}{% Hemaspaandra:1995:PSI% }. \NAMECITE{Interval}{% Ginsburg:1995:IQO,% Ramakrishna:1996:ILTa,% Ramakrishna:1996:ILTb,% Bender:1995:PIO,% Flammini:1998:MIR,% Girodias:1997:SLM,% Weihrauch:1999:CPM% }. \NAMECITE{intervalles}{% Santini-Bouchard:1997:ETI% }. \NAMECITE{intervals}{% Peer:1997:SPI,% Santini-Bouchard:1997:ETI% }. \NAMECITE{intrinsic}{% Pour-El:1999:AIC% }. \NAMECITE{Introduction}{% Ehrig:1998:IC,% Rovan:1996:I,% Bronstein:1996:IPL,% Devillers:1996:IRC,% Kahrs:1997:DEM% }. \NAMECITE{Intuitionism}{% vanDalen:1998:ICB% }. \NAMECITE{Intuitionism-counting}{% vanDalen:1998:ICB% }. \NAMECITE{Intuitionistic}{% Sato:1997:ICN,% Dyckhoff:1999:PPI,% Sambin:1996:CDT,% Schwichtenberg:1999:TPC,% Stone:1999:RSI,% deGroote:1999:ACC% }. \NAMECITE{invariance}{% Brattka:1999:CI% }. \NAMECITE{invariant}{% Otto:1999:BIP% }. \NAMECITE{invariants}{% Bjorner:1997:AGI,% Desel:1996:PNM,% Gobel:1999:SRP% }. \NAMECITE{Inventories}{% Rosaz:1998:IUL% }. \NAMECITE{inverse}{% Choffrut:1998:CFI,% Middendorf:1999:SIT% }. \NAMECITE{inversion}{% Durand:1995:RNC% }. \NAMECITE{inversions}{% Levcopoulos:1996:EFI% }. \NAMECITE{inward}{% Schneider:1998:NOI% }. \NAMECITE{irrational}{% Chuan:1998:UFC% }. \NAMECITE{irregular}{% Garcia:1996:MPA% }. \NAMECITE{irreversible}{% Danos:1998:RIO,% Danos:1999:RIO,% Morita:1995:RSO% }. \NAMECITE{isomorphic}{% Cori:1998:CNI% }. \NAMECITE{isomorphism}{% Gupta:1996:CSI% }. \NAMECITE{isomorphisms}{% Danos:1998:CIC% }. \NAMECITE{Issue}{% Aigrain:1996:PSI,% Gouyou-Beauchamps:1996:PSI% }. \NAMECITE{items}{% Apolloni:1997:PLC% }. \NAMECITE{iterated}{% Slutzki:1995:DTT% }. \NAMECITE{iteration}{% Aceto:1999:CEA,% Cerny:1997:SRI,% Esik:1998:EPI,% Fokkink:1997:TME% }. \NAMECITE{Iterative}{% You:1996:IBR,% Burckel:1996:CIC,% Morcrette:1996:EDF% }. \NAMECITE{iter{\'e}es}{% Morcrette:1996:EDF% }. \NAMECITE{{IX}}{% Courcelle:1995:MSO% }. \NAMECITE{jobs}{% Chakrabarti:1996:RAJ,% Kopidakis:1997:ASS% }. \NAMECITE{join}{% Salomaa:1998:SEE% }. \NAMECITE{Joining}{% Leino:1999:JSS% }. \NAMECITE{joins}{% Hemaspaandra:1998:BOJ% }. \NAMECITE{{Joint}}{% Anonymous:1998:JCS% }. \NAMECITE{{Jordan}}{% Malgouyres:1997:DSZ% }. \NAMECITE{jump}{% Boldi:1999:EJ% }. \NAMECITE{{Kahn}}{% deBruin:1998:LDK% }. \NAMECITE{{Karp}}{% Lutz:1996:CVK% }. \NAMECITE{{Karp-Levin}}{% Lutz:1996:CVK% }. \NAMECITE{key}{% Blundo:1998:GBC,% Tao:1999:FAP% }. \NAMECITE{keys}{% Demetrovics:1998:APK,% Kemp:1996:BST% }. \NAMECITE{kind}{% Nilsson:1995:AIK% }. \NAMECITE{{Kleene}}{% Esik:1995:EPK% }. \NAMECITE{{Kleijn}}{% Carrere:1996:KRA% }. \NAMECITE{{Knapsack}}{% Cucker:1996:GKP% }. \NAMECITE{knowledge}{% Ganter:1999:AEB,% Neiger:1999:UKO,% Ngo:1997:AQC,% Sakurai:1997:PPK% }. \NAMECITE{known}{% DePrisco:1995:MPL% }. \NAMECITE{{Kolmogorov}}{% Freivalds:1997:KNM,% Lutz:1999:FRK,% Rivals:1998:ORA,% Tyszkiewicz:1998:KEP% }. \NAMECITE{{Kripke}}{% Quemener:1998:MCI% }. \NAMECITE{{L}}{% Fernau:1998:RRL,% Harrison:1995:DPP,% Nishida:1995:QDS,% Nishida:1996:SL,% Salomaa:1996:SEE% }. \NAMECITE{Label}{% Ait-Kaci:1995:LSC,% Hasegawa:1995:ALS% }. \NAMECITE{Label-selective}{% Ait-Kaci:1995:LSC% }. \NAMECITE{labeled}{% Engelfriet:1996:CCU% }. \NAMECITE{labeling}{% Kant:1997:REL% }. \NAMECITE{Labelled}{% Golin:1998:LTP% }. \NAMECITE{labels}{% Asperti:1995:PCL,% Ferragina:1998:UST% }. \NAMECITE{Lambda}{% Bunder:1996:LTD,% Pigozzi:1995:LAA,% Alimohamed:1995:CLD,% Asperti:1995:PCL,% Bierman:1998:TCL,% Bono:1999:MLC,% Cagman:1998:CWR,% Dami:1998:LCD,% Danos:1998:RIO,% DiCosmo:1996:CAR,% Goldblatt:1998:EFA,% Kennaway:1997:ILC,% Maraist:1999:CNC,% Nadathur:1998:NLT,% Spreen:1999:FPL,% Spreen:2001:CSF% }. \NAMECITE{lambda-calculus}{% Asperti:1995:PCL,% Bierman:1998:TCL,% Dami:1998:LCD% }. \NAMECITE{lambda-machines}{% Danos:1998:RIO% }. \NAMECITE{langages}{% Denise:1996:GAU% }. \NAMECITE{Language}{% Blanchard:1998:LCR,% Kapur:1995:LLO,% Terrier:1996:LRR,% Ambainis:1999:OMC,% Ariola:1995:PFO,% Bloom:1996:FSA,% Bouge:1997:FVD,% Brauner:1997:GAR,% Cai:1995:UMD,% Cassez:1995:CER,% Castagna:1995:MLT,% Courcelle:1996:BNU,% Grigorchuk:1999:EIL,% Hodas:1998:FLP,% Jeffrey:1999:FAS,% Lange:1996:MDM,% Leiss:1995:ILE,% Leiss:1997:SSE,% Meyer:1997:PLL,% Michel:1997:HML,% Moore:1998:DRR,% Petersen:1996:LPW,% Sieber:1996:FAS,% Zhang:1999:FVP,% Ziadi:1996:REL,% vanWamel:1997:PAL% }. \NAMECITE{Languages}{% Beaudry:1998:LRF,% Aasa:1995:PSI,% Arnold:1995:TPR,% Berstel:1996:LLB,% Borchert:1995:APR,% Brandenburg:1998:AWG,% Carrere:1996:KRA,% Castagna:1995:MLT,% Clerbout:1999:SL,% Denise:1996:GAU,% Droste:1995:RLC,% Ehrenfeucht:1998:RRE,% Fernau:1995:VLA,% Gilman:1996:SLI,% Gruska:1997:SDS,% Harrison:1996:ACL,% Higgins:1997:PST,% Hotz:1996:PCC,% Ilie:1997:CCC,% Immerman:1996:EFF,% Ito:1997:IDC,% Janssens:1998:PLE,% Jantke:1995:CBR,% Jones:1999:LPC,% Kari:1995:MPL,% Kim:1997:HEF,% Kobayashi:1997:LAR,% Koshiba:1997:LDE,% Kulkarni:1996:LTP,% Larmore:1998:AOS,% Latteux:1997:RPL,% Lisitsa:1997:LSL,% Loogen:1995:DDD,% Maler:1997:SCL,% Martin-Vide:1998:CRE,% Mason:1999:ALT,% Mihoubi:1998:CCP,% Nishida:1996:SL,% Ohlebusch:1997:EPP,% Peled:1998:AAC,% Pin:1996:PCG,% Ramos-Jimenez:1998:CPC,% Raz:1997:LCC,% Regan:1997:GLL,% Rosaz:1998:IUL,% Rus:1998:APP,% Sakurai:1997:PPK,% Selivanov:1998:FHR,% Selmi:1996:TL,% Simplot:1999:CRP,% Steinby:1998:GVT,% Tyszkiewicz:1998:KEP,% Van:1995:CRL,% Wagner:1995:RMO,% Wang:1998:RSR,% Wilke:1996:ACF% }. \NAMECITE{Large}{% Mikov:1996:LSA,% Adleman:1999:SAD,% Colombet:1998:SEL,% Ikeda:1999:EAM% }. \NAMECITE{Large-scale}{% Mikov:1996:LSA% }. \NAMECITE{large-size}{% Colombet:1998:SEL% }. \NAMECITE{largest}{% Zhang:1996:LCC% }. \NAMECITE{Late}{% Ingolfsdottir:1995:LES% }. \NAMECITE{latency}{% Oberman:1998:RML% }. \NAMECITE{latest}{% Pflugel:1997:LVD% }. \NAMECITE{Lattice}{% Chopard:1999:LBC,% Bruyere:1998:MOL,% Cai:1998:RPD,% Gratzer:1999:SCA,% Rote:1997:FSV,% Talamo:1997:DSL% }. \NAMECITE{lattices}{% Bignone:1999:CML,% Cai:1998:RPD,% Cusick:1999:ARC,% Gratzer:1999:CL,% Habib:1996:TSD,% Kumar:1995:ESI,% Marion:1999:MSA,% Mitas:1997:CPE% }. \NAMECITE{Latticial}{% Duquenne:1999:LSD% }. \NAMECITE{law}{% Kautz:1998:IZO% }. \NAMECITE{laws}{% Gumm:1999:GAL,% Lacoste:1997:LP% }. \NAMECITE{layer}{% Schmid:1999:BLC% }. \NAMECITE{layering}{% Dessmark:1995:MLC% }. \NAMECITE{layout}{% Diaz:1997:PAM,% Sander:1999:GLA% }. \NAMECITE{Lazy}{% Middeldorp:1996:LNS,% Karczmarczuk:1997:GPL,% Matthews:1995:ETL% }. \NAMECITE{leader}{% Fredlund:1997:FVL% }. \NAMECITE{learnable}{% Fortnow:1998:RSL% }. \NAMECITE{Learning}{% Arimura:1997:LUT,% Auer:1997:LND,% Chen:1997:LCF,% Fulk:1996:LPI,% Kobayashi:1997:LAR,% Koshiba:1997:LDE,% Takimoto:1997:LOH,% Apolloni:1997:PLC,% Apolloni:1998:SSL,% Case:1996:ALH,% Fischer:1997:PLG,% Hausen-Tropper:1996:FTA,% Jain:1995:ATL,% Jantke:1995:CBR,% Kapur:1995:LLO,% Kimber:1995:LLS,% Lange:1996:MDM,% Meyer:1997:PLL,% Nakamura:1995:ELL,% Rao:1997:FIL,% Romanik:1997:ATR% }. \NAMECITE{leaves}{% Bassino:1999:ESL% }. \NAMECITE{left}{% Schmidt-Schauss:1995:MTC% }. \NAMECITE{left-linear}{% Schmidt-Schauss:1995:MTC% }. \NAMECITE{lemma}{% Gilman:1996:SLI,% TortoradeFalco:1998:GSL% }. \NAMECITE{{Lempel}}{% Jacquet:1995:ABL% }. \NAMECITE{{Lempel-Ziv}}{% Jacquet:1995:ABL% }. \NAMECITE{Length}{% Boufkhad:1999:LPI,% Raz:1997:LCC,% DeFelice:1996:AHF,% DePrisco:1995:MPL,% Diaz:1997:PAM,% Kucherov:1997:MSS,% Tomescu:1996:AAL% }. \NAMECITE{lengths}{% Althofer:1995:SPL,% Weiermann:1995:TPT% }. \NAMECITE{lenses}{% Yarroll:1996:SMT% }. \NAMECITE{letter}{% Andre:1998:EPL% }. \NAMECITE{letter-to-letter}{% Andre:1998:EPL% }. \NAMECITE{level}{% Botorog:1998:EHL,% Taentzer:1997:PHL% }. \NAMECITE{levels}{% Spreen:1999:FPL,% Spreen:2001:CSF% }. \NAMECITE{{Levin}}{% Lutz:1996:CVK% }. \NAMECITE{lexicographic}{% Comon:1997:FOT,% Weiermann:1995:TPT% }. \NAMECITE{{Lie}}{% deGraaf:1997:ADS% }. \NAMECITE{lightwave}{% Cao:1999:OTS,% Wan:1998:TML% }. \NAMECITE{like}{% Cattaneo:1997:MRS,% Sakakibara:1999:STL,% Sieber:1996:FAS% }. \NAMECITE{Liminf}{% Wagner:1997:LCC% }. \NAMECITE{Limit}{% Cassaigne:1999:LVR% }. \NAMECITE{limited}{% Fernau:1998:RRL% }. \NAMECITE{Limiting}{% Hoover:1997:LSN,% Drmota:1995:MCC% }. \NAMECITE{Limits}{% Fill:1996:LRC% }. \NAMECITE{{Linda}}{% Busi:1998:PAV% }. \NAMECITE{{Lindenmayerian}}{% Honkala:1997:LAP,% Honkala:1997:LAS% }. \NAMECITE{line}{% Arques:1995:FSL,% Ausiello:1997:LAS,% Bartal:1999:LRA,% Bouchitte:1997:LAO,% Breslauer:1998:CLP,% Colussi:1996:HCC,% Edalat:1999:DTA,% Felsner:1997:LCP,% HotzelEscardo:1999:IRP,% Johansen:1995:LSM,% Kimber:1995:LLS,% Pelibossian:1996:LLC,% Roberts:1999:LMR,% Varadharajan:1999:DER% }. \NAMECITE{Linear}{% Fernandez-Baca:1997:LTA,% Fouquere:1998:LLT,% Gyenizse:1998:LGS,% Heen:1997:LSC,% Kulkarni:1996:LTP,% Lisitsa:1999:LOG,% Schied:1998:LTH,% Schmitt:1998:LAG,% Seese:1998:LTC,% deBruin:1998:LDK,% Agrawal:1996:QLT,% Ajili:1997:ASV,% Albrecht:1997:NCH,% Allouche:1997:ADS,% Amaldi:1995:CAF,% Amaldi:1995:CAO,% Amaldi:1998:AMN,% Bierman:1998:TCL,% Bierman:1999:CLC,% Brauner:1997:GAR,% Bronstein:1996:IPL,% Colbourn:1998:LTA,% DePrisco:1998:TRV,% Ewacha:1997:ANL,% Fakler:1997:SOH,% Fiorio:1996:TLT,% Galmiche:1994:PNL,% Geiselman:1997:CTO,% Girodias:1997:SLM,% Grigoriev:1996:NSS,% Inverardi:1995:INF,% Jamison:1995:LTR,% Jonsson:1996:AGS,% Kanovitch:1998:SCS,% Kobayashi:1999:DCL,% Koshiba:1997:LDE,% Lincoln:1998:CLP,% Lincoln:1999:OCL,% Malgouyres:1995:GGC,% Manzini:1996:OSL,% Manzini:1999:CEC,% Maraist:1999:CNC,% Marion:1999:MSA,% Martini:1997:ELN,% Metayer:1998:SRC,% Mihoubi:1998:CCP,% Nagaymam:1998:GTC,% Nakamura:1995:ELL,% Niederreiter:1999:ASC,% Okada:1999:PSC,% Pedicini:1998:REL,% Perrier:1998:CGP,% Perrier:1999:PCF,% Pratt:1998:BDS,% Prisco:1998:TRV,% Sato:1998:ECL,% Schmidt-Schauss:1995:MTC,% Thomas:1997:PDS,% Treinen:1998:FOT,% Turner:1999:OIL,% vanBreugel:1998:TMS,% Anonymous:1998:LLP,% Courcelle:1996:MSO% }. \NAMECITE{Linear-time}{% Fernandez-Baca:1997:LTA,% Jamison:1995:LTR,% Jonsson:1996:AGS% }. \NAMECITE{Linearity}{% Abramsky:1998:LSS,% Pelibossian:1996:LLC% }. \NAMECITE{linearizability}{% Lynch:1999:TCL% }. \NAMECITE{Linearizable}{% Mavronicolas:1999:LRW% }. \NAMECITE{linearly}{% Creignou:1995:CPL% }. \NAMECITE{linkage}{% Matsuda:1999:CMS% }. \NAMECITE{links}{% Demange:1996:AMF% }. \NAMECITE{{Liouvillian}}{% Fakler:1997:SOH% }. \NAMECITE{List}{% Anonymous:1995:RLI,% Gasperoni:1998:LSP,% Albers:1998:CAL,% Dessmark:1995:MLC,% Fischer:1999:MCL% }. \NAMECITE{lists}{% Cegielski:1999:AFO,% Fredholm:1996:CMP,% Gabarro:1996:DPD,% Kirschenhofer:1995:AOS% }. \NAMECITE{live}{% Esparza:1998:RLS% }. \NAMECITE{{LLNC}}{% Metayer:1999:PEA% }. \NAMECITE{load}{% Gehrke:1999:RCL% }. \NAMECITE{Local}{% Berstel:1996:LLB,% Dechter:1997:LGR,% Duval:1998:PLP,% Afek:1997:LDP,% Beal:1998:BSD,% Cheng:1997:PNT,% Etessami:1995:RPL,% Gehrke:1999:RCL,% Koubarakis:1997:LGC,% Lincoln:1998:CLP,% Litovsky:1998:CGG,% Malgouyres:1996:TNL,% Shimozono:1997:FOS% }. \NAMECITE{locales}{% Duval:1998:PLP% }. \NAMECITE{Locality}{% Sangiorgi:1996:LIS% }. \NAMECITE{locally}{% Niedermeier:1998:UCL,% Sigstam:1997:RLC% }. \NAMECITE{Locating}{% Banach:1995:LCD% }. \NAMECITE{Location}{% Montanari:1995:LEP,% Krumke:1997:CLP% }. \NAMECITE{{L{\"o}f}}{% Dybjer:1996:RID,% Dybjer:1997:RID% }. \NAMECITE{log}{% Regan:1997:GLL% }. \NAMECITE{log-time}{% Regan:1997:GLL% }. \NAMECITE{logarithmic}{% Balcazar:1998:SLA% }. \NAMECITE{logarithms}{% Adleman:1999:SAD% }. \NAMECITE{Logic}{% Anonymous:1998:LLP,% Courcelle:1998:LG,% Abiteboul:1995:CIL,% Albrecht:1997:NCH,% Alpuente:1995:ICS,% Anantharaman:1998:RML,% Baaz:1996:CFO,% Bensaou:1998:TCL,% Berghammer:1995:FDP,% Bloom:1997:ELF,% Boley:1999:FLI,% Brogi:1995:FAC,% Brogi:1997:UVL,% Brzoska:1998:PMT,% Cerioli:1997:MBY,% Cockett:1995:SCD,% Costa:1997:SAD,% Costantini:1995:CSM,% Courcelle:1995:MSO,% Courcelle:1996:MSO,% Co