%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@psi.math.utah.edu on Tue Jul 5 10:22:41 MDT 2005 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1}~\cite{#2}} \fi \NAMECITE{$(n, k)$}{% Claus:1981:BEP% }. \NAMECITE{$+$}{% Giannella:2002:APC,% Peterson:1995:VSR% }. \NAMECITE{$0$}{% Kemp:1981:LGG,% Wu:1994:CMA% }. \NAMECITE{$1$}{% Anderson:1973:ELP,% Bertsch:1996:OSR,% Fischer:1980:ELE,% Fischer:1992:SFE,% Fisher:1985:PLB,% Haldar:1996:SEW,% Harris:1987:SLP,% Heckmann:1986:EEP,% Heilbrunner:1985:TPC,% Heilbrunner:1996:DCC,% Lewi:1978:EPG,% Wu:1994:CMA,% Wyrostek:1986:PTW% }. \NAMECITE{$1,1$}{% Chapman:1984:LPG% }. \NAMECITE{$2$}{% Ehrenfeucht:1990:CSR,% Ehrenfeucht:1990:PSSa,% Ehrenfeucht:1990:PSSb,% Ellis:1980:CSI,% Hinrichs:1992:ARS,% Ibarra:1975:HVH,% Schonhage:1977:SMP,% Yao:1978:RT% }. \NAMECITE{$2.5n$}{% Dunne:1985:LBM% }. \NAMECITE{$3$}{% Ellis:1980:CSI,% Ibarra:1975:HVH,% Yao:1978:RT% }. \NAMECITE{$7$}{% Currie:2003:WLW% }. \NAMECITE{$^*$}{% Damm:1983:SRH% }. \NAMECITE{$\alpha-\beta$}{% Choy:1978:OTC% }. \NAMECITE{$B$}{% Wright:1985:SAP% }. \NAMECITE{$B^*$}{% Kuspert:1983:SUB% }. \NAMECITE{$B^+$}{% Baeza-Yates:1989:EBB% }. \NAMECITE{$\bmod 5$}{% Currie:2003:WLW% }. \NAMECITE{${\cal P}$}{% Greco:2001:ESD% }. \NAMECITE{${\cal QH}$}{% Greco:2001:ESD% }. \NAMECITE{$D$}{% Overmars:1982:DMD,% Taniguchi:1976:ACS,% Chanzy:2001:ARS,% Fan:1998:WL,% Li:2004:TEC% }. \NAMECITE{${\rm DTIMEF}(\scr F)=? {\rm DSPACEF}(\scr F)$}{% Caporaso:1998:RBU% }. \NAMECITE{$\forall$}{% VandenBussche:1993:MDC% }. \NAMECITE{$K$}{% Berztiss:1980:DFT,% Overmars:1982:DMD,% Backhouse:1976:AAI,% Chandra:1983:SBV,% Chanzy:2001:ARS,% Dunne:1987:RVG,% Heilbrunner:1979:DEE,% Lamoureux:2005:DSL,% Lee:1994:BLC,% Pager:1977:PGM,% Purdom:1980:SRL,% Purdom:1981:PEL,% Rangarajan:1997:SMT,% Russmann:1997:DLP,% Shen:1999:FKM,% Soisalon-Soininen:1979:MTG,% Tokuda:1981:EUR,% Wu:1994:CMA% }. \NAMECITE{$L$}{% Culik:1993:SMR,% Culik:1994:PSI% }. \NAMECITE{$LR$}{% Soisalon-Soininen:1980:SOE% }. \NAMECITE{$LU$}{% vandeVorst:1988:FDP% }. \NAMECITE{$M$}{% Best:1998:NAH,% Ehrich:1973:MMV,% Mahmoud:1986:AIP% }. \NAMECITE{$\mu$}{% Cleaveland:1990:TBM,% Eiter:1995:GBE% }. \NAMECITE{$n$}{% Chandra:1983:SBV,% Heise:1976:OCA,% Hwang:1971:OME,% Wu:1994:CMA% }. \NAMECITE{$\neg$}{% VandenBussche:1993:MDC% }. \NAMECITE{$O(1)$}{% Levcopoulos:1988:BST% }. \NAMECITE{$O(n)$}{% Taniguchi:1976:ACS% }. \NAMECITE{$O(V^{5/3} E^{2/3})$}{% Galil:1980:AMF% }. \NAMECITE{$p$}{% Silva:2003:NPP% }. \NAMECITE{$P=NP$}{% Huwig:1982:MPP% }. \NAMECITE{$\pi$}{% Boreale:1998:FAS,% Sangiorgi:1996:TBC% }. \NAMECITE{$S$}{% Devillers:1995:IAG% }. \NAMECITE{${\rm Sometime}={\rm always}+{\rm recursion}\equiv{\rm always}$}{% Cousot:1987:EII% }. \NAMECITE{$T_3^n$}{% Dunne:1985:LBM% }. \NAMECITE{$\times$}{% Burrieza:2003:FAT% }. \NAMECITE{$\varepsilon$}{% Goldschlager:1981:PCF% }. \NAMECITE{$wp$}{% Bijlsma:1989:SPR% }. \NAMECITE{$x^i_1 x^i_2 \cdots x^i_m = y^i_1 y^i_2 \cdots y^i_n$}{% Hakala:1997:SWE% }. \NAMECITE{$Y$}{% Fachini:1992:CST,% Fachini:1992:LAS% }. \NAMECITE{*}{% Kindler:1995:ICS,% Krishnaswamy:1995:CCC,% Vaidyanathan:1995:PIS% }. \NAMECITE{-}{% Chanzy:2001:ARS,% Ellis:1980:CSI,% Overmars:1982:DMD,% VandenBussche:1993:MDC,% Yao:1978:RT% }. \NAMECITE{{}-Arcs}{% Heise:1976:OCA% }. \NAMECITE{{}-ary}{% Mahmoud:1986:AIP% }. \NAMECITE{{}-Based}{% Fisher:1985:PLB% }. \NAMECITE{{}-Bounded}{% Claus:1981:BEP% }. \NAMECITE{-Calculus}{% Sangiorgi:1996:TBC,% Boreale:1998:FAS,% Cleaveland:1990:TBM% }. \NAMECITE{{}-Charts}{% Taniguchi:1976:ACS% }. \NAMECITE{{}-Column}{% Wu:1994:CMA% }. \NAMECITE{{}-conflictable}{% Lee:1994:BLC% }. \NAMECITE{{}-decomposition}{% vandeVorst:1988:FDP% }. \NAMECITE{-Dimensional}{% Hinrichs:1992:ARS,% Lamoureux:2005:DSL% }. \NAMECITE{-Expressions}{% Eiter:1995:GBE% }. \NAMECITE{-Head}{% Ibarra:1975:HVH% }. \NAMECITE{{}-invariant}{% Devillers:1995:IAG% }. \NAMECITE{-languages}{% Fan:1998:WL% }. \NAMECITE{-Matrices}{% Wu:1994:CMA% }. \NAMECITE{-Minimal}{% Ehrich:1973:MMV% }. \NAMECITE{-minimale}{% Ehrich:1973:MMV% }. \NAMECITE{{}-nets}{% Best:1998:NAH% }. \NAMECITE{{}-Parser}{% Heckmann:1986:EEP% }. \NAMECITE{-primitive}{% Li:2004:TEC% }. \NAMECITE{-Problems}{% Huwig:1982:MPP% }. \NAMECITE{-productions}{% Goldschlager:1981:PCF% }. \NAMECITE{-projections}{% Chandra:1983:SBV,% Wu:1994:CMA% }. \NAMECITE{-pure}{% Silva:2003:NPP% }. \NAMECITE{-Structures}{% Ehrenfeucht:1990:PSSa,% Ehrenfeucht:1990:CSR% }. \NAMECITE{{-Structures.}}{% Ehrenfeucht:1990:PSSb% }. \NAMECITE{{}-Systems}{% Culik:1993:SMR,% Culik:1994:PSI% }. \NAMECITE{{}-Tree}{% Fachini:1992:CST,% Fachini:1992:LAS,% Wright:1985:SAP% }. \NAMECITE{-trees}{% Peterson:1995:VSR,% Berztiss:1980:DFT,% Kuspert:1983:SUB,% Baeza-Yates:1989:EBB% }. \NAMECITE{{}-Valent}{% Dunne:1987:RVG% }. \NAMECITE{-vectors}{% Chandra:1983:SBV% }. \NAMECITE{-words}{% Fan:1998:WL% }. \NAMECITE{-writer}{% Haldar:1996:SEW% }. \NAMECITE{{{/G/1}}}{% Alfa:1991:AQL% }. \NAMECITE{0{L}}{% Honkala:2000:SLB% }. \NAMECITE{{1}}{% El-Affendi:1983:MEA,% Falin:1994:ITA,% Kouvatsos:1989:MEP,% Shore:1982:ITA,% Alfa:1991:AQL% }. \NAMECITE{{1988}}{% Bauer:1989:MAP% }. \NAMECITE{{2}}{% Rudnicki:1985:PPP,% Rudnicki:1986:PPP% }. \NAMECITE{{23}}{% Hehner:1988:EPM% }. \NAMECITE{{4NF}}{% Vincent:1999:SFR% }. \NAMECITE{{68}}{% Berry:1981:RRD,% Hansen:1978:RSH,% vanWijngaarden:1975:RRA% }. \NAMECITE{87k}{% Hehner:1988:EPM% }. \NAMECITE{{90}}{% Matsumoto:1996:AAP% }. \NAMECITE{{A.}}{% Scott:1994:H% }. \NAMECITE{{Abelian}}{% Iliopoulos:1986:MCC% }. \NAMECITE{Abstract}{% Benson:1974:AMT,% Broy:1982:PAT,% Engels:1983:OSS,% Kastens:1991:ADT,% LeCharlier:1995:RAI,% Lehmann:1993:OSL,% Marriott:1993:FAI,% Schoett:1992:TIT,% Tompa:1980:PES,% Boreale:1998:FAS,% Guttag:1978:ASA,% Wirsing:1983:HAD% }. \NAMECITE{Abstraction}{% Gorlatch:2000:APD,% Leavens:1995:SVO,% Colomb:2001:CTF% }. \NAMECITE{Acceptable}{% Duponcheel:1986:AFP% }. \NAMECITE{Accepted}{% Book:1979:LAS,% Fachini:1992:LAS% }. \NAMECITE{Accepting}{% Berard:2000:AZW% }. \NAMECITE{Acception}{% Deussen:1978:UAG% }. \NAMECITE{Acceptors}{% Claus:1981:BEP,% Morita:1997:HUP% }. \NAMECITE{Access}{% Ehrich:1975:GTDa,% Ehrich:1975:GTDb,% Klein:1983:LTB,% Ramsperger:1977:CAD,% ONeil:1992:STI% }. \NAMECITE{accommodating}{% Boyar:2003:EAF% }. \NAMECITE{According}{% Munch-Andersen:1977:SAJ% }. \NAMECITE{Achievable}{% Ruhl:1994:BRT% }. \NAMECITE{Acknowledgement}{% Anonymous:1995:AR,% Anonymous:1997:AR,% Anonymous:2000:AR,% Anonymous:2002:AR,% Anonymous:2003:AR,% Anonymous:2004:AR% }. \NAMECITE{Acta}{% Bauer:2003:EWD,% Hehner:1988:EPM% }. \NAMECITE{Action}{% Back:1998:RFA,% Majster-Cederbaum:2003:TAR,% Rensink:2001:PAA% }. \NAMECITE{actions}{% vanGlabbeek:2001:RAE% }. \NAMECITE{Active}{% Mescheder:1980:NAO,% Alhazov:2004:TPL% }. \NAMECITE{Active-Operations}{% Mescheder:1980:NAO% }. \NAMECITE{Actual}{% Klingler:1981:GBA% }. \NAMECITE{Acyclic}{% Trogemann:1997:PAP% }. \NAMECITE{Adaptive}{% Rice:1975:PAA% }. \NAMECITE{Addenda}{% Hoare:1974:ACA,% Lauer:1977:ACF% }. \NAMECITE{Addendum}{% Roth:1991:ANV% }. \NAMECITE{Adder}{% Claus:1973:MAP% }. \NAMECITE{Adding}{% Biskup:2003:AID,% Giannella:2002:APC% }. \NAMECITE{Addition}{% Claus:1973:MAP,% Pierre:1989:RIV% }. \NAMECITE{Additionsdauer}{% Claus:1973:MAP% }. \NAMECITE{Additive}{% Kemp:1989:EAW% }. \NAMECITE{Additivity}{% Levene:1997:APF% }. \NAMECITE{Address}{% Hesselink:1996:BDF% }. \NAMECITE{adequate}{% Makinen:2002:MAT% }. \NAMECITE{Admissibility}{% Biela:1988:PSA% }. \NAMECITE{Admitting}{% Kedem:1981:CDG% }. \NAMECITE{Affine}{% Mongenet:1994:GTM,% Karr:1976:ARA% }. \NAMECITE{Affix}{% Pohlmann:1983:LPA,% Watt:1977:PPA% }. \NAMECITE{Affix-Grammars}{% Watt:1977:PPA% }. \NAMECITE{After}{% Rembowski:1985:PQI% }. \NAMECITE{Age}{% Gelenbe:1990:OCA% }. \NAMECITE{agents}{% Degano:1999:CDM% }. \NAMECITE{aggregate}{% Grumbach:2004:ERA% }. \NAMECITE{Aggregation}{% Helman:1989:FNC% }. \NAMECITE{Ahead}{% Yang:1995:LAP% }. \NAMECITE{Aid}{% Jones:1979:CTD,% Zislis:1975:SDC% }. \NAMECITE{{Alan}}{% Habermann:1991:AJP% }. \NAMECITE{Algebra}{% Aceto:1996:TCP,% Baeten:1992:APC,% Bozapalidis:1991:ECS,% Degano:1996:AAN,% Meinke:1994:RSO,% Merzenich:1979:BOT,% Best:1998:NAH,% Rensink:2001:PAA,% Vansummeren:2005:CDT,% Corradini:2001:CIP% }. \NAMECITE{Algebraic}{% Barbuti:1997:ACM,% Bernot:1994:BAA,% Harman:1996:AMM,% Hennicker:1991:OIA,% Howden:1978:APT,% Huang:1989:IMD,% Latteux:1979:ILA,% Marque-Pucheu:1983:RST,% Moller:1985:ASI,% Perrot:1977:MSL,% Qian:1993:ASH,% Rus:1997:UGC,% Sannella:1992:TFD,% Asveld:1982:CTO,% Bauer:1988:CEA,% Guttag:1978:ASA,% Kinoshita:2000:DRA,% Leavens:2000:CAC,% Sannella:1988:TFD,% Latteux:1980:GAL% }. \NAMECITE{algebraically}{% Back:1999:RAA% }. \NAMECITE{Algebras}{% Cantor:1991:FMP,% Corradini:1997:LBS,% Meinke:2001:CDS,% Srba:2003:SBS% }. \NAMECITE{alg{\'e}briques}{% Autebert:1984:BLA,% Latteux:1979:ILA,% Latteux:1980:GAL,% Perrot:1977:MSL% }. \NAMECITE{{ALGOL}}{% Hansen:1978:RSH,% Langmaack:1982:TPF,% vanWijngaarden:1975:RRA,% Berry:1981:RRD% }. \NAMECITE{{ALGOL}-like}{% Langmaack:1982:TPF% }. \NAMECITE{Algorithm}{% Akdag:1983:PAC,% Breitbart:1975:BBA,% Coffman:1984:PGG,% Cohen:1976:ISF,% Csirik:1989:LAV,% Du:1992:MFA,% Fischer:1992:SFE,% Fisher:1992:YYP,% Galil:1980:AMF,% Garey:1974:PBS,% Gelenbe:1974:AAG,% Gries:1973:DAH,% Gries:1979:SWG,% Hinrichs:1992:ARS,% Horwitz:1987:EGI,% Kou:1981:FAS,% Kou:1990:EIA,% Kumar:1987:LSA,% Monien:1985:RNA,% Morito:1980:UBA,% Plateau:1980:EPA,% Ruzicka:1989:ALR,% Sack:1985:AMH,% Spuler:1993:OBS,% Szpankowski:1987:ACR,% Taniguchi:1976:ACS,% Topor:1979:CSW,% Wu:1986:FAA,% Nakatsu:1982:LCS,% Proietti:1999:OAD,% Yen:1999:OAS% }. \NAMECITE{Algorithme}{% Plateau:1980:EPA,% Gelenbe:1974:AAG% }. \NAMECITE{Algorithmic}{% Biela:1988:PSA,% Gonnet:1980:ACA,% Kroger:1977:LLA,% vanWijngaarden:1975:RRA% }. \NAMECITE{Algorithms}{% Akyildiz:1989:CAN,% Bayer:1972:SBB,% Becker:1986:ARP,% Berman:1990:PRL,% Bouge:1988:ESA,% Breitbart:1975:AFE,% Brown:1982:LBL,% Coffman:1976:AMM,% Darlington:1978:SSS,% Dewar:1982:SMA,% Eriksen:1983:CAR,% Fenner:1981:ATR,% Hac:1993:PRI,% Hauschildt:1994:PNA,% JaJa:1982:SEA,% Kingston:1985:ATA,% Kirousis:1995:EAC,% Lau:1989:NSC,% Lipski:1981:EAF,% McKellar:1972:BAS,% Ottmann:1985:PTU,% Pettorossi:1982:DVE,% Pritchard:1991:OAE,% Rego:1989:SEC,% Rice:1975:PAA,% Savicky:1997:EAT,% Smith:19xx:SDG,% Staphylopatis:1982:PCP,% Ullman:1973:FAE,% Chaudhuri:2000:OWA,% Grigoriev:2004:PSI,% Han:1999:PPC,% He:2004:OAS,% Jiang:2005:POA,% Kim:2001:ERA,% Meinke:2001:CDS,% Ravelo:1999:TGA,% Reisig:2003:GTS,% Barstow:1980:RSS,% Jacobs:1988:CSS% }. \NAMECITE{Alias}{% Matsumoto:1996:AAP% }. \NAMECITE{Aliasing}{% Cartwright:1981:LA% }. \NAMECITE{All-Round}{% Hinrichs:1992:ARS% }. \NAMECITE{Allocation}{% Bannister:1983:TAF,% Betteridge:1974:ASA,% Bromley:1980:MFB,% Ershov:1976:AMA,% Kameda:1977:FCR,% Leung:1987:ASA,% Nutt:1976:SRA,% Brodal:2005:FAD,% Lundberg:1999:OBG% }. \NAMECITE{Almost}{% Andersson:1990:BST,% Ruzicka:1989:ALR% }. \NAMECITE{Alphabet}{% Monien:1977:LPD,% Honkala:2000:SLB,% Roth:1992:EBP% }. \NAMECITE{alphabets}{% Cheng:1998:CFL% }. \NAMECITE{Alternating}{% Ibarra:1994:CBS,% Iwata:1993:RAS,% Slobodova:1992:CAM% }. \NAMECITE{Alternation}{% Paul:1980:A,% Paul:1980:AIG% }. \NAMECITE{Alternative}{% Anderson:1982:AII,% Backhouse:1976:AAI% }. \NAMECITE{Ambiguity}{% Earley:1975:APS,% Seidl:1989:FDA,% Wharton:1976:RAP% }. \NAMECITE{Ambiguous}{% Kemp:1980:NDI% }. \NAMECITE{Among}{% Simon:1989:CRA,% Sutner:1988:MPA,% Iwata:1993:RAS,% Karr:1976:ARA% }. \NAMECITE{Amongst}{% Saxena:1996:PIS% }. \NAMECITE{Amortized}{% Larsen:1998:ACR% }. \NAMECITE{Amounts}{% Kintala:1980:ANF% }. \NAMECITE{Analyse}{% Gelenbe:1974:AAG,% Hotz:1974:SAK,% Mikou:1979:AOP% }. \NAMECITE{Analysis}{% Babich:1978:MADa,% Babich:1978:MADb,% Baccelli:1981:ASF,% Bause:1996:APN,% Berztiss:1980:DFT,% Boxma:1981:AAE,% Burnetas:1997:AIE,% Cantor:1986:ITA,% Carter:1982:FAC,% Chanzy:2001:ARS,% Devroye:1984:PAH,% Devroye:1987:BPA,% El-Affendi:1983:MEA,% Fenner:1981:ATR,% Franta:1976:MAC,% Franta:1980:APC,% Gonnet:1980:ACA,% Horwitz:1987:EGI,% Hotz:1974:SAK,% Hsieh:1997:FGD,% Iglehart:1984:SOA,% Kam:1977:MDF,% Kastens:1987:LAA,% Kastens:1991:ADT,% Khabbaz:1974:MPA,% Kingston:1985:ATA,% Knuth:1971:TSA,% Lee:1978:WCA,% Leung:1987:ASA,% Liu:1978:PAM,% Mili:1985:SIF,% Nielson:1982:DFD,% Peng:1992:ACC,% Poblete:1993:AHS,% Pratt:1978:PAO,% Ramanathan:1981:PAD,% Reps:1996:SNI,% Schott:1972:AAI,% Schuler:1975:WAC,% Sedgewick:1977:AQP,% Szpankowski:1987:ACR,% Trogemann:1997:PAP,% Yang:1995:LAP,% Chakaravarthy:2002:NAP,% Devillers:1995:IAG,% Frederiks:2002:DPI,% Kemp:1998:GWL,% Kobuchi:2000:SAT,% Matsumoto:1996:AAP,% Sagiv:1998:LBA,% Gelenbe:1974:AAG,% Mikou:1979:AOP% }. \NAMECITE{Analytic}{% Betteridge:1974:ASA,% Huang:1989:AMP,% Mahmoud:2000:AVB% }. \NAMECITE{Analyzer}{% Bulyonkov:1984:PMC% }. \NAMECITE{Analyzing}{% Taylor:1983:CAS% }. \NAMECITE{Ancestor}{% Tsakalidis:1988:NCA% }. \NAMECITE{{Andersson}}{% Spuler:1993:OBS% }. \NAMECITE{{Andrei}}{% Bauer:1989:MAP% }. \NAMECITE{angelic}{% McIver:2001:DAU% }. \NAMECITE{antiport}{% Frisco:2004:PSS% }. \NAMECITE{Apex}{% Engelfriet:1988:AGG,% Engelfriet:1994:CFG,% Yamazaki:1997:HCA% }. \NAMECITE{Application}{% Cantor:1986:ITA,% Dunne:1987:RVG,% Labetoulle:1976:SQN,% Langmaack:1971:ARC,% Monien:1976:TMT,% Monien:1977:CTM,% deGuzman:1995:FIB,% Best:1998:NAH,% Carpi:2000:SFP,% Torre:2001:TTA% }. \NAMECITE{Applications}{% Devroye:1988:ATR,% Galil:1980:AEM,% Ibarra:1984:CSB,% Miyakawa:1985:ODT,% Tsuda:1983:TLTa,% Tsuda:1983:TLTb,% Turski:1971:MDS,% Turski:1972:MDS,% Valk:1985:RVS,% terHofstede:1997:ACF,% Autebert:1979:OCA% }. \NAMECITE{Applied}{% Ramanathan:1981:PAD% }. \NAMECITE{Applying}{% Huet:1978:PAP,% Rosen:1975:DGG% }. \NAMECITE{Approach}{% Back:1990:DSL,% Backhouse:1976:AAI,% Bevers:1993:PTC,% Cau:1996:PCA,% Deussen:1978:UAG,% Drabent:1995:WFA,% Hoare:1993:NFA,% Huang:1989:AMP,% Kowaltowski:1977:AAS,% Lubachevsky:1984:AAV,% Manna:1974:AAT,% Manna:1981:PFP,% Mili:1983:RAD,% Nakajima:1980:HPS,% Paul:1980:AIG,% Pohlmann:1991:FPA,% Szpankowski:1987:ACR,% Tennent:1977:NAR,% Zuczek:1976:NAP,% Ameur:1996:TEN,% Burrieza:2003:FAT,% Charpentier:2004:STP,% Gorlatch:2000:APD,% Sagiv:1998:LBA,% Santone:2002:AVC% }. \NAMECITE{Approaches}{% Bernot:1994:BAA% }. \NAMECITE{approximability}{% Chakaravarthy:2002:NAP,% Grigoriev:2004:PSI% }. \NAMECITE{Approximate}{% Booth:1981:CEA,% Boxma:1981:AAE% }. \NAMECITE{Approximating}{% Alfa:1991:AQL,% Diekert:1998:AT% }. \NAMECITE{Approximation}{% Diaz:1996:PAS,% Epstein:2004:ASM,% Kobler:1989:CA,% Kou:1990:EIA,% Kouvatsos:1989:MEP,% Monien:1985:RNA,% Peters:1987:PAS,% Wu:1986:FAA% }. \NAMECITE{Approximations}{% Shore:1982:ITA,% Delvaux:2004:BTA,% Falin:1994:ITA,% Gelenbe:1979:PMC% }. \NAMECITE{April}{% Bauer:1989:MAP% }. \NAMECITE{{{\"A}quivalente}}{% Sabelfeld:1978:ATF% }. \NAMECITE{Arbitrary}{% Cantor:1991:FMP,% Diekert:1986:IHG,% Loveland:1985:PBB,% Ramirez:1982:ORP% }. \NAMECITE{Arbitration}{% Kessels:1982:ACM% }. \NAMECITE{Architecture}{% Sen:1989:SOF,% Doberkat:2003:PMS,% Harman:1996:AMM% }. \NAMECITE{Architectures}{% Kunde:1987:LBS% }. \NAMECITE{Arcs}{% Heise:1976:OCA% }. \NAMECITE{Area}{% Iglehart:1984:SOA% }. \NAMECITE{Argument}{% Dijkstra:1986:SFA% }. \NAMECITE{Arguments}{% Dijkstra:1980:SBA% }. \NAMECITE{Arithmetic}{% Baccelli:1982:PAE,% Daduna:1981:DTR,% Kuck:1974:BPE,% deGuzman:1995:FIB% }. \NAMECITE{Array}{% Han:1989:TLB% }. \NAMECITE{Arrays}{% Buning:1980:UAI,% Mongenet:1994:GTM,% Rosenberg:1977:SSB,% Seiferas:1977:IAD,% Iwamoto:2002:QST% }. \NAMECITE{Arrivals}{% Agrawala:1982:ESG,% Gelenbe:1979:PMC% }. \NAMECITE{ary}{% Mahmoud:1986:AIP% }. \NAMECITE{Ascending}{% Pritchard:1981:ALL% }. \NAMECITE{assertional}{% Hesselink:2002:ACA% }. \NAMECITE{Assertions}{% Apt:1981:RAP,% Cousot:1987:EII% }. \NAMECITE{Associative}{% Nutt:1976:SRA% }. \NAMECITE{Associativity}{% Kuck:1974:BPE% }. \NAMECITE{Assumption}{% Cau:1996:PCA% }. \NAMECITE{Assumption-Commitment}{% Cau:1996:PCA% }. \NAMECITE{Asymptotic}{% Hwang:1998:AEM% }. \NAMECITE{Asymptotics}{% Flajolet:1994:MTA,% Rego:1992:NAH% }. \NAMECITE{Asynchronous}{% Best:1981:FMA,% Buning:1980:UAI,% Diekert:1994:DAA,% Hac:1993:PRI,% Baldoni:1998:CRA,% Corradini:2002:CWC% }. \NAMECITE{Atomic}{% Haldar:1996:SEW,% Chaudhuri:2000:OWA% }. \NAMECITE{Atomicity}{% Best:1981:FMA,% Kirousis:1995:EAC,% Hesselink:2002:ACA% }. \NAMECITE{{ATP}}{% Nicollin:1993:ATG% }. \NAMECITE{Attribute}{% Alblas:1981:CAE,% Deransart:1984:SCT,% Engelfriet:1981:FPO,% Engelfriet:1988:AGG,% Engelfriet:1990:ASO,% Engelfriet:1992:CFH,% Farrow:1986:CSO,% File:1983:IRA,% Giegerich:1988:CEA,% Kastens:1994:MRA,% Lipps:1988:ARE,% Nielson:1983:CSW,% Raiha:1982:TAG,% Reps:1988:IEA,% Sonnenschein:1985:GSC,% Walz:1995:IAG% }. \NAMECITE{Attributed}{% Alblas:1987:OPT,% Alblas:1989:ITP,% Kastens:1980:OAG% }. \NAMECITE{Attributes}{% Babich:1978:MADa,% Babich:1978:MADb,% Kastens:1987:LAA,% Sonnenschein:1985:GSC% }. \NAMECITE{Author}{% Anonymous:1988:AIV% }. \NAMECITE{{Automat}}{% Kaufholz:1972:PEA% }. \NAMECITE{Automata}{% Badouel:1995:TNP,% Book:1976:INA,% Buning:1980:UAI,% Choffrut:1984:RTC,% Culik:1983:SAV,% Culik:1986:SDP,% Culik:1989:HMC,% Culik:1997:IDW,% Diekert:1994:DAA,% Ecker:1974:ELA,% Ehrenfeucht:1988:RUM,% Eichner:1973:LRE,% Eichner:1974:TLR,% Eichner:1978:SLRa,% Eichner:1978:SLRb,% Fachini:1992:CST,% Fachini:1992:LAS,% Ferdinand:1994:TAC,% Hromkovic:1983:OWM,% Ibarra:1975:HVH,% Ibarra:1984:CSB,% Ibarra:1994:CBS,% Jancar:1996:FAC,% Kandzia:1973:TPL,% Kintala:1980:ANF,% Laurinolli:1978:BQR,% Miyano:1982:HTM,% Perrin:1971:CAA,% Petit:1993:RTL,% Savitch:1973:NMA,% Schnorr:1972:EAZ,% Seidl:1989:FDA,% Sommerhalder:1983:PLR,% Szelepcsenyi:1988:MFE,% Tomita:1995:EEP,% Barbuti:2004:TAU,% Buchholz:1998:TCF,% Frisco:2004:PSS,% Leung:1998:FAL,% Lin:2002:ATA,% Morvan:2005:FAC,% Torre:2001:TTA,% Rollik:1980:APG% }. \NAMECITE{Automaten}{% Ecker:1974:ELA,% Eichner:1973:LRE,% Rollik:1980:APG,% Schnorr:1972:EAZ,% Eichner:1974:TLR,% Kandzia:1973:TPL% }. \NAMECITE{Automates}{% Perrin:1971:CAA% }. \NAMECITE{Automatic}{% Igarashi:1975:APVa,% Levy:1975:ACS,% Rohrich:1980:MAC,% Santone:2002:AVC,% Schott:1972:AAI% }. \NAMECITE{Automatically}{% Darlington:1976:SWA,% Farrow:1986:CSO% }. \NAMECITE{Automatically-Generated}{% Farrow:1986:CSO% }. \NAMECITE{Automating}{% Dick:1990:AKB,% Lubachevsky:1984:AAV% }. \NAMECITE{Automaton}{% Hromkovic:1985:FTW,% Kaufholz:1972:PEA% }. \NAMECITE{Automorphismes}{% Perrin:1971:CAA% }. \NAMECITE{Automorphisms}{% Perrin:1971:CAA% }. \NAMECITE{Availability}{% Gelenbe:1986:ADC,% Sanlaville:1998:MSA% }. \NAMECITE{Available}{% Taniguchi:1976:ACS,% vanStee:2001:RJC% }. \NAMECITE{Average}{% FernandezdelaVega:1998:ACC,% Kemp:1979:ANR,% Mahmoud:1986:AIP,% Kemp:1998:GWL,% Wright:1985:SAP% }. \NAMECITE{Average-case}{% FernandezdelaVega:1998:ACC,% Kemp:1998:GWL% }. \NAMECITE{avoidable}{% Roth:1992:EBP% }. \NAMECITE{Aware}{% Layuan:2003:DQA% }. \NAMECITE{Axiomatic}{% Bergstra:1984:ASP,% Hoare:1973:ADP,% Hoare:1974:ACA,% Kowaltowski:1977:AAS,% Manna:1974:AAT,% Martin:1981:ADS,% Moore:1981:ADT,% Owicki:1976:APT,% Russell:1980:CCP% }. \NAMECITE{Axiomatics}{% Ershov:1976:AMA% }. \NAMECITE{Axiomatising}{% Hennessy:1984:AFD,% Lin:2002:ATA% }. \NAMECITE{axiomatizability}{% Esik:1998:NAE% }. \NAMECITE{axiomatization}{% Erratum:2004:AG% }. \NAMECITE{Axiomatizing}{% Degano:1996:AAN% }. \NAMECITE{Axioms}{% Biela:1996:RSL,% Engelfriet:1998:AGG,% Sokolowski:1978:ATC% }. \NAMECITE{ayant}{% Rosenberg:1986:FAE% }. \NAMECITE{{B}}{% Bayer:1972:SBB,% Bayer:1977:COB,% Langenhop:1989:MDB,% Peterson:1995:VSR,% Zhang:1989:UOB% }. \NAMECITE{{B}-Trees}{% Bayer:1972:SBB,% Bayer:1977:COB,% Langenhop:1989:MDB,% Zhang:1989:UOB% }. \NAMECITE{Backtracking}{% Francez:1977:BRC,% Purdom:1981:BML% }. \NAMECITE{Bag}{% Brisaboa:1997:TBC% }. \NAMECITE{Bag-Containment}{% Brisaboa:1997:TBC% }. \NAMECITE{balance}{% Larsen:2001:RBS% }. \NAMECITE{Balanced}{% Culik:1983:SAV,% Devroye:1993:EHF,% Lee:1978:WCA,% Levcopoulos:1988:BST,% vanLeeuwen:1983:SBS% }. \NAMECITE{Balancing}{% Hinz:1992:RTL,% Shen:1988:CDD% }. \NAMECITE{Base}{% Plateau:1980:EPA,% Bouchet:1979:PRS% }. \NAMECITE{Based}{% Atanasiu:1992:CCB,% Bergstra:1984:ASP,% Berry:1981:RRD,% Cleaveland:1990:TBM,% Corradini:1997:LBS,% Degano:1988:DOS,% Diaconescu:1996:CBM,% Fisher:1985:PLB,% Franta:1980:APC,% Keesmaat:1997:NBC,% Kiehn:1994:CLC,% Lao:1987:CBC,% Nymeyer:1997:CGB,% Olderog:1981:SCH,% Overmars:1982:DMD,% Pfaff:1983:COI,% Poetzsch-Heffter:1997:PRP,% Russell:1980:CCP,% Tennent:1977:LDM,% Trogemann:1997:PAP,% Wurges:1981:STB,% Domaratzki:2004:TBC,% Duggan:2005:TBH,% Lauer:1979:CSS,% Moffat:1998:TBM,% Ouksel:1992:RES,% Sagiv:1998:LBA,% Santone:2002:AVC% }. \NAMECITE{Bases}{% Cordero:2002:BCS,% Nicolas:1982:LII% }. \NAMECITE{Basic}{% Ehrenfeucht:1990:PSSa% }. \NAMECITE{Basis}{% Walz:1995:IAG,% Igarashi:1975:APVa% }. \NAMECITE{Batch}{% Landwehr:1976:EPM,% Gelenbe:1979:PMC% }. \NAMECITE{Batch-Interactive}{% Landwehr:1976:EPM% }. \NAMECITE{Beautiful}{% Dijkstra:1980:SBA% }. \NAMECITE{{Behandlung}}{% Stadel:1981:BVI% }. \NAMECITE{Behavior}{% Cremers:1978:FBD,% Langenhop:1989:MDB,% Martinez:1982:PBP% }. \NAMECITE{behavioral}{% Leavens:2000:CAC% }. \NAMECITE{Behaviour}{% Baeza-Yates:1989:EBB,% Caspi:1986:FMD,% Courtois:1976:DMP,% Gelenbe:1976:BSQ,% Schoett:1992:TIT% }. \NAMECITE{Behavioural}{% Bernot:1994:BAA,% Bidoit:1998:MCP% }. \NAMECITE{Behaviours}{% Arnold:1982:SBP% }. \NAMECITE{{Bendix}}{% Dick:1990:AKB% }. \NAMECITE{Berechnung}{% Schonhage:1971:SBK,% Strassen:1972:BP,% Strassen:1973:BPI% }. \NAMECITE{{Bernoulli}}{% Daduna:1981:DTR% }. \NAMECITE{{Bernstein}}{% Engelfriet:1998:AGG% }. \NAMECITE{Best}{% Markowsky:1981:BHT,% Delvaux:2004:BTA% }. \NAMECITE{Between}{% Keesmaat:1997:NBC,% Klingler:1981:GBA,% Mitrana:1997:IBS,% Nain:1983:PTE,% Reps:1988:IEA,% Savicky:1997:EAT,% Baier:1994:CBE,% Caporaso:1998:RBU,% Hayes:1992:MRZ,% Matsumoto:1996:AAP,% Ramon:2001:PTC,% Russell:1977:EBC,% deGuzman:1995:FIB% }. \NAMECITE{beyond}{% Costa:1994:OIB% }. \NAMECITE{Bi}{% Shyr:1998:BCS,% Lee:2004:BCS% }. \NAMECITE{Bi-catenation}{% Shyr:1998:BCS% }. \NAMECITE{bi-criterion}{% Lee:2004:BCS% }. \NAMECITE{{Bicenters}}{% Autebert:1984:BLA% }. \NAMECITE{Bicentres}{% Autebert:1984:BLA% }. \NAMECITE{Bifaithful}{% Leguy:1982:LSC% }. \NAMECITE{bifid{\`e}les}{% Leguy:1982:LSC% }. \NAMECITE{Bijection}{% Maurer:1980:RBR% }. \NAMECITE{Bin}{% Bruno:1985:PBD,% Coffman:1978:PMN,% Csirik:1989:LAV,% Epstein:2003:SR% }. \NAMECITE{Bin-Packing}{% Bruno:1985:PBD% }. \NAMECITE{Binary}{% Akdag:1983:PAC,% Allen:1982:CON,% Andersson:1990:BST,% Bayer:1972:SBB,% Cassaigne:1993:UBP,% Cunto:1987:ITS,% Efe:1997:OEV,% Garey:1974:PBS,% Gillett:1984:BTE,% Guibas:1975:PIB,% Horibe:1979:MER,% Hu:1972:LUB,% Huang:1984:GBS,% Ibarra:1984:CSB,% Kemp:1979:ANR,% Knuth:1971:OBS,% Lee:1978:WCA,% Lee:1986:GBT,% Loveland:1985:PBB,% Mehlhorn:1975:NOB,% Merzenich:1979:BOT,% Nurmi:1996:CBS,% Savicky:1997:EAT,% Spuler:1993:OBS,% Unterauer:1979:DWB,% Wright:1981:BST,% Blondel:1998:SNP,% Hayes:1992:MRZ,% Honkala:2000:SLB,% Mahmoud:2004:LLT,% Roth:1992:EBP% }. \NAMECITE{Bipartite}{% Liang:1997:MFV,% Lipski:1981:EAF% }. \NAMECITE{bisimilarity}{% Srba:2003:SBS% }. \NAMECITE{Bisimulation}{% Sangiorgi:1996:TBC% }. \NAMECITE{Bisimulations}{% Best:1991:CBP% }. \NAMECITE{Black}{% Lengauer:1981:BWP,% Larsen:2002:RRB% }. \NAMECITE{Black-White}{% Lengauer:1981:BWP% }. \NAMECITE{Blackboard}{% Chen:1995:CRM% }. \NAMECITE{{Blankinship}}{% Morito:1980:UBA% }. \NAMECITE{Blocking}{% Akyildiz:1989:CAN,% Boxma:1981:AAE,% Munch-Andersen:1977:SAJ% }. \NAMECITE{Blocks}{% Aref:1993:DWM,% Proietti:1999:OAD% }. \NAMECITE{{Boolean}}{% Adleman:1978:ITS,% Anderaa:1981:EHN,% Belaga:1989:TMM,% Ben-Ari:1978:IPS,% Beynon:1985:RCE,% Breitbart:1975:AFE,% Breitbart:1975:BBA,% Chandra:1983:SBV,% Commentz-Walter:1979:SDT,% Commentz-Walter:1980:SDT,% Ehrich:1973:MMV,% Eiter:1995:GBE,% McColl:1978:CHB,% Mehlhorn:1979:SRB,% Paul:1975:BMU,% Schurfeld:1983:NLB,% Wegener:1980:NLB,% Wegener:1981:ICH% }. \NAMECITE{Boole'sche}{% Ehrich:1973:MMV,% Paul:1975:BMU% }. \NAMECITE{Bordered}{% Bucher:1986:RTD% }. \NAMECITE{born{\'e}s}{% Latteux:1979:ILA% }. \NAMECITE{Bound}{% Breitbart:1975:BBA,% Dunne:1985:LBM,% Hu:1972:LUB,% Klein:1983:LTB,% Wegener:1980:NLB,% Yang:2000:CSM% }. \NAMECITE{Boundary}{% Ehrenfeucht:1988:RUM,% Rozenberg:1986:GTC,% Kim:2001:ERA% }. \NAMECITE{Bounded}{% Book:1979:LAS,% Chan:1988:GDS,% Cherkasova:1995:BSS,% Chung:1985:CPS,% Claus:1981:BEP,% Engelfriet:1994:CFG,% Hesselink:1996:BDF,% Ibarra:1994:CBS,% Latteux:1979:ILA,% Laurinolli:1978:BQR,% Lee:1986:GBT,% Qian:1991:EPB,% Yellin:1993:SDT,% Ameur:1996:TEN,% Fokkink:2003:SOS% }. \NAMECITE{Bounded-Iteration}{% Qian:1991:EPB% }. \NAMECITE{Boundedly}{% Lee:1994:BLC,% Rosenberg:1977:SSB% }. \NAMECITE{Bounds}{% Adleman:1978:ITS,% Alt:1979:LBS,% Berman:1990:PRL,% Brown:1982:LBL,% Bruno:1985:PBD,% Faigle:1991:SOD,% Garey:1974:PBS,% Han:1989:TLB,% Huang:1989:SDK,% Kuck:1974:BPE,% Kunde:1987:LBS,% Loveland:1985:PBB,% McKellar:1972:BAS,% Rego:1992:NAH,% Ruhl:1994:BRT,% Schurfeld:1983:NLB,% Smid:1990:MRT,% Yamazaki:1997:HCA,% Belaga:1989:TMM,% Lundberg:1999:OBG,% Srba:2003:SBS% }. \NAMECITE{boxes}{% Carpi:2001:PLW,% Carpi:2002:WUF,% Devillers:1995:IAG% }. \NAMECITE{{BPA}}{% Cerna:1999:CEN% }. \NAMECITE{{BPP}}{% Cerna:1999:CEN% }. \NAMECITE{Bracket}{% Boasson:1973:FLT% }. \NAMECITE{Bracket-Closed}{% Boasson:1973:FLT% }. \NAMECITE{Branch}{% Breitbart:1975:BBA% }. \NAMECITE{Branch-and-Bound}{% Breitbart:1975:BBA% }. \NAMECITE{Branching}{% Ben-Ari:1983:TLB,% Devroye:1987:BPA,% Engelfriet:1991:BPP% }. \NAMECITE{Breakdown}{% Adiri:1989:SMF% }. \NAMECITE{Brinch}{% Courtois:1972:CCT% }. \NAMECITE{Broadcast}{% Fayolle:1974:SPB,% Kim:2004:MMT% }. \NAMECITE{Bucket}{% Burnetas:1997:AIE,% Mahmoud:2000:AVB,% Mahmoud:2002:SRB,% Mahmoud:2004:SRB% }. \NAMECITE{Buddy}{% Bromley:1980:MFB,% Chowdhury:1987:WCP,% Lloyd:1985:WCP,% Brodal:2005:FAD% }. \NAMECITE{Buffer}{% Hac:1993:PRI,% Reisig:1982:DBS% }. \NAMECITE{building}{% Dube:2000:EBP% }. \NAMECITE{bunches}{% Morris:2001:TB% }. \NAMECITE{{BURS}}{% Nymeyer:1997:CGB% }. \NAMECITE{c}{% Chakka:2001:MMM% }. \NAMECITE{{C.}}{% Ashcroft:1976:RPP% }. \NAMECITE{Cache}{% Hac:1993:PRI% }. \NAMECITE{cake}{% Belaga:1989:TMM% }. \NAMECITE{calculate}{% Schmidt:2000:HCS% }. \NAMECITE{Calculation}{% Morgan:1990:DRC,% Schonhage:1971:SBK,% Strassen:1972:BP,% Strassen:1973:BPI% }. \NAMECITE{Calculi}{% Milner:1996:CI,% Olderog:1981:SCH% }. \NAMECITE{Calculus}{% Back:1988:CRP,% Costa:1984:FCC,% Hull:1994:DIR,% Manna:1981:PFP,% Sangiorgi:1996:TBC,% Thomsen:1993:PCS,% Back:1998:FSE,% Bijlsma:1998:DSP,% Boreale:1998:FAS,% Cleaveland:1990:TBM,% Engelfriet:2004:NNS,% Hayes:2001:SRT,% Hehner:1979:DCO,% Snelting:1991:CCR% }. \NAMECITE{Calls}{% Bijlsma:1986:EGM,% Ernst:1977:RIP% }. \NAMECITE{Canonical}{% Heilbrunner:1987:UUM,% Khomenko:2003:CPP,% Langmaack:1971:ARC% }. \NAMECITE{{Cantor}}{% Engelfriet:1998:AGG% }. \NAMECITE{{Cantor-Bernstein}}{% Engelfriet:1998:AGG% }. \NAMECITE{Capacity}{% Maurer:1980:GGC,% Choy:1978:OTC% }. \NAMECITE{capture}{% Greco:2001:ESD% }. \NAMECITE{{Carlo}}{% Iliopoulos:1986:MCC% }. \NAMECITE{Case}{% Bender:1987:OWC,% Bentley:1980:EWC,% Chowdhury:1987:WCP,% Lee:1978:WCA,% Lloyd:1985:WCP,% Corradini:2002:CWC,% FernandezdelaVega:1998:ACC,% Kemp:1998:GWL,% Levcopoulos:1988:BST,% Mihalache:19xx:GSR% }. \NAMECITE{categorical}{% terHofstede:1997:ACF% }. \NAMECITE{Categories}{% deGuzman:1995:FIB% }. \NAMECITE{Category}{% Colomb:2001:CTF,% Diaconescu:1996:CBM% }. \NAMECITE{Category-Based}{% Diaconescu:1996:CBM% }. \NAMECITE{Category-theoretic}{% Colomb:2001:CTF% }. \NAMECITE{catenation}{% Shyr:1998:BCS% }. \NAMECITE{Catenative}{% Rozenberg:1973:DSL% }. \NAMECITE{Causal}{% Garg:1997:UCD% }. \NAMECITE{Causality}{% Aceto:1996:TCP,% Degano:1999:CDM,% Kiehn:1994:CLC,% Boreale:1998:FAS% }. \NAMECITE{{CCS}}{% DeFrancesco:1994:PFC,% Degano:1988:DOS,% Graf:1986:LSP,% Taubner:1990:RCP% }. \NAMECITE{Cells}{% Sonnenschein:1985:GSC,% Csuhaj-Varju:2000:ESL% }. \NAMECITE{Cellular}{% Choffrut:1984:RTC,% Sommerhalder:1983:PLR,% Buchholz:1998:TCF% }. \NAMECITE{Central}{% Gelenbe:1974:AAG,% Seiferas:1977:IAD% }. \NAMECITE{centrale}{% Gelenbe:1974:AAG% }. \NAMECITE{centralis{\'e}es}{% Mikou:1979:AOP% }. \NAMECITE{Centralized}{% Mikou:1979:AOP% }. \NAMECITE{Certain}{% Ehrenfeucht:1976:PCL,% Pansiot:1983:HFC,% Rodriguez:1981:IFC,% Schmitt:1983:NRO% }. \NAMECITE{Certaines}{% Rodriguez:1981:IFC,% Pansiot:1983:HFC% }. \NAMECITE{Certificate}{% Hemaspaandra:1997:ESH% }. \NAMECITE{Certificates}{% Farr:1994:PSC% }. \NAMECITE{{CFL}}{% Autebert:1989:IGC% }. \NAMECITE{Chain}{% Blum:1982:PCR,% Heilbrunner:1985:TPC% }. \NAMECITE{Chain-Free}{% Heilbrunner:1985:TPC% }. \NAMECITE{Chains}{% Rego:1992:NAH% }. \NAMECITE{Channel}{% Bechtold:1985:TSC% }. \NAMECITE{channels}{% Lundberg:1999:OBG% }. \NAMECITE{Characterisation}{% Buckle:1993:CMJ% }. \NAMECITE{Characteristic}{% Schonhage:1977:SMP% }. \NAMECITE{Characteristics}{% Calzarossa:1986:WMR,% Ecker:1974:ELA% }. \NAMECITE{Characterization}{% Aczel:1997:NFS,% Alblas:1981:CAE,% Blum:1984:CAO,% Ibarra:1984:CSB,% Janssens:1981:CCF,% Kedem:1981:CDG,% Kuich:1981:CPU,% Merzenich:1979:BOT,% Stewart:1993:LSC,% Ehrenfeucht:1990:CSR,% Leavens:2000:CAC% }. \NAMECITE{Characterizations}{% Fachini:1992:LAS,% Latteux:1990:CRE% }. \NAMECITE{Characterize}{% Nielson:1983:CSW% }. \NAMECITE{characterizing}{% Morvan:2005:FAC% }. \NAMECITE{Charakteristik}{% Schonhage:1977:SMP% }. \NAMECITE{Charts}{% Taniguchi:1976:ACS% }. \NAMECITE{check}{% Penabad:2002:GPC% }. \NAMECITE{Checking}{% Beauquier:1998:PMC,% Bertino:1988:CSI,% Cleaveland:1990:TBM,% Esparza:1997:DMC,% Halbwachs:1992:EPR,% Kirousis:1995:EAC,% Nicolas:1982:LII% }. \NAMECITE{Checkpointing}{% Baccelli:1981:ASF% }. \NAMECITE{Checkpoints}{% Gelenbe:1990:OCA% }. \NAMECITE{{CHOCS}}{% Thomsen:1993:PCS% }. \NAMECITE{Choice}{% Best:1984:FCS,% Rabin:1982:CCP% }. \NAMECITE{choices}{% McIver:2001:DAU% }. \NAMECITE{Choosing}{% Gotlieb:1974:CSS% }. \NAMECITE{Chromatic}{% Nurmi:1996:CBS% }. \NAMECITE{circuit}{% Belaga:1989:TMM% }. \NAMECITE{Circuits}{% Claus:1971:VPS,% Iliopoulos:1986:MCC,% Kolla:1991:VFP,% Belaga:1989:TMM,% Mahmoud:2004:LLT% }. \NAMECITE{Circular}{% Bird:1984:UCP% }. \NAMECITE{Circularity}{% Deransart:1984:SCT,% Raiha:1982:TAG% }. \NAMECITE{Clarifications}{% Steensgaard-Madsen:1979:PCR% }. \NAMECITE{Class}{% Atanasiu:1992:CCB,% Deussen:1977:VWG,% Fisher:1992:YYP,% Franck:1978:CLP,% Hikita:1979:CRP,% Lauer:1975:FSC,% Lauer:1977:ACF,% Otto:1991:DPF,% Paredaens:1978:CMF,% Peng:1992:ACC,% Tip:2000:CHS,% Tomita:1995:EEP,% Yamazaki:1997:HCA,% Yang:2000:CSM% }. \NAMECITE{Classes}{% Ehrenfeucht:1974:NVH,% Fachini:1992:CST,% Iwata:1993:RAS,% Morita:1997:HUP,% Nielson:1983:CSW,% Stewart:1993:LSC,% Tennent:1977:NAR,% Wotschke:1978:NCC,% Greco:2001:ESD,% Locuratolo:1998:CCS,% Pansiot:1983:HFC% }. \NAMECITE{Classically}{% Jones:1994:TLP% }. \NAMECITE{Classification}{% Lau:1989:NSC% }. \NAMECITE{Clause}{% Hoffmann:1980:SPL% }. \NAMECITE{Clean}{% Blikle:1981:CTI,% Coleman:1979:CTP% }. \NAMECITE{{CLEAR}}{% Sannella:1984:STS% }. \NAMECITE{clocked}{% Kesten:2000:VCH% }. \NAMECITE{Closed}{% Boasson:1973:DFL,% Boasson:1973:FLT,% Latteux:1985:FOC,% Cordero:2002:BCS,% Corradini:2001:CIP% }. \NAMECITE{Closer}{% Katz:1975:CLT% }. \NAMECITE{Closure}{% Pansiot:1983:HFC,% Rozenberg:1986:GTC,% Yellin:1993:SDT,% Eve:1977:CTC% }. \NAMECITE{Clustering}{% Krivanek:1986:NHP% }. \NAMECITE{Co}{% Autebert:1989:IGC,% Clint:1973:PPC,% Kratochvil:1993:SCN% }. \NAMECITE{Co-{CFL}}{% Autebert:1989:IGC% }. \NAMECITE{Co-Nested}{% Kratochvil:1993:SCN% }. \NAMECITE{Co-routines}{% Clint:1973:PPC% }. \NAMECITE{Cocomparability}{% Liang:1997:MFV% }. \NAMECITE{Code}{% Carter:1982:FAC,% Ferdinand:1994:TAC,% Ganapathi:1988:ICG,% Nymeyer:1997:CGB,% Snyder:1982:RSI,% Vasudevan:1982:ILF% }. \NAMECITE{Coders}{% Atanasiu:1992:CCB% }. \NAMECITE{Codes}{% Heise:1976:OCA,% Domaratzki:2004:TBC,% Li:2004:TEC% }. \NAMECITE{coding}{% Caporaso:1998:RBU% }. \NAMECITE{Codings}{% Nielsen:1974:NHCa,% Nielsen:1974:NHCb% }. \NAMECITE{Coh{\'e}rence}{% Plateau:1980:EPA% }. \NAMECITE{Coincidental}{% Meduna:2003:CES,% Meduna:2003:ECE% }. \NAMECITE{{Collatz}}{% Andrei:1998:ACC,% Andrei:2000:SRC% }. \NAMECITE{collection}{% vanStee:2001:RJC% }. \NAMECITE{Coloring}{% Rus:1997:UGC% }. \NAMECITE{Column}{% Wu:1994:CMA% }. \NAMECITE{Combinational}{% Kolla:1991:VFP% }. \NAMECITE{Combinator}{% Lao:1987:CBC% }. \NAMECITE{Combinator-Based}{% Lao:1987:CBC% }. \NAMECITE{Combinatorial}{% Simon:1989:CRA,% Wagner:1986:CCP,% Bacchelli:2004:EGC% }. \NAMECITE{Combined}{% Landwehr:1976:EPM% }. \NAMECITE{Command}{% Neuhold:1976:SPC% }. \NAMECITE{Comments}{% Conradi:1977:SCC,% Courtois:1972:CCT,% Habermann:1973:CCP,% Hansen:1973:RCC,% Lecarme:1975:MCP,% Silberschatz:1978:RSC% }. \NAMECITE{Commit}{% Ramarao:1989:CDC% }. \NAMECITE{Commitment}{% Cau:1996:PCA% }. \NAMECITE{Common}{% Kessels:1982:ACM,% Tsakalidis:1988:NCA,% Ullman:1973:FAE,% Nakatsu:1982:LCS% }. \NAMECITE{Communicating}{% Bouge:1988:ESA,% Costa:1984:FCC,% Levin:1981:PTC,% Olderog:1986:SOS,% Paun:1993:SPC,% Peng:1992:ACC,% Reif:1988:CRD,% Fernau:2001:PCG% }. \NAMECITE{Communication}{% Bechtold:1985:TSC,% Faigle:1991:SOD,% Hui:1997:MCC,% Ibarra:1994:CBS,% Slobodova:1992:CAM,% Dolev:2004:SSG,% Ehrich:2000:SCD,% Lesley:2003:PVS,% Lundberg:1999:OBG% }. \NAMECITE{Communication-Bounded}{% Ibarra:1994:CBS% }. \NAMECITE{communities}{% Csuhaj-Varju:2000:ESL% }. \NAMECITE{Commutative}{% Huynh:1985:CWP% }. \NAMECITE{Commutativity}{% Kuck:1974:BPE% }. \NAMECITE{Compact}{% Lubachevsky:1984:AAV% }. \NAMECITE{Comparative}{% Bernot:1994:BAA,% Hehner:1988:TCC% }. \NAMECITE{Comparing}{% Cerna:1999:CEN,% Corradini:2002:CWC,% Kiehn:1994:CLC% }. \NAMECITE{Comparison}{% Courtois:1972:CCT,% Fachini:1992:CST,% Farrow:1986:CSO,% Hansen:1972:CTS,% Hansen:1973:RCC,% Horwitz:1991:ECP,% Engelfriet:2003:CPT% }. \NAMECITE{Comparisons}{% Spuler:1994:OST% }. \NAMECITE{Competitive}{% Corradini:1997:PPC% }. \NAMECITE{Compilation}{% Hoffmann:1980:SPL,% Lao:1987:CBC% }. \NAMECITE{Compiler}{% Hoare:1993:NFA,% Hoffmann:1978:DCC,% Rus:1997:UGC,% Stadel:1981:BVI% }. \NAMECITE{Compilers}{% Wilhelm:1979:CUD% }. \NAMECITE{Compiling}{% Russell:1980:CCP% }. \NAMECITE{Complement}{% Heilbrunner:1996:DCC% }. \NAMECITE{Complementary}{% Hoare:1974:CCF% }. \NAMECITE{Complementation}{% Biskup:1978:CRM% }. \NAMECITE{Complements}{% Wotschke:1978:NCC% }. \NAMECITE{Complete}{% Bauer:1984:FCR,% Chung:1985:CPS,% Damm:1983:SRH,% Efe:1997:OEV,% Galil:1976:HCP,% Helman:1989:FNC,% Mitrani:1977:CPF,% Navarro:1993:CRS,% Nishimura:1980:DCP,% Olderog:1981:SCH,% Reisch:1980:GPV,% Reisch:1981:HPV,% Taubner:1989:SFS,% Ben-Amram:2003:EDO,% Csuhaj-Varju:2005:HNE,% Goodman:1983:NCP,% Leavens:2000:CAC% }. \NAMECITE{Completeness}{% Claus:1971:VPS,% Rozenberg:1982:CEF,% Kapur:1987:SCR,% Kapur:1991:SCG% }. \NAMECITE{Completion}{% Mitchell:1988:ICR,% Fiat:1999:LSS% }. \NAMECITE{Complexity}{% Alt:1979:LBS,% Anderaa:1981:EHN,% Asveld:1982:CTO,% Avenhaus:1978:SKGa,% Avenhaus:1978:SKGb,% Balcazar:1986:SSG,% Bauer:1984:FCR,% Book:1978:CFG,% Deussen:1977:VWG,% Devroye:1984:PAH,% Dunne:1985:LBM,% Faigle:1991:SOD,% Gonnet:1980:ACA,% Horowitz:1974:UVC,% Huynh:1982:RCI,% Huynh:1985:CWP,% Igarashi:1977:GPD,% Iwata:1993:RAS,% Klingler:1981:GBA,% Lautemann:1990:CGL,% McColl:1978:CHB,% Meduna:1995:SCS,% Meduna:1996:SCC,% Monien:1976:TMT,% Monien:1977:CTM,% Monien:1977:LPD,% Paul:1974:KS,% Pudlak:1988:GC,% Ramarao:1989:CDC,% Reif:1988:CRD,% Schnorr:1976:NCT,% Stadel:1978:ZNK,% Stewart:1993:LSC,% Stoss:1973:RP,% Supowit:1983:CDT,% Taylor:1983:CAS,% Wagner:1986:CCP,% Wegener:1980:NLB,% Wegener:1981:ICH,% Akkerman:2004:CDT,% Belaga:1989:TMM,% Ben-Amram:2000:CCP,% FernandezdelaVega:1998:ACC,% Greco:2001:ESD,% Grigoriev:2004:PSI,% Honkala:2002:CIP,% Kapur:1991:SCG,% Krishnaswamy:1995:CCC,% Markey:2004:PFC,% Srba:2003:SBS,% Vansummeren:2005:CDT,% Winklmann:1982:CSPa,% Winklmann:1983:CSP,% Kourie:1998:LML% }. \NAMECITE{Composite}{% Finkel:1974:QTD% }. \NAMECITE{Composition}{% Cau:1996:PCA,% Giegerich:1988:CEA,% Charpentier:2004:STP,% Kindler:1995:ICS% }. \NAMECITE{Compositional}{% Chen:1995:CRM,% Gold:1995:CDS,% Santone:2002:AVC% }. \NAMECITE{Compression}{% Fraenkel:1983:TCP% }. \NAMECITE{computability}{% Buchholz:1998:TCF% }. \NAMECITE{computable}{% Ramon:2001:PTC% }. \NAMECITE{Computation}{% Beauquier:1998:PMC,% Blum:1984:CAO,% Bulyonkov:1984:PMC,% Eiter:1997:DMP,% Nielson:1983:CSW,% Wilhelm:1979:CUD% }. \NAMECITE{Computational}{% Akyildiz:1989:CAN,% Ben-Amram:2000:CCP,% Beynon:1985:RCE,% Culik:1997:CFG,% Kuhnemann:1994:SIF,% Rego:1989:SEC,% Barbuti:1997:ACM% }. \NAMECITE{computationally}{% Csuhaj-Varju:2005:HNE% }. \NAMECITE{Computations}{% Coffman:1993:SSF,% Culik:1989:HMC,% Degano:1996:AAN,% Francez:1977:BRC,% Hsu:1995:PTC,% Baldoni:1998:CRA,% Belaga:1989:TMM% }. \NAMECITE{Compute}{% Guting:1984:ODC,% Hoffmann:1980:SPL,% Mescheder:1980:NAO,% Schmitt:1983:NRO% }. \NAMECITE{Computer}{% Buzen:1976:FOL,% Fayolle:1974:SPB,% Franta:1976:MAC,% Geist:1986:RLC,% Gelenbe:1976:PMC,% Gelenbe:1986:ADC,% Giammo:1976:VCP,% Hoogewijs:1987:PPL,% Iglehart:1984:SOA,% Kameda:1977:FCR,% Krzesinski:1978:MNM,% Labetoulle:1976:SQN,% Landwehr:1976:EPM,% Zislis:1975:SDC,% Gelenbe:1979:PMC% }. \NAMECITE{Computers}{% Culik:1973:SJM,% MeyeraufderHeide:1983:EUP% }. \NAMECITE{Computing}{% Booth:1981:CEA,% Bruno:1997:OFT,% Caspi:1986:FMD,% Hartmanis:1972:NDS,% Taniguchi:1976:ACS,% Turski:1990:SMC,% Zuczek:1976:NAP,% Eve:1977:CTC,% Kari:1998:DCS,% Klonowska:2005:ORS,% Lundberg:1999:OBG% }. \NAMECITE{Concatenation}{% Engelfriet:1997:CFG% }. \NAMECITE{Concepts}{% Hansen:1972:CTS,% Bijlsma:1998:DSP,% Courtois:1972:CCT,% Hansen:1973:RCC% }. \NAMECITE{Conceptual}{% Locuratolo:1998:CCS,% terHofstede:1997:ACF% }. \NAMECITE{concerning}{% Honkala:1998:DPC,% Winklmann:1982:CSPa,% Winklmann:1983:CSP% }. \NAMECITE{Concurrency}{% Bayer:1977:COB,% Cau:1996:PCA,% Janicki:1997:FMC,% Kung:1983:OTC,% Litwin:1989:CTH,% Meyer:1990:HSS,% Plateau:1980:EPA,% Xu:1992:LMD,% deBakker:1987:OMS,% Krishnaswamy:1995:CCC% }. \NAMECITE{Concurrent}{% Best:1991:CBP,% Conradi:1977:SCC,% Ehrenfeucht:1990:PSSb,% Ellis:1980:CSI,% Eriksen:1983:CAR,% Esparza:1997:DMC,% Hennessy:1995:CTP,% Janicki:1987:FSC,% Lamport:1980:HLC,% Lauer:1975:FSC,% Lauer:1977:ACF,% Nurmi:1996:CBS,% Ramsperger:1977:CAD,% Silberschatz:1978:RSC,% Taylor:1983:CAS,% vanLamsweerde:1979:FDS,% vandenBos:1991:PCO,% Best:1998:NAH,% DeFrancesco:1998:TSC,% Majster-Cederbaum:2003:TAR,% Santone:2002:AVC,% vanGlabbeek:2001:RAE% }. \NAMECITE{Condition}{% Claus:1971:VPS,% Degano:1988:DOS% }. \NAMECITE{Condition/Event}{% Degano:1988:DOS% }. \NAMECITE{Conditional}{% Bevers:1993:PTC,% Navarro:1993:CRS,% Schmid:1976:EIC% }. \NAMECITE{Conditions}{% Kfoury:1985:NSC% }. \NAMECITE{cones}{% Leguy:1982:LSC% }. \NAMECITE{conflict}{% Yen:1998:PCF% }. \NAMECITE{conflict-free}{% Yen:1998:PCF% }. \NAMECITE{conflictable}{% Lee:1994:BLC% }. \NAMECITE{Confluence}{% KrishnaRao:1996:RCI% }. \NAMECITE{Confluent}{% Narendran:1988:EFO,% Otto:1991:DPF% }. \NAMECITE{Congruence}{% Otto:1991:DPF,% Engelfriet:2004:NNS% }. \NAMECITE{Congruences}{% Buckle:1993:CMJ,% Perrin:1971:CAA% }. \NAMECITE{Conjecture}{% Andrei:1998:ACC,% Berstel:1974:CG% }. \NAMECITE{Conjunctive}{% Biskup:1995:OSC,% Brisaboa:1997:TBC,% Penabad:2002:GPC% }. \NAMECITE{Connected}{% Han:1989:TLB,% Kunde:1987:LBS% }. \NAMECITE{connectedness}{% Giannella:2002:APC% }. \NAMECITE{Connection}{% Baier:1994:CBE,% Siekmann:1980:PCG% }. \NAMECITE{Connective}{% VandenBussche:1993:MDC% }. \NAMECITE{Connective-Free}{% VandenBussche:1993:MDC% }. \NAMECITE{Conquer}{% Guting:1984:ODC% }. \NAMECITE{{Conradi}}{% Silberschatz:1978:RSC% }. \NAMECITE{Consensus}{% Kumar:1996:OCH% }. \NAMECITE{Conservation}{% Bartsch:1978:CLG% }. \NAMECITE{Conservative}{% Nahapetian:1973:NFG% }. \NAMECITE{Considerations}{% Staphylopatis:1982:PCP,% Lee:2004:BCS% }. \NAMECITE{Considered}{% Donahue:1977:LCU,% Hehner:1979:DCO% }. \NAMECITE{consistency}{% Kim:2004:MMT,% Schewe:1999:TTC% }. \NAMECITE{Consistent}{% Baldoni:1998:CRA,% Hoare:1974:CCF% }. \NAMECITE{Constant}{% Chan:1988:GDS,% Sommerhalder:1983:PLR,% Ben-Amram:2000:CCP,% Larsen:1998:ACR% }. \NAMECITE{Constant-time-maintainable}{% Chan:1988:GDS% }. \NAMECITE{Constants}{% Djidjev:1997:RCS% }. \NAMECITE{constraint}{% Choy:1978:OTC% }. \NAMECITE{Constraints}{% Blazewicz:1987:MMF,% Bruno:1985:STE,% Orman:1997:RDC,% Vianu:1988:DSU,% vandenBos:1991:PCO,% Biskup:2003:AID,% Sanlaville:1998:MSA% }. \NAMECITE{Construct}{% Qian:1991:EPB% }. \NAMECITE{Constructibility}{% Loizou:1987:LPJ% }. \NAMECITE{Constructing}{% Akdag:1983:PAC,% Jones:1979:CTD,% LaLonde:1979:CLP,% Pager:1977:PGM,% Tamminen:1986:CMS% }. \NAMECITE{Construction}{% Bozapalidis:1991:ECS,% Heilbrunner:1996:DCC,% Hui:1997:MCC,% Kempf:1987:TOL,% Nehmer:1975:DPC,% Pfaff:1983:COI,% Rohrich:1980:MAC,% Ronse:1983:TSC,% Schmid:1976:EIC,% Moreau:2001:CDR% }. \NAMECITE{Constructions}{% Haldar:1996:SEW% }. \NAMECITE{Constructive}{% Drabent:1995:WFA% }. \NAMECITE{constructors}{% Duggan:2002:OTCb% }. \NAMECITE{Contained}{% Ben-Ari:1978:IPS,% Welch:1976:SCM% }. \NAMECITE{Containing}{% Liu:1978:PAM% }. \NAMECITE{Containment}{% Brisaboa:1997:TBC,% Liu:2002:CDP,% Penabad:2002:GPC% }. \NAMECITE{Contention}{% Szpankowski:1987:ACR% }. \NAMECITE{Contentions}{% Chen:1985:DFR% }. \NAMECITE{Context}{% Autebert:1984:BLA,% Blum:1982:PCR,% Cheng:1998:CFL,% Cremers:1973:NFC,% Ehrenfeucht:1994:CFT,% Engelfriet:1992:CFH,% Engelfriet:1994:CFG,% Engelfriet:1997:CFG,% Frougny:1982:HGC,% Gonczarowski:1989:SVC,% Hotz:1974:SAK,% Huynh:1982:RCI,% Jancar:1996:FAC,% Janssens:1981:CCF,% Kemp:1980:NDI,% Madsen:1976:LPE,% Maurer:1976:GFT,% Meduna:1990:CFD,% Meduna:1995:SCS,% Meduna:1996:SCC,% Moll:1980:LCP,% Montangero:1978:IMC,% Nijholt:1980:SNF,% Penttonen:1974:DLC,% Rozenberg:1980:CFG,% Salomaa:1973:SFC,% Savitch:1973:NMA,% Schuler:1974:WCS,% Schuler:1975:NDC,% Schuler:1975:WAC,% Soisalon-Soininen:1982:CRC,% Stadel:1978:ZNK,% vanLeeuwen:1979:ULC,% Andrei:2004:SEC,% Goldschlager:1981:PCF,% Meduna:2003:CES,% Meduna:2003:ECE,% Morvan:2005:FAC,% Snelting:1991:CCR% }. \NAMECITE{Context-Free}{% Autebert:1984:BLA,% Engelfriet:1992:CFH,% Engelfriet:1994:CFG,% Engelfriet:1997:CFG,% Frougny:1982:HGC,% Hotz:1974:SAK,% Huynh:1982:RCI,% Jancar:1996:FAC,% Janssens:1981:CCF,% Meduna:1996:SCC,% Penttonen:1974:DLC,% Rozenberg:1980:CFG,% Salomaa:1973:SFC,% Soisalon-Soininen:1982:CRC,% vanLeeuwen:1979:ULC,% Cheng:1998:CFL,% Ehrenfeucht:1994:CFT,% Kemp:1980:NDI,% Andrei:2004:SEC,% Goldschlager:1981:PCF% }. \NAMECITE{Context-Sensitive}{% Cremers:1973:NFC,% Gonczarowski:1989:SVC,% Savitch:1973:NMA,% Schuler:1974:WCS,% Schuler:1975:WAC,% Stadel:1978:ZNK,% Morvan:2005:FAC% }. \NAMECITE{Context-Sensitivity}{% Schuler:1975:NDC% }. \NAMECITE{Contextfree}{% Alt:1979:LBS% }. \NAMECITE{Contexts}{% Tokuda:1981:EUR% }. \NAMECITE{Contextual}{% Ehrenfeucht:1996:LLE,% Montanari:1995:CN,% Navarro:1993:CRS% }. \NAMECITE{Continuation}{% Russell:1977:EBC% }. \NAMECITE{Continued}{% Schonhage:1971:SBK% }. \NAMECITE{Continuity}{% Dijkstra:1986:SFA% }. \NAMECITE{Continuous}{% Banatre:1983:NDW,% Moller:1985:ASI,% Simon:1989:CRA% }. \NAMECITE{Contour}{% Guting:1984:ODC% }. \NAMECITE{Contr{\^o}le}{% Plateau:1980:EPA% }. \NAMECITE{Contraction}{% Hsu:1995:PTC% }. \NAMECITE{contribution}{% Hehner:1979:DCO% }. \NAMECITE{Contributions}{% Levi:1988:CSL% }. \NAMECITE{Control}{% Keesmaat:1997:NBC,% Kung:1983:OTC,% Landwehr:1976:EPM,% Plateau:1980:EPA,% Pratt:1978:PAO,% Seiferas:1977:IAD,% Xu:1992:LMD,% Yu:1990:MTS,% Kiepuszewski:2003:FCF,% Krishnaswamy:1995:CCC,% Nielsen:1975:ESC% }. \NAMECITE{Controllable}{% Graf:1986:LSP% }. \NAMECITE{Controlled}{% Janssens:1981:CCF,% Meersman:1978:TLM,% Rozenberg:1972:DCP% }. \NAMECITE{Conventions}{% Hehner:1988:TCC% }. \NAMECITE{Converting}{% VandenBussche:1998:CUF% }. \NAMECITE{Convex}{% Hertel:1984:SSS,% Liang:1997:MFV,% Lipski:1981:EAF% }. \NAMECITE{Cooperative}{% Shen:1988:CDD,% Gawo:2003:SCD% }. \NAMECITE{Coordinating}{% Lauer:1975:FSC,% Lauer:1977:ACF% }. \NAMECITE{Coordination}{% Lubachevsky:1984:AAV,% Rabin:1982:CCP% }. \NAMECITE{Copy}{% Olderog:1981:SCH% }. \NAMECITE{Coroutine}{% Kearns:1983:IRC% }. \NAMECITE{Coroutines}{% Clarke:1980:PCC% }. \NAMECITE{Correct}{% Correll:1978:PPC,% Heilbrunner:1985:TPC,% Langmaack:1973:CPP,% vanLamsweerde:1979:FDS% }. \NAMECITE{Correcting}{% Rohrich:1980:MAC% }. \NAMECITE{Correction}{% Du:1992:MFA,% Fischer:1980:ELE,% Levene:1991:CNV,% Levy:1975:ACS% }. \NAMECITE{Corrections}{% Jacobs:1988:CSS% }. \NAMECITE{Correctness}{% Back:1981:PTC,% Bertino:1988:CSI,% Budd:1982:TNC,% Clarke:1980:PCC,% Hoffmann:1978:DCC,% Jacobs:1985:GCU,% Manna:1974:AAT,% Meinke:2001:CDS,% Rice:1975:PAA,% Russell:1980:CCP,% Sokolowski:1978:ATC,% Soundararajan:1986:TCC,% Topor:1979:CSW,% Bidoit:1998:MCP,% Hoare:1972:PCD% }. \NAMECITE{Correspondence}{% Mateescu:1993:SPS,% Ruohonen:1983:SVP% }. \NAMECITE{Corresponding}{% Penttonen:1974:DLC% }. \NAMECITE{Corrigenda}{% Hoare:1974:ACA,% Lauer:1977:ACF,% Monien:1977:CTM% }. \NAMECITE{corrigendum}{% Akkerman:2004:CDT% }. \NAMECITE{Cost}{% Booth:1981:CEA,% Hu:1972:LUB,% Hui:1997:MCC,% MacVeigh:1977:EDR,% Yu:1990:MTS,% Abolhassan:1999:CEP,% Jiang:2005:POA,% Han:1999:PPC% }. \NAMECITE{cost-effectiveness}{% Abolhassan:1999:CEP% }. \NAMECITE{Costs}{% Allen:1982:CON,% Kumar:1996:OCH,% Ramirez:1982:ORP,% Rosenberg:1978:DET,% Grigoriev:2004:PSI,% Walther:2004:PRE% }. \NAMECITE{{COSY}}{% Lauer:1979:CSS% }. \NAMECITE{Counter}{% Latteux:1985:FOC,% Miyano:1982:HTM,% Monien:1977:LPD,% Frisco:2004:PSS% }. \NAMECITE{Counterexamples}{% Orman:1997:RDC% }. \NAMECITE{counterparts}{% Andrei:2004:SEC% }. \NAMECITE{Counting}{% Kobler:1989:CA,% Moreau:2001:CDR% }. \NAMECITE{Coupled}{% Giegerich:1988:CEA,% Kameda:1977:FCR% }. \NAMECITE{Cover}{% Monien:1985:RNA% }. \NAMECITE{Coverage}{% Paul:1975:BMU% }. \NAMECITE{Covering}{% Barringer:1984:LCU,% Soisalon-Soininen:1982:CRC% }. \NAMECITE{Coverings}{% Reusch:1986:MCI% }. \NAMECITE{Covers}{% Mannila:1983:RMO,% Nijholt:1980:SNF% }. \NAMECITE{{CPP}}{% Chakka:2001:MMM% }. \NAMECITE{{CPP/GE/c/L}}{% Chakka:2001:MMM% }. \NAMECITE{{CRCW}}{% Saxena:1996:PIS% }. \NAMECITE{Creation}{% Baeten:1992:APC% }. \NAMECITE{Criterion}{% Deussen:1975:DCV,% Hesselink:2002:ACA,% Lee:2004:BCS% }. \NAMECITE{Critical}{% Berztiss:1980:DFT,% Geist:1986:RLC,% Habermann:1973:CCP,% Schmid:1976:EIC% }. \NAMECITE{crochet}{% Boasson:1973:FLT% }. \NAMECITE{cross}{% Hayes:1992:MRZ% }. \NAMECITE{Crossing}{% Mitrana:1997:IBS% }. \NAMECITE{Crossing-Over}{% Mitrana:1997:IBS% }. \NAMECITE{Crypt}{% Bauer:1988:CEA% }. \NAMECITE{Crypt-equivalent}{% Bauer:1988:CEA% }. \NAMECITE{{CSMA}}{% Franta:1980:APC% }. \NAMECITE{{CSP}}{% Kumar:1993:IPU,% Murtagh:1987:RPN,% Soundararajan:1986:TCC% }. \NAMECITE{customers}{% Chakka:2001:MMM% }. \NAMECITE{Cycle}{% Djidjev:1997:RCS% }. \NAMECITE{Cyclic}{% Agrawala:1982:ESG,% Francez:1978:PMC,% Franta:1976:MAC,% Kouvatsos:1988:MET,% Kouvatsos:1989:EMEa,% Kouvatsos:1989:EMEb% }. \NAMECITE{Cylinder}{% Autebert:1979:OCA% }. \NAMECITE{Cylindre}{% Autebert:1979:OCA% }. \NAMECITE{D}{% Berry:1981:RRD% }. \NAMECITE{dans}{% Bouchet:1979:PRS,% Mikou:1979:AOP,% Rosenberg:1986:FAE% }. \NAMECITE{{Darlington}}{% Jacobs:1988:CSS% }. \NAMECITE{Darstellungen}{% Stadel:1981:BVI% }. \NAMECITE{Data}{% Babich:1978:MADa,% Babich:1978:MADb,% Bayer:1972:SBB,% Bayer:1984:DMS,% Bentley:1980:EWC,% Bergstra:1983:SMS,% Bernardeschi:1995:PNS,% Bird:1984:UCP,% Burton:1979:GRD,% Cremers:1978:FBD,% Cristian:1982:RDT,% Cunto:1988:TUM,% Earley:1973:RLD,% Ehrich:1975:GTDa,% Ehrich:1975:GTDb,% Engels:1983:OSS,% Finkel:1974:QTD,% Helman:1989:FNC,% Hsieh:1997:FGD,% Huddleston:1982:NDS,% Jones:1979:CTD,% Kam:1977:MDF,% Kastens:1991:ADT,% Kinoshita:2000:DRA,% Lehmann:1993:OSL,% MacVeigh:1977:EDR,% Majster:1977:EDG,% Makowsky:1986:EPD,% Marlowe:1990:PDF,% Mikou:1979:AOP,% Moore:1981:ADT,% Morgan:1990:DRC,% Morris:1989:LDR,% Nicolas:1982:LII,% Nielson:1982:DFD,% Overmars:1982:DMD,% Ramanathan:1981:PAD,% Ramsperger:1977:CAD,% Ranjan:2000:DSO,% Rosenberg:1978:DET,% Sanders:1998:DRM,% Schoett:1992:TIT,% Spitzen:1975:VSD,% Takeichi:1987:PPE,% Tennent:1977:NAR,% Tompa:1980:PES,% Tsuda:1983:TLTa,% Tsuda:1983:TLTb,% Turski:1971:MDS,% Turski:1972:MDS,% Tuzhilin:1996:MDI,% Wilhelm:1979:CUD,% Zhang:1988:SOT,% vonWright:1994:LDR,% Biskup:2003:AID,% Coulondre:2003:TPP,% Guttag:1978:ASA,% Hoare:1972:PCD,% Lenfant:1985:PDO,% Nipkow:1986:NDD,% Ouksel:1992:RES,% Wirsing:1983:HAD,% terHofstede:1997:ACF% }. \NAMECITE{Data-Flow}{% Hsieh:1997:FGD% }. \NAMECITE{Data-Intensive}{% Tuzhilin:1996:MDI% }. \NAMECITE{Database}{% Atzeni:1991:IDS,% Bayer:1984:DMS,% Bertino:1988:CSI,% Biskup:1978:CRM,% Bouchet:1979:PRS,% Casanova:1980:GPS,% Casanova:1981:EGP,% Chan:1988:GDS,% Fiadeiro:1988:SVD,% Kedem:1981:CDG,% Laurent:1997:UDT,% Meghini:1985:QFR,% Orman:1997:RDC,% Plateau:1980:EPA,% Ramirez:1982:ORP,% Tsuda:1983:TLTa,% Tsuda:1983:TLTb,% Vianu:1988:DSU,% Wang:1997:WID,% Xu:1992:LMD,% Yu:1990:MTS,% Khardon:1999:REP,% Laurent:1998:EUD,% Vincent:1999:SFR% }. \NAMECITE{Databases}{% Kung:1983:OTC,% Loizou:1987:LPJ,% Roth:1989:NVN,% Su:1994:DPS,% Torlone:1994:UOD,% Bonner:2000:QSD,% FernandezdelaVega:1998:ACC,% Locuratolo:1998:CCS,% Simovici:2002:IMD,% Levene:1991:CNV,% Roth:1991:ANV% }. \NAMECITE{Dataflow}{% Gold:1995:CDS,% Horwitz:1987:EGI,% Meinke:2001:CDS% }. \NAMECITE{datalog}{% Greco:2001:ESD,% Tuzhilin:1993:QDP% }. \NAMECITE{Datenstrukturen}{% Ehrich:1975:GTDa,% Ehrich:1975:GTDb% }. \NAMECITE{d'attente}{% Rosenberg:1986:FAE% }. \NAMECITE{{Daubechies}}{% Culik:1997:IDW% }. \NAMECITE{{David}}{% Dijkstra:1976:GTD% }. \NAMECITE{{DB}}{% Welch:1976:SCM% }. \NAMECITE{{DB/DC}}{% Welch:1976:SCM% }. \NAMECITE{{DC}}{% Welch:1976:SCM% }. \NAMECITE{deadlines}{% Cheng:2000:SMS% }. \NAMECITE{Deadlock}{% Chen:1985:DFR,% Munch-Andersen:1977:SAJ,% Finkel:1988:FNO% }. \NAMECITE{Deadlock-Freedom}{% Chen:1985:DFR% }. \NAMECITE{Deadlocking}{% Vogler:1989:FSD% }. \NAMECITE{deal}{% Queille:1983:FRP% }. \NAMECITE{deallocation}{% Brodal:2005:FAD% }. \NAMECITE{debugging}{% Degano:1999:CDM% }. \NAMECITE{December}{% Bauer:1989:MAP% }. \NAMECITE{Decidability}{% Culik:1986:SDP,% Deussen:1975:DCV,% Esparza:1997:DMC,% Valk:1985:RVS% }. \NAMECITE{Decidable}{% Avenhaus:1978:SKGb,% Demers:1982:SDP,% Gonczarowski:1985:DPM,% Mayr:1981:PVR,% Rozenberg:1982:CEF% }. \NAMECITE{Deciding}{% Otto:1986:DWM,% Vansummeren:2005:CDT% }. \NAMECITE{Decision}{% Habel:1989:MDP,% Honkala:1998:DPC,% Miyakawa:1985:ODT,% Otto:1991:DPF,% Savicky:1997:EAT% }. \NAMECITE{Decomposable}{% Courtois:1976:DMP% }. \NAMECITE{Decomposing}{% Aref:1993:DWM,% Proietti:1999:OAD% }. \NAMECITE{Decomposition}{% Brandwajn:1974:MTS,% Bublitz:1986:DGM,% Pratt:1978:PAO,% Tomaras:1991:MHD,% Zislis:1975:SDC,% vandeVorst:1988:FDP% }. \NAMECITE{decompositions}{% Ehrenfeucht:1990:CSR% }. \NAMECITE{Decreasing}{% Leguy:1982:LSC% }. \NAMECITE{d{\'e}croissants}{% Leguy:1982:LSC% }. \NAMECITE{Dedicated}{% Liu:1978:PAM% }. \NAMECITE{Deduction}{% deBruin:1981:GSS% }. \NAMECITE{Deductive}{% Torlone:1994:UOD% }. \NAMECITE{Defined}{% Klingler:1981:GBA% }. \NAMECITE{Defining}{% Ehrenfeucht:1974:NVH,% Wand:1980:FOI% }. \NAMECITE{Definiteness}{% Sondergaard:1990:RTD% }. \NAMECITE{Definition}{% Heilbrunner:1979:DEE,% Hennessy:1981:FDR,% Hoare:1973:ADP,% Hoare:1974:ACA,% Martin:1981:ADS% }. \NAMECITE{definitions}{% FernandezdelaVega:1998:ACC% }. \NAMECITE{Degree}{% Engelfriet:1994:CFG,% Seidl:1989:FDA,% VandenBussche:1993:MDC,% Yellin:1993:SDT% }. \NAMECITE{Degrees}{% Schuler:1975:NDC% }. \NAMECITE{Delay}{% Bovet:1991:MDS,% Critchlow:1991:EPD,% Hennessy:1984:AFD,% Hesselink:1996:BDF% }. \NAMECITE{Delays}{% Franta:1980:APC% }. \NAMECITE{Delegation}{% vandenBos:1991:PCO% }. \NAMECITE{Deleted}{% Laurent:1997:UDT,% Laurent:1998:EUD% }. \NAMECITE{Deleting}{% Doberkat:1982:DRH% }. \NAMECITE{Delivery}{% Woeginger:1994:HPM% }. \NAMECITE{Demand}{% Gelenbe:1973:PSD,% Krzesinski:1978:MNM,% Babich:1978:MADb% }. \NAMECITE{Demonic}{% McIver:2001:DAU% }. \NAMECITE{Denotational}{% Berry:1985:DSS,% Nielson:1982:DFD,% Sernadas:1998:DSO% }. \NAMECITE{Density}{% Kemp:1980:NDI% }. \NAMECITE{Dependability}{% Grassi:1994:DEH% }. \NAMECITE{Dependence}{% Suzuki:1983:TMS,% Matsumoto:1996:AAP% }. \NAMECITE{Dependencies}{% Atzeni:1991:IDS,% Biskup:1978:CRM,% Levene:1997:APF,% Makowsky:1986:EPD,% Mannila:1983:RMO,% Torlone:1994:UOD,% Vardi:1983:IMD,% Biskup:2003:AID,% Coulondre:2003:TPP,% Khardon:1999:REP,% Rensink:2001:PAA% }. \NAMECITE{Dependency}{% Su:1994:DPS% }. \NAMECITE{Dependent}{% Gelenbe:1990:OCA,% Sutner:1988:MPA% }. \NAMECITE{Depth}{% Berztiss:1980:DFT,% Gonczarowski:1985:DPM,% Tarjan:1976:EDS,% Wegener:1981:ICH,% Commentz-Walter:1979:SDT,% Commentz-Walter:1980:SDT% }. \NAMECITE{Depth-First}{% Berztiss:1980:DFT,% Tarjan:1976:EDS% }. \NAMECITE{Deques}{% Richards:1992:SQD% }. \NAMECITE{derandomization}{% Han:1999:PPC% }. \NAMECITE{Derivation}{% Huang:1987:DSI,% Penttonen:1974:DLC,% vanLamsweerde:1979:FDS% }. \NAMECITE{Derivational}{% Igarashi:1977:GPD% }. \NAMECITE{Derivations}{% Back:1988:CRP,% Meduna:1990:CFD% }. \NAMECITE{derived}{% Ravelo:1999:TGA% }. \NAMECITE{Deriving}{% Frederiks:2002:DPI,% Pettorossi:1982:DVE,% Rosen:1975:DGG% }. \NAMECITE{Describing}{% Caspi:1986:FMD,% Gries:1973:DAH,% Schmidt:1989:DSD% }. \NAMECITE{Description}{% Earley:1975:APS% }. \NAMECITE{Descriptively}{% Nishimura:1980:DCP% }. \NAMECITE{Design}{% Berry:1981:RRD,% Hoare:1993:NFA,% Hoffmann:1978:DCC,% Mili:1983:RAD,% Mili:1987:RHD,% Smith:19xx:SDG,% Tennent:1977:LDM,% Wallis:1978:DPP,% Gorlatch:2000:APD,% Schenke:1999:TDRa,% Schenke:1999:TDRb,% Vincent:1999:SFR% }. \NAMECITE{Designed}{% Berry:1981:RRD% }. \NAMECITE{Detecting}{% Neraud:1995:DMI% }. \NAMECITE{Detection}{% Banatre:1983:NDW% }. \NAMECITE{Determinancy}{% Hartmanis:1972:NDS% }. \NAMECITE{Determinism}{% Paul:1980:AIG,% Scott:2004:RND% }. \NAMECITE{Deterministic}{% Asveld:1977:IDS,% Culik:1986:SDP,% Diekert:1994:DAA,% Harju:1992:DSF,% Hromkovic:1983:OWM,% Labetoulle:1976:SQN,% Mehlhorn:1984:RDS,% Mili:1983:RAD,% Mili:1987:RHD,% Monien:1977:LPD,% Morita:1997:HUP,% Reichardt:1986:DGG,% Reisig:1982:DBS,% Tomita:1995:EEP,% Turnbull:1979:GDL,% Lamoureux:2005:DSL,% Nipkow:1986:NDD,% Nielsen:1974:NHCa% }. \NAMECITE{deux}{% Nain:1983:PTE% }. \NAMECITE{Development}{% Huang:1989:IMD,% Jones:1979:CTD,% Sannella:1992:TFD,% Sannella:1988:TFD,% Wabenhorst:2003:SDF,% vandeVorst:1988:FDP% }. \NAMECITE{Developmental}{% Rozenberg:1973:DSL% }. \NAMECITE{device}{% Csuhaj-Varju:2000:ESL% }. \NAMECITE{Devices}{% Hartmanis:1972:NDS,% Pfaff:1983:COI,% Nielsen:1975:ESC% }. \NAMECITE{Diagrams}{% Savicky:1997:EAT,% Makinen:2002:MAT% }. \NAMECITE{Different}{% Lao:1987:CBC,% Nielsen:1974:NHCa,% Nielsen:1974:NHCb,% Savicky:1997:EAT% }. \NAMECITE{{Diffusion}}{% Gelenbe:1979:PMC% }. \NAMECITE{digital}{% Drmota:2002:VHD% }. \NAMECITE{{Dijkstra}}{% Bauer:2003:EWD,% Bijlsma:1998:DSP,% Dewar:1982:SMA% }. \NAMECITE{{Dijkstra-Scholten}}{% Bijlsma:1998:DSP% }. \NAMECITE{Dimension}{% Faigle:1991:SOD,% Huynh:1985:CWP,% Jurgensen:1995:LHD% }. \NAMECITE{Dimensional}{% Brown:1982:LBL,% Hinrichs:1992:ARS,% Overmars:1982:DMD,% Lamoureux:2005:DSL% }. \NAMECITE{{Diophantine}}{% Morito:1980:UBA% }. \NAMECITE{Direct}{% Francez:1983:PPT,% Heilbrunner:1996:DCC,% Seiferas:1977:IAD% }. \NAMECITE{Directed}{% Janssens:1981:CCF,% Kuhnemann:1994:SIF,% Majster:1977:EDG,% Trogemann:1997:PAP,% Dolev:2004:SSG% }. \NAMECITE{Direction}{% Rozenberg:1972:DCP% }. \NAMECITE{Directory}{% Anonymous:2003:MPP% }. \NAMECITE{Disambiguating}{% Thorup:1996:DGE% }. \NAMECITE{Discrete}{% Daduna:1981:DTR,% Janicki:1997:FMC,% Mescheder:1980:NAO,% Pohlmann:1991:FPA,% Schassberger:1981:RTD% }. \NAMECITE{Discrete-Time}{% Daduna:1981:DTR% }. \NAMECITE{Disjoint}{% Tarjan:1976:EDS% }. \NAMECITE{disjointedness}{% Liu:2002:CDP% }. \NAMECITE{Disk}{% Gelenbe:1974:AAG,% Hac:1993:PRI,% Schlumberger:1973:ODM% }. \NAMECITE{Dispatcher}{% Nehmer:1975:DPC% }. \NAMECITE{Disque}{% Gelenbe:1974:AAG% }. \NAMECITE{Distance}{% Eiter:1997:DMP% }. \NAMECITE{Distances}{% Booth:1981:CEA% }. \NAMECITE{distinctness}{% Ben-Amram:2003:EDO% }. \NAMECITE{Distributed}{% Bannister:1983:TAF,% Bouchet:1979:PRS,% Cau:1996:PCA,% Degano:1988:DOS,% Garg:1997:UCD,% Gelenbe:1986:ADC,% Meghini:1985:QFR,% Petit:1993:RTL,% Plateau:1980:EPA,% Ramarao:1989:CDC,% Reif:1988:CRD,% Shen:1988:CDD,% Sobel:1988:PSD,% Tripathi:1988:LSD,% Ehrich:2000:SCD,% Gawo:2003:SCD,% Klonowska:2005:ORS,% Layuan:2003:DQA,% Lundberg:1999:OBG,% Moreau:2001:CDR,% Wabenhorst:2003:SDF% }. \NAMECITE{Distribution}{% Petit:1993:RTL,% Schassberger:1981:RTD,% Shapiro:1997:GDM% }. \NAMECITE{Distributions}{% Daduna:1981:DTR% }. \NAMECITE{Diverse}{% Boasson:1973:DFL% }. \NAMECITE{diverses}{% Boasson:1973:DFL% }. \NAMECITE{Divide}{% Guting:1984:ODC% }. \NAMECITE{Divide-and-Conquer}{% Guting:1984:ODC% }. \NAMECITE{{DNA}}{% Kari:1998:DCS,% Kari:2003:SFO% }. \NAMECITE{do}{% Ben-Amram:2000:CCP,% Hehner:1979:DCO% }. \NAMECITE{{DOL}}{% Culik:1978:UEP% }. \NAMECITE{Domain}{% Garg:1997:UCD,% Hull:1994:DIR% }. \NAMECITE{Domains}{% Schmidt:1989:DSD% }. \NAMECITE{Donn{\'e}es}{% Plateau:1980:EPA,% Bouchet:1979:PRS,% Mikou:1979:AOP% }. \NAMECITE{double}{% Ding:1993:RMM% }. \NAMECITE{double-ended}{% Ding:1993:RMM% }. \NAMECITE{Down}{% Ehrenfeucht:1988:RUM,% Knuth:1971:TSA,% Ottmann:1985:PTU,% Coulondre:2003:TPP% }. \NAMECITE{Drawing}{% Chiba:1985:DPG,% Supowit:1983:CDT,% Akkerman:2004:CDT% }. \NAMECITE{Drum}{% Adams:1979:EVM,% Leung:1984:PDQ% }. \NAMECITE{{DSL}}{% Bergstra:1983:SMS% }. \NAMECITE{Dual}{% Bruno:1985:PBD,% Bucher:1986:RTD% }. \NAMECITE{Duality}{% Back:1990:DSL% }. \NAMECITE{d'un}{% Gelenbe:1974:AAG,% Plateau:1980:EPA% }. \NAMECITE{d'une}{% Mikou:1979:AOP,% Plateau:1980:EPA% }. \NAMECITE{Duplicate}{% Huang:1989:SDK% }. \NAMECITE{Duplicate-Key}{% Huang:1989:SDK% }. \NAMECITE{durch}{% Stadel:1981:BVI% }. \NAMECITE{Dynamic}{% Bromley:1980:MFB,% Calzarossa:1986:WMR,% Chin:1995:TMD,% Langenhop:1989:MDB,% Nishimura:1979:SMP,% Overmars:1982:DMD,% Purdom:1981:BML,% Russmann:1997:DLP,% Shen:1988:CDD,% Tsakalidis:1988:NCA,% Unterauer:1979:DWB,% Vianu:1988:DSU,% Yellin:1993:SDT,% Lundberg:1999:OBG% }. \NAMECITE{Dynamic-Sized}{% Chin:1995:TMD% }. \NAMECITE{Dynamics}{% Fiadeiro:1988:SVD% }. \NAMECITE{Easily}{% Becker:1987:ETO% }. \NAMECITE{Easy}{% Hemaspaandra:1997:ESH% }. \NAMECITE{{ECO}}{% Bacchelli:2004:EGC% }. \NAMECITE{Edge}{% Tarjan:1976:EDS% }. \NAMECITE{Edge-Disjoint}{% Tarjan:1976:EDS% }. \NAMECITE{Edges}{% Booth:1981:CEA,% Shen:1999:FKM% }. \NAMECITE{{Editor}}{% Broy:2001:ELE% }. \NAMECITE{{Editorial}}{% Broy:2001:ELE% }. \NAMECITE{{Edsger}}{% Bauer:2003:EWD% }. \NAMECITE{Effect}{% Leung:1982:EFL,% MacVeigh:1977:EDR,% Soisalon-Soininen:1980:SOE% }. \NAMECITE{Effective}{% Bozapalidis:1991:ECS,% Fischer:1992:SFE% }. \NAMECITE{Effectively}{% Kamimura:1985:EGI% }. \NAMECITE{effectiveness}{% Abolhassan:1999:CEP% }. \NAMECITE{Effects}{% Kowaltowski:1977:AAS% }. \NAMECITE{Efficiency}{% Arun-Kumar:1992:EPP,% Cunto:1987:ITS,% Iglehart:1981:RSR,% MeyeraufderHeide:1983:EUP,% Corradini:2002:CWC% }. \NAMECITE{Efficient}{% Agrawal:1983:EIL,% Amerins:1993:EE,% Anderson:1973:ELP,% Bentley:1980:EWC,% Burnetas:1997:AIE,% Fischer:1980:ELE,% Galil:1980:AEM,% Heckmann:1986:EEP,% Horwitz:1987:EGI,% Horwitz:1991:ECP,% JaJa:1982:SEA,% Khoshnevisan:1990:EMT,% Kim:2001:ERA,% Kirousis:1995:EAC,% Kou:1990:EIA,% Lipski:1981:EAF,% Nakata:1986:GEL,% Pettorossi:1982:DVE,% Rego:1989:SEC,% Savicky:1997:EAT,% Schmid:1976:EIC,% Ouksel:1992:RES% }. \NAMECITE{Efficiently}{% Dube:2000:EBP% }. \NAMECITE{{Eigenschaften}}{% Ecker:1974:ELA% }. \NAMECITE{Einbettungssatz}{% Avenhaus:1978:SKGb% }. \NAMECITE{Electing}{% Goldreich:1987:ELR% }. \NAMECITE{Element}{% Ben-Amram:2003:EDO,% Li:2004:TEC% }. \NAMECITE{Elemental}{% deBakker:1987:OMS% }. \NAMECITE{Elementary}{% Nielsen:1992:ETS,% Kobuchi:2000:SAT% }. \NAMECITE{Elements}{% Hwang:1971:OME,% Narendran:1988:EFO% }. \NAMECITE{Eliminate}{% Bird:1984:UCP% }. \NAMECITE{Eliminates}{% Takeichi:1987:PPE% }. \NAMECITE{Eliminating}{% Pager:1978:EUP,% Pritchard:1991:OAE,% Soisalon-Soininen:1980:SOE,% Tokuda:1981:EUR% }. \NAMECITE{Elimination}{% Ullman:1973:FAE% }. \NAMECITE{ELL}{% Heckmann:1986:EEP,% Heilbrunner:1979:DEE,% Lewi:1978:EPG% }. \NAMECITE{ELR}{% Heilbrunner:1979:DEE% }. \NAMECITE{embedded}{% Andrei:2004:SEC% }. \NAMECITE{Embedding}{% Avenhaus:1978:SKGb,% Dunne:1987:RVG% }. \NAMECITE{Emptiness}{% Claus:1981:BEP% }. \NAMECITE{Emptiness-Problem}{% Claus:1981:BEP% }. \NAMECITE{Emulator}{% Efe:1997:OEV% }. \NAMECITE{{eNCE}}{% Kim:2001:ERA% }. \NAMECITE{Encodements}{% Gillett:1984:BTE% }. \NAMECITE{Encodings}{% Rosenberg:1978:DET% }. \NAMECITE{ended}{% Ding:1993:RMM% }. \NAMECITE{endliche}{% Kaufholz:1972:PEA,% Schnorr:1972:EAZ% }. \NAMECITE{endlichen}{% Eichner:1973:LRE% }. \NAMECITE{endlicher}{% Eichner:1973:LRE,% Eichner:1974:TLR,% Kandzia:1973:TPL% }. \NAMECITE{Endogenous}{% Landwehr:1976:EPM% }. \NAMECITE{enforcement}{% Schewe:1999:TTC% }. \NAMECITE{entre}{% Nain:1983:PTE% }. \NAMECITE{Entreeings}{% Amerins:1993:EE% }. \NAMECITE{Entropy}{% El-Affendi:1983:MEA,% Horibe:1979:MER,% Klingler:1981:GBA,% Kouvatsos:1986:MEG,% Kouvatsos:1988:MET,% Kouvatsos:1989:MEP,% Alfa:1991:AQL,% Kouvatsos:1989:EMEa,% Kouvatsos:1989:EMEb% }. \NAMECITE{entscheidbare}{% Avenhaus:1978:SKGb% }. \NAMECITE{Enumerable}{% Araki:1981:FLE,% Latteux:1990:CRE% }. \NAMECITE{Enumeration}{% Szelepcsenyi:1988:MFE% }. \NAMECITE{Environment}{% Baccelli:1982:PAE,% Giloi:1975:IGI,% Hui:1997:MCC,% Kearns:1983:IRC,% Lodaya:1990:PTE,% Taubenfeld:1996:PIR% }. \NAMECITE{environments}{% Kim:2004:MMT% }. \NAMECITE{{EOL}}{% Maurer:1977:EF,% Maurer:1980:GGC,% Nielsen:1975:ESC,% Rozenberg:1982:CEF% }. \NAMECITE{Epsilon}{% Agrawal:1983:EIL% }. \NAMECITE{Equal}{% Araki:1981:FLE% }. \NAMECITE{equals}{% Marcus:1992:EOE% }. \NAMECITE{Equation}{% Morito:1980:UBA% }. \NAMECITE{Equational}{% Diaconescu:1996:CBM,% Fulop:1997:MER,% Esik:1998:NAE,% Middeldorp:2000:TIE% }. \NAMECITE{Equations}{% Mongenet:1994:GTM,% Wanke:1996:URU,% Hakala:1997:SWE% }. \NAMECITE{Equilibrium}{% Cantor:1986:ITA,% El-Affendi:1983:MEA% }. \NAMECITE{Equivalence}{% Anderaa:1981:EHN,% Beynon:1985:RCE,% Bijlsma:1986:EGM,% Brandwajn:1974:MTS,% Corradini:1997:PPC,% Culik:1978:UEP,% Culik:1986:SDP,% Maon:1986:EST,% Russell:1977:EBC,% Tomita:1995:EEP,% Cousot:1987:EII,% Grumbach:2004:ERA,% vanGlabbeek:2001:RAE,% Sabelfeld:1978:ATF% }. \NAMECITE{Equivalences}{% DeNicola:1987:EET,% Kiehn:1994:CLC% }. \NAMECITE{Equivalent}{% Hikita:1979:CRP,% Bauer:1988:CEA% }. \NAMECITE{erkennbaren}{% Ecker:1974:ELA% }. \NAMECITE{Erratum}{% Casanova:1981:EGP,% Hehner:1988:EPM,% Kouvatsos:1989:EMEa,% Kouvatsos:1989:EMEb,% Laurent:1998:EUD,% Meduna:2003:ECE% }. \NAMECITE{Error}{% Bertsch:1996:OSR,% Engels:1983:OSS,% Fischer:1980:ELE,% Fischer:1992:SFE,% Lewi:1978:EPG,% Rohrich:1980:MAC,% Ameur:1996:TEN% }. \NAMECITE{Errors}{% Du:1992:MFA,% Levy:1975:ACS% }. \NAMECITE{Ershov}{% Bauer:1989:MAP% }. \NAMECITE{{ETOL}}{% Ehrenfeucht:1976:PCL% }. \NAMECITE{{Euclid}}{% London:1978:PRP% }. \NAMECITE{{Eulerian}}{% Whaley:1991:PTE% }. \NAMECITE{Evaluate}{% Kemp:1979:ANR% }. \NAMECITE{Evaluating}{% Pettorossi:1982:DVE% }. \NAMECITE{Evaluation}{% Alblas:1981:CAE,% Breitbart:1975:AFE,% Breitbart:1975:BBA,% Duda:1987:PEF,% Flajolet:1983:PEE,% Giegerich:1988:CEA,% Grassi:1994:DEH,% Horowitz:1974:UVC,% Kuck:1974:BPE,% Plateau:1980:EPA,% Reps:1988:IEA,% Lipps:1988:ARE% }. \NAMECITE{Evaluators}{% Farrow:1986:CSO% }. \NAMECITE{Even}{% Aycock:2001:EFG% }. \NAMECITE{Event}{% Baier:1994:CBE,% Degano:1988:DOS,% Kingston:1985:ATA,% Pohlmann:1991:FPA% }. \NAMECITE{Every}{% Roth:1992:EBP% }. \NAMECITE{Evolutionary}{% Csuhaj-Varju:2000:ESL,% Castellanos:2003:NEP,% Csuhaj-Varju:2005:HNE% }. \NAMECITE{evolutions}{% Walther:2004:PRE% }. \NAMECITE{evolving}{% Csuhaj-Varju:2000:ESL% }. \NAMECITE{Exact}{% Gelenbe:1976:PMC% }. \NAMECITE{Example}{% Tompa:1980:PES% }. \NAMECITE{examples}{% Khardon:1999:REP% }. \NAMECITE{Exception}{% Lodaya:1990:PTE% }. \NAMECITE{Exclusion}{% Anderson:1993:FGS,% Thorup:1996:DGE% }. \NAMECITE{Execution}{% Schneider:1985:TET,% Staphylopatis:1982:PCP,% Walz:1995:IAG,% Back:1998:FSE,% Barbuti:1997:ACM,% FernandezdelaVega:1998:ACC% }. \NAMECITE{Exhaustive}{% Bacchelli:2004:EGC,% Babich:1978:MADa% }. \NAMECITE{Existence}{% Bouge:1988:ESA% }. \NAMECITE{Expansion}{% Harrison:1991:ENL% }. \NAMECITE{Expansions}{% Baeza-Yates:1992:UMT,% Schonhage:1971:SBK,% Hwang:1998:AEM% }. \NAMECITE{Expected}{% Baeza-Yates:1989:EBB,% Devroye:1993:EHF,% Kemp:1989:EAW% }. \NAMECITE{Experience}{% Halbwachs:1992:EPR% }. \NAMECITE{Experimentally}{% Adams:1979:EVM% }. \NAMECITE{Explaining}{% Pritchard:1982:EWS% }. \NAMECITE{Explanation}{% Anderson:1991:NEG% }. \NAMECITE{Exponential}{% Agrawala:1982:ESG,% Boxma:1981:AAE,% Bruno:1985:STE,% Giammo:1976:VCP,% Rosenberg:1986:FAE% }. \NAMECITE{exponentielles}{% Rosenberg:1986:FAE% }. \NAMECITE{Expressed}{% Huet:1978:PAP% }. \NAMECITE{Expressibility}{% Marcus:1992:EOE,% Cerna:1999:CEN,% Rabinovich:1998:MEN% }. \NAMECITE{expression}{% Dube:2000:EBP% }. \NAMECITE{Expressions}{% Baccelli:1982:PAE,% Breitbart:1975:AFE,% Eiter:1995:GBE,% Kuck:1974:BPE,% Taniguchi:1976:ACS,% Penna:2003:SRE% }. \NAMECITE{Expressive}{% Critchlow:1991:EPD,% Kamin:1987:ETS,% Makowsky:1986:EPD,% Qian:1991:EPB% }. \NAMECITE{expressiveness}{% Ilie:2000:ESS% }. \NAMECITE{{EXSPACE}}{% Deussen:1977:VWG% }. \NAMECITE{Extended}{% Agerwala:1977:SES,% Asveld:1979:ELM,% Coffman:1971:PPE,% Hernandez:1993:ENR,% Madsen:1976:LPE,% Majster:1977:EDG,% Purdom:1981:PEL,% Tomita:1995:EEP% }. \NAMECITE{Extendible}{% Flajolet:1983:PEE,% Rosenberg:1977:SSB% }. \NAMECITE{Extending}{% Boyar:2003:EAF,% Greco:2001:ESD% }. \NAMECITE{Extensibility}{% Chan:1988:GDS% }. \NAMECITE{Extension}{% Menzel:1973:ETL,% Meduna:2003:CES,% Meduna:2003:ECE,% Tiplea:2001:SES% }. \NAMECITE{Extensional}{% DeNicola:1987:EET% }. \NAMECITE{Extensions}{% Berzins:1986:MSE,% Haldar:1996:SEW,% Steensgaard-Madsen:1979:PCR% }. \NAMECITE{External}{% Cunto:1988:TUM,% Ehrenfeucht:1996:LLE% }. \NAMECITE{Extraction}{% Huang:1989:SDK% }. \NAMECITE{Extremal}{% Booth:1981:CEA% }. \NAMECITE{F}{% Levene:1991:CNV% }. \NAMECITE{face}{% Hesselink:2003:PRF% }. \NAMECITE{Facility}{% Baccelli:1981:ASF% }. \NAMECITE{factors}{% Ben-Amram:2000:CCP,% Carpi:2000:SFP,% Carpi:2002:WUF% }. \NAMECITE{Failure}{% Drabent:1995:WFA,% Rangarajan:1997:SMT% }. \NAMECITE{Failures}{% Gelenbe:1986:ADC,% Gelenbe:1990:OCA,% Goldreich:1987:ELR,% Taubner:1989:SFS,% Tripathi:1988:LSD,% Vogler:1989:FSD% }. \NAMECITE{Fair}{% Back:1998:RFA,% Costa:1984:FCC,% Hoogeboom:2000:FSL,% Morris:1990:TPT,% Singh:1993:PRF,% Wabenhorst:2003:SDF% }. \NAMECITE{Fairness}{% Queille:1983:FRP% }. \NAMECITE{Families}{% Boasson:1973:DFL,% Bozapalidis:1994:TFF,% Mitrani:1977:CPF,% Morvan:2005:FAC,% Boasson:1973:FLT% }. \NAMECITE{Familles}{% Boasson:1973:FLT,% Boasson:1973:DFL% }. \NAMECITE{Family}{% Giammo:1976:VCP,% Helman:1989:FNC,% Hsu:1995:PTC,% Latteux:1985:FOC,% Rozenberg:1986:GTC,% Mahmoud:2004:LLT% }. \NAMECITE{fan}{% Mahmoud:2004:LLT% }. \NAMECITE{fan-out}{% Mahmoud:2004:LLT% }. \NAMECITE{Fast}{% Breitbart:1975:AFE,% Brodal:2005:FAD,% Cantor:1991:FMP,% Cohen:1976:ISF,% Du:1992:MFA,% Fischer:1992:SFE,% Kou:1981:FAS,% Ullman:1973:FAE,% Han:1999:PPC,% Schonhage:1971:SBK,% Schonhage:1977:SMP% }. \NAMECITE{Faster}{% Wu:1986:FAA,% Aycock:2001:EFG% }. \NAMECITE{Fault}{% Bannister:1983:TAF,% Bruno:1997:OFT,% Coffman:1993:SSF,% Huang:1989:AMP,% Parent:1977:NIP,% Sen:1989:SOF,% Klonowska:2005:ORS% }. \NAMECITE{Fault-Tolerance}{% Huang:1989:AMP% }. \NAMECITE{Fault-Tolerant}{% Bannister:1983:TAF,% Bruno:1997:OFT,% Coffman:1993:SSF% }. \NAMECITE{Features}{% Manna:1981:PFP% }. \NAMECITE{Feedback}{% Kameda:1977:FCR,% Kolla:1991:VFP,% Liang:1997:MFV% }. \NAMECITE{Feedback-Coupled}{% Kameda:1977:FCR% }. \NAMECITE{ferm{\'e}es}{% Boasson:1973:DFL,% Boasson:1973:FLT% }. \NAMECITE{fermeture}{% Pansiot:1983:HFC% }. \NAMECITE{few}{% BarYehuda:1998:PSF% }. \NAMECITE{fibration}{% Colomb:2001:CTF% }. \NAMECITE{Fields}{% Eichner:1973:LRE,% Schonhage:1977:SMP,% Walter:1972:I% }. \NAMECITE{{FIFO}}{% Finkel:1988:FNO% }. \NAMECITE{File}{% Baeza-Yates:1989:MSF,% Leung:1982:EFL,% Ouksel:1992:RES% }. \NAMECITE{Files}{% Rosenberg:1986:FAE% }. \NAMECITE{Find}{% Bouge:1988:ESA,% Morito:1980:UBA% }. \NAMECITE{Finding}{% Bernabeu-Auban:1991:RFS,% Lipski:1981:EAF,% Rhee:1995:FMM,% Shen:1999:FKM% }. \NAMECITE{Fine}{% Anderson:1993:FGS,% Hsieh:1997:FGD% }. \NAMECITE{Fine-Grained}{% Anderson:1993:FGS,% Hsieh:1997:FGD% }. \NAMECITE{Finis}{% Perrin:1971:CAA% }. \NAMECITE{Finite}{% Bauer:1984:FCR,% Buckle:1993:CMJ,% Culik:1995:IWF,% Culik:1997:IDW,% Demers:1982:SDP,% Eichner:1973:LRE,% Eichner:1974:TLR,% Eichner:1978:SLRa,% Eichner:1978:SLRb,% Greibach:1978:HTT,% Hennessy:1984:AFD,% Hromkovic:1983:OWM,% Ibarra:1975:HVH,% Ibarra:1994:CBS,% Kandzia:1973:TPL,% Kaufholz:1972:PEA,% Kintala:1980:ANF,% Laurinolli:1978:BQR,% Merzenich:1979:BOT,% Narendran:1988:EFO,% Ostrand:1981:PRG,% Otto:1991:DPF,% Peng:1992:ACC,% Perrin:1971:CAA,% Schnorr:1972:EAZ,% Schnorr:1976:NCT,% Seidl:1989:FDA,% Slutzki:1983:FSR,% Taubner:1990:RCP,% Weber:1990:VFT,% Weber:1992:LVF,% Ito:2001:GWF,% Leung:1998:FAL% }. \NAMECITE{Finitely}{% Langmaack:1982:TPF,% deLuca:1992:FRS% }. \NAMECITE{Finiteness}{% DeFrancesco:1994:PFC% }. \NAMECITE{First}{% Berztiss:1980:DFT,% Moore:1981:ADT,% Tarjan:1976:EDS,% Wand:1980:FOI,% Konikowska:1999:RFO,% Anonymous:2003:MPP% }. \NAMECITE{First-Order}{% Wand:1980:FOI% }. \NAMECITE{Fixed}{% Huynh:1985:CWP,% Leung:1982:EFL,% Pohlmann:1991:FPA% }. \NAMECITE{Fixed-Length}{% Leung:1982:EFL% }. \NAMECITE{Fixpoint}{% Dijkstra:1986:SFA% }. \NAMECITE{Flow}{% Adiri:1989:SMF,% Araki:1981:FLE,% Babich:1978:MADa,% Babich:1978:MADb,% Bernardeschi:1995:PNS,% Blazewicz:1987:MMF,% Coffman:1976:AMM,% Galil:1980:AMF,% Hsieh:1997:FGD,% Iwama:1983:UPU,% Kam:1977:MDF,% Lee:1992:SMF,% Marlowe:1990:PDF,% Nahapetian:1973:NFG,% Nielson:1982:DFD,% Ramanathan:1981:PAD,% Wilhelm:1979:CUD,% Kiepuszewski:2003:FCF,% Sagiv:1998:LBA% }. \NAMECITE{Flow-Time}{% Adiri:1989:SMF,% Blazewicz:1987:MMF,% Lee:1992:SMF% }. \NAMECITE{Flowgraphs}{% Vasudevan:1982:ILF% }. \NAMECITE{Flows}{% Nahapetian:1973:NFG% }. \NAMECITE{{Flu{\ss}diagramme}}{% Sabelfeld:1978:ATF% }. \NAMECITE{{FO}}{% Giannella:2002:APC% }. \NAMECITE{Fooling}{% Hromkovic:1985:FTW% }. \NAMECITE{Forced}{% Szelepcsenyi:1988:MFE% }. \NAMECITE{Forests}{% Bozapalidis:1994:TFF% }. \NAMECITE{Forgetting}{% Jancar:1996:FAC% }. \NAMECITE{Fork}{% Duda:1987:PEF% }. \NAMECITE{Form}{% Hoare:1993:NFA,% Nijholt:1980:SNF,% Soisalon-Soininen:1979:MTG,% Caporaso:1998:RBU,% Liu:2002:CDP,% Madhu:2002:GNF% }. \NAMECITE{Formal}{% Benson:1974:AMT,% Berstel:2002:FPX,% Best:1981:FMA,% Book:1978:CFG,% Deussen:1978:UAG,% Engelfriet:1981:FPO,% Hennessy:1981:FDR,% Hoare:1974:CCF,% Janicki:1987:FSC,% Lauer:1975:FSC,% Lauer:1977:ACF,% Nymeyer:1997:CGB,% Paredaens:1978:CMF,% Poetzsch-Heffter:1997:PRP,% Sannella:1992:TFD,% deGuzman:1995:FIB,% vanLamsweerde:1979:FDS,% Honkala:1998:DPC,% Sannella:1988:TFD,% vandeVorst:1988:FDP% }. \NAMECITE{Formalism}{% Majster:1977:EDG% }. \NAMECITE{Formalisms}{% Kfoury:1985:NSC% }. \NAMECITE{{Formel{\"u}bersetzung}}{% Kern:1977:SF% }. \NAMECITE{Formes}{% Autebert:1982:FLG% }. \NAMECITE{Forms}{% Cremers:1973:NFC,% Ginsburg:1975:SGF,% Ginsburg:1978:PRG,% Hule:1978:GOF,% Maurer:1976:GFT,% Maurer:1977:EF,% Maurer:1980:GGC,% Rozenberg:1982:CEF,% Salomaa:1973:SFC,% Autebert:1982:FLG% }. \NAMECITE{Formula}{% Aczel:1997:NFS,% Bublitz:1986:DGM,% Kern:1977:SF,% Paterson:1986:NOH,% Schmerl:1988:RFT,% Schurfeld:1983:NLB,% VandenBussche:1993:MDC,% Santone:2002:AVC% }. \NAMECITE{formula-based}{% Santone:2002:AVC% }. \NAMECITE{Formulae}{% Commentz-Walter:1980:SDT,% Commentz-Walter:1979:SDT,% Khardon:1999:REP% }. \NAMECITE{Formulas}{% Kratochvil:1993:SCN,% Krishnamurthy:1985:SPT,% Rozenberg:1973:DSL,% Staalmarck:1996:SRP,% VandenBussche:1998:CUF% }. \NAMECITE{Forte}{% Rodriguez:1981:IFC% }. \NAMECITE{{Fortran}}{% Matsumoto:1996:AAP% }. \NAMECITE{Forward}{% Bernabeu-Auban:1991:RFS% }. \NAMECITE{{Foundation}}{% Ehrich:1975:GTDa,% Ehrich:1975:GTDb% }. \NAMECITE{Foundations}{% Hulsmann:1991:TFH,% Vincent:1999:SFR% }. \NAMECITE{{Fourier}}{% Mescheder:1980:NAO% }. \NAMECITE{Fractal}{% Culik:1997:CFG% }. \NAMECITE{Fractions}{% Schonhage:1971:SBK% }. \NAMECITE{Fragmentation}{% Bromley:1980:MFB% }. \NAMECITE{Fragmented}{% Leung:1987:ASA,% Meghini:1985:QFR% }. \NAMECITE{Framework}{% Hsieh:1997:FGD,% Nielson:1982:DFD,% terHofstede:1997:ACF% }. \NAMECITE{Frameworks}{% Kam:1977:MDF,% Marlowe:1990:PDF,% Marriott:1993:FAI% }. \NAMECITE{Free}{% Autebert:1984:BLA,% Best:1984:FCS,% Blum:1982:PCR,% Engelfriet:1992:CFH,% Engelfriet:1994:CFG,% Engelfriet:1997:CFG,% Frougny:1982:HGC,% Hakala:1997:SWE,% Heilbrunner:1985:TPC,% Hesselink:1996:BDF,% Hotz:1974:SAK,% Huynh:1982:RCI,% Jancar:1996:FAC,% Janssens:1981:CCF,% Madsen:1976:LPE,% Meduna:1990:CFD,% Meduna:1996:SCC,% Nijholt:1980:SNF,% Otto:1986:DWM,% Penttonen:1974:DLC,% Rozenberg:1980:CFG,% Salomaa:1973:SFC,% Senizergues:1996:RSF,% Soisalon-Soininen:1982:CRC,% VandenBussche:1993:MDC,% vanLeeuwen:1979:ULC,% Andrei:2004:SEC,% Cheng:1998:CFL,% Ehrenfeucht:1994:CFT,% Fenner:1981:ATR,% Goldschlager:1981:PCF,% Kari:2003:SFO,% Kemp:1980:NDI,% Markey:2004:PFC,% Yen:1998:PCF% }. \NAMECITE{Freedom}{% Chen:1985:DFR% }. \NAMECITE{{French}}{% Autebert:1979:OCA,% Autebert:1982:FLG,% Autebert:1984:BLA,% Boasson:1973:DFL,% Boasson:1973:FLT,% Bouchet:1979:PRS,% Gelenbe:1974:AAG,% Latteux:1979:ILA,% Latteux:1980:GAL,% Leguy:1982:LSC,% Mikou:1979:AOP,% Nain:1983:PTE,% Pansiot:1983:HFC,% Perrin:1971:CAA,% Perrot:1977:MSL,% Plateau:1980:EPA,% Rodriguez:1981:IFC,% Rosenberg:1986:FAE% }. \NAMECITE{Fringe}{% Devroye:1993:EHF% }. \NAMECITE{Fringe-Balanced}{% Devroye:1993:EHF% }. \NAMECITE{fully}{% Boreale:1998:FAS% }. \NAMECITE{Function}{% Culik:1993:SMR,% Boyar:2003:EAF,% Harrison:1992:SFI% }. \NAMECITE{Functional}{% Atzeni:1991:IDS,% Caspi:1986:FMD,% Cremers:1978:FBD,% Duponcheel:1986:AFP,% Levene:1997:APF,% Mannila:1983:RMO,% Torlone:1994:UOD,% Vardi:1983:IMD,% Burrieza:2003:FAT% }. \NAMECITE{Functionally}{% Liu:1978:PAM% }. \NAMECITE{Functions}{% Anderaa:1981:EHN,% Beynon:1985:RCE,% Breitbart:1975:BBA,% Bublitz:1986:DGM,% Clint:1972:PPJ,% Ehrich:1973:MMV,% Harju:1992:DSF,% Harrison:1991:ENL,% Jones:1994:TLP,% Kuhnemann:1994:SIF,% Lao:1987:CBC,% Mili:1985:SIF,% Schmitt:1983:NRO,% Schnorr:1976:NCT,% Schurfeld:1983:NLB,% Wegener:1981:ICH,% Buchholz:1998:TCF,% McColl:1978:CHB,% Ashcroft:1976:RPP% }. \NAMECITE{Fundamental}{% Buzen:1976:FOL% }. \NAMECITE{Fundamentals}{% Janicki:1997:FMC,% Kiepuszewski:2003:FCF% }. \NAMECITE{{Funktionen}}{% Ehrich:1973:MMV% }. \NAMECITE{Further}{% Carter:1982:FAC,% Leung:1984:PDQ% }. \NAMECITE{Fusion}{% Back:1998:FSE% }. \NAMECITE{G}{% Alfa:1991:AQL,% El-Affendi:1983:MEA,% Falin:1994:ITA,% Shore:1982:ITA,% Bartsch:1978:CLG,% Chakka:2001:MMM,% Kouvatsos:1986:MEG,% Kouvatsos:1989:MEP% }. \NAMECITE{{G}-queue}{% Chakka:2001:MMM% }. \NAMECITE{{G/G/1}}{% Kouvatsos:1989:MEP,% Shore:1982:ITA% }. \NAMECITE{{G/G/1/N}}{% Kouvatsos:1986:MEG% }. \NAMECITE{{G/G/m}}{% Bartsch:1978:CLG% }. \NAMECITE{{G/M/1}}{% El-Affendi:1983:MEA% }. \NAMECITE{gain}{% Lundberg:1999:OBG% }. \NAMECITE{Game}{% Paul:1978:TST% }. \NAMECITE{Gap}{% Klingler:1981:GBA% }. \NAMECITE{gauches}{% Autebert:1979:OCA% }. \NAMECITE{Gauntlet}{% Dijkstra:1976:GTD% }. \NAMECITE{GE}{% Chakka:2001:MMM% }. \NAMECITE{General}{% Agrawala:1982:ESG,% Cantor:1986:ITA,% Casanova:1980:GPS,% Casanova:1981:EGP,% Daduna:1981:DTR,% Gelenbe:1976:BSQ,% He:1983:GPT,% Hesselink:1989:PTS,% Horwitz:1987:EGI,% Igarashi:1977:GPD,% Jacobs:1985:GCU,% Kouvatsos:1988:MET,% Kowaltowski:1977:AAS,% Martin:1983:GPR,% Morito:1980:UBA,% Pager:1977:PGM,% Tomaras:1991:MHD,% Devillers:1995:IAG,% Kouvatsos:1989:EMEa,% Kouvatsos:1989:EMEb,% Penabad:2002:GPC% }. \NAMECITE{Generalization}{% Sur:1995:IGN,% Intrigila:2000:GHK,% Sanders:1998:DRM% }. \NAMECITE{Generalized}{% Balcazar:1986:SSG,% Burton:1979:GRD,% Cohen:1979:MPS,% Cunto:1987:ITS,% Huang:1984:GBS,% Kuspert:1983:SUB,% Madhu:2002:GNF,% Shapiro:1997:GDM,% Tsakalidis:1984:MOG,% Turnbull:1979:GDL,% Vidyasankar:1987:GTS,% Aycock:2001:EFG,% Coulondre:2003:TPP,% Engelfriet:1998:AGG% }. \NAMECITE{generalizing}{% Mahmoud:2004:LLT% }. \NAMECITE{Generally}{% Leung:1987:ASA% }. \NAMECITE{Generated}{% Engelfriet:1994:CFG,% Farrow:1986:CSO,% Kemp:1981:LGG,% Lautemann:1990:CGL% }. \NAMECITE{g{\'e}n{\'e}rateurs}{% Latteux:1980:GAL% }. \NAMECITE{Generating}{% Bucher:1983:TSS,% Chan:1988:GDS,% Eiter:1995:GBE,% Engelfriet:1992:CFH,% Fenner:1981:ATR,% Kemp:1998:GWL,% Lee:1986:GBT,% Mihalache:19xx:GSR,% Csuhaj-Varju:2000:ESL% }. \NAMECITE{Generation}{% Carter:1982:FAC,% Chapman:1984:LPG,% Culik:1994:PSI,% Deussen:1978:UAG,% Ganapathi:1988:ICG,% McKellar:1972:BAS,% Nakata:1986:GEL,% Nymeyer:1997:CGB,% Thomsen:1993:PCS,% Bacchelli:2004:EGC,% Morimoto:2001:YAG,% Yang:2000:CSM% }. \NAMECITE{Generative}{% Kleijn:1983:GPR,% Maurer:1980:GGC% }. \NAMECITE{Generator}{% Heckmann:1986:EEP,% Lewi:1978:EPG% }. \NAMECITE{Generators}{% Latteux:1980:GAL,% Maurer:1980:GGC% }. \NAMECITE{Geometric}{% Chazelle:1987:STG% }. \NAMECITE{Geometrical}{% Mongenet:1994:GTM% }. \NAMECITE{Geometry}{% Culik:1997:CFG,% Heise:1976:OCA,% Tamminen:1986:CMS% }. \NAMECITE{{German}}{% Avenhaus:1978:SKGa,% Avenhaus:1978:SKGb,% Claus:1971:VPS,% Claus:1973:MAP,% Ecker:1974:ELA,% Ehrich:1973:MMV,% Ehrich:1975:GTDa,% Ehrich:1975:GTDb,% Eichner:1973:LRE,% Eichner:1974:TLR,% Genrich:1973:S,% Hotz:1974:SAK,% Huwig:1982:MPP,% Kandzia:1973:TPL,% Kaufholz:1972:PEA,% Kaufholz:1974:VM,% Kern:1977:SF,% Paul:1974:KS,% Paul:1975:BMU,% Philipp:1980:SPG,% Reisch:1980:GPV,% Reisch:1981:HPV,% Rollik:1980:APG,% Sabelfeld:1978:ATF,% Schnorr:1972:EAZ,% Schonhage:1971:SBK,% Schonhage:1977:SMP,% Schott:1972:AAI,% Stadel:1978:ZNK,% Stadel:1981:BVI,% Stoss:1973:RP,% Strassen:1972:BP,% Strassen:1973:BPI,% Walter:1972:I% }. \NAMECITE{gestion}{% Bouchet:1979:PRS,% Gelenbe:1974:AAG,% Mikou:1979:AOP% }. \NAMECITE{Given}{% Avenhaus:1978:SKGa,% Kamimura:1985:EGI% }. \NAMECITE{Glitch}{% Anderson:1991:NEG% }. \NAMECITE{Global}{% Smith:19xx:SDG,% Sonnenschein:1985:GSC% }. \NAMECITE{{GLR}}{% Scott:2004:RND% }. \NAMECITE{Go}{% He:1983:GPT% }. \NAMECITE{{Gobang}}{% Reisch:1980:GPV% }. \NAMECITE{Good}{% Hule:1978:GOF% }. \NAMECITE{Goto}{% deBruin:1981:GSS% }. \NAMECITE{{Goto}s}{% Arbib:1979:PRG% }. \NAMECITE{Grained}{% Anderson:1993:FGS,% Hsieh:1997:FGD% }. \NAMECITE{grammaires}{% Autebert:1982:FLG% }. \NAMECITE{Grammar}{% Frougny:1982:HGC,% Ginsburg:1975:SGF,% Ginsburg:1978:PRG,% Maurer:1976:GFT,% Morita:1997:HUP,% Paun:1993:SPC,% Reichardt:1986:DGG,% Sonnenschein:1985:GSC,% Fernau:2001:PCG,% Gawo:2003:SCD,% Autebert:1982:FLG% }. \NAMECITE{Grammarforms}{% Walter:1976:GG% }. \NAMECITE{Grammarhomomorphisms}{% Walter:1976:GG% }. \NAMECITE{Grammars}{% Agrawal:1983:EIL,% Asveld:1979:ELM,% Blum:1982:PCR,% Book:1978:CFG,% Chapman:1984:LPG,% Cremers:1973:NFC,% Deransart:1984:SCT,% Deussen:1975:DCV,% Deussen:1977:VWG,% Diekert:1986:IHG,% Ehrenfeucht:1988:RUM,% Ehrenfeucht:1994:CFT,% Engelfriet:1981:FPO,% Engelfriet:1988:AGG,% Engelfriet:1992:CFH,% Engelfriet:1994:CFG,% Engelfriet:1997:CFG,% File:1983:IRA,% Fisher:1985:PLB,% Fisher:1992:YYP,% Franck:1978:CLP,% Giegerich:1988:CEA,% Harris:1987:SLP,% Hauschildt:1994:PNA,% Heilbrunner:1979:DEE,% Heilbrunner:1996:DCC,% Hotz:1974:SAK,% Huynh:1982:RCI,% Janssens:1981:CCF,% Kastens:1980:OAG,% Kastens:1994:MRA,% Kemp:1981:LGG,% Kleijn:1983:GPR,% Kuich:1981:CPU,% LaLonde:1979:CLP,% Langmaack:1971:ARC,% Lee:1994:BLC,% Madsen:1976:LPE,% Meduna:1995:SCS,% Meduna:1996:SCC,% Meersman:1978:TLM,% Moll:1980:LCP,% Nakata:1986:GEL,% Nielson:1983:CSW,% Nijholt:1980:SNF,% Ostrand:1981:PRG,% Paun:1994:PTG,% Penttonen:1974:DLC,% Pohlmann:1983:LPA,% Purdom:1981:PEL,% Raiha:1982:TAG,% Reichardt:1986:DGG,% Reps:1988:IEA,% Rozenberg:1972:DCP,% Rozenberg:1980:CFG,% Salomaa:1973:SFC,% Schneider:1976:GPG,% Soisalon-Soininen:1979:MTG,% Soisalon-Soininen:1982:CRC,% Stadel:1978:ZNK,% Thorup:1996:DGE,% Walz:1995:IAG,% Watt:1977:PPA,% Wegner:1980:PTL,% vanLeeuwen:1979:ULC,% Andrei:2004:SEC,% Berstel:2002:FPX,% Frederiks:2002:DPI,% Goldschlager:1981:PCF,% Morimoto:2001:YAG% }. \NAMECITE{{Grammatiken}}{% Stadel:1978:ZNK% }. \NAMECITE{Granularity}{% Lee:1996:MGL,% Mehlhorn:1984:RDS% }. \NAMECITE{Graph}{% Djidjev:1997:RCS,% Dunne:1987:RVG,% Engelfriet:1988:AGG,% Engelfriet:1994:CFG,% Engelfriet:1997:CFG,% Franck:1978:CLP,% Gries:1979:SWG,% Habel:1989:MDP,% JaJa:1982:SEA,% Janssens:1981:CCF,% Lautemann:1990:CGL,% Lengauer:1981:BWP,% Paul:1980:AIG,% Pudlak:1988:GC,% Rhee:1995:FMM,% Rozenberg:1986:GTC,% Rus:1997:UGC,% Yamazaki:1997:HCA,% Kim:2001:ERA,% Ravelo:1999:TGA% }. \NAMECITE{Graphen}{% Rollik:1980:APG,% Philipp:1980:SPG% }. \NAMECITE{Graphics}{% Giloi:1975:IGI% }. \NAMECITE{Graphs}{% Becker:1986:ARP,% Booth:1981:CEA,% Bublitz:1986:DGM,% Chiba:1985:DPG,% Dunne:1987:RVG,% Engelfriet:1997:CFG,% Genrich:1973:S,% Itai:1982:RG,% Kedem:1981:CDG,% Liang:1997:MFV,% Lipski:1981:EAF,% Majster:1977:EDG,% Nahapetian:1973:NFG,% Nicollin:1993:ATG,% Philipp:1980:SPG,% Rollik:1980:APG,% Rosen:1975:DGG,% Schneider:1976:GPG,% Siekmann:1980:PCG,% Sur:1995:IGN,% Trogemann:1997:PAP,% Wu:1986:FAA,% Yellin:1993:SDT,% Delvaux:2004:BTA,% Diaz:1996:PAS,% Engelfriet:1998:AGG,% Erratum:2004:AG,% Gawo:2003:SCD,% Maggiolo-Schettini:1996:KLP,% Mahmoud:2004:LLT,% Yen:1999:OAS% }. \NAMECITE{{Gray}}{% Vajnovszki:2002:GVM% }. \NAMECITE{Greed}{% Gillies:1991:GRS% }. \NAMECITE{Greedy}{% Coffman:1984:PGG% }. \NAMECITE{{Greibach}}{% Berstel:1974:CG% }. \NAMECITE{grid}{% Ouksel:1992:RES% }. \NAMECITE{{Gries}}{% Bijlsma:1986:EGM,% Dijkstra:1976:GTD,% Murtagh:1987:RPN% }. \NAMECITE{ground}{% Kapur:1991:SCG% }. \NAMECITE{Group}{% Frougny:1982:HGC,% Iliopoulos:1986:MCC,% Ito:2001:GWF,% Otto:1986:DWM,% Senizergues:1996:RSF,% Dolev:2004:SSG,% Larsen:2002:RRB,% Lesley:2003:PVS% }. \NAMECITE{Groups}{% Avenhaus:1978:SKGa,% Avenhaus:1978:SKGb,% Diekert:1986:IHG% }. \NAMECITE{{Grundlagen}}{% Ehrich:1975:GTDa,% Ehrich:1975:GTDb% }. \NAMECITE{Gruppen}{% Avenhaus:1978:SKGa,% Avenhaus:1978:SKGb% }. \NAMECITE{{GSM}}{% Atanasiu:1992:CCB,% Autebert:1989:IGC% }. \NAMECITE{Guarantee}{% Coffman:1984:PGG% }. \NAMECITE{Guaranteeing}{% Lauesen:1973:JSG% }. \NAMECITE{guarding}{% Yen:1999:OAS% }. \NAMECITE{{Gurevich}}{% Reisig:2003:GTS% }. \NAMECITE{H}{% Levene:1991:CNV% }. \NAMECITE{{Habermann}}{% Scott:1994:H% }. \NAMECITE{{Hamming}}{% Honkala:2002:CIP% }. \NAMECITE{Handling}{% Engels:1983:OSS,% Hulsmann:1991:TFH,% Lodaya:1990:PTE% }. \NAMECITE{{Hansen}}{% Courtois:1972:CCT% }. \NAMECITE{Hard}{% Hemaspaandra:1997:ESH,% Krivanek:1986:NHP% }. \NAMECITE{Hardware}{% Hansen:1978:RSH% }. \NAMECITE{Hashing}{% Flajolet:1983:PEE,% Litwin:1989:CTH% }. \NAMECITE{{Hausdorff}}{% Jurgensen:1995:LHD% }. \NAMECITE{Having}{% Booth:1981:CEA% }. \NAMECITE{{HDTOL}}{% Culik:1989:HMC% }. \NAMECITE{Head}{% Ibarra:1975:HVH% }. \NAMECITE{Heap}{% Doberkat:1982:DRH,% Ding:1993:RMM% }. \NAMECITE{Heaps}{% Galil:1980:AEM,% Sack:1985:AMH% }. \NAMECITE{Height}{% Andersson:1990:BST,% Devroye:1984:PAH,% Devroye:1993:EHF,% Lee:1986:GBT,% Drmota:2002:VHD% }. \NAMECITE{Heights}{% Devroye:1987:BPA% }. \NAMECITE{Heuristic}{% Nymeyer:1997:CGB% }. \NAMECITE{Heuristics}{% Mili:1987:RHD,% Poblete:1993:AHS,% Woeginger:1994:HPM% }. \NAMECITE{{Hex}}{% Reisch:1981:HPV% }. \NAMECITE{Hiding}{% Meyer:1990:HSS% }. \NAMECITE{Hierarchical}{% Dijkstra:1971:HOS,% Grassi:1994:DEH,% Kolla:1991:VFP,% Krivanek:1986:NHP,% Kumar:1996:OCH,% Nakajima:1980:HPS,% Tomaras:1991:MHD% }. \NAMECITE{Hierarchical-Tree}{% Krivanek:1986:NHP% }. \NAMECITE{Hi{\'e}rarchie}{% Pansiot:1983:HFC% }. \NAMECITE{Hierarchies}{% Galil:1976:HCP,% Paterson:1986:NOH,% McColl:1978:CHB,% Wirsing:1983:HAD% }. \NAMECITE{Hierarchy}{% Greibach:1978:HTT,% Miyano:1982:HTM,% Morita:1997:HUP,% Wegener:1981:ICH,% Yamazaki:1997:HCA,% Blondel:1998:SNP,% Tip:2000:CHS,% Pansiot:1983:HFC% }. \NAMECITE{High}{% Engelfriet:1988:HLT,% Lauer:1975:FSC,% Lauer:1977:ACF,% Best:1998:NAH,% ONeil:1992:STI% }. \NAMECITE{High-Level}{% Lauer:1975:FSC,% Lauer:1977:ACF,% Best:1998:NAH% }. \NAMECITE{high-performance}{% ONeil:1992:STI% }. \NAMECITE{Higher}{% Damm:1983:SRH,% Langmaack:1973:CPP,% Qian:1993:ASH,% Thomsen:1993:PCS% }. \NAMECITE{Higher-Order}{% Qian:1993:ASH% }. \NAMECITE{Highly}{% Hinz:1992:RTL% }. \NAMECITE{Higman}{% Avenhaus:1978:SKGb,% Intrigila:2000:GHK% }. \NAMECITE{History}{% Clarke:1980:PCC,% Clint:1981:UHV% }. \NAMECITE{Hitting}{% Rego:1992:NAH% }. \NAMECITE{{Hoare}}{% Bergstra:1984:ASP,% Damm:1983:SRH,% Lamport:1980:HLC,% Olderog:1981:SCH% }. \NAMECITE{{Hoare}-like}{% Olderog:1981:SCH% }. \NAMECITE{{Hoare}-Logic}{% Damm:1983:SRH% }. \NAMECITE{Home}{% Best:1984:FCS% }. \NAMECITE{Homogeneous}{% Bublitz:1986:DGM,% Nain:1983:PTE% }. \NAMECITE{homog{\`e}nes}{% Nain:1983:PTE% }. \NAMECITE{Homomorphism}{% Moenck:1976:APH% }. \NAMECITE{Homomorphisms}{% Ehrenfeucht:1974:NVH,% Nielsen:1974:NHCa,% Nielsen:1974:NHCb% }. \NAMECITE{{Hopcroft}}{% Gries:1973:DAH% }. \NAMECITE{{Horn}}{% Anderaa:1981:EHN% }. \NAMECITE{hot}{% Duggan:2005:TBH% }. \NAMECITE{{Hotz}}{% Diekert:1986:IHG,% Frougny:1982:HGC% }. \NAMECITE{{Huffman}}{% Forst:2000:MHT,% Markowsky:1981:BHT% }. \NAMECITE{Hybrid}{% Csuhaj-Varju:2005:HNE,% Nicollin:1993:ATG,% Kesten:2000:VCH,% Kim:2004:MMT% }. \NAMECITE{Hyper}{% Maggiolo-Schettini:1996:KLP% }. \NAMECITE{Hypercube}{% Sur:1995:IGN% }. \NAMECITE{Hyperedge}{% Habel:1989:MDP,% Lautemann:1990:CGL% }. \NAMECITE{Hypergraph}{% Engelfriet:1992:CFH% }. \NAMECITE{Ianov}{% Ben-Ari:1978:IPS% }. \NAMECITE{Ideal}{% Coffman:2003:IPS% }. \NAMECITE{Identical}{% Yen:1991:PSM% }. \NAMECITE{Identification}{% deGuzman:1995:FIB,% Honkala:2002:CIP% }. \NAMECITE{Identities}{% Wand:1980:FOI% }. \NAMECITE{Idioms}{% Snyder:1982:RSI% }. \NAMECITE{{IEH}}{% Sur:1995:IGN% }. \NAMECITE{II}{% Avenhaus:1978:SKGb,% Ehrich:1975:GTDb,% Babich:1978:MADb,% Ehrenfeucht:1990:PSSb,% Eichner:1978:SLRb,% Gelenbe:1979:PMC,% Langmaack:1974:POS,% Nielsen:1974:NHCb,% Paul:1980:AIG,% Rice:1975:PAA,% Schenke:1999:TDRb,% Smid:1990:MRT,% Strassen:1973:BPI,% Tsuda:1983:TLTb,% Turski:1972:MDS,% Winklmann:1983:CSP% }. \NAMECITE{illustrated}{% Engelfriet:1998:AGG% }. \NAMECITE{Image}{% Culik:1994:PSI% }. \NAMECITE{Images}{% Neraud:1995:DMI% }. \NAMECITE{Implementation}{% Anderson:1982:AII,% Burnetas:1997:AIE,% Cohen:1976:ISF,% Hennicker:1991:OIA,% Kearns:1983:IRC,% Kou:1990:EIA,% Leung:1982:EFL,% Schmid:1976:EIC,% Igarashi:1975:APVa% }. \NAMECITE{Implementations}{% Huang:1987:DSI,% Bidoit:1998:MCP,% Nipkow:1986:NDD,% Sannella:1988:TFD% }. \NAMECITE{Implementing}{% Culik:1997:IDW% }. \NAMECITE{implicants}{% Cordero:2002:BCS% }. \NAMECITE{implicates}{% Cordero:2002:BCS% }. \NAMECITE{Implicit}{% Chazelle:1987:STG% }. \NAMECITE{Impossibility}{% Schoett:1992:TIT,% Taubenfeld:1996:PIR% }. \NAMECITE{Improved}{% Adleman:1978:ITS,% Baeza-Yates:1992:UMT,% Wegener:1981:ICH,% Brodal:2005:FAD% }. \NAMECITE{Improvement}{% Backhouse:1976:AAI,% Hac:1993:PRI% }. \NAMECITE{Improves}{% Darlington:1976:SWA% }. \NAMECITE{Improving}{% Cunto:1987:ITS,% Nicolas:1982:LII% }. \NAMECITE{Impurity}{% Simovici:2002:IMD% }. \NAMECITE{In-Place}{% Burnetas:1997:AIE% }. \NAMECITE{In-Tree}{% Bruno:1985:STE% }. \NAMECITE{Inclusion}{% Atzeni:1991:IDS,% Alonso:2001:TIP,% Biskup:2003:AID% }. \NAMECITE{Incomplete}{% Levene:1997:APF,% Deineko:1996:RPS% }. \NAMECITE{Incompletely}{% Reusch:1986:MCI% }. \NAMECITE{increasing}{% Cheng:2000:SMS% }. \NAMECITE{Incremental}{% Agrawal:1983:EIL,% Bengelloun:1986:IPS,% Berman:1990:PRL,% Celentano:1978:ILP,% Huang:1989:IMD,% Reps:1988:IEA,% Walz:1995:IAG% }. \NAMECITE{Ind{\'e}pendance}{% Rodriguez:1981:IFC% }. \NAMECITE{Independence}{% Guibas:1975:PIB,% Hull:1994:DIR,% Rodriguez:1981:IFC% }. \NAMECITE{Independent}{% Atzeni:1991:IDS,% Lamport:1976:SIP,% Tennent:1977:NAR,% Wang:1997:WID% }. \NAMECITE{Index}{% Pierre:1989:RIV,% Anonymous:1988:AIV,% ONeil:1992:STI% }. \NAMECITE{index-sequential}{% ONeil:1992:STI% }. \NAMECITE{Indexes}{% Bayer:1972:OML% }. \NAMECITE{Induction}{% Dijkstra:1980:SBA% }. \NAMECITE{Inductive}{% Mitchell:1988:ICR,% Walz:1995:IAG% }. \NAMECITE{inevitability}{% Cousot:1987:EII% }. \NAMECITE{Inference}{% Duggan:1996:KTI,% Ernst:1977:RIP% }. \NAMECITE{Inferring}{% Vardi:1983:IMD% }. \NAMECITE{Infinitary}{% Back:1981:PTC,% Kumar:1993:IPU% }. \NAMECITE{Infinite}{% Diekert:1994:DAA,% Esparza:1997:DMC,% Kroger:1980:IPR,% Moller:1985:ASI,% Cheng:1998:CFL% }. \NAMECITE{Infinite-State}{% Esparza:1997:DMC% }. \NAMECITE{Inflectional}{% Schott:1972:AAI% }. \NAMECITE{Influence}{% Parent:1977:NIP% }. \NAMECITE{Inform}{% Hehner:1988:EPM% }. \NAMECITE{Informatica}{% Bauer:2003:EWD% }. \NAMECITE{Information}{% Cantor:1986:ITA,% Cremers:1978:OIS,% Falin:1994:ITA,% Montangero:1978:IMC,% Shore:1982:ITA,% Wilhelm:1979:CUD,% Colomb:2001:CTF,% Ehrich:2000:SCD,% Frederiks:2002:DPI,% Krishnaswamy:1995:CCC% }. \NAMECITE{Inherently}{% Book:1976:INA,% Kemp:1980:NDI% }. \NAMECITE{inheritance}{% Costa:1994:OIB% }. \NAMECITE{Inherited}{% Kuhnemann:1994:SIF% }. \NAMECITE{{Inhibition}}{% Walter:1972:I% }. \NAMECITE{{Inhibitionsfelder}}{% Walter:1972:I% }. \NAMECITE{inhibitors}{% Bottoni:2002:MSP% }. \NAMECITE{Initial}{% Kamimura:1985:EGI,% Meinke:1994:RSO,% Merzenich:1979:BOT% }. \NAMECITE{Inner}{% Vasudevan:1982:ILF% }. \NAMECITE{Innermost}{% KrishnaRao:1996:RCI% }. \NAMECITE{Innermost-Confluence}{% KrishnaRao:1996:RCI% }. \NAMECITE{Input}{% Daduna:1981:DTR,% Pfaff:1983:COI,% Wagner:1986:CCP,% Marcus:1992:EOE% }. \NAMECITE{Insertion}{% Anderson:1982:AII,% Ellis:1980:CSI% }. \NAMECITE{Insertion-Only}{% Anderson:1982:AII% }. \NAMECITE{Insertions}{% Baeza-Yates:1989:EBB,% Fischer:1980:ELE% }. \NAMECITE{inspired}{% Csuhaj-Varju:2000:ESL% }. \NAMECITE{Instability}{% Gouda:1990:ISS% }. \NAMECITE{INTEGER}{% Stadel:1981:BVI,% Fenner:1981:ATR,% Rajasekaran:1992:PIS,% Saxena:1996:PIS,% Vaidyanathan:1995:PIS% }. \NAMECITE{INTEGER-Darstellungen}{% Stadel:1981:BVI% }. \NAMECITE{{INTEGER}-Representation}{% Stadel:1981:BVI% }. \NAMECITE{Integrating}{% Ganapathi:1988:ICG% }. \NAMECITE{Integrity}{% Bertino:1988:CSI,% Hulsmann:1991:TFH,% Nicolas:1982:LII% }. \NAMECITE{Intelligent}{% Giloi:1975:IGI% }. \NAMECITE{Intensive}{% Tuzhilin:1996:MDI% }. \NAMECITE{Interacting}{% Newton:1975:PPI% }. \NAMECITE{Interaction}{% Milner:1996:CI% }. \NAMECITE{Interactive}{% Gergely:1982:TIP,% Giloi:1975:IGI,% Landwehr:1976:EPM% }. \NAMECITE{Interconnection}{% Hsu:1995:PTC% }. \NAMECITE{Interdependence}{% Mitrana:1997:IBS% }. \NAMECITE{Interfaces}{% Pfaff:1983:COI% }. \NAMECITE{Interference}{% Murtagh:1987:RPN% }. \NAMECITE{intermittent}{% Cousot:1987:EII% }. \NAMECITE{Internal}{% Mahmoud:1986:AIP% }. \NAMECITE{internet}{% Mahmoud:2004:RSI,% Hui:1997:MCC% }. \NAMECITE{Interpolation}{% Gonnet:1980:ACA,% Horowitz:1974:UVC,% Ouksel:1992:RES% }. \NAMECITE{interpolation-based}{% Ouksel:1992:RES% }. \NAMECITE{Interpretation}{% File:1983:IRA,% LeCharlier:1995:RAI,% Marriott:1993:FAI% }. \NAMECITE{Interpreted}{% Langmaack:1982:TPF% }. \NAMECITE{Interprocedural}{% Reps:1996:SNI% }. \NAMECITE{Interruptions}{% Nicola:1986:SSQ,% Rembowski:1985:PQI% }. \NAMECITE{Intersection}{% Hertel:1984:SSS,% Iliopoulos:1986:MCC% }. \NAMECITE{Intersections}{% Latteux:1979:ILA% }. \NAMECITE{Interval}{% Corradini:2001:CIP% }. \NAMECITE{introduction}{% Middeldorp:2000:TIE% }. \NAMECITE{Invariant}{% Huynh:1982:RCI,% Mili:1985:SIF,% Cousot:1987:EII,% Devillers:1995:IAG% }. \NAMECITE{Invariants}{% Kindler:1995:ICS% }. \NAMECITE{inverse}{% Autebert:1979:OCA% }. \NAMECITE{inverses}{% Autebert:1979:OCA,% Harrison:1992:SFI% }. \NAMECITE{Investigations}{% Diekert:1986:IHG% }. \NAMECITE{Involving}{% Maon:1986:EST% }. \NAMECITE{irregular}{% Grigoriev:2004:PSI% }. \NAMECITE{Iso}{% Guting:1984:ODC% }. \NAMECITE{Iso-Rectangles}{% Guting:1984:ODC% }. \NAMECITE{issues}{% Kourie:1998:LML% }. \NAMECITE{Iterated}{% Asveld:1977:IDS,% Autebert:1989:IGC,% Engelfriet:1988:HLT% }. \NAMECITE{Iteration}{% Alblas:1989:ITP,% Asveld:1979:ELM,% Qian:1991:EPB,% Reutenauer:1980:OLI% }. \NAMECITE{Iterative}{% Blikle:1981:CTI,% Buning:1980:UAI,% Culik:1995:IWF,% Fox:1973:RNM,% Hikita:1979:CRP,% Horwitz:1987:EGI,% Seiferas:1977:IAD,% Iwamoto:2002:QST% }. \NAMECITE{{ITNC}}{% Keesmaat:1997:NBC% }. \NAMECITE{J}{% Habermann:1991:AJP% }. \NAMECITE{{J.}}{% Jacobs:1988:CSS% }. \NAMECITE{Job}{% Iglehart:1979:RSR,% Lauesen:1973:JSG,% Mitrani:1977:CPF,% Munch-Andersen:1977:SAJ,% vanStee:2001:RJC% }. \NAMECITE{Join}{% Buckle:1993:CMJ,% Duda:1987:PEF,% Loizou:1987:LPJ,% Vardi:1983:IMD% }. \NAMECITE{Journeys}{% Koutny:1986:MRP% }. \NAMECITE{Jumping}{% Culik:1973:SJM% }. \NAMECITE{Jumps}{% Ashcroft:1976:RPP,% Clint:1972:PPJ,% Kowaltowski:1977:AAS% }. \NAMECITE{Kernel}{% Maggiolo-Schettini:1996:KLP,% Pratt:1978:PAO% }. \NAMECITE{Kernel-Control}{% Pratt:1978:PAO% }. \NAMECITE{Kernels}{% Nehmer:1975:DPC% }. \NAMECITE{{Kettenbruchentwicklungen}}{% Schonhage:1971:SBK% }. \NAMECITE{Key}{% Huang:1989:SDK,% Spuler:1994:OST% }. \NAMECITE{Keys}{% Finkel:1974:QTD,% Szwarcfiter:1984:OMS% }. \NAMECITE{Kinded}{% Duggan:1996:KTI% }. \NAMECITE{{Klaus}}{% Bauer:1981:KS% }. \NAMECITE{Knapsack}{% Klein:1983:LTB,% Peters:1987:PAS% }. \NAMECITE{{Knuth}}{% Dick:1990:AKB% }. \NAMECITE{{Kolmogorov}}{% Balcazar:1986:SSG% }. \NAMECITE{Komplexit{\"a}t}{% Avenhaus:1978:SKGa,% Avenhaus:1978:SKGb,% Paul:1974:KS% }. \NAMECITE{kontextfreier}{% Hotz:1974:SAK% }. \NAMECITE{kontextsensitiven}{% Stadel:1978:ZNK% }. \NAMECITE{K{\"o}rpern}{% Schonhage:1977:SMP,% Eichner:1973:LRE% }. \NAMECITE{Korth}{% Levene:1991:CNV% }. \NAMECITE{{Kruskal}}{% Intrigila:2000:GHK% }. \NAMECITE{{L}}{% Chakka:2001:MMM% }. \NAMECITE{Label}{% Janssens:1981:CCF% }. \NAMECITE{labeled}{% Ehrenfeucht:1990:CSR% }. \NAMECITE{Labelled}{% Astesiano:2001:LTL% }. \NAMECITE{labels}{% Alhazov:2004:TPL% }. \NAMECITE{{Laguerre}}{% Heise:1976:OCA% }. \NAMECITE{LALR}{% Chapman:1984:LPG,% Harris:1987:SLP,% Morimoto:2001:YAG,% Nakata:1986:GEL% }. \NAMECITE{Landscape}{% Ehrenfeucht:1996:LLE% }. \NAMECITE{Langages}{% Leguy:1982:LSC,% Autebert:1982:FLG,% Autebert:1984:BLA,% Boasson:1973:DFL,% Boasson:1973:FLT,% Latteux:1979:ILA,% Perrot:1977:MSL% }. \NAMECITE{Language}{% Benson:1974:AMT,% Bergstra:1983:SMS,% Berry:1981:RRD,% Damm:1983:SRH,% Habermann:1973:CCP,% He:1983:GPT,% Hehner:1978:RML,% Hennessy:1981:FDR,% Hoare:1973:ADP,% Hoare:1974:ACA,% Hoffmann:1978:DCC,% Lecarme:1975:MCP,% Lehmann:1993:OSL,% London:1978:PRP,% Maggiolo-Schettini:1996:KLP,% Sommerhalder:1983:PLR,% Tennent:1977:LDM,% Wallis:1978:DPP,% Wand:1980:FOI,% Wirth:1971:PLP,% vanWijngaarden:1975:RRA,% vandenBos:1991:PCO,% Autebert:1982:FLG,% Csuhaj-Varju:2000:ESL,% Lauer:1979:CSS% }. \NAMECITE{Languages}{% Anderson:1976:SMP,% Araki:1981:FLE,% Autebert:1984:BLA,% Back:1990:DSL,% Boasson:1973:DFL,% Boasson:1973:FLT,% Book:1979:LAS,% Bucher:1983:TSS,% Deussen:1978:UAG,% Earley:1973:RLD,% Ehrenfeucht:1974:NVH,% Ehrenfeucht:1976:PCL,% Ehrenfeucht:1996:LLE,% Engelfriet:1994:CFG,% Fachini:1992:LAS,% Fulop:1997:MER,% Habel:1989:MDP,% Hoare:1974:CCF,% Iwama:1983:UPU,% Jancar:1996:FAC,% Janssens:1981:CCF,% Keesmaat:1997:NBC,% Kemp:1980:NDI,% Langmaack:1973:CPP,% Latteux:1979:ILA,% Latteux:1985:FOC,% Latteux:1990:CRE,% Lautemann:1990:CGL,% Leguy:1982:LSC,% Levy:1975:ACS,% Manna:1981:PFP,% Maon:1986:EST,% Monien:1977:LPD,% Paredaens:1978:CMF,% Penttonen:1974:DLC,% Perrot:1977:MSL,% Petit:1993:RTL,% Pierre:1989:RIV,% Poetzsch-Heffter:1997:PRP,% Rozenberg:1986:GTC,% Savitch:1973:NMA,% Schuler:1974:WCS,% Yamazaki:1997:HCA,% deLuca:1994:WQO,% Ben-Amram:2000:CCP,% Berstel:2002:FPX,% Best:1998:NAH,% Cheng:1998:CFL,% Fan:1998:WL,% Honkala:1998:DPC,% Honkala:2000:SLB,% Hoogeboom:2000:FSL,% Intrigila:2000:GHK,% Kari:2003:SFO,% Kim:2001:ERA,% Meduna:2003:CES,% Meduna:2003:ECE,% Morvan:2005:FAC,% Shyr:1998:BCS,% Silva:2003:NPP% }. \NAMECITE{{LAR}}{% Kroger:1977:LLA% }. \NAMECITE{Large}{% Bayer:1972:OML,% Fisher:1992:YYP,% Hsu:1995:PTC,% Hulsmann:1991:TFH,% Salzberg:1989:MSR,% Tsuda:1983:TLTa,% Tsuda:1983:TLTb% }. \NAMECITE{Lattice}{% Back:1990:DSL,% Cunningham:1985:RSL,% vonWright:1994:LDR% }. \NAMECITE{Lattices}{% Buckle:1993:CMJ,% Kourie:1998:LML% }. \NAMECITE{Law}{% Bartsch:1978:CLG% }. \NAMECITE{Laws}{% Buzen:1976:FOL,% Morris:1989:LDR,% Mahmoud:2004:LLT% }. \NAMECITE{layer}{% Belaga:1989:TMM% }. \NAMECITE{Layered}{% Bovet:1991:MDS% }. \NAMECITE{Layout}{% Efe:1997:OEV% }. \NAMECITE{Lazy}{% Buchsbaum:1995:LSS% }. \NAMECITE{{LBA}}{% Monien:1977:LPD,% Wotschke:1978:NCC% }. \NAMECITE{{LBA}-Problem}{% Monien:1977:LPD% }. \NAMECITE{{LCS}}{% Kumar:1987:LSA% }. \NAMECITE{Leader}{% Goldreich:1987:ELR% }. \NAMECITE{Leaders}{% Bouge:1988:ESA% }. \NAMECITE{Learning}{% Menzel:1973:ETL,% Ameur:1996:TEN,% Kourie:1998:LML,% Lee:2004:BCS% }. \NAMECITE{Least}{% Hu:1972:LUB% }. \NAMECITE{Left}{% Kempf:1987:TOL,% Langmaack:1971:ARC,% Moll:1980:LCP,% Turnbull:1979:GDL,% Autebert:1979:OCA% }. \NAMECITE{left-inverse}{% Autebert:1979:OCA% }. \NAMECITE{Lemma}{% Reutenauer:1980:OLI,% vanLeeuwen:1979:ULC% }. \NAMECITE{Length}{% Coffman:1976:AMM,% Kirschenhofer:1994:PLR,% Leung:1982:EFL,% Mahmoud:1986:AIP,% Roth:1992:EBP% }. \NAMECITE{Lengths}{% Weber:1992:LVF,% Alfa:1991:AQL% }. \NAMECITE{Letter}{% Broy:2001:ELE,% Maon:1986:EST,% Monien:1977:LPD,% Roth:1992:EBP% }. \NAMECITE{letters}{% Currie:2003:WLW% }. \NAMECITE{Level}{% Earley:1973:RLD,% Engelfriet:1988:HLT,% Lauer:1975:FSC,% Lauer:1977:ACF,% Meersman:1978:TLM,% Purdom:1981:BML,% Wegner:1980:PTL,% Best:1998:NAH% }. \NAMECITE{{Levin}}{% Murtagh:1987:RPN% }. \NAMECITE{{Levin-Gries}}{% Murtagh:1987:RPN% }. \NAMECITE{Lexical}{% Yang:1995:LAP% }. \NAMECITE{lexicographically}{% Kemp:1998:GWL% }. \NAMECITE{Life}{% Geist:1986:RLC% }. \NAMECITE{Life-Critical}{% Geist:1986:RLC% }. \NAMECITE{Lifetime}{% Kastens:1987:LAA% }. \NAMECITE{Like}{% Reutenauer:1980:OLI,% Carpi:2001:PLW,% Langmaack:1982:TPF,% Olderog:1981:SCH% }. \NAMECITE{Limit}{% Mahmoud:2004:LLT% }. \NAMECITE{limited}{% Leung:1998:FAL% }. \NAMECITE{Line}{% Brown:1982:LBL,% Csirik:1989:LAV,% Xu:1992:LMD,% Fiat:1999:LSS,% vanStee:2001:RJC% }. \NAMECITE{lin{\'e}aires}{% Latteux:1980:GAL% }. \NAMECITE{Linear}{% Asveld:1979:ELM,% Ecker:1974:ELA,% Ehrenfeucht:1996:LLE,% Eichner:1974:TLR,% Harrison:1991:ENL,% Kandzia:1973:TPL,% Kumar:1987:LSA,% Latteux:1980:GAL,% Leung:1987:ASA,% Maxson:1978:LRS,% Moore:1981:ADT,% Morito:1980:UBA,% Pettorossi:1982:DVE,% Ruzicka:1989:ALR,% Giannella:2002:APC,% Kim:2001:ERA,% Markey:2004:PFC,% Wedler:1998:LLR% }. \NAMECITE{lineare}{% Eichner:1974:TLR,% Eichner:1973:LRE% }. \NAMECITE{linearen}{% Ecker:1974:ELA,% Kandzia:1973:TPL% }. \NAMECITE{Linearly}{% Eichner:1978:SLRa,% Eichner:1978:SLRb,% Franck:1978:CLP,% Eichner:1973:LRE% }. \NAMECITE{Link}{% Goldreich:1987:ELR% }. \NAMECITE{Linked}{% Tsakalidis:1984:MOG% }. \NAMECITE{List}{% Kingston:1985:ATA,% Sibeyn:1998:LRM,% Topor:1979:CSW,% Tsakalidis:1984:MOG,% deGuzman:1995:FIB,% Lamoureux:2005:DSL,% Wedler:1998:LLR% }. \NAMECITE{List-Arithmetic}{% deGuzman:1995:FIB% }. \NAMECITE{Lists}{% Huddleston:1982:NDS,% Kirschenhofer:1994:PLR,% Moore:1981:ADT,% deGuzman:1995:FIB% }. \NAMECITE{LL}{% Bertsch:1996:OSR,% Fischer:1980:ELE,% Fischer:1992:SFE,% Fisher:1985:PLB,% Russmann:1997:DLP,% Soisalon-Soininen:1979:MTG% }. \NAMECITE{Load}{% Hinz:1992:RTL,% Landwehr:1976:EPM,% Shen:1988:CDD,% Tripathi:1988:LSD% }. \NAMECITE{Loading}{% Parent:1977:NIP% }. \NAMECITE{Local}{% Iglehart:1984:SOA,% Jurgensen:1995:LHD,% Larsen:2001:RBS% }. \NAMECITE{Locality}{% Corradini:1997:LBS,% Kiehn:1994:CLC% }. \NAMECITE{Locally}{% Rozenberg:1973:DSL% }. \NAMECITE{Locations}{% Donahue:1977:LCU% }. \NAMECITE{Locking}{% Kedem:1981:CDG,% Lee:1996:MGL% }. \NAMECITE{Log}{% ONeil:1996:LSM,% Navarro:1993:CRS% }. \NAMECITE{{LOG}-Specifications}{% Navarro:1993:CRS% }. \NAMECITE{Log-Structured}{% ONeil:1996:LSM% }. \NAMECITE{Logic}{% Back:1981:PTC,% Barringer:1984:LCU,% Beauquier:1998:PMC,% Ben-Ari:1983:TLB,% Bergstra:1984:ASP,% Biela:1988:PSA,% Cartwright:1981:LA,% Damm:1983:SRH,% Diaconescu:1996:CBM,% Graf:1986:LSP,% Hennessy:1995:MLM,% Hoogewijs:1987:PPL,% Jones:1994:TLP,% Kroger:1977:LLA,% Lamport:1980:HLC,% Levi:1988:CSL,% Luckham:1977:PTW,% Marque-Pucheu:1983:RST,% Nicolas:1982:LII,% Nishimura:1979:SMP,% Nishimura:1980:DCP,% Queille:1983:FRP,% Tuzhilin:1993:QDP,% Astesiano:2001:LTL,% Cordero:2002:BCS,% Sagiv:1998:LBA,% Torre:2001:TTA,% Ying:2003:RAP% }. \NAMECITE{logic-based}{% Sagiv:1998:LBA% }. \NAMECITE{Logical}{% Nakajima:1980:HPS,% Pfaff:1983:COI,% Stewart:1993:LSC,% Igarashi:1975:APVa% }. \NAMECITE{logics}{% Burrieza:2003:FAT% }. \NAMECITE{Long}{% Schmidt:1987:LUP% }. \NAMECITE{Longest}{% Dewar:1982:SMA,% Pritchard:1981:ALL,% Nakatsu:1982:LCS% }. \NAMECITE{Look}{% Katz:1975:CLT,% Pritchard:1981:ALL,% Yang:1995:LAP% }. \NAMECITE{Look-Ahead}{% Yang:1995:LAP% }. \NAMECITE{Lookahead}{% Ostrand:1981:PRG% }. \NAMECITE{Looks}{% Biela:1996:RSL% }. \NAMECITE{Loop}{% Fenner:1981:ATR% }. \NAMECITE{Loop-free}{% Fenner:1981:ATR% }. \NAMECITE{Loops}{% Kroger:1980:IPR,% Vasudevan:1982:ILF,% Back:1999:RAA% }. \NAMECITE{Losslessness}{% Loizou:1987:LPJ% }. \NAMECITE{{L{\"o}sung}}{% Huwig:1982:MPP% }. \NAMECITE{Lower}{% Alt:1979:LBS,% Berman:1990:PRL,% Brown:1982:LBL,% Dunne:1985:LBM,% Han:1989:TLB,% Klein:1983:LTB,% Kunde:1987:LBS,% Schurfeld:1983:NLB,% Smid:1990:MRT,% Wegener:1980:NLB,% Belaga:1989:TMM,% Srba:2003:SBS,% Yang:2000:CSM% }. \NAMECITE{lower-bounds-to-circuit-size}{% Belaga:1989:TMM% }. \NAMECITE{LR}{% Anderson:1973:ELP,% Backhouse:1976:AAI,% Heilbrunner:1985:TPC,% Heilbrunner:1996:DCC,% Kemp:1981:LGG,% Lee:1994:BLC,% Pager:1977:PGM,% Purdom:1980:SRL,% Purdom:1981:PEL,% Tokuda:1981:EUR,% Aycock:2001:EFG,% Agrawal:1983:EIL,% Celentano:1978:ILP,% LaLonde:1979:CLP,% Madsen:1976:LPE,% Pager:1978:EUP,% Pohlmann:1983:LPA% }. \NAMECITE{{{LR}}-Parsing}{% Madsen:1976:LPE% }. \NAMECITE{{LSM}}{% ONeil:1996:LSM% }. \NAMECITE{{LSM}-Tree}{% ONeil:1996:LSM% }. \NAMECITE{{Lucid}}{% Hoffmann:1980:SPL% }. \NAMECITE{M}{% Alfa:1991:AQL,% El-Affendi:1983:MEA,% Falin:1994:ITA,% Shore:1982:ITA,% Bartsch:1978:CLG% }. \NAMECITE{{M.}}{% Ashcroft:1976:RPP% }. \NAMECITE{{M/G/1}}{% El-Affendi:1983:MEA,% Falin:1994:ITA,% Shore:1982:ITA% }. \NAMECITE{Machine}{% Adiri:1989:SMF,% Benson:1974:AMT,% Carter:1982:FAC,% Hehner:1978:RML,% Lee:1992:SMF,% Sanlaville:1998:MSA,% Schnorr:1976:NCT,% Woeginger:1994:HPM,% Belaga:1989:TMM,% Cheng:2000:SMS,% Fiat:1999:LSS,% Jiang:2005:POA,% Kourie:1998:LML,% Lee:2004:BCS% }. \NAMECITE{Machines}{% Book:1979:LAS,% Culik:1973:SJM,% Iwata:1993:RAS,% Kaufholz:1974:VM,% Klein:1983:LTB,% Mehlhorn:1984:RDS,% Peng:1992:ACC,% Reusch:1986:MCI,% Slobodova:1992:CAM,% Ben-Amram:2003:EDO,% He:2004:OAS,% vanStee:2001:RJC% }. \NAMECITE{Macro}{% Asveld:1979:ELM,% Engelfriet:2003:CPT% }. \NAMECITE{Main}{% Salzberg:1989:MSR,% Warren:1978:SMS% }. \NAMECITE{maintainable}{% Chan:1988:GDS% }. \NAMECITE{Maintaining}{% Kim:2004:MMT,% Overmars:1990:MRT,% Smid:1990:MRT,% Tsakalidis:1984:MOG% }. \NAMECITE{Maintenance}{% Bayer:1972:OML,% Bayer:1972:SBB,% Lee:1992:SMF% }. \NAMECITE{Management}{% Bayer:1984:DMS,% Bertino:1988:CSI,% Bouchet:1979:PRS,% Gelenbe:1974:AAG,% Khoshnevisan:1990:EMT,% Mikou:1979:AOP,% Montangero:1978:IMC% }. \NAMECITE{Many}{% Nakajima:1980:HPS,% Yen:1991:PSM% }. \NAMECITE{Many-sorted}{% Nakajima:1980:HPS% }. \NAMECITE{Map}{% Mongenet:1994:GTM% }. \NAMECITE{Mapping}{% Lee:1996:MGL% }. \NAMECITE{Marking}{% Gries:1979:SWG,% Topor:1979:CSW% }. \NAMECITE{{Markov}}{% Chakka:2001:MMM,% Heidelberger:1980:VRT,% Rego:1992:NAH% }. \NAMECITE{Marktoberdorf}{% Bauer:2003:EWD% }. \NAMECITE{{Martin}}{% Bijlsma:1986:EGM% }. \NAMECITE{{Maschinen}}{% Kaufholz:1974:VM% }. \NAMECITE{Matching}{% Culik:1989:HMC,% Heilbrunner:1987:UUM,% Rhee:1995:FMM,% Simon:1983:PMT% }. \NAMECITE{Matchings}{% Lipski:1981:EAF% }. \NAMECITE{Mathematical}{% Dijkstra:1980:SBA,% Franta:1976:MAC% }. \NAMECITE{Matrices}{% Wu:1994:CMA,% Deineko:1996:RPS% }. \NAMECITE{Matrix}{% Adleman:1978:ITS,% Hauschildt:1994:PNA,% MacVeigh:1977:EDR% }. \NAMECITE{matter}{% Ben-Amram:2000:CCP% }. \NAMECITE{Max}{% Horibe:1979:MER,% Ding:1993:RMM,% Epstein:2004:ASM% }. \NAMECITE{Max-Entropy}{% Horibe:1979:MER% }. \NAMECITE{Maximal}{% Aref:1993:DWM,% Galil:1980:AMF,% Tamminen:1986:CMS,% Proietti:1999:OAD% }. \NAMECITE{Maximizing}{% Coffman:1978:PMN% }. \NAMECITE{Maximum}{% El-Affendi:1983:MEA,% Kouvatsos:1986:MEG,% Kouvatsos:1988:MET,% Kouvatsos:1989:EMEa,% Kouvatsos:1989:EMEb,% Kouvatsos:1989:MEP,% Lipski:1981:EAF,% Rhee:1995:FMM,% Alfa:1991:AQL% }. \NAMECITE{{Mealy}}{% Buning:1980:UAI% }. \NAMECITE{Mean}{% Blazewicz:1987:MMF,% Coffman:1976:AMM,% Rangarajan:1997:SMT% }. \NAMECITE{mean-time}{% Rangarajan:1997:SMT% }. \NAMECITE{meanings}{% Kobuchi:2000:SAT% }. \NAMECITE{Measure}{% Guting:1984:ODC% }. \NAMECITE{Measures}{% Eiter:1997:DMP,% Paredaens:1978:CMF,% Suzuki:1983:TMS,% Simovici:2002:IMD,% Wright:1985:SAP% }. \NAMECITE{Mechanical}{% Huang:1989:IMD,% Shostak:1977:RUM% }. \NAMECITE{Mechanism}{% Lewi:1978:EPG,% Colomb:2001:CTF% }. \NAMECITE{Median}{% Claus:1973:MAP% }. \NAMECITE{Meet}{% Buckle:1993:CMJ% }. \NAMECITE{{Mellin}}{% Flajolet:1994:MTA% }. \NAMECITE{Membrane}{% Bottoni:2002:MSP% }. \NAMECITE{membranes}{% Alhazov:2004:TPL% }. \NAMECITE{Memo}{% Khoshnevisan:1990:EMT% }. \NAMECITE{Memo-Table}{% Khoshnevisan:1990:EMT% }. \NAMECITE{{M}{\'e}moire}{% Gelenbe:1974:AAG% }. \NAMECITE{memoriam}{% Bauer:1989:MAP% }. \NAMECITE{Memories}{% Coffman:1971:PPE,% Mehlhorn:1984:RDS% }. \NAMECITE{Memory}{% Berry:1985:DSS,% Brandwajn:1974:MTS,% Brandwajn:1976:MVM,% Bromley:1980:MFB,% Dolev:1999:MRS,% Ehrenfeucht:1988:RUM,% Ershov:1976:AMA,% Gelenbe:1974:AAG,% Hac:1993:PRI,% Overmars:1990:MRT,% Salzberg:1989:MSR,% Smid:1990:MRT,% Taubenfeld:1996:PIR,% Wright:1981:BST% }. \NAMECITE{Merge}{% ONeil:1996:LSM,% Schlumberger:1973:ODM% }. \NAMECITE{Merge-Tree}{% ONeil:1996:LSM% }. \NAMECITE{Mergeable}{% Galil:1980:AEM,% Ding:1993:RMM% }. \NAMECITE{Mergesort}{% Flajolet:1994:MTA,% Hwang:1998:AEM,% Moffat:1998:TBM% }. \NAMECITE{Merging}{% Berzins:1986:MSE,% Hwang:1971:OME,% Sack:1985:AMH,% Salzberg:1989:MSR% }. \NAMECITE{{Merlin}}{% Koutny:1986:MRP% }. \NAMECITE{{Merlin-Randell}}{% Koutny:1986:MRP% }. \NAMECITE{Mesh}{% Han:1989:TLB,% Kunde:1987:LBS% }. \NAMECITE{Mesh-Connected}{% Han:1989:TLB,% Kunde:1987:LBS% }. \NAMECITE{meshes}{% Sibeyn:1998:LRM% }. \NAMECITE{Message}{% Anonymous:2003:MP,% Anonymous:2003:MPP,% Cau:1996:PCA,% Hennessy:1995:MLM% }. \NAMECITE{Meta}{% Meersman:1978:TLM% }. \NAMECITE{Meta-Controlled}{% Meersman:1978:TLM% }. \NAMECITE{Metalanguage}{% Anderson:1976:SMP% }. \NAMECITE{Metalgorithm}{% Rice:1975:PAA% }. \NAMECITE{Metatheorems}{% Habel:1989:MDP% }. \NAMECITE{Method}{% Babich:1978:MADa,% Babich:1978:MADb,% Chin:1995:TMD,% Francez:1978:PMC,% Navarro:1993:CRS,% Nishimura:1979:SMP,% Pager:1977:PGM,% Soisalon-Soininen:1979:MTG,% Szelepcsenyi:1988:MFE% }. \NAMECITE{Methodology}{% Hehner:1986:PM,% Hehner:1988:EPM% }. \NAMECITE{Methods}{% Berry:1981:RRD,% Brandwajn:1974:MTS,% Bromley:1980:MFB,% Monien:1976:TMT,% Monien:1977:CTM,% Rohrich:1980:MAC,% Tennent:1977:LDM,% Cousot:1987:EII% }. \NAMECITE{Metric}{% Baier:1997:MSP,% deBakker:1987:OMS,% Ramon:2001:PTC% }. \NAMECITE{microprocessors}{% Harman:1996:AMM% }. \NAMECITE{min}{% Ding:1993:RMM,% Epstein:2004:ASM% }. \NAMECITE{min-max}{% Ding:1993:RMM,% Epstein:2004:ASM% }. \NAMECITE{mincing}{% Belaga:1989:TMM% }. \NAMECITE{Minimal}{% Forst:2000:MHT,% Fulop:1997:MER,% Hui:1997:MCC,% Paul:1975:BMU,% Reusch:1986:MCI,% Yang:2000:CSM,% Ehrich:1973:MMV% }. \NAMECITE{{Minimale}}{% Ehrich:1973:MMV% }. \NAMECITE{Minimally}{% Makinen:2002:MAT% }. \NAMECITE{Minimalpolynome}{% Paul:1975:BMU% }. \NAMECITE{Minimizing}{% Blazewicz:1987:MMF,% Coffman:1976:AMM,% VandenBussche:1993:MDC,% Yu:1990:MTS,% Fiat:1999:LSS% }. \NAMECITE{Minimum}{% Bovet:1991:MDS,% Katajainen:1994:SMS,% Liang:1997:MFV,% Mannila:1983:RMO,% Tokuda:1981:EUR,% Shen:1999:FKM% }. \NAMECITE{Minimum-Delay}{% Bovet:1991:MDS% }. \NAMECITE{misconceptions}{% Bijlsma:1998:DSP% }. \NAMECITE{mittlere}{% Claus:1973:MAP% }. \NAMECITE{Mixed}{% Bulyonkov:1984:PMC,% Nicola:1986:SSQ,% Sanders:1998:DRM% }. \NAMECITE{{MIZAR}}{% Rudnicki:1985:PPP,% Rudnicki:1986:PPP% }. \NAMECITE{{MM}}{% Chakka:2001:MMM% }. \NAMECITE{mobile}{% Degano:1999:CDM,% Kim:2004:MMT% }. \NAMECITE{Modal}{% Hennessy:1995:MLM,% Burrieza:2003:FAT% }. \NAMECITE{Model}{% Adams:1979:EVM,% Beauquier:1998:PMC,% Bergstra:1983:SMS,% Best:1981:FMA,% Betteridge:1974:ASA,% Brandwajn:1974:MTS,% Brandwajn:1976:MVM,% Calzarossa:1986:WMR,% Caspi:1986:FMD,% Cleaveland:1990:TBM,% Courtois:1976:DMP,% Du:1992:MFA,% Esparza:1997:DMC,% Giammo:1976:VCP,% Halbwachs:1992:EPR,% Huwig:1982:MPP,% Krzesinski:1978:MNM,% Kuhnemann:1994:SIF,% Landwehr:1976:EPM,% Langenhop:1989:MDB,% Marlowe:1990:PDF,% Schuler:1974:WCS,% Shapiro:1997:GDM,% Turski:1971:MDS,% Turski:1972:MDS,% Biskup:2003:AID% }. \NAMECITE{Modeled}{% Franta:1976:MAC% }. \NAMECITE{Modeling}{% Baeza-Yates:1989:MSF,% Tuzhilin:1996:MDI,% terHofstede:1997:ACF% }. \NAMECITE{Modell}{% Huwig:1982:MPP% }. \NAMECITE{Modelling}{% Doberkat:2003:PMS,% Janicki:1997:FMC,% Welch:1976:SCM% }. \NAMECITE{Models}{% Gaver:1976:MMM,% Gelenbe:1976:PMC,% Huang:1989:AMP,% Manna:1993:MR,% Moller:1985:ASI,% Rego:1989:SEC,% Saxena:1996:PIS,% Tomaras:1991:MHD,% Barbuti:1997:ACM,% Frederiks:2002:DPI,% Gelenbe:1979:PMC,% Harman:1996:AMM,% Mahmoud:2002:SRB,% Mahmoud:2004:RSI,% Mahmoud:2004:SRB,% Nipkow:1986:NDD% }. \NAMECITE{Modes}{% Lao:1987:CBC% }. \NAMECITE{Modifiable}{% Kessels:1982:ACM% }. \NAMECITE{Modifications}{% Reps:1988:IEA% }. \NAMECITE{Modified}{% Dewar:1982:SMA% }. \NAMECITE{Modular}{% Bidoit:1998:MCP,% Halbwachs:1992:EPR,% Vogler:1989:FSD% }. \NAMECITE{Modularisation}{% Diaconescu:1996:CBM% }. \NAMECITE{Modularity}{% Kastens:1994:MRA,% Rabinovich:1998:MEN% }. \NAMECITE{modulated}{% Chakka:2001:MMM% }. \NAMECITE{modules}{% Duggan:2005:TBH% }. \NAMECITE{Monadic}{% Gonczarowski:1985:DPM% }. \NAMECITE{{Monge}}{% Deineko:1996:RPS% }. \NAMECITE{Monitoring}{% Hulsmann:1991:TFH% }. \NAMECITE{Monitors}{% Schmid:1976:EIC% }. \NAMECITE{Monoid}{% Hakala:1997:SWE,% Otto:1986:DWM% }. \NAMECITE{Mono{\"\i}des}{% Perrot:1977:MSL% }. \NAMECITE{Monoids}{% Meduna:1990:CFD,% Meduna:1996:SCC,% Perrot:1977:MSL% }. \NAMECITE{Monotone}{% Beynon:1985:RCE,% Bublitz:1986:DGM,% Dunne:1985:LBM,% Kam:1977:MDF,% Wegener:1980:NLB,% BarYehuda:1998:PSF,% Commentz-Walter:1979:SDT,% Commentz-Walter:1980:SDT% }. \NAMECITE{Monotonic}{% Breitbart:1975:BBA% }. \NAMECITE{{Monte}}{% Iliopoulos:1986:MCC% }. \NAMECITE{Morphemes}{% Schott:1972:AAI% }. \NAMECITE{Morphic}{% Neraud:1995:DMI% }. \NAMECITE{Morphisms}{% Maon:1986:EST,% Reichardt:1986:DGG,% Dassow:2001:TSM% }. \NAMECITE{most}{% Shen:1999:FKM% }. \NAMECITE{Motion}{% Sutner:1988:MPA% }. \NAMECITE{{Motzkins}}{% Vajnovszki:2002:GVM% }. \NAMECITE{Movement}{% Reps:1988:IEA% }. \NAMECITE{MR}{% Hehner:1988:EPM% }. \NAMECITE{{MRE}}{% Tomaras:1991:MHD% }. \NAMECITE{Multi}{% Hayes:1992:MRZ,% Kameda:1983:NMQ,% Lee:1996:MGL,% Nutt:1976:SRA,% Overmars:1982:DMD,% Purdom:1981:BML,% Spirn:1976:MQS,% Chakka:2001:MMM% }. \NAMECITE{Multi-Dimensional}{% Overmars:1982:DMD% }. \NAMECITE{Multi-Granularity}{% Lee:1996:MGL% }. \NAMECITE{Multi-Level}{% Purdom:1981:BML% }. \NAMECITE{Multi-Queue}{% Spirn:1976:MQS,% Kameda:1983:NMQ% }. \NAMECITE{Multi-relations}{% Hayes:1992:MRZ% }. \NAMECITE{multi-server}{% Chakka:2001:MMM% }. \NAMECITE{multi-sets}{% Hayes:1992:MRZ% }. \NAMECITE{multicast}{% Layuan:2003:DQA% }. \NAMECITE{Multiclass}{% Krzesinski:1978:MNM,% Ruhl:1994:BRT% }. \NAMECITE{Multiconnection}{% Ronse:1983:TSC% }. \NAMECITE{Multidimensional}{% Lee:1978:WCA% }. \NAMECITE{Multihead}{% Hromkovic:1983:OWM,% Hromkovic:1985:FTW,% Miyano:1982:HTM,% Savitch:1973:NMA% }. \NAMECITE{Multipass}{% Khabbaz:1974:MPA% }. \NAMECITE{Multiple}{% Bird:1984:UCP,% Chen:1995:CRM,% Cohen:1979:MPS,% Du:1992:MFA,% Iglehart:1979:RSR,% Kouvatsos:1988:MET,% Takeichi:1987:PPE,% Kouvatsos:1989:EMEa,% Kouvatsos:1989:EMEb% }. \NAMECITE{Multiplication}{% Adleman:1978:ITS,% Cantor:1991:FMP,% Cohen:1976:ISF,% Schonhage:1977:SMP% }. \NAMECITE{Multiplier}{% Becker:1987:ETO% }. \NAMECITE{Multiplikation}{% Schonhage:1977:SMP% }. \NAMECITE{Multiplikations}{% Fox:1973:RNM% }. \NAMECITE{Multiprocessing}{% Baccelli:1982:PAE% }. \NAMECITE{Multiprocessor}{% Bruno:1997:OFT,% Liu:1978:PAM,% Turski:1990:SMC% }. \NAMECITE{Multiprogrammed}{% Kameda:1977:FCR% }. \NAMECITE{Multiprogramming}{% Denning:1976:OM,% Gaver:1976:MMM% }. \NAMECITE{Multisets}{% Katajainen:1994:SMS% }. \NAMECITE{Multitape}{% Culik:1989:HMC% }. \NAMECITE{Multitype}{% Gaver:1976:MMM% }. \NAMECITE{Multivalued}{% Biskup:1978:CRM,% Vardi:1983:IMD,% Chaudhuri:2000:OWA% }. \NAMECITE{Multiversion}{% Xu:1992:LMD% }. \NAMECITE{Multiway}{% Baeza-Yates:1992:UMT,% Cunto:1988:TUM,% Szwarcfiter:1984:OMS,% Vaishnavi:1980:OMS% }. \NAMECITE{Multiwriter}{% Haldar:1996:SEW% }. \NAMECITE{Mutual}{% Anderson:1993:FGS% }. \NAMECITE{Mutually}{% Culik:1993:SMR% }. \NAMECITE{{N}}{% Kouvatsos:1986:MEG% }. \NAMECITE{Naive}{% Rego:1992:NAH% }. \NAMECITE{Name}{% Kastens:1991:ADT% }. \NAMECITE{natural}{% Engelfriet:2004:NNS% }. \NAMECITE{Nature}{% Reps:1996:SNI% }. \NAMECITE{Near}{% Allen:1982:CON% }. \NAMECITE{Near-Optimal}{% Allen:1982:CON% }. \NAMECITE{Nearest}{% Hinrichs:1992:ARS,% Tsakalidis:1988:NCA% }. \NAMECITE{Nearest-Neighbor}{% Hinrichs:1992:ARS% }. \NAMECITE{Nearly}{% Akdag:1983:PAC,% Mehlhorn:1975:NOB,% Paterson:1986:NOH% }. \NAMECITE{Necessary}{% Kfoury:1985:NSC,% Schmitt:1983:NRO% }. \NAMECITE{Needed}{% Kemp:1979:ANR,% Mescheder:1980:NAO% }. \NAMECITE{Negation}{% Drabent:1995:WFA% }. \NAMECITE{negative}{% Chakka:2001:MMM,% Marcus:1992:EOE% }. \NAMECITE{Neighbor}{% Hinrichs:1992:ARS% }. \NAMECITE{Nested}{% Hernandez:1993:ENR,% Knuth:1990:NS,% Kratochvil:1993:SCN,% Lee:1996:MGL,% Levene:1991:CNV,% Roth:1989:NVN,% Ouksel:1992:RES,% Roth:1991:ANV% }. \NAMECITE{Net}{% Degano:1996:AAN,% Hauschildt:1994:PNA,% Keesmaat:1997:NBC,% Khomenko:2003:CPP% }. \NAMECITE{Net-Based}{% Keesmaat:1997:NBC% }. \NAMECITE{Nets}{% Badouel:1995:TNP,% Bause:1996:APN,% Bernardeschi:1995:PNS,% Best:1991:CBP,% Cherkasova:1995:BSS,% Desel:1996:SPP,% Engelfriet:1991:BPP,% Gold:1995:CDS,% Montanari:1995:CN,% Simon:1983:PMT,% Sloan:1996:RRT,% Suzuki:1983:TMS,% Taubner:1990:RCP,% Valk:1985:RVS,% Vogler:1989:FSD,% Best:1998:NAH,% Best:2001:RPN,% Finkel:1988:FNO,% Rabinovich:1998:MEN,% Schmidt:2000:HCS,% Yen:1998:PCF% }. \NAMECITE{Network}{% Anderaa:1981:EHN,% Banatre:1983:NDW,% Cohen:1979:MPS,% Dunne:1985:LBM,% Gelenbe:1976:BSQ,% Giammo:1976:VCP,% Kaufholz:1974:VM,% Krzesinski:1978:MNM,% Paterson:1986:NOH,% Schnorr:1976:NCT,% Sen:1989:SOF,% Tomaras:1991:MHD,% Wegener:1980:NLB,% Lenfant:1985:PDO% }. \NAMECITE{Networks}{% Akyildiz:1989:CAN,% Bernabeu-Auban:1991:RFS,% Bernardeschi:1995:PNS,% Blum:1984:CAO,% Bouge:1988:ESA,% Bovet:1991:MDS,% Castellanos:2003:NEP,% Fayolle:1974:SPB,% Halbwachs:1992:EPR,% Iglehart:1979:RSR,% Iglehart:1981:RSR,% Iglehart:1984:SOA,% Labetoulle:1976:SQN,% Ronse:1983:TSC,% Csuhaj-Varju:2005:HNE,% Dolev:2004:SSG% }. \NAMECITE{Nicely}{% Chiba:1985:DPG,% Supowit:1983:CDT,% Akkerman:2004:CDT% }. \NAMECITE{Nico}{% Scott:1994:H% }. \NAMECITE{{NLC}}{% Rozenberg:1986:GTC,% Yamazaki:1997:HCA% }. \NAMECITE{no}{% Hehner:1988:EPM% }. \NAMECITE{Node}{% Janssens:1981:CCF,% Nahapetian:1973:NFG% }. \NAMECITE{Nodes}{% Yamazaki:1997:HCA,% Mahmoud:2004:LLT% }. \NAMECITE{Non}{% Commentz-Walter:1980:SDT,% DeFrancesco:1994:PFC,% Harrison:1991:ENL,% Hartmanis:1972:NDS,% Hoffmann:1978:DCC,% Murtagh:1987:RPN,% Nipkow:1986:NDD,% Tomita:1995:EEP,% Chakaravarthy:2002:NAP,% Currie:2003:WLW,% Rosenberg:1986:FAE,% Scott:2004:RND,% Walther:2004:PRE% }. \NAMECITE{non-approximability}{% Chakaravarthy:2002:NAP% }. \NAMECITE{Non-Determinancy}{% Hartmanis:1972:NDS% }. \NAMECITE{non-determinism}{% Scott:2004:RND% }. \NAMECITE{Non-deterministic}{% Nipkow:1986:NDD% }. \NAMECITE{Non-Interference}{% Murtagh:1987:RPN% }. \NAMECITE{Non-Linear}{% Harrison:1991:ENL% }. \NAMECITE{Non-monotone}{% Commentz-Walter:1980:SDT% }. \NAMECITE{Non-Procedural}{% Hoffmann:1978:DCC% }. \NAMECITE{Non-Real-Time}{% Tomita:1995:EEP% }. \NAMECITE{non-repetitive}{% Currie:2003:WLW% }. \NAMECITE{Non-Standard}{% DeFrancesco:1994:PFC% }. \NAMECITE{Non-Stationary}{% Rosenberg:1986:FAE% }. \NAMECITE{non-stationnaires}{% Rosenberg:1986:FAE% }. \NAMECITE{non-uniform}{% Walther:2004:PRE% }. \NAMECITE{Nondeterminism}{% Berry:1985:DSS,% Kintala:1980:ANF,% Kumar:1993:IPU,% Paul:1980:AIG,% Fokkink:2003:SOS,% Leung:1998:FAL% }. \NAMECITE{Nondeterministic}{% Back:1981:PTC,% Hromkovic:1985:FTW,% Iwata:1993:RAS,% Szelepcsenyi:1988:MFE,% Konikowska:1999:RFO,% Ranjan:2000:DSO,% Nielsen:1974:NHCb% }. \NAMECITE{Nonfinite}{% Esik:1998:NAE% }. \NAMECITE{Nonlinear}{% Gimpel:1975:NPT% }. \NAMECITE{Nonplanar}{% Book:1976:INA% }. \NAMECITE{{Nonstandard}}{% Belaga:1989:TMM% }. \NAMECITE{Nonterminal}{% Yamazaki:1997:HCA% }. \NAMECITE{Nonterminals}{% Ehrenfeucht:1974:NVH,% Nielsen:1974:NHCa,% Nielsen:1974:NHCb% }. \NAMECITE{{NOR}}{% Blum:1984:CAO% }. \NAMECITE{Normal}{% Cremers:1973:NFC,% Hoare:1993:NFA,% Nijholt:1980:SNF,% Liu:2002:CDP,% Madhu:2002:GNF% }. \NAMECITE{Normalisierungsproblems}{% Stadel:1978:ZNK% }. \NAMECITE{Normalization}{% Stadel:1978:ZNK% }. \NAMECITE{normed}{% Cerna:1999:CEN% }. \NAMECITE{Note}{% Kameda:1983:NMQ,% Kemp:1980:NDI,% Lau:1989:NSC,% Parent:1977:NIP,% Savitch:1973:NMA,% Schuler:1975:NDC,% Wotschke:1978:NCC,% Silva:2003:NPP% }. \NAMECITE{Notions}{% Budd:1982:TNC,% Ehrenfeucht:1990:PSSa,% vanGlabbeek:2001:RAE% }. \NAMECITE{Nouns}{% Schott:1972:AAI% }. \NAMECITE{Novel}{% Sur:1995:IGN% }. \NAMECITE{{NP}}{% Chung:1985:CPS,% Goodman:1983:NCP,% Helman:1989:FNC,% Krivanek:1986:NHP% }. \NAMECITE{{NP}-Complete}{% Helman:1989:FNC,% Goodman:1983:NCP% }. \NAMECITE{{NP}-Hard}{% Krivanek:1986:NHP% }. \NAMECITE{Null}{% Levene:1991:CNV,% Roth:1989:NVN,% Roth:1991:ANV% }. \NAMECITE{nulled}{% Scott:2004:RND% }. \NAMECITE{Number}{% Coffman:1978:PMN,% Fox:1973:RNM,% Hromkovic:1985:FTW,% Kemp:1979:ANR,% Mescheder:1980:NAO,% Schmitt:1983:NRO,% Yamazaki:1997:HCA% }. \NAMECITE{Numbers}{% Monien:1985:RNA,% Whaley:1991:PTE,% Blondel:1998:SNP% }. \NAMECITE{Numerical}{% Staphylopatis:1982:PCP% }. \NAMECITE{Object}{% Costa:1994:OIB,% Duggan:2002:OTCb,% Leavens:1995:SVO,% vandenBos:1991:PCO,% Biskup:2003:AID,% Frederiks:2002:DPI,% Locuratolo:1998:CCS,% Sernadas:1998:DSO% }. \NAMECITE{Object-Oriented}{% Leavens:1995:SVO,% vandenBos:1991:PCO,% Biskup:2003:AID,% Frederiks:2002:DPI% }. \NAMECITE{Objects}{% Moller:1985:ASI,% Bacchelli:2004:EGC% }. \NAMECITE{{OBSCURE}}{% Lehmann:1993:OSL% }. \NAMECITE{Observation}{% Bertsch:1996:OSR% }. \NAMECITE{Observational}{% Hennicker:1991:OIA% }. \NAMECITE{Obstacles}{% Sutner:1988:MPA% }. \NAMECITE{Obtain}{% Breitbart:1975:BBA% }. \NAMECITE{{od}}{% Hehner:1979:DCO% }. \NAMECITE{off}{% Commentz-Walter:1979:SDT% }. \NAMECITE{Offs}{% Paul:1978:TST% }. \NAMECITE{{Ogden}}{% Reutenauer:1980:OLI% }. \NAMECITE{{Ogden}-Like}{% Reutenauer:1980:OLI% }. \NAMECITE{{OL}}{% Hule:1978:GOF,% Nielsen:1974:NHCa,% Nielsen:1974:NHCb