%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@suncore.math.utah.edu on Tue Oct 31 15:34:02 MST 2000 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1}~\cite{#2}} \fi \NAMECITE{\#{P}}{% Toda:1992:PTT% }. \NAMECITE{\#{PH}}{% Toda:1992:PTT% }. \NAMECITE{$(n-2)$}{% Bonizzoni:1994:PSP% }. \NAMECITE{$(p,q)$}{% Wen:1992:SSP% }. \NAMECITE{$(x_i+y_j)$}{% Lambert:1992:SSX% }. \NAMECITE{$*$}{% Dam:1994:CEF% }. \NAMECITE{$0$}{% Harrison:1994:MCD,% Honkala:1993:DSI,% Honkala:1994:GDS% }. \NAMECITE{$1$}{% Arques:1993:CCP,% Homer:1993:TTH,% Inoue:1994:IAT,% Jiang:1990:CAO,% Robson:1992:MLG,% Toda:1992:PTT% }. \NAMECITE{$12$}{% Chaunier:1994:NPI% }. \NAMECITE{$2$}{% Aslam:1993:LAC,% Bonizzoni:1994:PSP,% Deutz:1994:CRS,% Ehrenfeucht:1990:PH,% Ehrenfeucht:1990:TCB,% Ehrenfeucht:1990:TIR,% Ehrenfeucht:1992:A,% Ehrenfeucht:1994:SGT,% Ibarra:1993:SFA,% Weihrauch:1991:TCC% }. \NAMECITE{$2\times2$}{% Halpenny:1992:CMS% }. \NAMECITE{$3$}{% Chrobak:1992:HTS% }. \NAMECITE{$A^2 CCS$}{% Gorrieri:1990:AA% }. \NAMECITE{$AC^{0}$}{% Tarui:1993:PPF% }. \NAMECITE{$\alpha_0$}{% Esik:1991:RHR,% Gecseg:1991:ASS% }. \NAMECITE{$B$}{% Trigg:1994:CAU% }. \NAMECITE{$C$}{% Bellia:1993:EVF% }. \NAMECITE{$CCS$}{% Gorrieri:1990:AA% }. \NAMECITE{$\Delta_2^P$}{% Miyano:1991:DSS% }. \NAMECITE{$F$}{% David:1994:IFS,% Yokouchi:1994:STA% }. \NAMECITE{$H_2$}{% Baratchart:1992:RAP% }. \NAMECITE{$h_m$}{% Remila:1994:LAT% }. \NAMECITE{$\hbox{co-NL}_e$}{% Krause:1991:SET% }. \NAMECITE{$\hbox{NL}_e$}{% Krause:1991:SET% }. \NAMECITE{$\infty$}{% Hamaguchi:1992:RTL% }. \NAMECITE{$k$}{% Allouche:1992:RKS,% Buning:1993:GHF,% Clausen:1991:ZIK,% Drewes:1993:RCH,% Ehrenfeucht:1994:SGT,% Kim:1993:SSE% }. \NAMECITE{$K$}{% Melancon:1993:CBS% }. \NAMECITE{$L_e$}{% Krause:1991:SET% }. \NAMECITE{$\lambda$}{% Forster:1993:SCW,% Gallier:1993:CLP,% Jacopini:1993:GRF,% Krivine:1994:GST,% Longo:1993:GTP,% Nielson:1990:FCM,% Pfenning:1991:MPC,% Plotkin:1993:STO,% Wolfram:1994:SP% }. \NAMECITE{$\lfloor N + V_k, V_l\rfloor$}{% Villemaire:1992:TU% }. \NAMECITE{$\mu$}{% Dam:1994:CEF% }. \NAMECITE{$N$}{% Dowling:1990:FPL,% Ito:1992:LWN,% Wegener:1993:BHS% }. \NAMECITE{$N^k$}{% Peladeau:1992:LDS% }. \NAMECITE{$\not=$}{% Michaux:1994:PNN% }. \NAMECITE{$n \times n$}{% Iwata:1994:OGB% }. \NAMECITE{$\nu$}{% Winskel:1991:NMC% }. \NAMECITE{$\nu_1$}{% Gecseg:1991:ASS% }. \NAMECITE{$O(n^2)$}{% Lambert:1992:SSX% }. \NAMECITE{$\omega$}{% Engelfriet:1993:AW% }. \NAMECITE{$p$}{% Shore:1992:PDR,% Shore:1992:PRS,% Wang:1991:PCS,% Watanabe:1991:PC% }. \NAMECITE{$P^1_1$}{% Valiev:1993:USP% }. \NAMECITE{$P_e$}{% Krause:1991:SET% }. \NAMECITE{$\pi$}{% Bellin:1994:CLL% }. \NAMECITE{$\Pi^P_2$}{% Eiter:1993:PCEa,% Eiter:1993:PCEb% }. \NAMECITE{$\Pi_2$}{% Aoki:1994:THD% }. \NAMECITE{$q$}{% Decoste:1993:SIS,% Lehr:1993:SRM,% Ukkonen:1992:ASM% }. \NAMECITE{$R$}{% Michaux:1994:PNN% }. \NAMECITE{$s-1-1$}{% Marcoux:1993:CAQ% }. \NAMECITE{$\Sigma^p_2$}{% Huynh:1994:DBN% }. \NAMECITE{$T$}{% Aoki:1994:THD,% Ehrenfeucht:1993:SFT,% Shore:1992:PDR,% Shore:1992:PRS% }. \NAMECITE{$\uparrow$}{% Anselmo:1993:OFP% }. \NAMECITE{$v_n$}{% Remila:1994:LAT% }. \NAMECITE{$X$}{% Engelfriet:1993:AW% }. \NAMECITE{$x^m y^n=z^p$}{% Neraud:1992:SMI% }. \NAMECITE{$z$}{% Madonia:1993:GSP% }. \NAMECITE{*}{% Anselmo:1991:ZPS% }. \NAMECITE{-}{% Gecseg:1991:ASS,% Shore:1992:PDR,% Shore:1992:PRS% }. \NAMECITE{{}-automata}{% Engelfriet:1993:AW% }. \NAMECITE{-automatic}{% Lehr:1993:SRM% }. \NAMECITE{-calculi}{% Gallier:1993:CLP% }. \NAMECITE{-calculus}{% Bellin:1994:CLL,% Dam:1994:CEF,% Forster:1993:SCW,% Jacopini:1993:GRF,% Krivine:1994:GST,% Longo:1993:GTP,% Nielson:1990:FCM,% Pfenning:1991:MPC,% Plotkin:1993:STO,% Winskel:1991:NMC% }. \NAMECITE{-codes}{% Madonia:1993:GSP% }. \NAMECITE{-coloring}{% Aslam:1993:LAC% }. \NAMECITE{-competitive}{% Chrobak:1992:HTS% }. \NAMECITE{{}-complete}{% Eiter:1993:PCEa,% Eiter:1993:PCEb,% Miyano:1991:DSS% }. \NAMECITE{-completely}{% Wang:1991:PCS% }. \NAMECITE{-connected}{% Drewes:1993:RCH% }. \NAMECITE{-creative}{% Wang:1991:PCS% }. \NAMECITE{{}-degrees}{% Shore:1992:PRS% }. \NAMECITE{-element}{% Ito:1992:LWN% }. \NAMECITE{{}-expressions}{% Bellia:1993:EVF% }. \NAMECITE{{}-functions}{% Ehrenfeucht:1993:SFT% }. \NAMECITE{-grams}{% Ukkonen:1992:ASM% }. \NAMECITE{-inkdot}{% Inoue:1994:IAT% }. \NAMECITE{-isomorphism}{% Watanabe:1991:PC% }. \NAMECITE{{}-modules}{% Melancon:1993:CBS% }. \NAMECITE{-order}{% Revesz:1993:CFE% }. \NAMECITE{-products}{% Esik:1991:RHR,% Gecseg:1991:ASS% }. \NAMECITE{-property}{% Bonizzoni:1994:PSP% }. \NAMECITE{-Regular}{% Hamaguchi:1992:RTL,% Allouche:1992:RKS% }. \NAMECITE{-resolution}{% Buning:1993:GHF% }. \NAMECITE{{}-semantics}{% Yokouchi:1994:STA% }. \NAMECITE{-separated}{% Kim:1993:SSE% }. \NAMECITE{-s{\'e}ries}{% Decoste:1993:SIS% }. \NAMECITE{-sparse}{% Clausen:1991:ZIK% }. \NAMECITE{-structure}{% Ehrenfeucht:1994:SGT% }. \NAMECITE{-structures}{% Bonizzoni:1994:PSP,% Deutz:1994:CRS,% Ehrenfeucht:1990:PH,% Ehrenfeucht:1990:TCB,% Ehrenfeucht:1990:TIR,% Ehrenfeucht:1992:A,% Ehrenfeucht:1994:SGT,% Ehrenfeucht:1993:SFT% }. \NAMECITE{-tape}{% Jiang:1990:CAO% }. \NAMECITE{-truth-table-hard}{% Homer:1993:TTH% }. \NAMECITE{{-Turing}}{% Toda:1992:PTT% }. \NAMECITE{-type}{% Wen:1992:SSP% }. \NAMECITE{{}-universality}{% Valiev:1993:USP% }. \NAMECITE{-words}{% Engelfriet:1993:AW% }. \NAMECITE{/}{% Averbuch:1991:CAM% }. \NAMECITE{10th}{% Anonymous:1994:MMC% }. \NAMECITE{13th}{% Anonymous:1990:CCA% }. \NAMECITE{{1988}}{% Anonymous:1990:ICF% }. \NAMECITE{{1990}}{% Crochemore:1992:FSI% }. \NAMECITE{{1992}}{% Goto:1994:PSI% }. \NAMECITE{{2}}{% Jiang:1994:SRC% }. \NAMECITE{{2-D}}{% Jiang:1994:SRC% }. \NAMECITE{{2D}}{% Durand:1994:ICA% }. \NAMECITE{{2DPDA}}{% Amtoft:1992:PMO% }. \NAMECITE{2nd}{% Anonymous:1990:IFW,% Anonymous:1992:WCC% }. \NAMECITE{{3}}{% Moews:1991:SGB% }. \NAMECITE{{3rd}}{% Anonymous:1993:WCC% }. \NAMECITE{{5th}}{% Anonymous:1993:SFS% }. \NAMECITE{{6th}}{% Anonymous:1991:ICL% }. \NAMECITE{'88}{% Anonymous:1990:CCA% }. \NAMECITE{'91}{% Anonymous:1993:SFS% }. \NAMECITE{{A.}}{% Petersen:1995:RPB% }. \NAMECITE{abduction}{% Denecker:1994:DAM% }. \NAMECITE{abductive}{% Knill:1993:EAR% }. \NAMECITE{abelian}{% Deutz:1994:HCA,% Cori:1991:NPA% }. \NAMECITE{absence}{% McCune:1991:APF% }. \NAMECITE{absolute}{% Pasztor:1990:RPD% }. \NAMECITE{absorbing}{% Oommen:1993:OAL% }. \NAMECITE{Abstract}{% Asveld:1991:AGB,% Bradley:1990:ALD,% Limongelli:1992:ASS,% Matus:1991:AFD,% Berry:1992:CAM,% Cazanescu:1992:GRA,% Codish:1994:BAI,% Coppo:1993:TIA,% Corradini:1994:AMC,% Curien:1991:AFE,% Matus:1994:SIA,% Ritter:1994:CAM% }. \NAMECITE{abstraction}{% Trigg:1994:CAU% }. \NAMECITE{abstractions}{% Pingali:1991:ANL% }. \NAMECITE{{ACC}}{% Barrington:1991:NSL% }. \NAMECITE{{ACC/}}{% Barrington:1991:NSL% }. \NAMECITE{accepted}{% Fachini:1991:NCC,% Michel:1991:NLA% }. \NAMECITE{acceptors}{% Jiang:1994:SRC% }. \NAMECITE{access}{% Nisan:1993:ROV,% Trahan:1992:MDS% }. \NAMECITE{accessibility}{% Cazanescu:1992:GRA% }. \NAMECITE{Accumulators}{% Pingali:1991:ANL% }. \NAMECITE{action}{% Even:1990:CAA,% Vogler:1993:BAR% }. \NAMECITE{actions}{% Darondeau:1993:RAE,% Gorrieri:1990:AA,% Masseron:1993:GPLb,% Masseron:1993:GPLa% }. \NAMECITE{actor}{% Janssens:1993:ECA% }. \NAMECITE{Acyclic}{% Cavedon:1991:ALP,% Revuz:1992:MAD% }. \NAMECITE{adaptive}{% Ko:1991:AVN% }. \NAMECITE{Adding}{% Horwitz:1990:ARQ,% Pereira:1994:ACW% }. \NAMECITE{addition}{% Koiran:1994:CRA,% Schwer:1992:CLA% }. \NAMECITE{Additions}{% Barr:1994:ACT% }. \NAMECITE{Additive}{% Litow:1993:ACA% }. \NAMECITE{addresses}{% Ben-Amram:1994:UCP% }. \NAMECITE{Adequacy}{% Blaaberg:1994:ALF,% Koutney:1992:APT,% Crole:1994:CAF% }. \NAMECITE{Adequacy-preserving}{% Koutney:1992:APT% }. \NAMECITE{adjacency}{% Chrobak:1991:POL% }. \NAMECITE{adversary}{% dAmore:1993:WLU% }. \NAMECITE{advice}{% Balcazar:1992:LAC% }. \NAMECITE{Affine}{% Culik:1993:AAR% }. \NAMECITE{after}{% Akyildiz:1994:ESN% }. \NAMECITE{agent}{% Habbas:1993:CMP% }. \NAMECITE{Aggregate}{% Sadri:1994:AOI,% Draghicescu:1993:UTO% }. \NAMECITE{aggregation}{% Consens:1993:LCA% }. \NAMECITE{ahead}{% Vagvolgyi:1992:TTT% }. \NAMECITE{Algebra}{% Anonymous:1990:CCA,% Averbuch:1991:CAM,% Bergstra:1994:WDT,% Casas:1990:ASC,% Cherkasova:1991:ACN,% Codenotti:1994:OCP,% Duchamp:1991:OPF,% Even:1990:CAA,% Goguen:1992:OSA,% Itkin:1991:AMC,% Katsura:1993:SAD,% Krob:1991:SEF,% Maggiolo-Schettini:1992:TAT,% Meinke:1992:UAH,% Mourrain:1992:CIA,% Nepomniaschy:1993:POV% }. \NAMECITE{algebra-based}{% Even:1990:CAA% }. \NAMECITE{Algebraic}{% Anonymous:1990:ICA,% Anonymous:1993:CFP,% Beeri:1993:AOO,% Casas:1990:ASC,% Duchamp:1992:SWA,% Fiech:1994:ADN,% Gire:1991:ALB,% Lowe:1993:AAS,% Rodenburg:1991:ASD,% Rus:1991:ACC,% Stoltenberg-Hanssen:1991:AFP,% Barzdin:1991:RCA,% Baur:1991:ACR,% Breazu-Tannen:1991:PRC,% Chazelle:1991:SES,% Clerbout:1992:SAL,% Corradini:1992:ASS,% Diop:1992:DDM,% Ehrig:1990:CPD,% Gyssens:1991:CBA,% Hennicker:1992:SAA,% Honkala:1991:AGZ,% Jung:1990:CCC,% Knuutila:1994:ITL,% Lastovetsky:1994:AAS,% Letichevsky:1993:CAA,% Leung:1991:LTF,% Litow:1993:ACA,% Matus:1994:SIA,% Moss:1993:MLA,% Reisig:1991:PNA,% Tarlecki:1991:SFA,% Zierer:1991:RAD% }. \NAMECITE{algebraically}{% Wagner:1990:ASL% }. \NAMECITE{Algebras}{% Wagner:1990:APP,% Comon:1993:CAS,% Crvenkovic:1993:KA,% Crvenkovic:1994:DA,% Ehrig:1990:CDT,% Gnaedig:1990:ECO,% Jarzembski:1993:PPA,% Koseleff:1991:WGF,% Lalonde:1993:BLA,% Lamarche:1992:QDI,% Leivant:1993:FFA,% Manca:1992:SCB,% Moss:1992:FAC,% Mulry:1992:MAS,% Schmitt:1990:HAI,% Stoltenberg-Hanssen:1991:AFP,% Tiuryn:1990:FPF,% vanGlabbeek:1993:MSP% }. \NAMECITE{Alg{\`e}bre}{% Anonymous:1990:CCA% }. \NAMECITE{alg{\`e}bres}{% Lalonde:1993:BLA% }. \NAMECITE{algorithm}{% Anderson:1994:MEW,% Baeza-Yates:1992:ART,% Berstel:1994:ACD,% Capocelli:1994:FAU,% Crochemore:1991:UKA,% Dahlhaus:1994:EPA,% Daude:1994:UBA,% Esparza:1992:PAD,% Gu:1994:AOH,% He:1990:EAE,% Hebrard:1991:ADE,% Hebrard:1994:LAR,% Hennicker:1992:SAA,% Hoang:1992:PAM,% Huang:1992:SPA,% Jaja:1994:EPA,% Kim:1992:ASA,% Koren:1994:MML,% Lecroq:1992:VBA,% Lempel:1994:AFS,% Leo:1991:GCP,% Madonia:1993:GSP,% Matthews:1994:IIA,% Remila:1994:LAT,% Romeuf:1990:PAS,% Sabelfeld:1990:ADF,% Salomaa:1991:DAM,% Santoro:1992:DSA,% Schmid:1993:ACC,% Senoussi:1994:QAT,% Subbiah:1993:ODA,% Troesch:1993:IGA,% Vagvolgyi:1993:FAC,% Yellin:1994:ADS% }. \NAMECITE{algorithme}{% Troesch:1993:IGA% }. \NAMECITE{{Algorithmic}}{% Dulucq:1993:CAO% }. \NAMECITE{Algorithms}{% Anonymous:1994:WCA,% Hashiguchi:1991:ADR,% Albert:1993:ACA,% Apostolico:1993:ECP,% Aslam:1993:LAC,% Averbuch:1991:CAM,% Board:1992:NOA,% Brookes:1992:TTP,% Casas:1990:ASC,% Chen:1993:DAR,% Colson:1991:APR,% Crochemore:1994:TDP,% Daykin:1994:PRA,% Edelsbrunner:1992:ACP,% Ferreira:1993:SEA,% Feuerstein:1993:DAS,% Fiat:1994:CAW,% Flajolet:1991:AAA,% Francon:1990:ADA,% Fussell:1990:SAP,% Iliopoulos:1992:OAC,% Kedem:1992:OPA,% Khuller:1994:LAW,% Kruskal:1990:CTE,% Louchard:1992:DAK,% Malajovich:1994:GNA,% Rabani:1992:SCS,% Srinivasan:1991:EAM,% Szymanski:1990:CAR,% Zhang:1992:PAT% }. \NAMECITE{allocation}{% Combe:1994:OST% }. \NAMECITE{allowed}{% Baratella:1992:CRA% }. \NAMECITE{Almost}{% Allender:1993:AEC,% Mayordomo:1994:AES,% Marcoux:1993:CAQ,% Stetsenko:1994:ABB,% Tang:1991:PTR% }. \NAMECITE{Almost-everywhere}{% Allender:1993:AEC% }. \NAMECITE{{ALOHA}}{% Schmid:1993:ACC% }. \NAMECITE{alphabet}{% Cori:1991:NPA,% Kundu:1991:MSR,% Leiss:1994:LEO,% Leiss:1994:UCL% }. \NAMECITE{Alphabetic}{% Bozapalidis:1992:ATR,% Ramanan:1992:TOA% }. \NAMECITE{alphabets}{% Crochemore:1992:SMO,% Hoffmann:1990:RNG,% Ollagnier:1992:PDC% }. \NAMECITE{also}{% Szepietowski:1990:IDN% }. \NAMECITE{Alternating}{% Muller:1992:AAW,% Bebjak:1991:SDN,% Fortnow:1993:IPS,% Hromkovic:1993:NRO,% Hromkovic:1994:DVN,% Ibarra:1992:CEL,% Ibarra:1992:SSA,% Inoue:1991:NRO,% Inoue:1994:IAT,% Jiang:1994:SRC,% Slobodova:1992:SPS% }. \NAMECITE{alternation}{% Mak:1994:SDA% }. \NAMECITE{alternative}{% Arcangeli:1990:PPP,% Scott:1993:TTA% }. \NAMECITE{{AMAST}}{% Anonymous:1990:ICA% }. \NAMECITE{ambiguity}{% Weber:1991:DAF% }. \NAMECITE{among}{% Hertrampf:1990:RAM% }. \NAMECITE{Analog}{% Siegelmann:1994:ACN% }. \NAMECITE{Analogical}{% Lu:1993:APD% }. \NAMECITE{Analogy}{% Yi:1993:AC% }. \NAMECITE{analyse}{% Gardy:1992:MCL% }. \NAMECITE{analyses}{% Prodinger:1992:HAA% }. \NAMECITE{Analysis}{% Fahmy:1990:APN,% Francon:1990:ADA,% Pottosin:1991:APO,% Albert:1993:ACA,% Bol:1991:ALC,% Casas:1990:ASC,% Casas:1993:ACA,% Coppo:1993:TIA,% El-Taha:1992:DAQ,% Flajolet:1991:AAA,% Gardy:1992:MCL,% Hofri:1994:AAP,% Huet:1993:ABT,% Jones:1991:SST,% Lindell:1991:AFQ,% Louchard:1992:DAK,% Malajovich:1994:GNA,% Pai:1994:MAM,% Yen:1992:MAD% }. \NAMECITE{analytic}{% Murray:1994:RMP% }. \NAMECITE{{Andersson}}{% Kirschenhofer:1992:PMD% }. \NAMECITE{angels}{% Back:1992:CAD% }. \NAMECITE{Angular}{% Ehrenfeucht:1992:A% }. \NAMECITE{animals}{% Barcucci:1994:RGD,% Betrema:1993:AAG% }. \NAMECITE{Animaux}{% Betrema:1993:AAG% }. \NAMECITE{annealing}{% Rajasekaran:1992:NAP% }. \NAMECITE{answering}{% Atzeni:1990:EOQ% }. \NAMECITE{anti}{% Mantaci:1993:DAE% }. \NAMECITE{anti-exc{\'e}dances}{% Mantaci:1993:DAE% }. \NAMECITE{anti-exceedance}{% Mantaci:1993:DAE% }. \NAMECITE{antirandomization}{% Spencer:1994:RDA% }. \NAMECITE{apart}{% Shepherdson:1994:RSA% }. \NAMECITE{aperiodicity}{% Cho:1991:FAA% }. \NAMECITE{application}{% Borel:1994:SRP,% Garzon:1991:CGG,% Nepomniaschy:1993:POV,% Yen:1992:MAD% }. \NAMECITE{applications}{% Burroni:1993:HDW,% Cazanescu:1992:GRA,% Chazelle:1991:SES,% Corradini:1992:ASS,% Diop:1992:DDM,% Grigoriev:1994:DTS,% Svrtan:1993:NPO,% Sykora:1993:ESG,% Talcott:1993:TBS% }. \NAMECITE{approach}{% Baier:1994:DSC,% Bovet:1992:UAD,% Corsini:1993:TIP,% Dubois:1991:PAS,% Ehrig:1993:PDD,% Garofalakis:1994:TDD,% Girard:1992:BLL,% Godin:1994:ICF,% Harrison:1992:NAR,% Kamareddine:1994:UAT,% Kasyanov:1991:TAP,% Knuutila:1994:ITL,% Lastovetsky:1994:AAS,% Leroux:1991:CAN,% Lowe:1993:AAS,% Rojas:1994:CGA,% Sopena:1991:HRC,% Srinivas:1993:STA% }. \NAMECITE{approaches}{% Bulyonkov:1990:MCC% }. \NAMECITE{Approximate}{% Ukkonen:1992:ASM,% Amir:1991:FPS,% Bafna:1994:AIM,% Iwanowski:1991:TAS,% Kim:1992:ASA,% Prodinger:1992:HAA,% Smith:1990:IAP% }. \NAMECITE{Approximating}{% Dagum:1992:APG,% Jiang:1994:ASS% }. \NAMECITE{Approximation}{% Hespel:1991:AND,% Baratchart:1992:RAP,% Bern:1992:FGA,% Fussell:1990:SAP,% Panconesi:1993:QA% }. \NAMECITE{{APS}}{% Letichevsky:1993:CAA% }. \NAMECITE{arbitrary}{% Dahlhaus:1994:EPA,% Yoo:1992:ERE% }. \NAMECITE{Arbres}{% Anonymous:1990:CCA,% Betrema:1993:AAG,% Dulucq:1993:CAO% }. \NAMECITE{Area}{% Palko:1991:ACM,% Hromkovic:1992:LBA% }. \NAMECITE{arising}{% Andrasiu:1993:LTP% }. \NAMECITE{arithmetic}{% Boyar:1992:AMC,% Kroger:1990:IAT,% Quinton:1992:SCA,% Snir:1991:STM,% Sturtivant:1993:CEF% }. \NAMECITE{arithmetical}{% Szalas:1991:SAC% }. \NAMECITE{Arrangements}{% Edelsbrunner:1992:ACP% }. \NAMECITE{array}{% Amir:1991:FPS,% Ibarra:1991:PPO,% Nirmal:1991:MCE% }. \NAMECITE{arrays}{% Crochemore:1991:UKA% }. \NAMECITE{{Artin}}{% Lachaud:1992:ACE% }. \NAMECITE{{Artin-Schreier}}{% Lachaud:1992:ACE% }. \NAMECITE{ascent}{% Leermakers:1992:RAP% }. \NAMECITE{{Askey}}{% Ekhad:1993:SEE% }. \NAMECITE{{Askey-Gasper}}{% Ekhad:1993:SEE% }. \NAMECITE{Aspects}{% Duchamp:1992:SWA,% Thiagarajan:1990:SBA% }. \NAMECITE{assertions}{% Cousot:1993:BIA% }. \NAMECITE{assignment}{% Mezghiche:1991:WCT,% Yokouchi:1994:STA% }. \NAMECITE{associated}{% Arques:1993:CCP,% Burckel:1994:FEA,% Schwer:1992:CLA% }. \NAMECITE{associative}{% Hausser:1992:CLG% }. \NAMECITE{associativity}{% Jouannaud:1992:TCM% }. \NAMECITE{associ{\'e}e}{% Arques:1993:CCP% }. \NAMECITE{assuming}{% Khuller:1991:PGC% }. \NAMECITE{assumptions}{% Pereira:1994:ACW% }. \NAMECITE{asym{\'e}trie}{% Labelle:1993:SAS% }. \NAMECITE{asymmetry}{% Labelle:1993:SAS% }. \NAMECITE{Asymptotic}{% Gu:1994:AOH,% Hofri:1994:AAP,% Prasad:1992:AEN% }. \NAMECITE{asymptotics}{% Flajolet:1994:MTA% }. \NAMECITE{Asynchronous}{% Pighizzini:1994:AAV,% Aumann:1994:CCF,% Gastin:1990:AMD% }. \NAMECITE{{ATMs}}{% Jiang:1990:CAO% }. \NAMECITE{Atomic}{% Clerbout:1994:AS,% Gorrieri:1990:AA% }. \NAMECITE{Attribute}{% Delest:1992:AGU,% Penjam:1990:CAM% }. \NAMECITE{Attributed}{% Barbar:1993:ATG% }. \NAMECITE{Auto}{% Constantineau:1993:ASC% }. \NAMECITE{Auto-similarit{\'e}}{% Constantineau:1993:ASC% }. \NAMECITE{{Auto-similarity}}{% Constantineau:1993:ASC% }. \NAMECITE{autoepistemic}{% Marek:1992:RBS% }. \NAMECITE{Automata}{% Gecseg:1990:ARP,% Kuich:1991:ALG,% Alur:1994:TTA,% Barua:1992:HHO,% Beauquier:1994:RTA,% Boe:1991:BAT,% Bonizzoni:1992:AIT,% Bracho:1994:LDA,% Bruggemann-Klein:1993:REF,% Carpi:1993:OFW,% Cherubini:1991:QFA,% Coquide:1994:BTP,% Culik:1993:AAR,% Dassow:1991:DSA,% Durand:1994:ICA,% Engelfriet:1993:AW,% Esik:1991:RHR,% Fachini:1991:NCC,% Garzon:1993:CA,% Gecseg:1991:ASS,% Goles:1993:LSS,% Goles:1994:LOS,% Gunawardena:1992:CA,% Harju:1991:EPM,% Hashiguchi:1990:ILT,% Hofer:1991:ESG,% Hromkovic:1993:NRO,% Ibarra:1993:SFA,% Jiang:1994:SRC,% Kaminski:1994:FMA,% Karhumaki:1993:EFS,% Kari:1994:RTL,% Kunze:1993:SAS,% Kuorka:1994:RUS,% Kuster:1991:HPF,% Kutylowski:1991:MOF,% Kutylowski:1993:SVS,% Leung:1991:LTF,% Litow:1993:ACA,% Mazoyer:1992:LST,% Mostowski:1991:HWA,% Muller:1992:AAW,% Peeva:1991:ERM,% Petit:1990:DSA,% Pighizzini:1994:AAV,% Remila:1994:RGA,% Revuz:1992:MAD,% Roka:1994:OWC,% Saito:1991:DER,% Salomaa:1994:STA,% Saoudi:1991:GAI,% Seidl:1994:FTA,% Weber:1991:DAF,% Weber:1994:FVD,% Yoo:1991:EAR,% Zhang:1992:EST,% Zhang:1992:PAT,% Zipstein:1992:DCF% }. \NAMECITE{automata-like}{% Yoo:1991:EAR% }. \NAMECITE{Automatic}{% Flajolet:1991:AAA,% Allouche:1992:PSS,% Galmiche:1990:CSA,% Lehr:1993:SRM,% Zhang:1991:CEA% }. \NAMECITE{Automatizing}{% Manoury:1994:ATP% }. \NAMECITE{automaton}{% Cho:1991:FAA,% Martin:1994:UCA,% Thomas:1992:ITA,% Vagvolgyi:1993:FAC% }. \NAMECITE{automaton-definable}{% Thomas:1992:ITA% }. \NAMECITE{automorphism}{% Zhang:1992:PAT% }. \NAMECITE{availability}{% Gelenbe:1994:VTM% }. \NAMECITE{Average}{% Albert:1993:ACA,% Baeza-Yates:1992:ART,% Berstel:1994:ACD,% Casas:1993:ACA,% Daude:1994:UBA,% Flajolet:1991:AAA,% Lavault:1990:EAM,% Quong:1992:FAP,% Schmid:1993:ACC,% Wegener:1993:BHS% }. \NAMECITE{Average-case}{% Albert:1993:ACA,% Casas:1993:ACA,% Flajolet:1991:AAA,% Quong:1992:FAP% }. \NAMECITE{{AVL}}{% Cameron:1994:BAT,% Klein:1990:TUB% }. \NAMECITE{axiom}{% Streicher:1992:IIP% }. \NAMECITE{axiomatic}{% Denis:1991:TAS% }. \NAMECITE{axiomatization}{% Hooman:1992:CAS,% Walukiewicz:1993:GTA% }. \NAMECITE{axiomatizations}{% Comon:1993:CAS% }. \NAMECITE{axioms}{% Barzdin:1991:RCA,% Degano:1993:UAB% }. \NAMECITE{ayant}{% Chaunier:1994:NPI% }. \NAMECITE{B}{% Petersen:1995:RPB,% Krob:1991:CSB% }. \NAMECITE{{B}-rational}{% Krob:1991:CSB% }. \NAMECITE{backtracking}{% Shufelt:1994:GHC% }. \NAMECITE{bad}{% Stetsenko:1994:ABB% }. \NAMECITE{bagdomain}{% Johnstone:1994:VBT% }. \NAMECITE{Balance}{% Cameron:1994:BAT,% Andersson:1992:CBP% }. \NAMECITE{balanced}{% Casas:1993:ACA% }. \NAMECITE{balancing}{% Azar:1994:LLB% }. \NAMECITE{{Barrington}}{% Bedard:1993:EBM% }. \NAMECITE{bars}{% Remila:1994:TTT% }. \NAMECITE{base}{% Dowling:1990:FPL% }. \NAMECITE{based}{% Aiken:1990:TCP,% Asveld:1991:AGB,% Bidoit:1991:NRD,% Chen:1993:DAR,% Even:1990:CAA,% Lu:1993:APD,% Majster-Cederbaum:1994:CCB,% Martens:1994:SCP,% Parisi-Presicce:1991:FRD,% Schepers:1994:TBC,% Shankar:1991:GRT,% Shankar:1992:GRT% }. \NAMECITE{Bases}{% Lalonde:1993:BLA,% Koseleff:1991:WGF,% Labhalla:1991:RRN,% Mathieu:1994:KLC,% Melancon:1993:CBS,% Mora:1994:ICN,% Sazonov:1993:HFS,% Stetsenko:1994:ABB% }. \NAMECITE{Basic}{% Bauderon:1991:IHB,% Ehrig:1993:EBR,% Constable:1993:CFB,% Ehrenfeucht:1990:TCB,% Kawahara:1990:PBC,% Yu:1994:SCS% }. \NAMECITE{{BCK}}{% Hirokawa:1993:PTB% }. \NAMECITE{{BCK}-lambda-terms}{% Hirokawa:1993:PTB% }. \NAMECITE{be}{% Huttel:1990:SCB,% deBoer:1991:PDP% }. \NAMECITE{beating}{% Wegener:1993:BHS% }. \NAMECITE{behaved}{% Baratella:1992:CRA% }. \NAMECITE{behavior}{% Amtoft:1992:PMO% }. \NAMECITE{behaviour}{% Goltz:1994:FPN% }. \NAMECITE{behavioural}{% Thiagarajan:1990:SBA% }. \NAMECITE{behaviours}{% Maggiolo-Schettini:1992:TAT,% Turski:1991:PB% }. \NAMECITE{{Bendix}}{% Thomas:1993:SDK% }. \NAMECITE{beta}{% Cheung:1991:RDT% }. \NAMECITE{beta-cycles}{% Cheung:1991:RDT% }. \NAMECITE{between}{% Chen:1990:DBO,% Courcelle:1991:MSL,% Dung:1992:RBS,% Gyssens:1991:CBA,% Marek:1992:RBS,% Margenstern:1994:NTM,% Nepejvoda:1991:BBC,% Regnier:1994:ELT,% Spehner:1994:BBC% }. \NAMECITE{beyond}{% Weir:1992:GHB% }. \NAMECITE{{Bezout}}{% Shub:1994:CBT% }. \NAMECITE{Bi}{% Beigel:1990:BRC,% Devolder:1991:FGB,% Mayordomo:1994:AES% }. \NAMECITE{Bi-immunity}{% Beigel:1990:BRC% }. \NAMECITE{bicartesian}{% Banach:1994:RRB% }. \NAMECITE{bidirectional}{% Lavault:1990:EAM% }. \NAMECITE{{Bieberbach}}{% Ekhad:1993:SEE% }. \NAMECITE{biinfinite}{% Gire:1991:ALB% }. \NAMECITE{bijection}{% Spehner:1994:BBC% }. \NAMECITE{bilinear}{% Averbuch:1991:CAM% }. \NAMECITE{Binary}{% Skubiszewski:1992:BPS,% Chrobak:1994:TRL,% Fachini:1991:NCC,% Lengauer:1990:BNF,% Lindell:1991:AFQ,% More:1994:IBS% }. \NAMECITE{binding}{% Jones:1991:SST,% Talcott:1993:TBS% }. \NAMECITE{binomial}{% Bennett:1994:DDC% }. \NAMECITE{biography}{% Abadi:1993:SSB% }. \NAMECITE{bipartite}{% Khuller:1994:LAW,% Srikant:1993:OPC% }. \NAMECITE{{Birkhoff}}{% Manca:1992:SCB% }. \NAMECITE{bishop}{% Ferguson:1992:MBK% }. \NAMECITE{bisimilarity}{% Huynh:1994:DBN,% Huynh:1994:NCD% }. \NAMECITE{Bisimulation}{% Vogler:1993:BAR,% Devillers:1992:MPB% }. \NAMECITE{bisimulations}{% Degano:1993:UAB% }. \NAMECITE{bit}{% Hebrard:1991:ADE% }. \NAMECITE{bit-strings}{% Hebrard:1991:ADE% }. \NAMECITE{{Blair}}{% Doets:1992:SST% }. \NAMECITE{block}{% Srikant:1993:OPC% }. \NAMECITE{blocking}{% Akyildiz:1994:ESN% }. \NAMECITE{blocking-after-service}{% Akyildiz:1994:ESN% }. \NAMECITE{board}{% Iwata:1994:OGB% }. \NAMECITE{{Bohm}}{% Abadi:1993:SSB,% Huet:1993:ABT% }. \NAMECITE{Boolean}{% Botelho:1997:EBN,% Andersen:1994:MCB,% Babai:1990:LBC,% Beigel:1991:BQS,% Botelho:1994:BNN,% Heilbrunner:1991:ERB,% Hromkovic:1992:LBA,% Lenz:1991:CCQ,% Mirwald:1992:MCQ,% Peladeau:1992:FRL,% Pudlak:1993:SNB,% Stetsenko:1994:ABB% }. \NAMECITE{{Borel}}{% Skurczynski:1993:BHI% }. \NAMECITE{born}{% Moews:1991:SGB% }. \NAMECITE{{Bottleneck}}{% Gardy:1992:MCL% }. \NAMECITE{Bottom}{% Codish:1994:BAI,% Coquide:1994:BTP,% Cai:1992:MEB,% Casas:1990:ASC,% Wegener:1993:BHS% }. \NAMECITE{Bottom-up}{% Codish:1994:BAI,% Coquide:1994:BTP,% Cai:1992:MEB,% Casas:1990:ASC% }. \NAMECITE{{BOTTOM-UP-HEAPSORT}}{% Wegener:1993:BHS% }. \NAMECITE{bound}{% Bodlaender:1991:NLB,% Daude:1994:UBA,% Kiwi:1994:NPB,% Klein:1990:TUB% }. \NAMECITE{boundary}{% Bourgin:1993:SCP% }. \NAMECITE{Bounded}{% Beigel:1991:BQS,% Girard:1992:BLL,% Maurer:1991:BDC,% Bruyere:1991:MCB,% Choi:1993:EGY,% Csuhaj-Varju:1991:BIG,% Esparza:1992:PAD,% Ibarra:1992:SSA,% Kim:1992:RBP,% Kim:1994:RBP,% Ko:1991:AVN,% Kowalski:1994:MRU,% Ranjan:1991:SBC,% Slobodova:1992:SPS,% Sykora:1993:ESG,% Verschelde:1994:HSP,% Wang:1992:CBD% }. \NAMECITE{boundedness}{% Habel:1991:DBP,% Wang:1992:CBD% }. \NAMECITE{Bounds}{% Reilly:1994:BVG,% Alon:1994:LBC,% Babai:1990:LBC,% Bridges:1994:RBE,% Grigoriev:1994:DTS,% Halldorsson:1994:LBL,% Hromkovic:1992:LBA,% Kozen:1994:OBC,% Luchkardt:1991:NFU,% Palis:1992:UBR,% Robson:1990:STB,% Weber:1994:EUL% }. \NAMECITE{boxes}{% Boe:1991:BAT% }. \NAMECITE{{Boyer}}{% Baeza-Yates:1992:ART,% Lecroq:1992:VBA% }. \NAMECITE{{Boyer-Moore}}{% Lecroq:1992:VBA% }. \NAMECITE{{Boyer-Moore-Horspool}}{% Baeza-Yates:1992:ART% }. \NAMECITE{brackets}{% Diks:1991:OPC% }. \NAMECITE{branching}{% Mukund:1992:LCW% }. \NAMECITE{{Branges}}{% Ekhad:1993:SEE% }. \NAMECITE{breadth}{% Cherubini:1991:QFA% }. \NAMECITE{breadth-first}{% Cherubini:1991:QFA% }. \NAMECITE{breakdowns}{% Chakka:1994:HMS% }. \NAMECITE{bridge}{% Nepejvoda:1991:BBC% }. \NAMECITE{broadcast}{% Park:1994:CRM% }. \NAMECITE{brother}{% Cameron:1994:BAT% }. \NAMECITE{{Buchi}}{% DoLongVan:1992:VFM% }. \NAMECITE{{Buchi-McNaughton}}{% DoLongVan:1992:VFM% }. \NAMECITE{Burstall}{% Cousot:1993:BIA% }. \NAMECITE{{Byzantine}}{% Beauquier:1992:TDP% }. \NAMECITE{{C}}{% Hoare:1991:TDC% }. \NAMECITE{{C-MOS}}{% Hoare:1991:TDC% }. \NAMECITE{{CAAP}}{% Anonymous:1990:CCA% }. \NAMECITE{cacti}{% Moran:1991:OCC% }. \NAMECITE{calculi}{% Dowek:1993:UPM,% Dybkjaer:1993:CHC,% Gallier:1993:CLP,% Ritter:1994:CAM% }. \NAMECITE{calculus}{% Barendregt:1993:CPR,% Bellia:1993:EVF,% Bellin:1994:CLL,% Dam:1994:CEF,% Elvang-Goransson:1993:SSC,% Flajolet:1994:CRG,% Forster:1993:SCW,% Jacopini:1993:GRF,% Kamareddine:1994:UAT,% Koletsos:1991:PLC,% Krivine:1994:GST,% Leivant:1993:FFA,% Longo:1993:GTP,% Manca:1992:SCB,% Mezghiche:1991:WCT,% Milner:1990:IOC,% Nielson:1990:FCM,% Pfenning:1991:MPC,% Plotkin:1993:STO,% Revesz:1992:LEL,% Sreedhar:1993:CSR,% Stirling:1991:LMC,% Streicher:1992:IIP,% Winskel:1991:NMC,% Yi:1993:AC% }. \NAMECITE{call}{% Krivine:1994:GST% }. \NAMECITE{call-by-name}{% Krivine:1994:GST% }. \NAMECITE{can}{% Balsters:1991:SCS,% Huttel:1990:SCB% }. \NAMECITE{Cancellation}{% Jantzen:1994:CCF% }. \NAMECITE{cancellative}{% Hebisch:1992:GSS% }. \NAMECITE{cannot}{% deBoer:1991:PDP% }. \NAMECITE{Canonical}{% Allouche:1994:CPF,% Egecioglu:1994:EUC,% Iliopoulos:1992:OAC,% Nummenmaa:1992:CCR% }. \NAMECITE{{Cantor}}{% Weihrauch:1991:TCC% }. \NAMECITE{Capturing}{% Gradel:1992:CCC,% Sreedhar:1993:CSR% }. \NAMECITE{{Carlo}}{% Faure:1994:MQM% }. \NAMECITE{carrier}{% Manca:1992:SCB% }. \NAMECITE{cartes}{% Arques:1993:CCP% }. \NAMECITE{{Cartesian}}{% Barr:1990:FPC,% Huwig:1990:NIC,% Jung:1990:CCC,% Mulry:1994:PMC% }. \NAMECITE{case}{% Albert:1993:ACA,% Bennett:1994:DDC,% Benninger:1992:ESD,% Casas:1993:ACA,% Flajolet:1991:AAA,% Quong:1992:FAP% }. \NAMECITE{{Catalan}}{% Mignotte:1994:ECI% }. \NAMECITE{Categorical}{% Mulry:1990:CFP,% Ritter:1994:CAM,% Dybkjaer:1993:CHC,% Schneider:1993:CGG% }. \NAMECITE{categories}{% Barr:1990:FPC,% Edalat:1993:CFS,% Jacobs:1993:CCS,% Jung:1990:CCC,% Jung:1991:DPC,% Mulry:1994:PMC,% Tarlecki:1991:SFA% }. \NAMECITE{Category}{% Even:1990:CAA,% Gilmore:1993:LCT,% Huwig:1990:NIC,% Longo:1990:CCF% }. \NAMECITE{Category-sorted}{% Even:1990:CAA% }. \NAMECITE{category-theoretic}{% Longo:1990:CCF% }. \NAMECITE{catenative}{% Seki:1991:SLC% }. \NAMECITE{Causal}{% Gunawardena:1992:CA,% Darondeau:1993:RAE,% Goltz:1994:FPN% }. \NAMECITE{caused}{% Huwig:1990:NIC% }. \NAMECITE{{Cayley}}{% Garzon:1993:CA,% Roka:1994:OWC% }. \NAMECITE{{CCS}}{% Degano:1990:POS,% Ruqian:1993:TCM% }. \NAMECITE{cellular}{% Durand:1994:ICA,% Goles:1993:LSS,% Kari:1994:RTL,% Litow:1993:ACA,% Martin:1994:UCA,% Mazoyer:1992:LST,% Pighizzini:1994:AAV,% Roka:1994:OWC% }. \NAMECITE{certain}{% Ferreira:1993:SEA,% Huynh:1992:NCR% }. \NAMECITE{{CFL}}{% Monien:1994:FRD% }. \NAMECITE{{CFL's}}{% Monien:1993:FRD% }. \NAMECITE{chain}{% Dassow:1991:CPC% }. \NAMECITE{change}{% Kozen:1994:OBC% }. \NAMECITE{change-making}{% Kozen:1994:OBC% }. \NAMECITE{channels}{% Deutz:1994:HCA,% Jeron:1993:TUF% }. \NAMECITE{characterisation}{% Krishnan:1994:SCF,% Senizergues:1990:CDC,% Simpson:1993:CLF% }. \NAMECITE{characterization}{% Engelfriet:1991:RCG,% Forster:1993:SCW,% Ibarra:1992:CEL,% Longo:1990:CCF,% Manes:1990:TCI,% Mukund:1992:LCW,% Nirmal:1991:MCE,% Szpankowski:1991:CDS% }. \NAMECITE{characterizations}{% Hemachandra:1991:KCC,% Herbst:1993:GPF,% Steffen:1991:FCC% }. \NAMECITE{characterize}{% Best:1992:TCH% }. \NAMECITE{characterized}{% Huttel:1990:SCB% }. \NAMECITE{Characterizing}{% Goerdt:1992:CCC,% Wang:1992:CBD% }. \NAMECITE{characters}{% Svrtan:1993:NPO% }. \NAMECITE{{CHARM}}{% Corradini:1994:AMC% }. \NAMECITE{cheatable}{% Beigel:1990:BRC% }. \NAMECITE{check}{% Weijland:1990:SLP% }. \NAMECITE{checking}{% Andersen:1994:MCB,% Bol:1991:ALC,% Bradfield:1992:LMC,% Hamaguchi:1992:RTL,% Harper:1991:TCU,% Stirling:1991:LMC,% Winskel:1991:NMC% }. \NAMECITE{checks}{% Bol:1992:GCR% }. \NAMECITE{chemical}{% Berry:1992:CAM% }. \NAMECITE{chemins}{% Lalanne:1993:ICD% }. \NAMECITE{{Chern}}{% Svrtan:1993:NPO% }. \NAMECITE{chip}{% Aslam:1993:LAC,% Bitar:1992:PCF,% Kiwi:1994:NPB% }. \NAMECITE{choice}{% Best:1992:TCH,% Desel:1993:RCE,% Esparza:1992:PAD,% Hesselink:1992:PFU,% Streicher:1992:IIP% }. \NAMECITE{{Church}}{% Koletsos:1991:PLC,% Revesz:1992:LEL% }. \NAMECITE{{Church-Rosser}}{% Koletsos:1991:PLC,% Revesz:1992:LEL% }. \NAMECITE{Circuit}{% Lutz:1993:CSR,% Hoare:1991:TDC,% Pudlak:1993:SNB% }. \NAMECITE{circuits}{% Beame:1992:CCS,% Boyar:1992:AMC,% Hromkovic:1992:LBA,% Lange:1993:UC,% Peladeau:1992:FRL,% Seger:1991:ESC,% Shufelt:1994:GHC,% Snir:1991:STM,% Wegener:1991:CPF,% Wolf:1994:NCS% }. \NAMECITE{circular}{% Iliopoulos:1992:OAC% }. \NAMECITE{circumscription}{% Eiter:1993:PCEa,% Eiter:1993:PCEb% }. \NAMECITE{Clans}{% Deutz:1994:CRS,% Ehrenfeucht:1990:TCB% }. \NAMECITE{class}{% Alvarez:1993:VHL,% Baratella:1993:CPW,% Chan:1994:TSC,% Fachini:1991:NCC,% Sabelfeld:1990:ADF,% Skurczynski:1993:BHI% }. \NAMECITE{classes}{% Balcazar:1992:LAC,% Bebjak:1991:SDN,% Beigel:1992:CCT,% Bovet:1992:UAD,% Calude:1991:DSS,% Cucker:1994:SCC,% Damm:1992:SCC,% Fulop:1991:CCD,% Goerdt:1992:CCC,% Gradel:1992:CCC,% Hemachandra:1991:KCC,% Hemachandra:1992:SCC,% Hertrampf:1990:RAM,% Kamper:1991:NPS,% Kim:1990:CDR,% Krause:1991:SET,% Ogiwara:1993:SHS,% Svrtan:1993:NPO,% deLuca:1992:NRC% }. \NAMECITE{classical}{% Dosen:1992:NCL% }. \NAMECITE{Classification}{% Arques:1993:CCP,% Averbuch:1991:CAM,% Budach:1990:TIC,% Coquide:1994:BTP,% Fulop:1991:CCD,% Halpenny:1992:CMS% }. \NAMECITE{classifiers}{% Mulry:1994:PMC% }. \NAMECITE{clause}{% Giordano:1992:EHC,% Hanus:1991:HCP,% deBoer:1992:FSC% }. \NAMECITE{clauses}{% Baratella:1992:CRA,% Chen:1994:CCS,% Hebrard:1994:LAR,% Knill:1993:EAR,% Murakami:1990:DSF% }. \NAMECITE{clique}{% Srinivasan:1991:EAM% }. \NAMECITE{cliques}{% Spehner:1994:BBC% }. \NAMECITE{Clock}{% Aumann:1994:CCF% }. \NAMECITE{Clocks}{% Caspi:1992:CDL,% Sain:1992:TLN% }. \NAMECITE{closed}{% Baccelli:1994:DET,% Barr:1990:FPC,% Eiter:1993:PCEa,% Eiter:1993:PCEb,% Huwig:1990:NIC,% Jung:1990:CCC,% Mulry:1994:PMC,% Pereira:1994:ACW,% Revesz:1993:CFE,% Timmerman:1990:TSR% }. \NAMECITE{closed-form}{% Revesz:1993:CFE% }. \NAMECITE{closed-world}{% Eiter:1993:PCEa,% Eiter:1993:PCEb% }. \NAMECITE{closing}{% Courcelle:1991:MSL% }. \NAMECITE{Closure}{% Germano:1991:CFG,% Paun:1993:CPS,% Burosch:1991:NDC,% Fachini:1991:NCC,% Heilbrunner:1991:ERB,% Tirri:1990:CTC% }. \NAMECITE{closures}{% Hashiguchi:1991:RCS% }. \NAMECITE{cms}{% Majster-Cederbaum:1994:CCB% }. \NAMECITE{cms-based}{% Majster-Cederbaum:1994:CCB% }. \NAMECITE{co}{% Kounalis:1992:TGC,% Pitts:1994:CIP% }. \NAMECITE{co-}{% Kounalis:1992:TGC% }. \NAMECITE{co-induction}{% Pitts:1994:CIP% }. \NAMECITE{coalgebras}{% Barr:1993:TCW,% Barr:1994:ACT% }. \NAMECITE{coarsest}{% Jaja:1994:EPA% }. \NAMECITE{Code}{% Giegerich:1990:CSI,% Dassow:1991:CPC,% Powell:1991:COV% }. \NAMECITE{Codes}{% Otto:1994:CMF,% Restivo:1990:CLC,% Anselmo:1990:ZCT,% Bruyere:1991:MCB,% Ehrenfeucht:1994:PGC,% Ito:1992:LWN,% Ito:1994:CIC,% Katsura:1993:GFE,% Madonia:1993:GSP,% Maurer:1991:BDC,% Reilly:1994:BVG,% Zhang:1993:DRS% }. \NAMECITE{coding}{% Lachaud:1992:ACE% }. \NAMECITE{codings}{% Harju:1994:RRF% }. \NAMECITE{coefficient}{% Bennett:1994:DDC% }. \NAMECITE{coefficients}{% Averbuch:1991:CAM,% Charron-Bost:1993:CCD,% Varricchio:1992:RSC% }. \NAMECITE{Coexistence}{% Ye:1994:CUE% }. \NAMECITE{Coherence}{% Bethke:1991:CSU,% Blute:1993:LLC% }. \NAMECITE{cohesive}{% Ito:1994:CIC% }. \NAMECITE{coinductive}{% Tatsuta:1994:RIC% }. \NAMECITE{col}{% Gardy:1992:MCL% }. \NAMECITE{collapses}{% Katz:1992:DCI% }. \NAMECITE{collection}{% Banach:1994:TGR% }. \NAMECITE{collision}{% Schmid:1993:ACC% }. \NAMECITE{Colloque}{% Anonymous:1990:CCA% }. \NAMECITE{Colloquium}{% Anonymous:1993:ICW,% Anonymous:1994:SIC,% Anonymous:1990:CCA% }. \NAMECITE{colonies}{% Kelemenova:1994:LC% }. \NAMECITE{coloring}{% Aslam:1993:LAC,% Bodlaender:1992:CCG,% Halldorsson:1994:LBL,% He:1990:EAE,% Khuller:1991:PGC% }. \NAMECITE{colors}{% He:1990:EAE% }. \NAMECITE{colouring}{% Gibbons:1990:OEO,% Hoang:1992:PAM% }. \NAMECITE{combination}{% Constantineau:1993:ASC% }. \NAMECITE{combinational}{% Gardy:1992:MCL,% Hoare:1991:TDC% }. \NAMECITE{combinatoire}{% Constantineau:1993:ASC,% Gardy:1992:MCL% }. \NAMECITE{combinatoires}{% Labelle:1993:SAS% }. \NAMECITE{Combinatorial}{% Crochemore:1992:FSI,% Sagan:1993:CPH,% Flajolet:1994:CRG,% Labelle:1993:SAS,% Leroux:1991:CAN,% Sopena:1991:HRC,% Sprenger:1993:HDL,% Stromquist:1993:SCC,% deLuca:1994:SCP,% Anonymous:1992:CPM% }. \NAMECITE{combinatorics}{% Delest:1992:AGU,% Edelsbrunner:1992:ACP,% Anonymous:1993:CFP,% Anonymous:1993:ICW,% Anonymous:1994:SIC% }. \NAMECITE{combinators}{% Dougherty:1993:HOU,% McCune:1991:APF,% Statman:1993:SEN% }. \NAMECITE{Combinatory}{% Engeler:1990:CDF,% Klop:1993:CRS,% Trigg:1994:CAU,% Dezani-Ciancaglini:1992:ITC,% Nielson:1990:FCM,% Weibel:1992:ECL% }. \NAMECITE{Combining}{% Back:1992:CAD,% Ehrig:1990:CDT% }. \NAMECITE{Comments}{% Andersson:1992:CBP% }. \NAMECITE{commitment}{% Khadilkar:1991:PCS% }. \NAMECITE{common}{% Apostolico:1992:FLC,% Grossi:1993:FCS,% Middendorf:1993:SCN,% Middendorf:1994:MCC% }. \NAMECITE{communicating}{% Tiplea:1994:SDP% }. \NAMECITE{Communication}{% Aggarwal:1990:CCP,% Chen:1994:CCC,% Hromkovic:1994:SHC,% Santoro:1992:DSA% }. \NAMECITE{commutation}{% Dumas:1992:SPS% }. \NAMECITE{commutations}{% Diekert:1993:MFC% }. \NAMECITE{commutative}{% Almeida:1993:LCP,% Duchamp:1992:PCS,% Hashiguchi:1991:RCS,% Hashiguchi:1992:TRS,% Konig:1991:GFP,% Krob:1991:SEF,% Lalonde:1993:BLA,% Mora:1994:ICN,% Schmitt:1990:HAI,% Varricchio:1992:DEP,% Varricchio:1992:RSC% }. \NAMECITE{commutatives}{% Lalonde:1993:BLA% }. \NAMECITE{commutativity}{% Jouannaud:1992:TCM,% Mateescu:1994:SDC% }. \NAMECITE{compact}{% Nummenmaa:1992:CCR% }. \NAMECITE{compaction}{% Aiken:1990:TCP,% Chrobak:1991:POL% }. \NAMECITE{compaction-based}{% Aiken:1990:TCP% }. \NAMECITE{Comparative}{% deBakker:1990:CMS% }. \NAMECITE{Comparing}{% Dybkjaer:1993:CHC,% Kok:1990:CCC,% deBoer:1992:FSC% }. \NAMECITE{comparison}{% Azar:1991:PCM,% Gyssens:1991:CBA,% Habel:1993:CCF,% Majster-Cederbaum:1994:CCB,% Rabani:1992:SCS% }. \NAMECITE{comparisons}{% Lambert:1992:SSX% }. \NAMECITE{Compatibility}{% Ehrig:1990:CPD% }. \NAMECITE{compatible}{% Habel:1993:CCF% }. \NAMECITE{Competitive}{% Fiat:1994:CAW,% Alon:1994:LBC,% Chrobak:1992:HTS,% Kalyanasundaram:1994:CCT,% Koren:1994:MML% }. \NAMECITE{Compilation}{% Anonymous:1990:IFW,% Anonymous:1993:SFS,% Arcangeli:1990:PPP,% Bulyonkov:1990:MCC,% Heibig:1991:CMN,% Mathieu:1994:KLC% }. \NAMECITE{compilers}{% Rus:1991:ACC% }. \NAMECITE{complementation}{% Leiss:1994:UCL% }. \NAMECITE{complements}{% Kawahara:1990:PBC% }. \NAMECITE{Complete}{% Comon:1993:CAS,% Gil:1992:CEG,% Krob:1991:CSB,% Main:1993:CPR,% Sarnath:1990:PGP,% vanBakel:1992:CRI,% Ambos-Spies:1994:MPC,% Baratella:1993:CPW,% Bergstra:1994:WDT,% Bonnier-Rigny:1994:CSI,% Chrobak:1994:TRL,% DeAgostino:1994:PCP,% DeAgostino:2000:EPC,% Eiter:1993:PCEa,% Eiter:1993:PCEb,% Ferreira:1993:SEA,% Fulop:1991:CCD,% Habbas:1993:CMP,% Holldobler:1990:CET,% Huynh:1992:NCR,% Iwata:1994:OGB,% Karner:1992:TFP,% Kinber:1991:CSS,% Leiss:1994:LEO,% Lengauer:1990:BNF,% Lincoln:1994:COM,% Martens:1994:SCP,% Miyano:1991:DSS,% Cho:1991:FAA,% Hartmanis:1991:OFN,% Michel:1991:NLA,% Middendorf:1993:SCN% }. \NAMECITE{completely}{% Reilly:1994:BVG,% Wang:1991:PCS% }. \NAMECITE{Completeness}{% Bezem:1990:CRR,% Baratella:1992:CRA,% Bol:1992:GCR,% Cavedon:1991:ALP,% Echahed:1990:CNS,% Longo:1990:CCF,% Manca:1992:SCB,% Mezghiche:1991:WCT,% Nielson:1990:FCM,% Stewart:1993:MPC,% Szalas:1991:SAC,% Watanabe:1992:PTM% }. \NAMECITE{Completing}{% Manna:1991:CTP% }. \NAMECITE{Completion}{% Doggaz:1991:CU,% Ganzinger:1991:OCM,% Gnaedig:1990:ECO,% Jouannaud:1992:TCM,% Thomas:1993:SDK% }. \NAMECITE{Completions}{% Hein:1992:CPL% }. \NAMECITE{complex}{% Culik:1993:AAR% }. \NAMECITE{Complexit{\'e}}{% Dulucq:1993:CAO% }. \NAMECITE{complexities}{% Szepietowski:1990:IDN,% Yu:1994:SCS% }. \NAMECITE{Complexity}{% Bodlaender:1993:CPF,% Hausser:1992:CLG,% Kim:1990:CDR,% Michel:1992:CLT,% Miltersen:1994:CMI,% Picouleau:1994:CHC,% Powell:1991:COV,% Shub:1994:CBT,% Aggarwal:1990:CCP,% Allender:1993:AEC,% Babai:1990:LBC,% Baur:1991:ACR,% Beame:1992:CCS,% Bebjak:1991:SDN,% Becker:1991:CFM,% Bertoni:1991:CCN,% Birget:1993:POW,% Bodlaender:1992:CCG,% Bonner:1990:HDC,% Bovet:1992:UAD,% Chen:1990:DBO,% Chen:1994:CCC,% Chen:1994:CCS,% Consens:1993:LCA,% Csuhaj-Varju:1993:DCC,% Cucker:1994:SCC,% Damm:1992:SCC,% DeSantis:1994:KCQ,% Devienne:1990:WGT,% Dietzfelbinger:1991:CMT,% Dietzfelbinger:1993:CMT,% Dikovsky:1993:CCP,% Downey:1991:CCH,% Dulucq:1993:CAO,% Durand:1994:ICA,% Duris:1994:NDO,% Fortnow:1993:IPS,% Garzon:1991:CGG,% Goerdt:1992:CCC,% Gradel:1992:CCC,% Grigoriev:1994:DTS,% Hartmanis:1990:NDS,% Heiman:1993:RTF,% Hemachandra:1991:KCC,% Hemachandra:1992:SCC,% Hiraishi:1994:SCR,% Hromkovic:1992:LBA,% Hromkovic:1994:SHC,% Huynh:1992:NCR,% Huynh:1994:NCD,% Jiang:1990:CAO,% Jiang:1993:CLS,% Kamper:1991:NPS,% Koiran:1994:CRA,% Kruskal:1990:CTE,% Kuper:1993:CQL,% Labhalla:1991:CCC,% Labhalla:1991:RRN,% Lavault:1990:EAM,% Lenz:1991:CCQ,% Longpre:1993:HPP,% Louth:1994:CCL,% Luchkardt:1991:NFU,% Mansour:1993:CCU,% Meer:1994:CQP,% Megiddo:1991:TFE,% Michel:1992:SSC,% Middendorf:1994:MCC,% Mirwald:1992:MCQ,% Muller:1992:AAW,% Palko:1991:ACM,% Piotrow:1991:CCP,% Rabani:1992:SCS,% Razborov:1992:DCD,% Rich:1994:COF,% Santoro:1992:DSA,% Szymanski:1990:CAR,% Wegener:1991:CPF,% Weihrauch:1991:TCC,% Wolf:1994:NCS,% Zhang:1994:DPD,% Anonymous:1994:WCA% }. \NAMECITE{Composition}{% Marcoux:1993:CAQ,% Abadi:1993:LVC,% Fix:1994:PCU% }. \NAMECITE{compositional}{% Bossi:1994:CSL,% Heibig:1991:CMN,% Hooman:1992:CAS,% Larsen:1991:PSC,% Peled:1994:CFF,% Schepers:1994:TBC% }. \NAMECITE{{Compositionality}}{% Anonymous:1992:WCC,% Anonymous:1993:WCC% }. \NAMECITE{compounds}{% Stromquist:1993:SCC% }. \NAMECITE{Comprehension}{% Jacobs:1993:CCS% }. \NAMECITE{Compression}{% DeAgostino:2000:EPC,% DeAgostino:1994:PCP,% Geffert:1993:STT,% Zipstein:1992:DCF% }. \NAMECITE{{COMPUGRAPH}}{% Ehrig:1993:EBR% }. \NAMECITE{Comput}{% Botelho:1997:EBN,% DeAgostino:2000:EPC,% Perrier:1998:CGP% }. \NAMECITE{Computability}{% Koiran:1994:CLD,% Saouter:1993:CRE,% Weihrauch:1993:CCM,% Girard:1992:BLL,% Sazonov:1993:HFS,% Toda:1990:PRL% }. \NAMECITE{Computable}{% Mourrain:1992:CIA,% Robson:1990:STB,% Rodenburg:1991:ASD,% Weihrauch:1993:CCM% }. \NAMECITE{Computation}{% Oussous:1991:CMM,% Akl:1992:DPT,% Ausiello:1992:OCM,% Boyar:1992:AMC,% Bulyonkov:1990:MCC,% Bulyonkov:1991:PEM,% Futamura:1991:EGP,% Itkin:1991:AMC,% Jacopini:1990:RPC,% Limongelli:1992:ASS,% Meer:1994:CQP,% Miltersen:1994:CMI,% Siegelmann:1994:ACN,% Tarlecki:1991:SFA% }. \NAMECITE{Computational}{% Abramsky:1993:CIL,% Constable:1993:CFB,% Crole:1994:CAF,% Juedes:1994:CDR,% Labhalla:1991:CCC,% Louth:1994:CCL,% Penjam:1990:CAM,% Chen:1994:CCS,% Dikovsky:1993:CCP,% Downey:1991:CCH,% Jain:1994:PSR,% Mansour:1993:CCU,% Megiddo:1991:TFE,% Sturtivant:1993:CEF,% Weihrauch:1991:TCC,% Wiedermann:1991:CES% }. \NAMECITE{computationally}{% Brassard:1991:CPZ% }. \NAMECITE{Computations}{% Becker:1991:CFM,% Letichevsky:1993:CAA,% Apostolico:1992:FLC,% Codenotti:1994:OCP,% Crochemore:1991:UKA,% Delyon:1994:ENS,% Diks:1991:OPC,% Falaschi:1990:FFP,% Garofalakis:1994:TDD,% Gruska:1990:SSP,% Janssens:1993:ECA,% Ranjan:1991:SBC,% Robson:1991:OLR% }. \NAMECITE{Computer}{% Anonymous:1990:ICF,% Anonymous:1993:SFS,% Anonymous:1994:MMC,% Duchamp:1992:SWA,% Goto:1994:PSI,% Casas:1990:ASC,% Knuth:1991:TPC,% Nepejvoda:1991:BBC,% Senoussi:1994:QAT% }. \NAMECITE{Computer-Theoretic}{% Duchamp:1992:SWA% }. \NAMECITE{Computing}{% Anonymous:1993:IWC,% Ehrig:1993:EBR,% Koiran:1994:CRA,% Litovsky:1993:CGR,% Averbuch:1991:CAM,% Beame:1992:CCS,% Bertoni:1991:CCN,% Chen:1994:CCC,% Iliopoulos:1992:OAC,% Yamasaki:1990:RES,% Zhang:1992:PAT% }. \NAMECITE{concatenation}{% Arfi:1991:POH,% Diekert:1993:CIT,% Leiss:1994:LEO% }. \NAMECITE{concavity}{% Galil:1992:DPC% }. \NAMECITE{concept}{% Godin:1994:ICF,% Wells:1990:GCS% }. \NAMECITE{concepts}{% Kawahara:1990:PBC,% Nota:1993:LCT% }. \NAMECITE{Conceptual}{% Vianu:1992:CLC% }. \NAMECITE{concerning}{% Jiang:1994:SRC,% Straubing:1992:CCD% }. \NAMECITE{Concrete}{% Brookes:1993:HIC,% Kahn:1993:CDP,% Brookes:1992:TTP% }. \NAMECITE{concretization}{% Kasyanov:1991:TAP% }. \NAMECITE{Concurrency}{% Anonymous:1992:WCC,% Anonymous:1993:WCC,% Bracho:1994:LDA,% Janicki:1993:SC,% Kok:1990:CCC,% Meseguer:1992:CRL,% Ruqian:1993:TCM,% Vianu:1992:CLC,% deBakker:1991:FDC% }. \NAMECITE{Concurrent}{% Garg:1992:CRE,% deBakker:1990:CMS,% Berard:1994:GSC,% Cherkasova:1991:ACN,% Corradini:1994:AMC,% Falaschi:1990:FFP,% Gabbrielli:1992:UFS,% Janicki:1990:TSS,% Mery:1992:NSD,% Milner:1990:IOC,% Montanari:1993:GRP,% Olderog:1991:CCP,% Takayama:1994:DCP,% Valiev:1993:USP,% Yen:1992:MAD,% deBoer:1991:SMC% }. \NAMECITE{condition}{% Squier:1994:FCR% }. \NAMECITE{Conditional}{% Holldobler:1990:CET,% Meseguer:1992:CRL,% Dershowitz:1990:RCE,% Katz:1992:DCI% }. \NAMECITE{conditions}{% Hiraishi:1992:SCW,% deLuca:1991:FIC% }. \NAMECITE{Conduction}{% Milner:1991:CRS% }. \NAMECITE{cone}{% Pierre:1992:RIG% }. \NAMECITE{Conference}{% Anonymous:1990:ICA,% Anonymous:1990:ICF,% Anonymous:1991:ICL,% Goto:1994:PSI,% Anonymous:1993:CFP% }. \NAMECITE{configurations}{% Korec:1993:ISC% }. \NAMECITE{Confluence}{% VanOostrom:1994:CDD% }. \NAMECITE{Confluent}{% Frougny:1992:CLN,% Diekert:1993:MFC,% Madlener:1993:WCM,% Poirriez:1994:MST% }. \NAMECITE{congruence}{% Tirri:1990:CTC% }. \NAMECITE{Congruences}{% Ito:1994:CIC,% Harrison:1994:MCD,% Senizergues:1990:CDC% }. \NAMECITE{congruential}{% Burckel:1994:FEA,% Vagvolgyi:1993:FAC% }. \NAMECITE{conjecture}{% Bertrand:1994:CDM,% Ekhad:1993:SEE,% Ganesan:1994:OWF,% Ilie:1994:CAS,% Ollagnier:1992:PDC,% Straubing:1992:CCD,% Watanabe:1991:PC% }. \NAMECITE{conjugate}{% Desharnais:1993:RDO% }. \NAMECITE{conjunctive}{% Chan:1994:TSC,% Lenz:1991:CCQ,% Masseron:1993:GPLb% }. \NAMECITE{connected}{% Drewes:1993:RCH,% Hromkovic:1994:NOG,% Subbiah:1993:ODA,% Zhang:1992:PAT% }. \NAMECITE{Connectedness}{% Mazurkiewicz:1991:CS,% Dassow:1991:CPC,% Matus:1994:SIA% }. \NAMECITE{connection}{% Coquide:1994:BTP,% Kim:1992:NSM% }. \NAMECITE{connections}{% Melton:1994:LCC% }. \NAMECITE{connections-a}{% Melton:1994:LCC% }. \NAMECITE{connectivity}{% Hershberger:1994:DST% }. \NAMECITE{conservative}{% Blikle:1991:CES% }. \NAMECITE{conserves}{% Breazu-Tannen:1991:PRC% }. \NAMECITE{Constant}{% Brassard:1991:CPZ,% Lincoln:1994:COM,% Bafna:1994:AIM,% Jiang:1990:CAO,% Oommen:1993:OAL,% Sikkel:1993:PLP% }. \NAMECITE{Constant-only}{% Lincoln:1994:COM% }. \NAMECITE{Constant-round}{% Brassard:1991:CPZ% }. \NAMECITE{constants}{% Steffen:1991:FCC% }. \NAMECITE{constraint}{% Ait-Kaci:1994:FCS,% Du:1990:MMF,% Gabbrielli:1992:UFS,% Kanchanasut:1992:TNL,% Monfroglio:1992:IPL,% Montanari:1993:GRP% }. \NAMECITE{constraints}{% Coffman:1994:PMP,% Dong:1991:LCO,% Jiang:1994:ASS,% Lipeck:1990:TDI,% Restivo:1990:CLC,% Revesz:1993:CFE% }. \NAMECITE{Constructing}{% Kalyanasundaram:1994:CCT,% Nummenmaa:1992:CCR,% Vagvolgyi:1993:FAC% }. \NAMECITE{Construction}{% Elbaz:1990:CVD,% Aumann:1994:CCF,% Barzdin:1991:RCA,% Boissonnat:1993:RCD,% Jung:1991:DPC,% Park:1994:CRM,% Rus:1991:ACC,% Yamasaki:1994:DSD,% Anonymous:1990:IFW,% Melancon:1993:CBS% }. \NAMECITE{Constructions}{% Melancon:1993:CBS,% Bozapalidis:1990:ECF,% Karhumaki:1993:ECT,% Streicher:1992:IIP,% Zierer:1991:RAD% }. \NAMECITE{Constructive}{% Barendregt:1993:CPR,% Gallier:1993:CLP,% Galmiche:1990:CSA,% Bruschi:1992:SSP,% Galmiche:1992:PDC,% Nepejvoda:1991:BBC% }. \NAMECITE{constructively}{% Takayama:1994:DCP% }. \NAMECITE{constructors}{% Kurihara:1992:MST% }. \NAMECITE{Context}{% Chen:1993:CFG,% Bertoni:1991:CCN,% Chytil:1991:PRU,% Courcelle:1991:RQC,% Csuhaj-Varju:1993:DCC,% Heilbrunner:1991:ERB,% Herbst:1992:KFP,% Huynh:1994:DBN,% Ibarra:1992:CEL,% Ilie:1994:CAS,% Jantzen:1994:CCF,% Karhumaki:1993:ECT,% Leo:1991:GCP,% Litow:1994:CFL,% Mauro:1991:DLS,% Palis:1992:UBR,% Pierre:1992:RIG,% Sakakibara:1990:LCG,% Schwer:1992:CLA,% Seki:1991:MCG,% Senizergues:1990:CDC,% Shankar:1991:GRT,% Shankar:1992:GRT,% Weir:1992:GHB% }. \NAMECITE{Context-free}{% Chen:1993:CFG,% Bertoni:1991:CCN,% Chytil:1991:PRU,% Courcelle:1991:RQC,% Csuhaj-Varju:1993:DCC,% Heilbrunner:1991:ERB,% Herbst:1992:KFP,% Huynh:1994:DBN,% Ibarra:1992:CEL,% Ilie:1994:CAS,% Jantzen:1994:CCF,% Karhumaki:1993:ECT,% Leo:1991:GCP,% Litow:1994:CFL,% Mauro:1991:DLS,% Pierre:1992:RIG,% Sakakibara:1990:LCG,% Seki:1991:MCG,% Senizergues:1990:CDC,% Shankar:1991:GRT,% Shankar:1992:GRT,% Weir:1992:GHB% }. \NAMECITE{context-freeness}{% Schwer:1992:CLA% }. \NAMECITE{Continuations}{% Tennent:1991:CPS% }. \NAMECITE{Continuous}{% Anonymous:1994:WCA,% Kuich:1991:ALG,% Labhalla:1991:CCC,% Vickers:1993:ISC% }. \NAMECITE{Contractions}{% Kok:1990:CCC,% Mey:1994:FGP% }. \NAMECITE{Control}{% Heibig:1991:CMN,% Felleisen:1992:RRS,% Vianu:1992:CLC% }. \NAMECITE{controlled}{% Aizawa:1991:GGP,% Schmid:1993:ACC,% Senizergues:1990:SDP% }. \NAMECITE{convergence}{% Goles:1994:LOS,% Malajovich:1994:GNA% }. \NAMECITE{convex}{% Rojas:1994:CGA% }. \NAMECITE{convexity}{% Galil:1992:DPC% }. \NAMECITE{convincing}{% Brassard:1991:CPZ% }. \NAMECITE{convolution}{% Quinton:1992:SCA% }. \NAMECITE{{Conway}}{% Plambeck:1992:DKS% }. \NAMECITE{cooperating}{% Hromkovic:1994:SHC,% Santean:1992:INC% }. \NAMECITE{cooperation}{% Csuhaj-Varju:1991:PCR% }. \NAMECITE{coprimality}{% Michel:1992:CLT% }. \NAMECITE{{Corrado}}{% Abadi:1993:SSB% }. \NAMECITE{corrections}{% Barr:1994:ACT% }. \NAMECITE{Correctness}{% Olderog:1991:CCP,% Wei:1994:CFT,% Main:1993:SMT% }. \NAMECITE{Corrigendum}{% Perrier:1998:CGP,% Monien:1994:FRD% }. \NAMECITE{cosemicomputable}{% Moss:1992:FAC% }. \NAMECITE{cost}{% Ben-Amram:1994:UCP,% Berstel:1994:ACD,% Cameron:1994:BAT,% Seidl:1994:FTA% }. \NAMECITE{{COSY}}{% Koutney:1992:APT,% Okulicka:1990:PC% }. \NAMECITE{counter}{% Herbst:1993:GPF,% Hromkovic:1993:NRO,% Weil:1990:PLC% }. \NAMECITE{counterpart}{% Melton:1994:LCC% }. \NAMECITE{Counting}{% Beigel:1992:CCT,% Dubois:1991:CNS,% Almeida:1993:LCP,% Alvarez:1993:VHL,% Ogiwara:1993:SHS,% Piotrow:1991:CCP,% Potthoff:1994:MCQ,% Prodinger:1992:HAA,% Rojas:1994:CGA% }. \NAMECITE{Coupling}{% Charron-Bost:1993:CCD% }. \NAMECITE{cover}{% Srikant:1993:OPC% }. \NAMECITE{covering}{% Moran:1991:OCC% }. \NAMECITE{covers}{% Schwer:1992:FCV% }. \NAMECITE{cpo}{% Baier:1994:DSC,% Majster-Cederbaum:1994:CCB% }. \NAMECITE{cpo-based}{% Majster-Cederbaum:1994:CCB% }. \NAMECITE{{CPOs}}{% Jung:1990:CCC% }. \NAMECITE{{CRCW}}{% Apostolico:1993:ECP,% Nishimura:1994:RCP% }. \NAMECITE{{CRCW-PRAM}}{% Apostolico:1993:ECP% }. \NAMECITE{creative}{% Wang:1991:PCS% }. \NAMECITE{{CRI}}{% Schmid:1993:ACC% }. \NAMECITE{{CRI-length}}{% Schmid:1993:ACC% }. \NAMECITE{criteria}{% Fachini:1991:NCC% }. \NAMECITE{criterion}{% Dehornoy:1992:CPN% }. \NAMECITE{cryptography}{% Garzon:1991:CGG% }. \NAMECITE{cryptosystems}{% Andrasiu:1993:LTP% }. \NAMECITE{{CSP}}{% Majster-Cederbaum:1994:CCB% }. \NAMECITE{{CTL}}{% Dam:1994:CEF% }. \NAMECITE{cubic}{% Drewes:1993:RCH% }. \NAMECITE{{CUCH}}{% Scott:1993:TTA% }. \NAMECITE{curved}{% Bourgin:1993:SCP% }. \NAMECITE{curves}{% Bourgin:1993:SCP,% Edelsbrunner:1992:ACP,% Lachaud:1992:ACE% }. \NAMECITE{Cut}{% Zhang:1991:CEA,% Zhang:1993:CFP,% Billaud:1990:SOD,% Zhang:1994:DPD% }. \NAMECITE{cut-formulas}{% Zhang:1994:DPD% }. \NAMECITE{cycle}{% Picouleau:1994:CHC% }. \NAMECITE{cycles}{% Cheung:1991:RDT,% Chrobak:1990:DSU% }. \NAMECITE{Cyclic}{% Terlutte:1990:CRT,% Allouche:1994:NCT,% Baccelli:1994:DET,% Desel:1993:RCE% }. \NAMECITE{D}{% Brookes:1993:HIC,% Harrison:1994:MCD,% Honkala:1993:DSI,% Jiang:1994:SRC% }. \NAMECITE{{D.}}{% Louchard:1992:DAK% }. \NAMECITE{{D0L}}{% Lando:1991:PUP,% deBoer:1991:PDP% }. \NAMECITE{{Dactl}}{% Kennaway:1990:ITR% }. \NAMECITE{Daisies}{% Plambeck:1992:DKS% }. \NAMECITE{d'algorithmes}{% Dulucq:1993:CAO% }. \NAMECITE{dans}{% Constantineau:1993:ASC,% Dehornoy:1992:PMG,% Mantaci:1993:DAE% }. \NAMECITE{Data}{% Akl:1992:DPT,% DeAgostino:2000:EPC,% Gardiner:1991:DRP,% Hershberger:1994:DST,% Pigozzi:1990:DTM,% Zhang:1992:DTE,% Zipstein:1992:DCF,% Bergstra:1994:WDT,% Brookes:1992:TTP,% Chrobak:1990:DSU,% DeAgostino:1994:PCP,% Ehrig:1990:CDT,% Gambosi:1991:PDS,% Kearney:1991:EFS,% Kirschenhofer:1992:PMD,% Kuper:1993:CQL,% Mason:1992:IEF,% Mulry:1992:MAS,% Rodenburg:1991:ASD,% Sakakibara:1990:LCG,% Sazonov:1993:HFS,% Talcott:1992:TPD,% Wagner:1990:ASL% }. \NAMECITE{Data-movement-intensive}{% Akl:1992:DPT% }. \NAMECITE{Database}{% Anonymous:1991:WDD,% Bidoit:1991:NRD,% Cheung:1991:RDT,% Han:1994:TEI,% Lipton:1993:ESS,% Maher:1993:TSD,% Ohori:1990:STD,% Wang:1992:CBD% }. \NAMECITE{databases}{% Buneman:1991:UPG,% Burosch:1991:NDC,% Demolombe:1991:ESN,% Dong:1994:IID,% Godin:1994:ICF,% Gyssens:1991:CBA,% Royer:1991:SID,% Subrahmanian:1992:PDD,% vanderMeyden:1993:RID% }. \NAMECITE{dataflow}{% Caspi:1992:CDL,% Tyugu:1991:HOD,% Yamasaki:1994:DSD% }. \NAMECITE{Datalog}{% Abiteboul:1991:FPD,% Bonner:1990:HDC,% Dong:1990:DDP,% Consens:1993:LCA,% Revesz:1993:CFE% }. \NAMECITE{{Days}}{% Moews:1991:SGB% }. \NAMECITE{{DCP}}{% Fournier:1991:EDM% }. \NAMECITE{Decidability}{% Caron:1994:DRD,% Jancar:1990:DTL,% Salomaa:1991:DSE,% Anselmo:1990:ZCT,% Culik:1990:NTP,% Hosono:1994:FDD,% Jurgensen:1994:TDI,% Kim:1990:CDR,% Varricchio:1992:DEP% }. \NAMECITE{Decidable}{% Habel:1991:DBP,% Eriksson:1994:RDN,% Margenstern:1994:NTM,% Schwer:1992:CLA,% Seidl:1992:STT,% Steffen:1991:FCC% }. \NAMECITE{decide}{% Esparza:1992:PAD,% Lambert:1992:SDR,% Sprenger:1993:HDL% }. \NAMECITE{Deciding}{% Huynh:1994:DBN,% Neraud:1993:DWF,% Huynh:1994:NCD,% Sabelfeld:1990:ADF% }. \NAMECITE{decipherability}{% Capocelli:1994:FAU% }. \NAMECITE{deciphering}{% Bruyere:1991:MCB% }. \NAMECITE{decision}{% Bellin:1992:DPR,% Damm:1992:SCC,% Diop:1992:DDM,% Heiman:1993:RTF,% Litow:1994:CFL,% Senizergues:1990:SDP,% Tiplea:1994:SDP% }. \NAMECITE{declarative}{% Deransart:1993:PMD,% Murakami:1990:DSF,% deBoer:1992:FSC% }. \NAMECITE{Decoders}{% Capocelli:1991:DIS% }. \NAMECITE{decomposable}{% Courcelle:1993:MSO% }. \NAMECITE{decomposition}{% Benninger:1992:ESD,% Chen:1993:DAR,% Dong:1990:DDP,% Milner:1993:UDP,% Plambeck:1992:DKS% }. \NAMECITE{Decompositions}{% Zhang:1993:DRS% }. \NAMECITE{decreasing}{% Duris:1994:NDO,% VanOostrom:1994:CDD% }. \NAMECITE{{Dedekind}}{% Blizard:1993:DMF% }. \NAMECITE{deduction}{% Goguen:1992:OSA,% Martens:1994:SCP% }. \NAMECITE{Deductive}{% Anonymous:1991:WDD,% Demolombe:1991:ESN,% Dong:1994:IID,% Maher:1993:TSD,% Subrahmanian:1992:PDD% }. \NAMECITE{default}{% Bidoit:1991:NDU,% Marek:1992:RBS% }. \NAMECITE{definability}{% Courcelle:1991:MSL% }. \NAMECITE{definable}{% Courcelle:1994:MSO,% Engelfriet:1991:RCG,% Leivant:1993:FFA,% Thomas:1992:ITA% }. \NAMECITE{define}{% Bovet:1992:UAD% }. \NAMECITE{defined}{% Birget:1994:FLD,% DelLungo:1994:PDT,% Manoury:1994:ATP,% Peladeau:1992:LDS,% Pitts:1994:CIP,% Schwartzbach:1992:IRD% }. \NAMECITE{Defining}{% Katz:1992:DCI,% Takayama:1994:DCP% }. \NAMECITE{definite}{% Deransart:1993:PMD,% Garofalakis:1994:TDD% }. \NAMECITE{definitions}{% Baeten:1991:RPD,% Goerdt:1992:CCC,% Hallnas:1991:PID,% Kobayashi:1994:RIG,% Tatsuta:1994:RIC,% deRougemont:1992:FDI% }. \NAMECITE{Deforestation}{% Wadler:1990:DTP% }. \NAMECITE{degree}{% Chrobak:1991:POL,% Hashiguchi:1990:ERE,% Weber:1991:DAF,% Yoo:1991:EAR% }. \NAMECITE{degrees}{% Aoki:1994:THD,% Darondeau:1992:FDD,% Downey:1991:CCH,% Moss:1992:FAC,% Shore:1992:PDR,% Shore:1992:PRS,% Yoo:1992:ERE% }. \NAMECITE{{Dejean}}{% Ollagnier:1992:PDC% }. \NAMECITE{{Delaunay}}{% Boissonnat:1993:RCD% }. \NAMECITE{delay}{% Bruyere:1991:MCB,% Erdos:1992:DLN,% Maurer:1991:BDC% }. \NAMECITE{deletion}{% Mateescu:1994:SDC% }. \NAMECITE{Delta}{% He:1990:EAE,% Mery:1992:NSD% }. \NAMECITE{demons}{% Back:1992:CAD% }. \NAMECITE{Denotational}{% Baier:1994:DSC,% Billaud:1990:SOD,% Pasztor:1990:RPD,% Yamasaki:1994:DSD,% deBoer:1992:FSC% }. \NAMECITE{density}{% Duris:1994:NDO% }. \NAMECITE{dependable}{% deMeer:1994:GRD% }. \NAMECITE{dependencies}{% Wang:1992:CBD% }. \NAMECITE{dependency}{% Bertrand:1994:NSF,% Jacobs:1993:CCS,% Matus:1991:AFD% }. \NAMECITE{dependent}{% Jung:1991:DPC% }. \NAMECITE{Depth}{% Zhang:1994:DPD,% Blanchet-Sadri:1994:EMV,% Juedes:1994:CDR,% Snir:1991:STM,% Straubing:1992:CCD,% Wegener:1991:CPF% }. \NAMECITE{derandomization}{% Spencer:1994:RDA% }. \NAMECITE{derivation}{% Hoare:1991:TDC,% Hofbauer:1992:TPM,% Hosono:1994:FDD,% Lu:1993:APD% }. \NAMECITE{derivations}{% Ehrig:1993:PDD,% Katsura:1993:SAD% }. \NAMECITE{derivatives}{% BarYehuda:1993:RTG% }. \NAMECITE{Derived}{% Mauro:1991:DLS% }. \NAMECITE{Deriving}{% Chen:1993:DAR% }. \NAMECITE{derivors}{% Giegerich:1990:CSI% }. \NAMECITE{describe}{% Kamper:1991:NPS% }. \NAMECITE{Descriptional}{% Csuhaj-Varju:1993:DCC% }. \NAMECITE{design}{% Bradley:1990:ALD,% Parisi-Presicce:1991:FRD,% Vissers:1991:SSD,% Wagner:1990:ASL% }. \NAMECITE{designs}{% Hoare:1991:TDC% }. \NAMECITE{d'esp{\`e}ces}{% Chiricota:1993:RSE% }. \NAMECITE{detection}{% Apostolico:1993:EDQ% }. \NAMECITE{Determining}{% Baccelli:1994:DET,% Calude:1991:DSS,% Hashiguchi:1991:ADR% }. \NAMECITE{Determinism}{% Vaandrager:1991:DES,% Wilm:1991:DNP,% Mak:1994:SDA% }. \NAMECITE{Deterministic}{% Dassow:1991:DSA,% El-Taha:1992:DAQ,% Hromkovic:1994:DVN,% Oommen:1990:DOE,% Abiteboul:1991:FPD,% Bebjak:1991:SDN,% Droste:1990:NIS,% Fulop:1991:CCD,% Fulop:1994:UPD,% Karhumaki:1992:MDV,% Monien:1993:FRD,% Monien:1994:FRD,% Revuz:1992:MAD,% Salomaa:1991:DAM,% Senizergues:1990:CDC,% Shankar:1991:GRT,% Shankar:1992:GRT,% Szepietowski:1990:IDN% }. \NAMECITE{d'{Euclide}}{% Troesch:1993:IGA% }. \NAMECITE{Development}{% Anonymous:1993:SFS,% Blikle:1991:CES,% Ehrig:1990:CPD,% Galmiche:1992:PDC,% Horwitz:1990:ARQ,% Labhalla:1991:CCC,% Mery:1992:NSD,% Pottosin:1991:APO,% Ramanathan:1994:RED% }. \NAMECITE{developments}{% Hartmanis:1990:NDS,% Labhalla:1991:RRN% }. \NAMECITE{Deviation}{% Grigoriev:1994:DTS% }. \NAMECITE{{DFA}}{% Ibarra:1993:SFA% }. \NAMECITE{diagrams}{% Elbaz:1990:CVD,% VanOostrom:1994:CDD% }. \NAMECITE{dictionary}{% Idury:1994:DDM% }. \NAMECITE{difference}{% Chen:1990:DBO% }. \NAMECITE{differences}{% Fu:1993:SDN% }. \NAMECITE{different}{% Cheung:1991:RDT% }. \NAMECITE{differentiable}{% Chen:1994:CCC% }. \NAMECITE{Differential}{% Diop:1992:DDM,% Oussous:1991:CMM,% Chen:1993:CFG,% Engeler:1990:CDF,% Grigoriev:1994:DTS% }. \NAMECITE{Differential-algebraic}{% Diop:1992:DDM% }. \NAMECITE{digital}{% Flajolet:1994:MTA,% Szpankowski:1991:CDS% }. \NAMECITE{digraphs}{% Park:1994:CRM,% Tamassia:1993:DRP% }. \NAMECITE{dimension}{% deRougemont:1992:FDI% }. \NAMECITE{dimensional}{% Burroni:1993:HDW,% Crochemore:1994:TDP,% Koiran:1994:CLD,% Lempel:1994:AFS% }. \NAMECITE{dinaturality}{% Blute:1993:LLC,% Simpson:1993:CLF% }. \NAMECITE{{Diophantine}}{% Romeuf:1990:PAS% }. \NAMECITE{dipping}{% Bennett:1994:DDC% }. \NAMECITE{direct}{% Bellin:1992:DPR% }. \NAMECITE{directed}{% Ausiello:1990:DMD,% Barcucci:1994:RGD,% Wagner:1990:ASL% }. \NAMECITE{director}{% Sreedhar:1993:CSR% }. \NAMECITE{discipline}{% vanBakel:1992:CRI% }. \NAMECITE{discrepancy}{% Borel:1994:SRP% }. \NAMECITE{disjoint}{% Caron:1994:DRD,% Moran:1991:OCC% }. \NAMECITE{disjointness}{% Razborov:1992:DCD% }. \NAMECITE{disjunctive}{% Lobo:1991:SHD,% Subrahmanian:1992:PDD% }. \NAMECITE{disk}{% Pai:1994:MAM% }. \NAMECITE{dissolution}{% Murray:1994:RMP% }. \NAMECITE{distance}{% Hashiguchi:1990:ILT,% Leung:1991:LTF,% Weber:1994:FVD% }. \NAMECITE{distances}{% Darondeau:1992:FDD% }. \NAMECITE{distinct}{% Holte:1992:PST% }. \NAMECITE{distinguishing}{% Hebrard:1991:ADE% }. \NAMECITE{Distributed}{% Erdos:1992:DLN,% Alon:1994:LBC,% Beauquier:1992:TDP,% Bodlaender:1991:NLB,% Charron-Bost:1993:CCD,% Ehrig:1993:PDD,% Garofalakis:1994:TDD,% Gastin:1990:AMD,% Lavault:1990:EAM,% Ramanathan:1994:RED,% Santoro:1992:DSA,% Schepers:1994:TBC,% Subbiah:1993:ODA,% Vissers:1991:SSD% }. \NAMECITE{Distribution}{% Petit:1990:DSA,% Baccelli:1994:DET,% Mantaci:1993:DAE% }. \NAMECITE{distributional}{% Razborov:1992:DCD% }. \NAMECITE{distributions}{% Benedek:1991:LRF,% Gardy:1994:JSU,% Hofri:1994:AAP% }. \NAMECITE{distributive}{% Gerhard:1994:UFD% }. \NAMECITE{divergence}{% Thomas:1993:SDK% }. \NAMECITE{division}{% Desharnais:1993:RDO,% Scott:1994:WTD,% Trahan:1992:MDS,% deBoer:1991:PDP% }. \NAMECITE{divisor}{% Hebisch:1992:GSS% }. \NAMECITE{domain}{% Edalat:1993:CFS,% Verschelde:1994:HSP,% Zierer:1991:RAD% }. \NAMECITE{Domains}{% Filippenko:1992:DLP,% Bottinger:1990:STD,% Bracho:1994:LDA,% Brookes:1993:HIC,% Das:1992:MVH,% Dosch:1993:GPD,% Droste:1990:NIS,% Droste:1993:SD,% Fiech:1994:ADN,% Heckmann:1993:PDS,% Heckmann:1994:SPD,% Jung:1991:DPC,% Kahn:1993:CDP,% Lamarche:1992:QDI,% Lamarche:1993:SDG,% Pitts:1994:CIP,% deBakker:1991:FDC% }. \NAMECITE{dominating}{% Srinivasan:1991:EAM% }. \NAMECITE{Domination}{% Diestel:1994:DGI% }. \NAMECITE{{Domineering}}{% Wolfe:1993:SDG% }. \NAMECITE{domino}{% Etzion-Petruschka:1994:SDS,% Yen:1992:MAD% }. \NAMECITE{dot}{% Blanchet-Sadri:1994:EMV,% Straubing:1992:CCD% }. \NAMECITE{dot-depth}{% Blanchet-Sadri:1994:EMV,% Straubing:1992:CCD% }. \NAMECITE{Double}{% Bennett:1994:DDC% }. \NAMECITE{down}{% Fulop:1994:UPD,% Vagvolgyi:1992:TTT% }. \NAMECITE{Downward}{% Allender:1990:DTE% }. \NAMECITE{Drawing}{% Eades:1994:DGT% }. \NAMECITE{droite}{% Melancon:1993:CBS% }. \NAMECITE{{DT}}{% Honkala:1994:GDS% }. \NAMECITE{duality}{% Denecker:1994:DAM% }. \NAMECITE{d'une}{% Mosse:1992:PMR% }. \NAMECITE{{Duval}}{% Berstel:1994:ACD% }. \NAMECITE{{Dyck}}{% Lalanne:1993:ICD% }. \NAMECITE{Dynamic}{% Ausiello:1990:DMD,% Feldmann:1994:DSP,% Feuerstein:1993:DAS,% Galil:1992:DPC,% Idury:1994:DDM,% Louchard:1992:DAK,% Preparata:1990:DPP,% Tamassia:1993:DRP,% Crvenkovic:1994:DA,% Francon:1990:ADA,% Hespel:1991:AND,% Huang:1992:SPA,% Knijnenburg:1991:MPD,% Lipeck:1990:TDI,% Yellin:1994:ADS% }. \NAMECITE{dynamical}{% Koiran:1994:CLD% }. \NAMECITE{Dynamics}{% Saito:1991:DER% }. \NAMECITE{{d'Yves}}{% Bertrand:1994:CDM% }. \NAMECITE{{E0L}}{% Nirmal:1991:MCE,% Salomaa:1991:DSE% }. \NAMECITE{{E0L-E0L}}{% Nirmal:1991:MCE% }. \NAMECITE{{Earley}}{% Leermakers:1992:RAP% }. \NAMECITE{easy}{% Berarducci:1993:SNR,% Ekhad:1993:SEE,% Hartmanis:1990:RMS,% Kummer:1990:EPP% }. \NAMECITE{{ECTL}}{% Dam:1994:CEF% }. \NAMECITE{Edge}{% Sykora:1993:ESG,% Fraenkel:1993:UEG,% Gibbons:1990:OEO,% He:1990:EAE,% Hershberger:1994:DST% }. \NAMECITE{edge-colouring}{% Gibbons:1990:OEO% }. \NAMECITE{Editorial}{% Choffrut:1992:E,% Choffrut:1993:E,% Dauchet:1990:E,% Grandjean:1992:E,% Kwiatkowska:1992:E,% Nivat:1993:EIT,% Rus:1990:E,% Rus:1993:E% }. \NAMECITE{Effective}{% Benninger:1992:ESD,% Bozapalidis:1990:ECF,% Grabowski:1993:SPP,% Heibig:1991:CMN% }. \NAMECITE{effects}{% Delyon:1994:ENS% }. \NAMECITE{efficacy}{% Sturtivant:1993:CEF% }. \NAMECITE{efficiency}{% Wiedermann:1991:CES% }. \NAMECITE{Efficient}{% Apostolico:1993:ECP,% Apostolico:1993:EDQ,% Atzeni:1990:EOQ,% Karhumaki:1993:ECT,% Lipton:1993:ESS,% Srinivasan:1991:EAM,% Zhang:1992:EST,% Cai:1992:MEB,% Culik:1991:ESF,% Dahlhaus:1994:EPA,% Demolombe:1991:ESN,% Ferreira:1993:SEA,% Han:1994:TEI,% He:1990:EAE,% Heilbrunner:1991:ERB,% Jaja:1994:EPA,% Kruskal:1990:CTE% }. \NAMECITE{efficiently}{% Hebrard:1991:ADE% }. \NAMECITE{election}{% Lavault:1990:EAM% }. \NAMECITE{{ELECTRE}}{% Perraud:1992:OSK% }. \NAMECITE{element}{% Ito:1992:LWN% }. \NAMECITE{Elementary}{% Nielsen:1992:ETS,% Arikawa:1992:LEF,% Ekhad:1993:SEE,% Hiraishi:1994:SCR,% Katsura:1993:GFE,% Plotkin:1993:STO% }. \NAMECITE{elements}{% Birget:1993:POW,% Chaunier:1994:NPI% }. \NAMECITE{eliminate}{% Wadler:1990:DTP% }. \NAMECITE{elimination}{% Dahlhaus:1994:EPA,% Zhang:1991:CEA% }. \NAMECITE{else}{% Manes:1990:TCI% }. \NAMECITE{embedding}{% Aizawa:1991:GGP,% Bern:1992:FGA% }. \NAMECITE{embeddings}{% Chrobak:1994:TRL,% Shore:1992:PDR,% Shore:1992:PRS% }. \NAMECITE{empty}{% Manca:1992:SCB,% Zimand:1993:IEN% }. \NAMECITE{{eNCE}}{% Kim:1993:SSE% }. \NAMECITE{encodings}{% Capocelli:1991:DIS,% Capocelli:1994:FAU% }. \NAMECITE{end}{% Woeginger:1994:LSJ% }. \NAMECITE{engendrant}{% Blanchard:1994:QPE% }. \NAMECITE{enriching}{% Thomas:1993:SDK% }. \NAMECITE{enrichment}{% Jantzen:1994:CCF% }. \NAMECITE{entailment}{% Ait-Kaci:1994:FCS% }. \NAMECITE{enumerable}{% Csuhaj-Varju:1991:PCR,% Hemachandra:1991:SPE% }. \NAMECITE{Enumeration}{% Choi:1993:EGY,% Delest:1991:EPU,% Allouche:1992:PSS% }. \NAMECITE{environment}{% Curien:1991:AFE% }. \NAMECITE{environments}{% Horwitz:1990:ARQ% }. \NAMECITE{equal}{% Szepietowski:1990:IDN% }. \NAMECITE{Equality}{% Knill:1993:EAR,% Allender:1990:DTE,% Denecker:1994:DAM,% Prasad:1992:AEN% }. \NAMECITE{equation}{% Neraud:1992:SMI,% Yamasaki:1990:RES,% Mignotte:1994:ECI% }. \NAMECITE{Equational}{% Gnaedig:1990:ECO,% Goguen:1992:OSA,% Manca:1990:ETL,% Bellia:1993:EVF,% Burroni:1993:HDW,% Debart:1992:MLP,% Dershowitz:1990:RCE,% Holldobler:1990:CET,% Manca:1992:SCB% }. \NAMECITE{Equations}{% Blanchet-Sadri:1994:EMV,% Karhumaki:1993:EFS,% Bauderon:1992:IHI,% Burckel:1994:FEA,% Devienne:1993:WSE,% Edalat:1993:CFS,% Grigoriev:1994:DTS,% Kari:1994:LEI,% Leiss:1994:LEO,% Leiss:1994:UCL,% Romeuf:1990:PAS,% Saouter:1993:CRE,% Stoltenberg-Hanssen:1991:AFP% }. \NAMECITE{Equivalence}{% Janssens:1993:ECA,% Peeva:1991:ERM,% Sato:1992:EPF,% Bloom:1992:EPE,% Culik:1990:NTP,% Fournier:1991:EDM,% Harju:1991:EPM,% Karhumaki:1993:EFS,% Kawamura:1990:PSE,% Mason:1992:IEF,% Regnier:1994:ELT,% Sabelfeld:1990:ADF,% Saito:1991:DER,% Salomaa:1991:DSE,% Toyama:1991:HPE,% Vaandrager:1991:DES,% Varricchio:1992:DEP% }. \NAMECITE{Equivalence-preserving}{% Sato:1992:EPF% }. \NAMECITE{equivalent}{% Boyar:1992:AMC% }. \NAMECITE{eraser}{% Krause:1991:SET% }. \NAMECITE{ergodic}{% Ye:1994:CUE% }. \NAMECITE{Erratum}{% Botelho:1997:EBN,% DeAgostino:2000:EPC% }. \NAMECITE{error}{% Malajovich:1994:GNA% }. \NAMECITE{errors}{% Bertossi:1990:SMW,% Shufelt:1994:GHC,% Zhang:1992:DTE% }. \NAMECITE{ESPRIT}{% Ehrig:1993:EBR% }. \NAMECITE{Essence}{% Futamura:1991:EGP% }. \NAMECITE{estimation}{% Goldwurm:1992:PEN% }. \NAMECITE{{Euclid}}{% Troesch:1993:IGA% }. \NAMECITE{{Euclidean}}{% Bafna:1994:AIM% }. \NAMECITE{Evaluation}{% Minh:1991:ET,% Bulyonkov:1991:PEM,% Draghicescu:1993:UTO,% Revesz:1993:CFE% }. \NAMECITE{evaluations}{% Courcelle:1993:MSO% }. \NAMECITE{Event}{% Rozoy:1991:EST,% Assous:1994:FLP,% Darondeau:1993:RAE,% Mukund:1992:LCW,% Vaandrager:1991:DES% }. \NAMECITE{events}{% Ramanathan:1994:RED% }. \NAMECITE{every}{% Leo:1991:GCP,% Mayordomo:1994:AES% }. \NAMECITE{everywhere}{% Allender:1993:AEC% }. \NAMECITE{evolving}{% Jacopini:1990:RPC% }. \NAMECITE{Exact}{% Akyildiz:1994:ESN,% Lavault:1990:EAM% }. \NAMECITE{example}{% Leroux:1991:CAN% }. \NAMECITE{examples}{% Freivalds:1993:PII,% Krob:1991:SEF,% Statman:1993:SEN,% Takada:1992:LSS% }. \NAMECITE{exc{\'e}dances}{% Mantaci:1993:DAE% }. \NAMECITE{exceedance}{% Mantaci:1993:DAE% }. \NAMECITE{exception}{% Szczepanska:1991:HVS% }. \NAMECITE{exceptional}{% Bridges:1994:RBE% }. \NAMECITE{exceptions}{% Goguen:1992:OSA,% Zhang:1992:DTE% }. \NAMECITE{exchange}{% Prasad:1992:AEN% }. \NAMECITE{exclusion}{% Abraham:1994:MEP% }. \NAMECITE{execution}{% Charron-Bost:1993:CCD% }. \NAMECITE{Executions}{% Vogler:1991:ENP% }. \NAMECITE{existence}{% Abadi:1991:ERM,% Megiddo:1991:TFE,% Seger:1991:ESC% }. \NAMECITE{existent}{% Statman:1993:SEN% }. \NAMECITE{exit}{% Baccelli:1994:DET% }. \NAMECITE{expansions}{% Leroux:1991:CAN% }. \NAMECITE{expected}{% Santoro:1992:DSA% }. \NAMECITE{expedient}{% Oommen:1990:DOE% }. \NAMECITE{Experimenting}{% Bloom:1992:EPE% }. \NAMECITE{Experiments}{% Hofer:1991:ESG% }. \NAMECITE{explicit}{% More:1994:IBS% }. \NAMECITE{Exponential}{% Tang:1993:ETS,% Weber:1994:EUL,% Chazelle:1991:SES,% Ibarra:1992:CEL,% Lachaud:1992:ACE,% Mayordomo:1994:AES% }. \NAMECITE{Exponential-time}{% Tang:1993:ETS,% Ibarra:1992:CEL% }. \NAMECITE{Exponentiation}{% Egecioglu:1994:EUC% }. \NAMECITE{exposition}{% Stickel:1992:PTT% }. \NAMECITE{expressibility}{% Bonner:1990:HDC% }. \NAMECITE{expression}{% Royer:1991:SID% }. \NAMECITE{expressions}{% Bellia:1993:EVF,% Bonnier-Rigny:1994:CSI,% Bruggemann-Klein:1993:REF,% Garg:1992:CRE,% Hashiguchi:1990:ERE,% Kinber:1991:CSS,% Yoo:1991:EAR,% Yoo:1992:ERE% }. \NAMECITE{expressive}{% Cohen-Chesnot:1991:EPT,% Hoofman:1991:WEM,% Kfoury:1992:EPF,% Larsen:1993:EPI% }. \NAMECITE{Extended}{% Hashiguchi:1990:ERE,% Yoo:1991:EAR,% Yoo:1992:ERE,% Desel:1993:RCE,% Eiter:1993:PCEa,% Eiter:1993:PCEb,% Kobler:1994:LPP% }. \NAMECITE{Extending}{% Giordano:1992:EHC% }. \NAMECITE{Extension}{% Weibel:1992:ECL,% Anderson:1994:MEW,% Gastin:1994:EKO,% Gil:1992:CEG,% Revesz:1992:LEL% }. \NAMECITE{extensional}{% Kearney:1991:EFS% }. \NAMECITE{Extensions}{% Bedard:1993:EBM,% Abiteboul:1991:FPD,% Blikle:1991:CES,% Shore:1992:PDR,% Shore:1992:PRS% }. \NAMECITE{exterior}{% Dassow:1991:DSA,% Svrtan:1993:NPO% }. \NAMECITE{External}{% Andersson:1992:CBP,% Fulop:1993:TTE,% Pai:1994:MAM% }. \NAMECITE{extraction}{% Mascari:1994:HLR% }. \NAMECITE{extremal}{% Goles:1994:LOS% }. \NAMECITE{extreme}{% Main:1993:CPR% }. \NAMECITE{facilities}{% Horwitz:1990:ARQ% }. \NAMECITE{factor}{% Bjorner:1993:MFF,% Zipstein:1992:DCF% }. \NAMECITE{Factorization}{% Simon:1990:FFF% }. \NAMECITE{Factorizations}{% Varricchio:1990:FFM,% Spehner:1994:BBC% }. \NAMECITE{factorizing}{% Daykin:1994:PRA% }. \NAMECITE{factors}{% Allouche:1994:CPF,% Almeida:1993:LCP,% Dagum:1992:APG,% Dulucq:1990:FSS,% Kuorka:1994:RUS,% Mignosi:1991:NFS% }. \NAMECITE{failure}{% Idury:1994:DDM,% deBoer:1992:FSC% }. \NAMECITE{failures}{% Falaschi:1990:FFP% }. \NAMECITE{Fair}{% Li:1994:FPN% }. \NAMECITE{Fairness}{% Darondeau:1992:FDD,% Howell:1991:GLV,% Howell:1991:TFT,% Main:1993:CPR,% Main:1993:SMT,% Priese:1992:SFU% }. \NAMECITE{families}{% Casas:1993:ACA,% Ehrenfeucht:1990:TIR% }. \NAMECITE{fan}{% Wegener:1991:CPF% }. \NAMECITE{fan-in}{% Wegener:1991:CPF% }. \NAMECITE{Fast}{% Amir:1991:FPS,% Apostolico:1992:FLC,% Bern:1992:FGA,% Jerrum:1990:FUG,% Monien:1993:FRD,% Monien:1994:FRD,% Quong:1992:FAP,% Capocelli:1994:FAU,% Vagvolgyi:1993:FAC% }. \NAMECITE{{Fatou}}{% Herbst:1992:KFP% }. \NAMECITE{fault}{% Peled:1994:CFF,% Schepers:1994:TBC,% Slissenko:1993:FTS% }. \NAMECITE{faults}{% Bruck:1994:TFM,% Krishnan:1994:SCF% }. \NAMECITE{Feasibility}{% Baruah:1993:FPR% }. \NAMECITE{feature}{% Ait-Kaci:1994:FCS% }. \NAMECITE{fewness}{% Beigel:1992:CCT% }. \NAMECITE{{Fibonacci}}{% Seebold:1991:FMS% }. \NAMECITE{field}{% Sturtivant:1993:CEF% }. \NAMECITE{fields}{% Clausen:1991:ZIK,% Engeler:1990:CDF% }. \NAMECITE{fifo}{% Jeron:1993:TUF,% Cherubini:1991:QFA% }. \NAMECITE{Fifth}{% Anonymous:1990:ICF,% Goto:1994:PSI% }. \NAMECITE{Filter}{% Jacobs:1992:FMP% }. \NAMECITE{Final}{% Moss:1992:FAC% }. \NAMECITE{finding}{% Bodlaender:1991:NLB,% Chrobak:1990:DSU,% Grossi:1993:FCS,% Lempel:1994:AFS% }. \NAMECITE{Fine}{% Schwer:1992:FCV% }. \NAMECITE{Finite}{% Assous:1994:FLP,% Cho:1991:FAA,% Fagin:1993:FMT,% Falaschi:1990:FFP,% Goltz:1994:FPN,% Kaminski:1994:FMA,% Mey:1994:FGP,% Seidl:1994:FTA,% Steffen:1991:FCC,% Weber:1994:FVD,% Aceto:1994:GFL,% Beauquier:1994:RTA,% Becker:1991:CFM,% Bruggemann-Klein:1993:REF,% Carpi:1993:OFW,% Clausen:1991:ZIK,% DoLongVan:1992:VFM,% Frougny:1993:SRR,% Habel:1993:CCF,% Harju:1991:EPM,% Hashiguchi:1990:ILT,% Ibarra:1991:PPO,% Ibarra:1993:SFA,% Jiang:1994:SRC,% Karhumaki:1993:EFS,% Katsura:1993:GFE,% Knuutila:1994:ITL,% Kuorka:1994:RUS,% Kutylowski:1991:MOF,% Leung:1991:LTF,% Neraud:1993:DWF,% Otto:1994:CMF,% Peeva:1991:ERM,% Potthoff:1994:MCQ,% Reilly:1994:BVG,% Rich:1994:COF,% Rupert:1991:WKS,% Sazonov:1993:HFS,% Simon:1990:FFF,% Sturtivant:1993:CEF,% Weber:1991:DAF% }. \NAMECITE{Finite-automaton}{% Cho:1991:FAA% }. \NAMECITE{finite-field}{% Sturtivant:1993:CEF% }. \NAMECITE{Finite-memory}{% Kaminski:1994:FMA% }. \NAMECITE{Finite-model}{% Fagin:1993:FMT% }. \NAMECITE{finite-state}{% Ibarra:1991:PPO,% Rich:1994:COF% }. \NAMECITE{Finite-valued}{% Weber:1994:FVD% }. \NAMECITE{Finitely}{% Devolder:1991:FGB,% Kfoury:1992:EPF% }. \NAMECITE{Finiteness}{% deLuca:1991:FIC,% Squier:1994:FCR% }. \NAMECITE{firing}{% Bitar:1992:PCF,% Culik:1991:ESF,% Kiwi:1994:NPB,% Yunes:1994:SSS% }. \NAMECITE{First}{% Lincoln:1994:FOL,% Bertrand:1994:NSF,% Cherubini:1991:QFA,% Cialdea:1991:RSF,% Gavilanes-Franco:1990:FOL,% Kawamura:1994:LPS,% Miyano:1991:DSS,% Sato:1992:EPF% }. \NAMECITE{First-order}{% Lincoln:1994:FOL,% Bertrand:1994:NSF,% Cialdea:1991:RSF,% Kawamura:1994:LPS,% Sato:1992:EPF% }. \NAMECITE{{FIX}}{% Crole:1994:CAF% }. \NAMECITE{{FIX}-logic}{% Crole:1994:CAF% }. \NAMECITE{Fixed}{% Barr:1990:FPC,% Tiuryn:1990:FPF,% Benedek:1991:LRF,% Dowling:1990:FPL,% Honkala:1994:GDS,% Kearney:1991:EFS,% Lindell:1991:AFQ,% McCune:1991:APF,% Mosse:1992:PMR,% Mulry:1990:CFP,% Simpson:1993:CLF,% Spencer:1992:USG,% Stoltenberg-Hanssen:1991:AFP,% Woeginger:1994:LSJ% }. \NAMECITE{fixed-point}{% Kearney:1991:EFS,% Lindell:1991:AFQ% }. \NAMECITE{fixes}{% Mosse:1992:PMR% }. \NAMECITE{fixpoint}{% Compton:1994:SLF,% Gabbrielli:1992:UFS,% Wei:1994:CFT% }. \NAMECITE{fixpoints}{% Huwig:1990:NIC% }. \NAMECITE{{Flajolet}}{% Prodinger:1992:HAA% }. \NAMECITE{flat}{% Gyssens:1991:CBA,% Murakami:1990:DSF% }. \NAMECITE{flow}{% Du:1990:MMF,% Jansen:1992:POF,% Kearney:1991:EFS,% Lengauer:1990:BNF% }. \NAMECITE{flowchart}{% Cazanescu:1992:GRA% }. \NAMECITE{fold}{% Kawamura:1990:PSE,% Sato:1992:EPF,% Seki:1991:UFT% }. \NAMECITE{folk}{% Akl:1992:DPT% }. \NAMECITE{following}{% Malajovich:1994:GNA% }. \NAMECITE{fonctionnelle}{% Arques:1993:CCP% }. \NAMECITE{forest}{% Kedem:1992:OPA% }. \NAMECITE{forests}{% Simon:1990:FFF% }. \NAMECITE{Foreword}{% Abiteboul:1993:F,% Crochemore:1992:FSI,% Ganzinger:1990:F,% Ito:1993:F,% Miola:1992:F,% Mislove:1993:F,% Sakarovitch:1990:F,% Selman:1993:F% }. \NAMECITE{form}{% Hofri:1994:AAP,% Iliopoulos:1992:OAC,% Martin:1994:UCA,% Revesz:1993:CFE% }. \NAMECITE{Formal}{% Abadi:1993:FPP,% Anonymous:1993:CFP,% Birget:1994:FLD,% Duchamp:1992:SWA,% Anselmo:1993:OFP,% Arikawa:1992:LEF,% Bertoni:1991:RFP,% Bozapalidis:1990:ECF,% Chen:1993:CFG,% Herbst:1993:GPF,% Honkala:1991:AGZ,% Hosono:1994:FDD,% Karner:1992:TFP,% Krob:1991:SEF,% Kuster:1991:HPF,% Lukassen:1991:FFI,% Mourrain:1992:CIA,% Penjam:1990:CAM% }. \NAMECITE{formalisms}{% Hesselink:1992:PFU% }. \NAMECITE{formally}{% Luchkardt:1991:NFU% }. \NAMECITE{formation}{% Godin:1994:ICF% }. \NAMECITE{formed}{% Bhatta:1991:RRW% }. \NAMECITE{forming}{% Bodlaender:1993:CPF% }. \NAMECITE{forms}{% Csuhaj-Varju:1991:BIG,% Csuhaj-Varju:1993:DCC,% Mirwald:1992:MCQ% }. \NAMECITE{formula}{% Dumas:1992:SPS% }. \NAMECITE{formulae}{% Bhatta:1991:RRW,% Forster:1993:SCW,% Heiman:1993:RTF% }. \NAMECITE{Formulas}{% Peladeau:1992:FRL,% Buning:1993:GHF,% Fouks:1992:TFR,% Koseleff:1991:WGF,% Mostowski:1991:HWA,% Zhang:1993:CFP,% Zhang:1994:DPD% }. \NAMECITE{Forward}{% Delest:1993:F% }. \NAMECITE{Foundations}{% Anonymous:1993:SWM,% Anonymous:1994:MFP,% Bartha:1992:FTS,% Parisi-Presicce:1991:FRD,% Constable:1993:CFB,% Gilmore:1993:LFP% }. \NAMECITE{founded}{% Barr:1993:TCW,% Barr:1994:ACT,% Dung:1992:RBS,% Martens:1994:SCP,% Pereira:1994:ACW% }. \NAMECITE{Four}{% deBakker:1991:FDC% }. \NAMECITE{fraction}{% Labhalla:1991:CCC% }. \NAMECITE{fragment}{% Dosen:1992:NCL% }. \NAMECITE{fragments}{% Dam:1994:CEF,% Gradel:1992:CCC% }. \NAMECITE{framework}{% Curien:1991:AFE,% Denecker:1994:DAM,% Edalat:1993:CFS,% Ehrig:1994:FTP,% Kamper:1991:NPS,% Lukassen:1991:FFI,% Peled:1994:CFF% }. \NAMECITE{free}{% Anderson:1994:SFM,% Bellia:1993:EVF,% Bertoni:1991:CCN,% Best:1992:TCH,% Carpi:1993:OFW,% Cauchon:1992:SMN,% Chen:1993:CFG,% Chytil:1991:PRU,% Cori:1991:NPA,% Courcelle:1991:RQC,% Csuhaj-Varju:1993:DCC,% Dehornoy:1992:PMG,% Desel:1993:RCE,% Duchamp:1991:OPF,% Esparza:1992:PAD,% Gambosi:1991:PDS,% Gerhard:1994:UFD,% German:1992:SRF,% Guaiana:1992:STL,% Hashiguchi:1991:RCS,% Hashiguchi:1992:TRS,% Hebisch:1992:GSS,% Heilbrunner:1991:ERB,% Herbst:1992:KFP,% Huynh:1994:DBN,% Ibarra:1992:CEL,% Ilie:1994:CAS,% Jantzen:1994:CCF,% Jurgensen:1994:TDI,% Karhumaki:1993:ECT,% Konig:1991:GFP,% Koseleff:1991:WGF,% Kummer:1990:EPP,% Lalonde:1993:BLA,% Leivant:1993:FFA,% Leo:1991:GCP,% Litow:1994:CFL,% Mauro:1991:DLS,% Neraud:1992:RSF,% Palis:1992:UBR,% Pierre:1992:RIG,% Sakakibara:1990:LCG,% Schmitt:1990:HAI,% Seki:1991:MCG,% Senizergues:1990:CDC,% Shankar:1991:GRT,% Shankar:1992:GRT,% Spehner:1994:BBC,% Tiuryn:1990:FPF,% Varricchio:1990:FFM,% Weir:1992:GHB% }. \NAMECITE{free-choice}{% Desel:1993:RCE% }. \NAMECITE{freeness}{% Schwer:1992:CLA% }. \NAMECITE{French}{% Anonymous:1990:IFW,% Anonymous:1993:SFS,% Anonymous:1990:CCA,% Arques:1993:CCP,% Bertrand:1994:CDM,% Betrema:1993:AAG,% Blanchard:1994:QPE,% Cauchon:1992:SMN,% Chaunier:1994:NPI,% Chiricota:1993:RSE,% Constantineau:1993:ASC,% Decoste:1993:SIS,% Dehornoy:1992:PMG,% Dulucq:1993:CAO,% Frougny:1992:SNL,% Gardy:1992:MCL,% Labelle:1993:SAS,% Lalanne:1993:ICD,% Lalonde:1993:BLA,% Mantaci:1993:DAE,% Melancon:1993:CBS,% Mignotte:1994:ECI,% Mosse:1992:PMR,% Regnier:1994:ELT,% Troesch:1993:IGA% }. \NAMECITE{French-Soviet}{% Anonymous:1990:IFW% }. \NAMECITE{Friedberg}{% Kummer:1990:EPP% }. \NAMECITE{friends}{% Trigg:1994:CAU% }. \NAMECITE{frontier}{% Fulop:1991:CCD,% Margenstern:1994:NTM% }. \NAMECITE{fully}{% Aumann:1994:CCF% }. \NAMECITE{Fun}{% Cardone:1991:RTF% }. \NAMECITE{function}{% Bjorner:1992:RMF,% Bjorner:1993:MFF,% Blass:1990:SFW,% Blizard:1993:DMF,% Chen:1993:DAR,% Constable:1993:CFB,% David:1994:IFS,% Jaja:1994:EPA,% Wegener:1991:CPF% }. \NAMECITE{Functional}{% Burckel:1994:FEA,% Nielson:1990:FCM,% Arques:1993:CCP,% Blaaberg:1994:ALF,% Leermakers:1992:FLP,% Leroux:1991:CAN,% Longo:1990:CCF,% Mason:1992:IEF,% Matus:1991:AFD,% Pingali:1991:ANL,% Poirriez:1994:MST,% Sabelfeld:1990:ADF,% deRougemont:1992:FDI% }. \NAMECITE{Functions}{% Leivant:1993:FFA,% Babai:1990:LBC,% Beame:1992:CCS,% Borel:1994:SRP,% Burckel:1994:FEA,% Calude:1991:DSS,% Calude:1991:RTS,% Chen:1994:CCC,% Diekert:1993:MFC,% Dowek:1993:UPM,% Ehrenfeucht:1993:SFT,% Elvang-Goransson:1993:SSC,% Fulop:1993:TTE,% Ganesan:1994:OWF,% Gavilanes-Franco:1990:FOL,% Germano:1991:CFG,% Harju:1994:RRF,% Hartmanis:1991:OFN,% Hashiguchi:1990:ILT,% Honkala:1991:AGZ,% Idury:1994:DDM,% Jacopini:1993:GRF,% Lenz:1991:CCQ,% Leung:1991:LTF,% Manoury:1994:ATP,% Megiddo:1991:TFE,% Quinton:1992:SCA,% Sagan:1993:CPH,% Seidl:1994:FTA,% Tarui:1993:PPF,% Terlutte:1990:CRT,% Weihrauch:1991:TCC% }. \NAMECITE{Functorial}{% Bainbridge:1990:FP,% Ehrig:1994:FTP% }. \NAMECITE{Fundamental}{% Abiteboul:1991:FPD,% Tarlecki:1991:SFA% }. \NAMECITE{further}{% Pottosin:1991:APO% }. \NAMECITE{{G}}{% Averbuch:1991:CAM% }. \NAMECITE{{G.}}{% Brookes:1993:HIC% }. \NAMECITE{{Gale}}{% Scheepers:1994:VGG% }. \NAMECITE{{Galmiche}}{% Perrier:1998:CGP% }. \NAMECITE{{Galois}}{% Melton:1994:LCC% }. \NAMECITE{game}{% Blass:1990:SFW,% Eriksson:1994:RDN,% Iwata:1994:OGB,% Kiwi:1994:NPB,% Scheepers:1994:VGG,% Spencer:1992:USG,% Zwick:1993:MG% }. \NAMECITE{Games}{% Goles:1993:GLG,% Aslam:1993:LAC,% BarYehuda:1993:RTG,% Bitar:1992:PCF,% Bodlaender:1992:CCG,% Bodlaender:1993:CPF,% Cai:1992:GII,% Diestel:1994:DGI,% Ferguson:1992:MBK,% Fraenkel:1993:GMG,% Hesselink:1994:NRS,% Koseleff:1991:WGF,% Mey:1994:FGP,% Moews:1991:SGB,% Plambeck:1992:DKS,% Spencer:1994:RDA,% Stromquist:1993:SCC,% Wolfe:1993:SDG% }. \NAMECITE{gap}{% Courcelle:1991:MSL,% Revesz:1993:CFE% }. \NAMECITE{garbage}{% Banach:1994:TGR% }. \NAMECITE{{Gasper}}{% Ekhad:1993:SEE% }. \NAMECITE{General}{% Jacopini:1993:GRF,% Cazanescu:1992:GRA,% Dumas:1992:SPS,% Ehrig:1994:FTP,% Germano:1991:CFG,% Gil:1992:CEG,% Krivine:1994:GST,% Leo:1991:GCP,% Marek:1992:RBS% }. \NAMECITE{generalised}{% Robson:1992:MLG% }. \NAMECITE{generalization}{% Ehrenfeucht:1994:SGT,% Madonia:1993:GSP,% Mezghiche:1991:WCT,% Wells:1990:GCS% }. \NAMECITE{Generalizations}{% Krentel:1992:GOP% }. \NAMECITE{generalize}{% Buneman:1991:UPG% }. \NAMECITE{Generalized}{% Hebisch:1992:GSS,% Saoudi:1991:GAI,% Buning:1993:GHF,% Choi:1993:EGY,% Dosch:1993:GPD,% Futamura:1991:EGP,% Honkala:1991:AGZ,% Honkala:1994:GDS,% Kinber:1991:CSS,% Kobayashi:1994:RIG,% Korec:1993:ISC,% Kuich:1991:ALG,% Lamarche:1993:SDG,% Malajovich:1994:GNA% }. \NAMECITE{Generalizing}{% Bol:1992:GCR% }. \NAMECITE{generated}{% Devolder:1991:FGB,% Habel:1991:DBP,% Reilly:1994:BVG,% deBoer:1991:PDP% }. \NAMECITE{Generating}{% Masseron:1993:GPLa,% Masseron:1993:GPLb,% Shufelt:1994:GHC,% Berstel:1994:ACD,% Rotella:1991:SPG,% Sagan:1993:CPH% }. \NAMECITE{Generation}{% Anonymous:1990:ICF,% Goto:1994:PSI,% Alonso:1994:UGM,% Barcucci:1994:RGD,% Culik:1993:AAR,% Denecker:1994:DAM,% Flajolet:1994:CRG,% Jerrum:1990:FUG,% Powell:1991:COV% }. \NAMECITE{generative}{% Santean:1992:INC% }. \NAMECITE{generators}{% Pierre:1992:RIG% }. \NAMECITE{genericity}{% Longo:1993:GTP% }. \NAMECITE{genre}{% Arques:1993:CCP% }. \NAMECITE{{Gentzen}}{% Walukiewicz:1993:GTA% }. \NAMECITE{{Gentzen}-type}{% Walukiewicz:1993:GTA% }. \NAMECITE{genus}{% Arques:1993:CCP,% Sykora:1993:ESG% }. \NAMECITE{genus-}{% Arques:1993:CCP% }. \NAMECITE{Geography}{% Fraenkel:1993:GMG,% Fraenkel:1993:UEG% }. \NAMECITE{geometric}{% Bern:1992:FGA,% Bruderlin:1993:UGR,% Huckenbeck:1991:RAP,% Rojas:1994:CGA,% Weir:1992:GHB,% Troesch:1993:IGA% }. \NAMECITE{geom{\'e}trique}{% Troesch:1993:IGA% }. \NAMECITE{geometry}{% Masseron:1993:GPLb% }. \NAMECITE{gerbes}{% Dehornoy:1992:PMG% }. \NAMECITE{given}{% Bertoni:1991:CCN% }. \NAMECITE{Global}{% Berard:1994:GSC,% Howell:1991:GLV% }. \NAMECITE{goals}{% Giordano:1992:EHC% }. \NAMECITE{{G{\"o}del}}{% Nivat:1994:GIT,% Uspensky:1994:GIT% }. \NAMECITE{good}{% Freivalds:1993:PII,% Marcoux:1993:CAQ% }. \NAMECITE{gossiping}{% Hromkovic:1994:NOG% }. \NAMECITE{grammar}{% Csuhaj-Varju:1991:BIG,% Csuhaj-Varju:1993:DCC,% Hausser:1992:CLG,% Hromkovic:1994:SHC,% Leo:1991:GCP,% Tiplea:1994:SDP% }. \NAMECITE{grammars}{% Aizawa:1991:GGP,% Asveld:1991:AGB,% Barbar:1993:ATG,% Chen:1993:CFG,% Cherubini:1991:QFA,% Courcelle:1991:RQC,% Delest:1992:AGU,% Engelfriet:1991:NSG,% Hoffmann:1990:RNG,% Ibarra:1992:CEL,% Janssens:1993:ECA,% Kawahara:1990:PBC,% Mauro:1991:DLS,% Sakakibara:1990:LCG,% Salomaa:1991:DSE,% Santean:1992:INC,% Schneider:1993:CGG,% Seki:1991:MCG% }. \NAMECITE{grammatical}{% Ehrenfeucht:1994:PGC% }. \NAMECITE{grams}{% Ukkonen:1992:ASM% }. \NAMECITE{Graph}{% Aizawa:1991:GGP,% Anonymous:1993:IWC,% Cortesi:1993:GPN,% Ehrig:1993:EBR,% Montanari:1993:GRP,% Sarnath:1990:PGP,% Banach:1994:TGR,% Courcelle:1991:RQC,% Courcelle:1994:MSO,% Dahlhaus:1994:EPA,% Engelfriet:1991:NSG,% Engelfriet:1991:RCG,% Fussell:1990:SAP,% Habel:1993:CCF,% Halldorsson:1994:LBL,% Khuller:1991:PGC,% Kim:1992:NSM,% Kim:1993:SSE,% Litovsky:1993:CGR,% Lowe:1993:AAS,% Picouleau:1994:CHC,% Schneider:1993:CGG,% Shankar:1991:GRT,% Shankar:1992:GRT% }. \NAMECITE{graph-based}{% Shankar:1991:GRT,% Shankar:1992:GRT% }. \NAMECITE{Graphical}{% Boudol:1992:GVL% }. \NAMECITE{{GraphLog}}{% Consens:1993:LCA% }. \NAMECITE{Graphs}{% Konig:1991:GFP,% Andersen:1994:MCB,% Bitar:1992:PCF,% Bodlaender:1992:CCG,% Courcelle:1991:MSL,% Courcelle:1992:MSL,% Courcelle:1993:MSO,% Dagum:1992:APG,% Devienne:1990:WGT,% Diestel:1994:DGI,% Eades:1994:DGT,% Feuerstein:1993:DAS,% Gibbons:1990:OEO,% Goles:1993:GLG,% Habel:1991:DBP,% He:1990:EAE,% Hershberger:1994:DST,% Hoang:1992:PAM,% Hromkovic:1994:NOG,% Jansen:1992:POF,% Jerrum:1990:FUG,% Kiwi:1994:NPB,% More:1994:IBS,% Nummenmaa:1992:CCR,% Remila:1994:RGA,% Roka:1994:OWC,% Spehner:1994:BBC,% Srikant:1993:OPC,% Srinivasan:1991:EAM,% Sykora:1993:ESG% }. \NAMECITE{{Grassmannians}}{% Svrtan:1993:NPO% }. \NAMECITE{grates}{% Klawe:1994:SG% }. \NAMECITE{{Grigorchuk}}{% Garzon:1991:CGG% }. \NAMECITE{{Gr{\"o}bner}}{% Mora:1994:ICN% }. \NAMECITE{ground}{% Kounalis:1992:TGC% }. \NAMECITE{Group}{% Ehrig:1993:EBR,% Herbst:1993:GPF,% Cauchon:1992:SMN,% Hofer:1991:ESG,% Mantaci:1993:DAE,% Zhang:1992:PAT% }. \NAMECITE{groupe}{% Cauchon:1992:SMN,% Mantaci:1993:DAE% }. \NAMECITE{Groups}{% Katsura:1993:GFE,% Dehornoy:1992:PMG,% Garzon:1991:CGG,% Herbst:1992:KFP,% Herbst:1993:GPF,% Mantaci:1993:DAE% }. \NAMECITE{growth}{% Korec:1993:ISC% }. \NAMECITE{{Grundy}}{% Blass:1990:SFW% }. \NAMECITE{{Grzegorczyk}}{% Matthews:1994:IIA% }. \NAMECITE{{GSOS}}{% Aceto:1994:GFL% }. \NAMECITE{Guarded}{% deMeer:1994:GRD,% Badouel:1991:GR,% Bloom:1990:NGT,% Murakami:1990:DSF% }. \NAMECITE{guards}{% Janicki:1990:TSS% }. \NAMECITE{guingois}{% Betrema:1993:AAG% }. \NAMECITE{{Hagino}}{% Dybkjaer:1993:CHC% }. \NAMECITE{{HAL}}{% Habbas:1993:CMP% }. \NAMECITE{halting}{% Devienne:1990:WGT,% Margenstern:1994:NTM% }. \NAMECITE{{Hamiltonian}}{% Chrobak:1990:DSU,% Picouleau:1994:CHC,% Shufelt:1994:GHC% }. \NAMECITE{handling}{% Szczepanska:1991:HVS% }. \NAMECITE{{Hanoi}}{% Allouche:1994:NCT% }. \NAMECITE{Hard}{% Longpre:1993:HPP,% Alvarez:1993:VHL,% Fu:1993:SDN,% Homer:1993:TTH,% Iwanowski:1991:TAS,% Lincoln:1994:FOL,% Ogiwara:1993:SHS% }. \NAMECITE{{Hardy}}{% Baratchart:1992:RAP% }. \NAMECITE{{HARMONIC}}{% Chrobak:1992:HTS% }. \NAMECITE{hashing}{% Mansour:1993:CCU% }. \NAMECITE{{Hausdorff}}{% Barua:1992:HHO% }. \NAMECITE{{Hausdorff-Kuratowski}}{% Barua:1992:HHO% }. \NAMECITE{having}{% Chaunier:1994:NPI% }. \NAMECITE{Head}{% Mascari:1994:HLR% }. \NAMECITE{heaps}{% Gambosi:1991:PDS% }. \NAMECITE{{HEAPSORT}}{% Gu:1994:AOH,% Wegener:1993:BHS% }. \NAMECITE{height}{% Choi:1993:EGY,% Hashiguchi:1991:ADR,% Robson:1992:MLG,% Simon:1990:FFF% }. \NAMECITE{{Hennessy}}{% Larsen:1990:PSS% }. \NAMECITE{{Hennessy-Milner}}{% Larsen:1990:PSS% }. \NAMECITE{{Herbrand}}{% Dowling:1990:FPL,% Habbas:1993:CMP% }. \NAMECITE{Hereditarily}{% Sazonov:1993:HFS% }. \NAMECITE{Hereditarily-finite}{% Sazonov:1993:HFS% }. \NAMECITE{hereditary}{% Ehrenfeucht:1990:PH% }. \NAMECITE{Heterogeneous}{% Chakka:1994:HMS,% El-Taha:1992:DAQ% }. \NAMECITE{Hierarchies}{% Mostowski:1991:HWA,% Allender:1993:AEC,% Arfi:1991:POH,% Hromkovic:1994:SHC% }. \NAMECITE{hierarchly}{% Tarui:1993:PPF% }. \NAMECITE{hierarchy}{% Barua:1992:HHO,% Beigel:1991:BQS,% Bruschi:1992:SSP,% Kobler:1994:LPP,% Krentel:1992:GOP,% Matthews:1994:IIA,% Palis:1992:UBR,% Piotrow:1991:CCP,% Robson:1990:STB,% Skurczynski:1993:BHI,% Weir:1992:GHB% }. \NAMECITE{Higher}{% Burroni:1993:HDW,% Dougherty:1993:HOU,% Tyugu:1991:HOD,% Goerdt:1992:CCC,% Meinke:1992:UAH,% Ritter:1994:CAM% }. \NAMECITE{Higher-dimensional}{% Burroni:1993:HDW% }. \NAMECITE{Higher-order}{% Dougherty:1993:HOU,% Ritter:1994:CAM% }. \NAMECITE{{Hindley}}{% Mezghiche:1991:WCT% }. \NAMECITE{Historical}{% Brookes:1993:HIC% }. \NAMECITE{histories}{% Dong:1991:LCO% }. \NAMECITE{{Hoare}}{% Hoofman:1991:WEM,% Szczepanska:1991:HVS% }. \NAMECITE{{Hoare}-like}{% Szczepanska:1991:HVS% }. \NAMECITE{home}{% Best:1992:TCH% }. \NAMECITE{homomorphic}{% Esik:1991:RHR% }. \NAMECITE{Homotopies}{% Verschelde:1994:HSP% }. \NAMECITE{honest}{% Downey:1991:CCH% }. \NAMECITE{hook}{% Sagan:1993:CPH% }. \NAMECITE{{Hopf}}{% Schmitt:1990:HAI% }. \NAMECITE{Horn}{% Hanus:1991:HCP,% Buning:1993:GHF,% Chen:1994:CCS,% Demolombe:1991:ESN,% Giordano:1992:EHC,% Hebrard:1994:LAR,% Knill:1993:EAR,% Lobo:1991:SHD,% Murakami:1990:DSF,% Szwast:1991:HS,% deBoer:1992:FSC% }. \NAMECITE{{Horspool}}{% Baeza-Yates:1992:ART% }. \NAMECITE{hp}{% Aoki:1994:THD% }. \NAMECITE{hp-{}}{% Aoki:1994:THD% }. \NAMECITE{hulls}{% Das:1992:MVH% }. \NAMECITE{{Hurwitz}}{% Kuster:1991:HPF% }. \NAMECITE{Hyperedge}{% Corradini:1993:HRJ,% Deutz:1994:HCA,% Habel:1991:DBP% }. \NAMECITE{hyperedge-replacement}{% Habel:1991:DBP% }. \NAMECITE{hypergraphs}{% Aslam:1993:LAC,% Ausiello:1990:DMD,% Bauderon:1991:IHB,% Bauderon:1992:IHI,% Drewes:1993:RCH% }. \NAMECITE{Hypermap}{% Sopena:1991:HRC% }. \NAMECITE{Hypothetical}{% Bonner:1990:HDC,% Prodinger:1992:HAA% }. \NAMECITE{{I}-categories}{% Edalat:1993:CFS% }. \NAMECITE{{ICLP}}{% Anonymous:1991:ICL% }. \NAMECITE{idempotent}{% Birget:1994:WPI% }. \NAMECITE{Identities}{% Zeilberger:1993:ISI,% Bennett:1994:DDC,% Bonnier-Rigny:1994:CSI,% Krob:1991:CSB,% Mourrain:1992:CIA,% Schmitt:1990:HAI% }. \NAMECITE{identity}{% Jouannaud:1992:TCM,% Zeilberger:1993:ISI% }. \NAMECITE{If}{% Szepietowski:1990:IDN,% Zimand:1993:IEN,% Manes:1990:TCI,% Wegener:1993:BHS% }. \NAMECITE{if-then-else}{% Manes:1990:TCI% }. \NAMECITE{{II}}{% Bauderon:1992:IHI,% Masseron:1993:GPLb,% Mignotte:1994:ECI,% Scheepers:1994:VGG,% Tiuryn:1990:FPF% }. \NAMECITE{{II.}}{% Averbuch:1991:CAM,% Ehrenfeucht:1990:TIR% }. \NAMECITE{images}{% Culik:1993:AAR% }. \NAMECITE{immigration}{% Honkala:1993:DSI% }. \NAMECITE{immune}{% Bruschi:1992:SSP,% Mayordomo:1994:AES% }. \NAMECITE{immunity}{% Beigel:1990:BRC% }. \NAMECITE{impact}{% Santean:1992:INC% }. \NAMECITE{implementation}{% Bellin:1992:DPR,% Hennicker:1992:SAA,% Stickel:1992:PTT% }. \NAMECITE{Implementing}{% Kennaway:1990:ITR% }. \NAMECITE{implication}{% Giordano:1992:EHC% }. \NAMECITE{implicit}{% Larsen:1993:EPI% }. \NAMECITE{implies}{% Michaux:1994:PNN% }. \NAMECITE{imply}{% Hofbauer:1992:TPM% }. \NAMECITE{Improved}{% Hashiguchi:1990:ILT% }. \NAMECITE{improvement}{% Rajasekaran:1992:NAP% }. \NAMECITE{Improvements}{% Koutsoupias:1993:IKT% }. \NAMECITE{inclusion}{% Hashiguchi:1991:ADR% }. \NAMECITE{incomplete}{% Cai:1992:GII,% Dong:1994:IID,% Royer:1991:SID% }. \NAMECITE{incompleteness}{% Nivat:1994:GIT,% Uspensky:1994:GIT% }. \NAMECITE{inconsistencies}{% Huwig:1990:NIC% }. \NAMECITE{incremental}{% Godin:1994:ICF,% Miltersen:1994:CMI% }. \NAMECITE{indefinite}{% vanderMeyden:1993:RID% }. \NAMECITE{Independence}{% Streicher:1992:IIP,% Jurgensen:1994:TDI,% Katz:1992:DCI,% Lukassen:1991:FFI,% Matus:1994:SIA% }. \NAMECITE{independent}{% Atzeni:1990:EOQ,% Coffman:1994:PMP,% Lutz:1992:IRO,% Seger:1991:ESC% }. \NAMECITE{Indexed}{% Tarlecki:1991:SFA% }. \NAMECITE{indexes}{% Pierre:1992:RIG% }. \NAMECITE{{Indicator}}{% Decoste:1993:SIS% }. \NAMECITE{indicatrices}{% Decoste:1993:SIS% }. \NAMECITE{induction}{% Cousot:1993:BIA,% Han:1994:TEI,% Li:1994:FPN,% Pitts:1994:CIP,% Streicher:1992:IIP,% Toyama:1991:HPE% }. \NAMECITE{inductive}{% Freivalds:1993:PII,% Habel:1993:CCF,% Hallnas:1991:PID,% Kobayashi:1994:RIG,% deRougemont:1992:FDI% }. \NAMECITE{inequality}{% Ekhad:1993:SEE% }. \NAMECITE{inevitability}{% Cousot:1993:BIA% }. \NAMECITE{{Inf}}{% David:1994:IFS% }. \NAMECITE{inference}{% Coppo:1993:TIA,% Corsini:1993:TIP,% Freivalds:1993:PII,% Fuh:1990:TIS,% Knuutila:1994:ITL,% Smith:1990:IAP,% Thatte:1994:TIP% }. \NAMECITE{Inferring}{% Mason:1992:IEF% }. \NAMECITE{infinies}{% Blanchard:1994:QPE% }. \NAMECITE{infinitary}{% Gastin:1993:PIT,% Lamarche:1992:QDI% }. \NAMECITE{Infinite}{% Bauderon:1991:IHB,% Bauderon:1992:IHI,% Thomas:1992:ITA,% Blanchard:1994:QPE,% Bonizzoni:1992:AIT,% Bradfield:1992:LMC,% Cohen-Chesnot:1991:EPT,% Diekert:1993:CIT,% Diestel:1994:DGI,% Frougny:1993:SRR,% Gastin:1994:EKO,% Saoudi:1991:GAI,% Skurczynski:1993:BHI% }. \NAMECITE{infix}{% Ito:1994:CIC% }. \NAMECITE{Informatika}{% Anonymous:1993:SFS,% Anonymous:1990:IFW% }. \NAMECITE{Information}{% Vickers:1993:ISC,% Bottinger:1990:STD,% Cai:1992:GII,% Dong:1994:IID,% Droste:1990:NIS,% Kalyanasundaram:1994:CCT,% Sadri:1994:AOI% }. \NAMECITE{{Informatique'}}{% Anonymous:1994:MMC% }. \NAMECITE{inherently}{% Matthews:1994:IIA% }. \NAMECITE{inheritance}{% Goguen:1992:OSA% }. \NAMECITE{initial}{% Bergstra:1994:WDT,% Capocelli:1991:DIS% }. \NAMECITE{injective}{% Hemaspaandra:1994:QIR% }. \NAMECITE{inkdot}{% Inoue:1994:IAT% }. \NAMECITE{inner}{% Anderson:1994:MEW% }. \NAMECITE{insertion}{% Bafna:1994:AIM% }. \NAMECITE{instances}{% Dubois:1991:CNS% }. \NAMECITE{instructions}{% Trahan:1992:MDS% }. \NAMECITE{Integer}{% Monfroglio:1992:IPL,% Revesz:1993:CFE% }. \NAMECITE{integers}{% Krivine:1994:GST,% Matos:1994:PSI% }. \NAMECITE{integrating}{% Schneider:1993:CGG% }. \NAMECITE{integrity}{% Lipeck:1990:TDI% }. \NAMECITE{intensive}{% Akl:1992:DPT% }. \NAMECITE{Interactive}{% Fortnow:1993:IPS,% Fortnow:1994:PMP% }. \NAMECITE{interconnection}{% Hofri:1994:AAP% }. \NAMECITE{Interdefinability}{% Stoughton:1991:IPO% }. \NAMECITE{Interleaving}{% Katz:1990:IST% }. \NAMECITE{intermittent}{% Cousot:1993:BIA% }. \NAMECITE{International}{% Anonymous:1991:ICL,% Anonymous:1994:SIC,% Anonymous:1990:ICA,% Anonymous:1990:ICF,% Anonymous:1993:ICW,% Anonymous:1993:IWC% }. \NAMECITE{interpolation}{% Clausen:1991:ZIK% }. \NAMECITE{interpretability}{% Kroger:1990:IAT% }. \NAMECITE{interpretable}{% Jacopini:1993:GRF% }. \NAMECITE{Interpretation}{% Troesch:1993:IGA,% Codish:1994:BAI,% Coppo:1993:TIA,% Dong:1994:IID,% Kobayashi:1994:RIG,% Neraud:1992:SMI,% Tatsuta:1994:RIC% }. \NAMECITE{Interpretations}{% Schwartzbach:1992:IRD,% Abramsky:1993:CIL,% Csuhaj-Varju:1991:BIG,% Grabowski:1993:SPP% }. \NAMECITE{Interpreting}{% Milner:1990:IOC% }. \NAMECITE{Intersection}{% Dezani-Ciancaglini:1992:ITC,% Yellin:1994:ADS,% vanBakel:1992:CRI% }. \NAMECITE{interval}{% Borel:1994:SRP,% Ye:1994:CUE% }. \NAMECITE{introducing}{% Nivat:1993:EIT% }. \NAMECITE{Introduction}{% Mauduit:1992:I,% Rovan:1993:I,% Brookes:1993:HIC,% Klop:1993:CRS,% Leroux:1991:CAN,% Mora:1994:ICN% }. \NAMECITE{Intuitionistic}{% Dong:1994:IID,% Coquand:1993:API,% Dosen:1992:NCL% }. \NAMECITE{invariance}{% Capocelli:1991:DIS% }. \NAMECITE{invariants}{% Budach:1990:TIC,% Jay:1993:TRT% }. \NAMECITE{inverse}{% Birget:1994:WPI,% Stoltenberg-Hanssen:1991:AFP% }. \NAMECITE{Inversion}{% Durand:1994:ICA,% Giegerich:1990:CSI% }. \NAMECITE{invertible}{% Kari:1994:LEI% }. \NAMECITE{Investigation}{% More:1994:IBS% }. \NAMECITE{invisible}{% Slowinski:1993:PWI% }. \NAMECITE{involution}{% Lalanne:1993:ICD% }. \NAMECITE{involving}{% Beauquier:1992:TDP,% Michel:1992:CLT% }. \NAMECITE{Irrational}{% Korec:1993:ISC% }. \NAMECITE{isomorphic}{% Chaunier:1994:NPI% }. \NAMECITE{isomorphie}{% Chaunier:1994:NPI% }. \NAMECITE{isomorphism}{% Ganesan:1994:OWF,% Robinson:1994:PI,% Vaandrager:1991:DES,% Watanabe:1991:PC,% Zhang:1992:PAT% }. \NAMECITE{Issue}{% Crochemore:1992:FSI,% Goto:1994:PSI% }. \NAMECITE{{ISWIM}}{% Scott:1993:TTA% }. \NAMECITE{iterates}{% Germano:1991:CFG,% Head:1990:SSM% }. \NAMECITE{iteration}{% Baur:1991:ACR,% Hemachandra:1991:SPE,% deLuca:1991:FIC% }. \NAMECITE{iterations}{% Daude:1994:UBA,% Kowalski:1994:MRU% }. \NAMECITE{iterative}{% Matthews:1994:IIA% }. \NAMECITE{job}{% Alon:1994:LBC% }. \NAMECITE{jobs}{% Woeginger:1994:LSJ% }. \NAMECITE{Join}{% Gardy:1994:JSU% }. \NAMECITE{{`Journ{\'e}es}}{% Anonymous:1994:MMC% }. \NAMECITE{July}{% Crochemore:1992:FSI% }. \NAMECITE{June}{% Goto:1994:PSI% }. \NAMECITE{jungle}{% Corradini:1993:HRJ% }. \NAMECITE{{Kahn}}{% Brookes:1993:HIC% }. \NAMECITE{{Karp}}{% Crochemore:1991:UKA% }. \NAMECITE{{Karp-Miller-Rosenberg}}{% Crochemore:1991:UKA% }. \NAMECITE{{Kayles}}{% Plambeck:1992:DKS% }. \NAMECITE{kernel}{% Desharnais:1993:RDO,% Perraud:1992:OSK% }. \NAMECITE{{Khrapchenko}}{% Koutsoupias:1993:IKT% }. \NAMECITE{kind}{% Herbst:1992:KFP,% Mathieu:1994:KLC% }. \NAMECITE{{Kleene}}{% Crvenkovic:1993:KA,% Gastin:1994:EKO,% Rupert:1991:WKS% }. \NAMECITE{knapsack}{% Salomaa:1991:DAM% }. \NAMECITE{knight}{% Ferguson:1992:MBK% }. \NAMECITE{knowledge}{% Brassard:1991:CPZ,% DeSantis:1994:KCQ,% Mathieu:1994:KLC,% Vakarelov:1991:MLK% }. \NAMECITE{{Knuth}}{% Francon:1990:ADA,% Louchard:1992:DAK,% Prodinger:1992:HAA,% Thomas:1993:SDK% }. \NAMECITE{{Knuth-Bendix}}{% Thomas:1993:SDK% }. \NAMECITE{{Koiran}}{% Cucker:1994:SCC% }. \NAMECITE{{Kolmogorov}}{% Hemachandra:1991:KCC% }. \NAMECITE{kriegspiel}{% Ferguson:1992:MBK% }. \NAMECITE{{Kunen}}{% Doets:1992:SST% }. \NAMECITE{{Kuratowski}}{% Barua:1992:HHO% }. \NAMECITE{{L}}{% Harrison:1994:MCD,% Honkala:1993:DSI,% Honkala:1994:GDS,% Maurer:1991:BDC,% Seki:1991:SLC% }. \NAMECITE{labeled}{% Ehrenfeucht:1990:TIR% }. \NAMECITE{Labelled}{% Bracho:1994:LDA,% Aceto:1994:GFL,% Flajolet:1994:CRG% }. \NAMECITE{labelling}{% Assous:1994:FLP% }. \NAMECITE{labels}{% Schneider:1993:CGG% }. \NAMECITE{{Lagois}}{% Melton:1994:LCC% }. \NAMECITE{lambda}{% Barendregt:1993:CPR,% Berarducci:1993:SNR,% Dybkjaer:1993:CHC,% Hirokawa:1993:PTB,% Kamareddine:1994:UAT,% Koletsos:1991:PLC,% Leivant:1993:FFA,% Mezghiche:1991:WCT,% Regnier:1994:ELT,% Revesz:1992:LEL,% Ritter:1994:CAM% }. \NAMECITE{lambda-calculi}{% Dybkjaer:1993:CHC% }. \NAMECITE{lambda-calculus}{% Mezghiche:1991:WCT,% Revesz:1992:LEL% }. \NAMECITE{lambda-termes}{% Regnier:1994:ELT% }. \NAMECITE{lambda-terms}{% Berarducci:1993:SNR,% Regnier:1994:ELT% }. \NAMECITE{Language}{% Andrasiu:1993:LTP,% Leiss:1994:LEO,% Blaaberg:1994:ALF,% Bradley:1990:ALD,% Dybkjaer:1993:CHC,% Habbas:1993:CMP,% Kari:1994:LEI,% Kundu:1991:MSR,% Leiss:1994:UCL,% Litow:1994:CFL,% Michel:1991:NLA,% Perraud:1992:OSK,% Poirriez:1994:MST,% Schwer:1992:FCV,% Szczepanska:1991:HVS,% Vagvolgyi:1993:FAC,% Wagner:1990:ASL,% Weber:1994:EUL% }. \NAMECITE{Language-theoretic}{% Andrasiu:1993:LTP% }. \NAMECITE{Languages}{% Anonymous:1993:ICW,% Anonymous:1994:SIC,% Beauquier:1991:LS,% Ito:1992:LWN,% Kelemenova:1994:LC,% Barrington:1991:NSL,% Barua:1992:HHO,% Beeri:1993:AOO,% Bertoni:1991:CCN,% Bidoit:1991:NRD,% Birget:1993:POW,% Birget:1994:FLD,% Caspi:1992:CDL,% Chytil:1991:PRU,% Clerbout:1992:SAL,% Csuhaj-Varju:1991:PCR,% Dassow:1991:CPC,% DeSantis:1994:KCQ,% Devolder:1991:FGB,% Engelfriet:1991:RCG,% Fachini:1991:NCC,% Falaschi:1990:FFP,% Farmer:1991:SSL,% Gire:1991:ALB,% Guaiana:1992:STL,% Gyssens:1991:CBA,% Harrison:1994:MCD,% Heilbrunner:1991:ERB,% Herbst:1993:GPF,% Homer:1993:TTH,% Huynh:1992:NCR,% Ibarra:1992:CEL,% Ilie:1994:CAS,% Jantzen:1994:CCF,% Kahn:1993:CDP,% Karhumaki:1993:ECT,% Kennaway:1990:ITR,% Kim:1990:CDR,% Kim:1992:RBP,% Kim:1993:SSE,% Kim:1994:RBP,% Knuutila:1994:ITL,% Kuich:1991:ALG,% Lastovetsky:1994:AAS,% Nirmal:1991:MCE,% Palis:1992:UBR,% Paun:1993:CPS,% Peladeau:1992:FRL,% Penjam:1990:CAM,% Pierre:1992:RIG,% Pingali:1991:ANL,% Robson:1992:MLG,% Schwer:1992:CLA,% Senizergues:1990:CDC,% Shankar:1991:GRT,% Shankar:1992:GRT,% Straubing:1992:CCD,% Timmerman:1990:TSR,% Tirri:1990:CTC,% Weil:1990:PLC,% Weir:1992:GHB,% Yu:1994:SCS,% deBoer:1991:SMC% }. \NAMECITE{large}{% Dagum:1992:APG,% Hofri:1994:AAP,% Zimand:1993:IEN% }. \NAMECITE{lark}{% Sprenger:1993:HDL% }. \NAMECITE{lattice}{% Lempel:1994:AFS,% Shore:1992:PDR,% Shore:1992:PRS% }. \NAMECITE{lattices}{% Gerhard:1994:UFD% }. \NAMECITE{laws}{% Gardy:1992:MCL% }. \NAMECITE{layers}{% Eades:1994:DGT% }. \NAMECITE{layouts}{% Nummenmaa:1992:CCR% }. \NAMECITE{lazy}{% Blaaberg:1994:ALF,% dAmore:1993:WLU% }. \NAMECITE{leader}{% Bodlaender:1991:NLB% }. \NAMECITE{Learnability}{% Benedek:1991:LRF% }. \NAMECITE{Learning}{% Arikawa:1992:LEF,% Sakakibara:1990:LCG,% Takada:1992:LSS,% Godin:1994:ICF,% Jain:1994:PSR,% Jiang:1993:CLS% }. \NAMECITE{least}{% Compton:1994:SLF,% Simpson:1993:CLF% }. \NAMECITE{least-fixed-point}{% Simpson:1993:CLF% }. \NAMECITE{Left}{% Doets:1994:LTT,% Hausser:1992:CLG,% Hebisch:1992:GSS% }. \NAMECITE{left-associative}{% Hausser:1992:CLG% }. \NAMECITE{left-cancellative}{% Hebisch:1992:GSS% }. \NAMECITE{Legality}{% Nota:1993:LCT% }. \NAMECITE{length}{% Andersson:1992:CBP,% Ausiello:1992:OCM,% Bertoni:1991:CCN,% Klein:1990:TUB,% Prodinger:1992:HAA,% Schmid:1993:ACC% }. \NAMECITE{lengths}{% Hofbauer:1992:TPM% }. \NAMECITE{letter}{% Bonnier-Rigny:1994:CSI,% Cori:1991:NPA,% Hoffmann:1990:RNG,% Kirschenhofer:1992:PMD,% Leiss:1994:LEO,% Leiss:1994:UCL% }. \NAMECITE{letters}{% Ollagnier:1992:PDC% }. \NAMECITE{level}{% Vianu:1992:CLC% }. \NAMECITE{lexicographically}{% Miyano:1991:DSS% }. \NAMECITE{libre}{% Cauchon:1992:SMN% }. \NAMECITE{libres}{% Dehornoy:1992:PMG,% Lalonde:1993:BLA% }. \NAMECITE{{Lie}}{% Duchamp:1991:OPF,% Koseleff:1991:WGF,% Lalonde:1993:BLA% }. \NAMECITE{lies}{% Spencer:1992:USG% }. \NAMECITE{like}{% Ognjanovic:1994:TLP,% Szczepanska:1991:HVS,% Yoo:1991:EAR% }. \NAMECITE{limit}{% Gardy:1992:MCL,% Goles:1993:LSS,% Kari:1994:RTL% }. \NAMECITE{Limitedness}{% Leung:1991:LTF,% Hashiguchi:1990:ILT% }. \NAMECITE{limit{\'e}s}{% Gardy:1992:MCL% }. \NAMECITE{limiting}{% Gardy:1994:JSU% }. \NAMECITE{limits}{% Stoltenberg-Hanssen:1991:AFP% }. \NAMECITE{line}{% Aslam:1993:LAC,% Ausiello:1992:OCM,% Azar:1994:LLB,% Dietzfelbinger:1991:CMT,% Dietzfelbinger:1993:CMT,% Goles:1993:GLG,% Halldorsson:1994:LBL,% Jiang:1990:CAO,% Jiang:1994:SRC,% Khuller:1994:LAW,% Koren:1994:MML,% Sikkel:1993:PLP,% Woeginger:1994:LSJ% }. \NAMECITE{lin{\'e}aires}{% Frougny:1992:SNL% }. \NAMECITE{Linear}{% Blute:1993:LLC,% Abramsky:1993:CIL,% Amtoft:1992:PMO,% Apostolico:1992:FLC,% Bellin:1992:DPR,% Bellin:1994:CLL,% Borel:1994:SRP,% Chrobak:1994:TRL,% Codenotti:1994:OCP,% Diekert:1990:WPT,% Dosen:1992:NCL,% Frougny:1992:CLN,% Galmiche:1994:PNL,% Girard:1992:BLL,% Hebrard:1994:LAR,% Ibarra:1991:PPO,% Leo:1991:GCP,% Lincoln:1994:COM,% Lincoln:1994:FOL,% Martin:1994:UCA,% Mascari:1994:HLR,% Masseron:1993:GPLa,% Masseron:1993:GPLb,% Mauro:1991:DLS,% Mazoyer:1992:LST,% Michel:1991:NLA,% Nepomniaschy:1993:POV,% Perrier:1998:CGP,% Remila:1994:LAT,% Revuz:1992:MAD,% Romeuf:1990:PAS,% Frougny:1992:SNL% }. \NAMECITE{linear-space}{% Apostolico:1992:FLC% }. \NAMECITE{lines}{% Slowinski:1993:PWI% }. \NAMECITE{list}{% Oommen:1990:DOE,% Oommen:1993:OAL,% Revesz:1992:LEL,% dAmore:1993:WLU,% dAmore:1994:LUP% }. \NAMECITE{list-oriented}{% Revesz:1992:LEL% }. \NAMECITE{lists}{% Azar:1991:PCM% }. \NAMECITE{liveness}{% Esparza:1992:PAD% }. \NAMECITE{{LLL}}{% Daude:1994:UBA% }. \NAMECITE{load}{% Azar:1994:LLB% }. \NAMECITE{Local}{% Bradfield:1992:LMC,% Stirling:1991:LMC,% Ferenczi:1994:TLR,% Howell:1991:GLV,% Kalyanasundaram:1994:CCT,% Palopoli:1992:TLP,% Restivo:1990:CLC% }. \NAMECITE{localities}{% Boudol:1993:OL% }. \NAMECITE{Localizable}{% Dong:1991:LCO% }. \NAMECITE{Locally}{% Almeida:1993:LCP,% Gambosi:1990:LPP,% Seki:1991:SLC% }. \NAMECITE{Locating}{% Kobler:1994:LPP% }. \NAMECITE{location}{% Preparata:1990:DPP% }. \NAMECITE{log}{% Alvarez:1993:VHL,% Robson:1991:OLR,% Szepietowski:1990:IDN,% Toda:1990:PRL% }. \NAMECITE{log-space}{% Alvarez:1993:VHL% }. \NAMECITE{Logarithmic}{% Balcazar:1992:LAC,% Ben-Amram:1994:UCP% }. \NAMECITE{logarithmic-cost}{% Ben-Amram:1994:UCP% }. \NAMECITE{Logic}{% Anonymous:1991:ICL,% Kawamura:1994:LPS,% Abramsky:1993:CIL,% Ait-Kaci:1994:FCS,% Bellia:1993:EVF,% Bellin:1992:DPR,% Bellin:1994:CLL,% Bidoit:1991:NDU,% Blute:1993:LLC,% Bol:1991:ALC,% Bol:1992:GCR,% Bonner:1994:OTL,% Bossi:1994:CSL,% Bossi:1994:NTT,% Burroni:1993:HDW,% Cavedon:1991:ALP,% Codish:1994:BAI,% Cohen-Chesnot:1991:EPT,% Compton:1994:SLF,% Corradini:1992:ASS,% Corradini:1993:HRJ,% Cortesi:1993:GPN,% Courcelle:1991:MSL,% Courcelle:1992:MSL,% Crole:1994:CAF,% Debart:1992:MLP,% Delahaye:1991:PTL,% Devienne:1990:WGT,% Dezani-Ciancaglini:1992:ITC,% Dosen:1992:NCL,% Dowling:1990:FPL,% Dung:1992:RBS,% Engelfriet:1991:RCG,% Falaschi:1990:FFP,% Filippenko:1992:DLP,% Gabbrielli:1992:UFS,% Galmiche:1994:PNL,% Gavilanes-Franco:1990:FOL,% Gil:1992:CEG,% Gilmore:1993:LCT,% Giordano:1992:EHC,% Girard:1992:BLL,% Gradel:1992:CCC,% Hamaguchi:1992:RTL,% Hein:1992:CPL,% Holden:1991:WLT,% Hoofman:1991:WEM,% Howell:1991:TFT,% Jancar:1990:DTL,% Kanchanasut:1992:TNL,% Katz:1990:IST,% Kawamura:1990:PSE,% Knijnenburg:1991:MPD,% Kroger:1990:IAT,% Lincoln:1994:COM,% Lincoln:1994:FOL,% Lobo:1991:SHD,% Manca:1990:ETL,% Manna:1991:CTP,% Marek:1992:RBS,% Masseron:1993:GPLa,% Masseron:1993:GPLb,% Meseguer:1992:CRL,% Mey:1994:FGP,% Monfroglio:1992:IPL,% Moss:1993:MLA,% Nepejvoda:1991:BBC,% Nielson:1990:FCM,% Nota:1993:LCT,% Palopoli:1992:TLP,% Perrier:1998:CGP,% Pingali:1991:ANL,% Shepherdson:1994:RSA,% Sprenger:1993:HDL,% Weibel:1992:ECL,% Weijland:1990:SLP,% Yamasaki:1990:RES,% Yamasaki:1994:DSD,% Zhang:1993:CFP,% deBoer:1991:SMC,% deBoer:1992:FSC,% Larsen:1990:PSS% }. \NAMECITE{Logical}{% Gilmore:1993:LFP,% Abadi:1993:LVC,% Boudol:1992:GVL,% Kuper:1993:CQL,% Mathieu:1994:KLC,% Michel:1992:CLT,% Mukund:1992:LCW,% Poirriez:1994:MST,% Stewart:1993:MPC% }. \NAMECITE{Logically}{% Peladeau:1992:LDS% }. \NAMECITE{logics}{% Astesiano:1992:OST,% Chen:1994:CCS,% Gallier:1993:CLP,% Milner:1993:MLM,% Ognjanovic:1994:TLP,% Pasztor:1990:RPD,% Pigozzi:1990:DTM,% Sain:1992:TLN,% Szalas:1991:SAC,% Vakarelov:1991:MLK,% Valiev:1993:USP% }. \NAMECITE{logspace}{% Lengauer:1990:BNF,% Nisan:1993:ROV% }. \NAMECITE{lois}{% Gardy:1992:MCL% }. \NAMECITE{longest}{% Apostolico:1992:FLC% }. \NAMECITE{look}{% Vagvolgyi:1992:TTT% }. \NAMECITE{look-ahead}{% Vagvolgyi:1992:TTT% }. \NAMECITE{lookahead}{% Leo:1991:GCP% }. \NAMECITE{loop}{% Bol:1991:ALC,% Bol:1992:GCR,% Erdos:1992:DLN% }. \NAMECITE{lop}{% Betrema:1993:AAG% }. \NAMECITE{lop-sided}{% Betrema:1993:AAG% }. \NAMECITE{loss}{% Louth:1994:CCL% }. \NAMECITE{Low}{% Consens:1993:LCA,% Aoki:1994:THD,% Chrobak:1991:POL,% Kobler:1994:LPP,% Koiran:1994:CLD% }. \NAMECITE{Low-complexity}{% Consens:1993:LCA% }. \NAMECITE{low-dimensional}{% Koiran:1994:CLD% }. \NAMECITE{Lower}{% Alon:1994:LBC,% Babai:1990:LBC,% Halldorsson:1994:LBL,% Hromkovic:1992:LBA,% Bodlaender:1991:NLB,% Grigoriev:1994:DTS,% Luchkardt:1991:NFU,% Weber:1994:EUL% }. \NAMECITE{{LR}}{% Leermakers:1992:FLP,% Leo:1991:GCP% }. \NAMECITE{{Lyapunov}}{% Goles:1994:LOS% }. \NAMECITE{{Lyndon}}{% Berstel:1994:ACD,% Lalonde:1993:BLA,% Subramanian:1992:LT% }. \NAMECITE{m}{% Martin:1994:UCA,% Bedard:1993:EBM% }. \NAMECITE{{M}-program}{% Bedard:1993:EBM% }. \NAMECITE{Machine}{% Nirmal:1991:MCE,% Berry:1992:CAM,% Corradini:1994:AMC,% Hartmanis:1990:RMS,% Krause:1991:SET,% Michel:1991:NLA% }. \NAMECITE{machines}{% Curien:1991:AFE,% Dauchet:1992:STM,% Dietzfelbinger:1991:CMT,% Dietzfelbinger:1993:CMT,% Feldmann:1994:DSP,% Heibig:1991:CMN,% Hromkovic:1994:DVN,% Huckenbeck:1991:RAP,% Huhne:1993:PSQ,% Ibarra:1991:PPO,% Ibarra:1992:SSA,% Inoue:1991:NRO,% Inoue:1994:IAT,% Ko:1991:AVN,% Leighton:1994:MMR,% Mak:1994:SDA,% Margenstern:1994:NTM,% Ritter:1994:CAM,% Slobodova:1992:SPS,% Trahan:1992:MDS% }. \NAMECITE{{Macsyma}}{% Delest:1991:EPU,% Oussous:1991:CMM% }. \NAMECITE{maintenance}{% Ausiello:1990:DMD% }. \NAMECITE{making}{% Kozen:1994:OBC% }. \NAMECITE{{Malcev}}{% Cauchon:1992:SMN% }. \NAMECITE{{Malcev-Neumann}}{% Cauchon:1992:SMN% }. \NAMECITE{many}{% Azar:1991:PCM,% Ganzinger:1991:OCM,% Manca:1992:SCB,% Watanabe:1992:PTM% }. \NAMECITE{many-one}{% Watanabe:1992:PTM% }. \NAMECITE{many-ordered}{% Azar:1991:PCM% }. \NAMECITE{many-sorted}{% Ganzinger:1991:OCM,% Manca:1992:SCB% }. \NAMECITE{Map}{% Grue:1992:MT,% Mulry:1994:PMC,% Papadimitriou:1991:SPM% }. \NAMECITE{mapped}{% Head:1990:SSM% }. \NAMECITE{mapping}{% Ye:1994:CUE% }. \NAMECITE{mappings}{% Abadi:1991:ERM,% Dong:1990:DDP% }. \NAMECITE{maps}{% Arques:1993:CCP,% Elbaz:1990:CVD,% Spehner:1991:MMP% }. \NAMECITE{{Marcus}}{% Leermakers:1992:RAP% }. \NAMECITE{{Markov}}{% Pai:1994:MAM,% Scheepers:1994:VGG% }. \NAMECITE{marriages}{% Khuller:1994:LAW% }. \NAMECITE{matches}{% Ukkonen:1992:ASM% }. \NAMECITE{Matching}{% Anonymous:1992:CPM,% Crochemore:1992:FSI,% Amir:1991:FPS,% Bertossi:1990:SMW,% Cai:1992:MEB,% Crochemore:1992:SMO,% Crochemore:1994:TDP,% Dowek:1993:UPM,% Hashiguchi:1992:TRS,% Idury:1994:DDM,% Kedem:1992:OPA,% Khuller:1994:LAW,% Kim:1992:ASA,% Neraud:1992:SMI,% Quong:1992:FAP,% Senoussi:1994:QAT,% Srinivas:1993:STA,% Ukkonen:1992:ASM% }. \NAMECITE{Mate}{% Ferguson:1992:MBK% }. \NAMECITE{Mathematical}{% Anonymous:1993:SWM,% Anonymous:1994:MFP,% Ferguson:1992:MBK,% Fraenkel:1993:GMG,% Limongelli:1992:ASS% }. \NAMECITE{Mathematics}{% Anonymous:1994:MMC% }. \NAMECITE{{Math{\'e}matiques}}{% Anonymous:1994:MMC% }. \NAMECITE{{Math{\'e}matiques-Informatique'}}{% Anonymous:1994:MMC% }. \NAMECITE{{Matos}}{% Petersen:1995:RPB% }. \NAMECITE{matrices}{% Chrobak:1991:POL,% Mourrain:1992:CIA,% Perrin:1992:PM% }. \NAMECITE{matrix}{% Anderson:1994:MEW,% Dietzfelbinger:1991:CMT,% Dietzfelbinger:1993:CMT% }. \NAMECITE{max}{% Gambosi:1991:PDS% }. \NAMECITE{Maximal}{% Bruyere:1991:MCB,% Ausiello:1992:OCM,% Miyano:1991:DSS,% Ukkonen:1992:ASM,% Zhang:1993:DRS% }. \NAMECITE{Maximality}{% Devillers:1992:MPB% }. \NAMECITE{maximize}{% Gelenbe:1994:VTM% }. \NAMECITE{{McNaughton}}{% DoLongVan:1992:VFM,% Saoudi:1991:GAI% }. \NAMECITE{mean}{% Du:1990:MMF% }. \NAMECITE{meanders}{% Lando:1993:PPM% }. \NAMECITE{means}{% Senizergues:1990:CDC% }. \NAMECITE{measure}{% Jaoua:1991:RRM,% Lutz:1991:UMS% }. \NAMECITE{measures}{% Hromkovic:1994:SHC,% Martens:1994:SCP% }. \NAMECITE{mechanical}{% Zhang:1990:PNM% }. \NAMECITE{mechanism}{% Szczepanska:1991:HVS% }. \NAMECITE{mechanisms}{% Bol:1991:ALC,% Han:1994:TEI% }. \NAMECITE{{Mellin}}{% Flajolet:1994:MTA% }. \NAMECITE{memoization}{% Amtoft:1992:PMO% }. \NAMECITE{memory}{% Kaminski:1994:FMA,% Oommen:1993:OAL,% Zwick:1993:MG% }. \NAMECITE{{MEO}}{% Dahlhaus:1994:EPA% }. \NAMECITE{Merging}{% Spehner:1991:MMP,% Azar:1991:PCM,% Gambosi:1991:PDS,% Pai:1994:MAM,% Palko:1991:ACM% }. \NAMECITE{merits}{% Murray:1994:RMP% }. \NAMECITE{mesh}{% Bruck:1994:TFM,% Subbiah:1993:ODA% }. \NAMECITE{mesh-connected}{% Subbiah:1993:ODA% }. \NAMECITE{message}{% Lavault:1990:EAM,% Leighton:1994:MMR% }. \NAMECITE{Metacircularity}{% Pfenning:1991:MPC% }. \NAMECITE{method}{% Gardy:1992:MCL,% Kim:1992:NSM,% Murray:1994:RMP,% Sadri:1994:AOI,% Zhang:1990:PNM% }. \NAMECITE{{M}{\'e}thode}{% Gardy:1992:MCL% }. \NAMECITE{Methodology}{% Anonymous:1990:ICA% }. \NAMECITE{Methods}{% Anonymous:1990:IFW,% Anonymous:1993:SFS,% Leighton:1994:MMR,% Stewart:1993:MPC,% Bafna:1994:AIM,% Deransart:1993:PMD,% Diop:1992:DDM,% Faure:1994:MQM,% Limongelli:1992:ASS% }. \NAMECITE{{M{\'e}tivier}}{% Bertrand:1994:CDM% }. \NAMECITE{metric}{% Baier:1994:DSC,% Weihrauch:1993:CCM,% deBakker:1990:CMS% }. \NAMECITE{metrics}{% Priese:1992:SFU% }. \NAMECITE{Miller}{% Crochemore:1991:UKA% }. \NAMECITE{{Milner}}{% Larsen:1990:PSS% }. \NAMECITE{min}{% Gambosi:1991:PDS% }. \NAMECITE{min-max}{% Gambosi:1991:PDS% }. \NAMECITE{Minimal}{% Ambos-Spies:1994:MPC,% Kundu:1991:MSR,% Oussous:1991:CMM,% Abraham:1994:MEP,% Ausiello:1992:OCM,% Averbuch:1991:CAM,% Birget:1993:POW,% Dahlhaus:1994:EPA,% Halpenny:1992:CMS,% Park:1994:CRM,% Rodenburg:1991:ASD% }. \NAMECITE{Minimisation}{% Revuz:1992:MAD% }. \NAMECITE{minimization}{% Cazanescu:1992:GRA,% Coffman:1994:PMP,% Peeva:1991:ERM% }. \NAMECITE{Minimizing}{% Du:1990:MMF% }. \NAMECITE{Minimum}{% Das:1992:MVH,% Erdos:1992:DLN,% Hoang:1992:PAM,% Srinivasan:1991:EAM% }. \NAMECITE{miracles}{% Back:1992:CAD% }. \NAMECITE{misere}{% Plambeck:1992:DKS% }. \NAMECITE{missing}{% Bennett:1994:DDC% }. \NAMECITE{Mixed}{% Bulyonkov:1990:MCC,% Bulyonkov:1991:PEM,% Gunter:1992:MP,% Itkin:1991:AMC,% Nielson:1990:FCM% }. \NAMECITE{{MLOG}}{% Poirriez:1994:MST% }. \NAMECITE{mob}{% Culik:1991:ESF% }. \NAMECITE{mobile}{% Alon:1994:LBC,% Milner:1993:MLM% }. \NAMECITE{{M{\"o}bius}}{% Bjorner:1992:RMF,% Bjorner:1993:MFF,% Diekert:1993:MFC% }. \NAMECITE{{MOCA}}{% Koren:1994:MML% }. \NAMECITE{mod}{% Hertrampf:1990:RAM% }. \NAMECITE{mod-classes}{% Hertrampf:1990:RAM% }. \NAMECITE{Modal}{% Milner:1993:MLM,% Moss:1993:MLA,% Vakarelov:1991:MLK,% Chen:1994:CCS,% Cialdea:1991:RSF,% Dam:1994:CEF,% Habbas:1993:CMP,% Ognjanovic:1994:TLP,% Stirling:1991:LMC,% Winskel:1991:NMC% }. \NAMECITE{modalities}{% Lincoln:1994:FOL% }. \NAMECITE{modally}{% Huttel:1990:SCB% }. \NAMECITE{Model}{% Andersen:1994:MCB,% Bedard:1993:EBM,% Boyar:1992:AMC,% Bradfield:1992:LMC,% Casas:1993:ACA,% Cucker:1994:SCC,% Denecker:1994:DAM,% Fagin:1993:FMT,% Fournier:1991:EDM,% Francon:1990:ADA,% Gastin:1990:AMD,% Hamaguchi:1992:RTL,% Heibig:1991:CMN,% Jacopini:1990:RPC,% Kuper:1993:CQL,% Louchard:1992:DAK,% Lukassen:1991:FFI,% Maher:1993:TSD,% Meseguer:1992:CRL,% Ruqian:1993:TCM,% Stirling:1991:LMC,% Winskel:1991:NMC% }. \NAMECITE{modeling}{% Kirschenhofer:1992:PMD% }. \NAMECITE{models}{% Gardy:1994:JSU,% Goltz:1994:FPN,% Hoofman:1991:WEM,% Jacobs:1992:FMP,% Knijnenburg:1991:MPD,% Main:1993:SMT,% Meer:1994:CQP,% Mezghiche:1991:WCT,% Miltersen:1994:CMI,% Penjam:1990:CAM,% Plotkin:1993:STO,% deBoer:1991:SMC% }. \NAMECITE{mods}{% Beigel:1992:CCT% }. \NAMECITE{Modular}{% Engelfriet:1991:MTT,% vanGlabbeek:1993:MSP,% Corradini:1994:AMC,% Girard:1992:BLL,% Lempel:1994:AFS,% Parisi-Presicce:1991:FRD,% Salomaa:1991:DAM% }. \NAMECITE{Modularity}{% Kurihara:1992:MST,% Ohlebusch:1994:MTT% }. \NAMECITE{module}{% Ehrig:1990:CPD% }. \NAMECITE{modules}{% Maher:1993:TSD,% Melancon:1993:CBS% }. \NAMECITE{Modulo}{% Potthoff:1994:MCQ,% Averbuch:1991:CAM,% Jouannaud:1992:TCM,% Otto:1994:CMF% }. \NAMECITE{Modulo-counting}{% Potthoff:1994:MCQ% }. \NAMECITE{mol{\'e}culaires}{% Chiricota:1993:RSE% }. \NAMECITE{molecular}{% Chiricota:1993:RSE% }. \NAMECITE{Monadic}{% Courcelle:1993:MSO,% Courcelle:1994:MSO,% Courcelle:1991:MSL,% Courcelle:1992:MSL,% Engelfriet:1991:RCG,% Madlener:1993:WCM,% Mostowski:1991:HWA,% Muller:1992:AAW,% Otto:1994:CMF% }. \NAMECITE{Monads}{% Mulry:1992:MAS% }. \NAMECITE{monoid}{% Anderson:1994:SFM,% Blanchet-Sadri:1994:EMV,% Neraud:1992:RSF% }. \NAMECITE{monoids}{% Beauquier:1994:RTA,% Becker:1991:CFM,% Birget:1994:WPI,% DoLongVan:1992:VFM,% Hashiguchi:1991:RCS,% Hashiguchi:1992:TRS,% Jurgensen:1994:TDI,% Konig:1991:GFP,% Reilly:1994:BVG,% Rozoy:1991:EST,% Schmitt:1990:HAI,% Spehner:1994:BBC,% Varricchio:1990:FFM% }. \NAMECITE{monotone}{% Snir:1991:STM% }. \NAMECITE{{Monte}}{% Faure:1994:MQM% }. \NAMECITE{{Monte-Carlo}}{% Faure:1994:MQM% }. \NAMECITE{Moore}{% Baeza-Yates:1992:ART,% Lecroq:1992:VBA% }. \NAMECITE{Morphic}{% Harrison:1994:MCD% }. \NAMECITE{morphism}{% Head:1990:SSM% }. \NAMECITE{morphisms}{% Ehrenfeucht:1990:TCB,% Seebold:1991:FMS% }. \NAMECITE{{Morse}}{% Ferenczi:1992:TMS,% Ferenczi:1994:TLR% }. \NAMECITE{{MOS}}{% Hoare:1991:TDC% }. \NAMECITE{most}{% Hashiguchi:1990:ERE,% Neraud:1993:DWF,% Yoo:1991:EAR% }. \NAMECITE{mots}{% Dehornoy:1992:PMG,% Mosse:1992:PMR% }. \NAMECITE{{Motzkin}}{% Alonso:1994:UGM% }. \NAMECITE{move}{% Oommen:1990:DOE% }. \NAMECITE{move-to-rear}{% Oommen:1990:DOE% }. \NAMECITE{movement}{% Akl:1992:DPT% }. \NAMECITE{mu}{% Stirling:1991:LMC% }. \NAMECITE{mu-calculus}{% Stirling:1991:LMC% }. \NAMECITE{{Muller}}{% Barua:1992:HHO,% Saoudi:1991:GAI% }. \NAMECITE{{Muller-McNaughton}}{% Saoudi:1991:GAI% }. \NAMECITE{multi}{% Cai:1992:MEB,% Fortnow:1994:PMP% }. \NAMECITE{multi-pattern}{% Cai:1992:MEB% }. \NAMECITE{multi-prover}{% Fortnow:1994:PMP% }. \NAMECITE{multicomputer}{% Chen:1994:CCC% }. \NAMECITE{multicounter}{% Inoue:1991:NRO% }. \NAMECITE{Multidimensional}{% Baldwin:1991:MT,% Faure:1994:MQM,% Amir:1991:FPS,% Mak:1994:SDA% }. \NAMECITE{Multihead}{% Kutylowski:1991:MOF% }. \NAMECITE{Multimodal}{% Debart:1992:MLP% }. \NAMECITE{multiparameter}{% Yen:1992:MAD% }. \NAMECITE{Multiple}{% Kowalski:1994:MRU,% Goguen:1992:OSA,% Nisan:1993:ROV,% Pai:1994:MAM,% Pigozzi:1990:DTM,% Seki:1991:MCG% }. \NAMECITE{multiple-disk}{% Pai:1994:MAM% }. \NAMECITE{multiple-valued}{% Pigozzi:1990:DTM% }. \NAMECITE{multiples}{% Lehr:1993:SRM% }. \NAMECITE{multiplexing}{% Quong:1992:FAP% }. \NAMECITE{Multiplication}{% Trahan:1992:MDS% }. \NAMECITE{multiplicative}{% Lincoln:1994:COM,% Mirwald:1992:MCQ% }. \NAMECITE{multiplicatively}{% Hebisch:1992:GSS% }. \NAMECITE{Multiplicities}{% Karhumaki:1992:MDV,% Bonnier-Rigny:1994:CSI% }. \NAMECITE{multiprocessor}{% Chakka:1994:HMS,% Koren:1994:MML% }. \NAMECITE{multiset}{% Hofbauer:1992:TPM% }. \NAMECITE{multisets}{% Blizard:1993:DMF% }. \NAMECITE{multitape}{% Harju:1991:EPM% }. \NAMECITE{multivalued}{% Capocelli:1991:DIS,% Capocelli:1994:FAU% }. \NAMECITE{multivariate}{% Clausen:1991:ZIK% }. \NAMECITE{mutate}{% Mason:1992:IEF% }. \NAMECITE{mutual}{% Abraham:1994:MEP% }. \NAMECITE{mutual-exclusion}{% Abraham:1994:MEP% }. \NAMECITE{n}{% Averbuch:1991:CAM,% Szepietowski:1990:IDN,% Goerdt:1992:URV,% Martin:1994:UCA% }. \NAMECITE{{N}-resolution}{% Goerdt:1992:URV% }. \NAMECITE{n/}{% Averbuch:1991:CAM% }. \NAMECITE{{NAF}}{% Baratella:1993:CPW% }. \NAMECITE{name}{% Krivine:1994:GST% }. \NAMECITE{narrowing}{% Echahed:1990:CNS% }. \NAMECITE{nationality}{% Cauchon:1992:SMN% }. \NAMECITE{natural}{% Bertrand:1994:NSF,% Fiech:1994:ADN% }. \NAMECITE{{NC}}{% Gibbons:1990:OEO% }. \NAMECITE{nearly}{% Chaunier:1994:NPI% }. \NAMECITE{necessity}{% Board:1992:NOA% }. \NAMECITE{necklaces}{% Prasad:1992:AEN% }. \NAMECITE{need}{% Sain:1992:TLN% }. \NAMECITE{Negation}{% Bidoit:1991:NDU,% Bidoit:1991:NRD% }. \NAMECITE{negative}{% Groote:1993:TSS% }. \NAMECITE{neighbourhoods}{% Zhang:1992:SN% }. \NAMECITE{Nested}{% Rajasekaran:1992:NAP,% Gyssens:1991:CBA% }. \NAMECITE{net}{% Best:1992:PNS,% Hiraishi:1994:SCR,% Mascari:1994:HLR,% Thiagarajan:1990:SBA% }. \NAMECITE{nets}{% Botelho:1994:BNN,% Botelho:1997:EBN,% Diekert:1994:PTS,% Esparza:1992:PAD,% Fahmy:1990:APN,% Garg:1992:CRE,% Goltz:1994:FPN,% Hiraishi:1992:SCW,% Howell:1991:TFT,% Jancar:1990:DTL,% Lambert:1992:SDR,% Li:1994:FPN,% Reisig:1991:PNA,% Vogler:1991:ENP% }. \NAMECITE{network}{% Baccelli:1994:DET,% Chen:1994:CCC,% Erdos:1992:DLN,% Garofalakis:1994:TDD,% Lengauer:1990:BNF,% Prasad:1992:AEN% }. \NAMECITE{networks}{% Akyildiz:1994:ESN,% Chen:1993:DAR,% Gannett:1990:OPS,% Halpenny:1992:CMS,% Hofri:1994:AAP,% Louth:1994:CCL,% Pudlak:1993:SNB,% Saito:1991:DER,% Siegelmann:1994:ACN,% Subbiah:1993:ODA,% Wiedermann:1991:CES% }. \NAMECITE{{Neumann}}{% Cauchon:1992:SMN% }. \NAMECITE{neural}{% Botelho:1994:BNN,% Botelho:1997:EBN,% Siegelmann:1994:ACN,% Wiedermann:1991:CES% }. \NAMECITE{{Newton}}{% Malajovich:1994:GNA% }. \NAMECITE{{NEXPTIME}}{% Lincoln:1994:FOL% }. \NAMECITE{{NEXPTIME}-hard}{% Lincoln:1994:FOL% }. \NAMECITE{{Nivat}}{% Karner:1992:NTP% }. \NAMECITE{{NLC}}{% Hoffmann:1990:RNG% }. \NAMECITE{No}{% Kiwi:1994:NPB% }. \NAMECITE{node}{% Dassow:1991:DSA% }. \NAMECITE{nodes}{% Bruck:1994:TFM% }. \NAMECITE{noetherianity}{% Dehornoy:1992:CPN% }. \NAMECITE{noise}{% Delyon:1994:ENS% }. \NAMECITE{nombre}{% Chaunier:1994:NPI% }. \NAMECITE{Non}{% Carpi:1990:NWR,% Droste:1990:NIS,% Krob:1991:SEF,% Luchkardt:1991:NFU,% Mora:1994:ICN,% Palis:1992:UBR,% Robson:1990:STB,% Statman:1993:SEN,% Demolombe:1991:ESN% }. \NAMECITE{non-commutative}{% Krob:1991:SEF,% Mora:1994:ICN% }. \NAMECITE{non-computable}{% Robson:1990:STB% }. \NAMECITE{non-context-free}{% Palis:1992:UBR% }. \NAMECITE{Non-deterministic}{% Droste:1990:NIS% }. \NAMECITE{non-existent}{% Statman:1993:SEN% }. \NAMECITE{{non-Horn}}{% Demolombe:1991:ESN% }. \NAMECITE{Non-repetitive}{% Carpi:1990:NWR% }. \NAMECITE{non-trivial}{% Luchkardt:1991:NFU% }. \NAMECITE{Nonacceptability}{% Fachini:1991:NCC% }. \NAMECITE{nonadaptive}{% Ko:1991:AVN% }. \NAMECITE{Nonclairvoyant}{% Motwani:1994:NS% }. \NAMECITE{Noncommutative}{% Oussous:1991:CMM% }. \NAMECITE{noncounting}{% deLuca:1992:NRC% }. \NAMECITE{Nondeterminacy}{% Hesselink:1994:NRS% }. \NAMECITE{nondeterminism}{% Karhumaki:1992:MDV,% Wilm:1991:DNP% }. \NAMECITE{Nondeterministic}{% Wolf:1994:NCS,% Abiteboul:1991:FPD,% Allender:1993:AEC,% Bebjak:1991:SDN,% Cherkasova:1991:ACN,% Hromkovic:1994:DVN,% Kearney:1991:EFS,% Szepietowski:1990:IDN% }. \NAMECITE{Nonerasing}{% Margenstern:1994:NTM% }. \NAMECITE{nonisomorphism}{% Hartmanis:1991:OFN% }. \NAMECITE{nonlinear}{% Hespel:1991:AND,% Leroux:1991:CAN% }. \NAMECITE{Nonmodal}{% Dosen:1992:NCL% }. \NAMECITE{Nonrecursiveness}{% Skandalis:1990:NOR% }. \NAMECITE{nonstandard}{% Goto:1991:PNN,% Michaux:1994:PNN% }. \NAMECITE{nonsubsequence}{% Middendorf:1993:SCN% }. \NAMECITE{Nonterminal}{% Engelfriet:1991:NSG% }. \NAMECITE{Nonuniform}{% Huynh:1992:NCR,% Kamper:1991:NPS,% Longpre:1993:HPP% }. \NAMECITE{normal}{% Cortesi:1993:GPN,% Gardy:1994:JSU,% Kanchanasut:1992:TNL,% Ognjanovic:1994:TLP% }. \NAMECITE{normalization}{% Breazu-Tannen:1991:PRC,% Galmiche:1994:PNL,% Goto:1991:PNN,% Perrier:1998:CGP% }. \NAMECITE{normed}{% Huynh:1994:DBN,% Huynh:1994:NCD% }. \NAMECITE{Norms}{% Bossi:1994:NTT% }. \NAMECITE{Note}{% Allouche:1994:NCT,% Calude:1993:NTS,% Hromkovic:1994:NOG,% Barrington:1991:NSL,% Bloom:1990:NGT,% Duris:1994:NDO,% Hromkovic:1993:NRO,% Huwig:1990:NIC,% Huynh:1994:NCD,% Ibarra:1993:NSP,% Inoue:1991:NRO,% Restivo:1992:NRS,% Winskel:1991:NMC% }. \NAMECITE{Notes}{% Bellin:1992:DPR% }. \NAMECITE{{NP}}{% Emerson:1994:RPN,% Ferreira:1993:SEA,% Fu:1993:SDN,% Hartmanis:1991:OFN,% Iwanowski:1991:TAS,% Khuller:1991:PGC,% Lincoln:1994:COM,% Michel:1991:NLA,% Middendorf:1993:SCN,% Zimand:1993:IEN,% Michaux:1994:PNN% }. \NAMECITE{{NP-complete}}{% Hartmanis:1991:OFN,% Michel:1991:NLA,% Middendorf:1993:SCN,% Ferreira:1993:SEA,% Lincoln:1994:COM% }. \NAMECITE{{NP}-hard}{% Fu:1993:SDN,% Iwanowski:1991:TAS% }. \NAMECITE{{NP-P}}{% Zimand:1993:IEN% }. \NAMECITE{{NU}}{% Mery:1992:NSD% }. \NAMECITE{number}{% Bertoni:1991:CCN,% Burosch:1991:NDC,% Chaunier:1994:NPI,% Cori:1991:NPA,% Daude:1994:UBA,% Dubois:1991:CNS,% Goldwurm:1992:PEN,% Kowalski:1994:MRU,% Labhalla:1991:CCC,% Meer:1994:CQP,% Mignosi:1991:NFS,% Mignotte:1994:ECI,% Monien:1993:FRD,% Monien:1994:FRD,% Prasad:1992:AEN,% Santean:1992:INC,% Spencer:1992:USG% }. \NAMECITE{numbers}{% Eriksson:1994:RDN,% Holte:1992:PST,% Labhalla:1991:RRN,% Skandalis:1990:NOR% }. \NAMECITE{numeration}{% Frougny:1992:CLN,% Frougny:1992:SNL% }. \NAMECITE{numerical}{% Codenotti:1994:OCP,% Zhang:1990:PNM% }. \NAMECITE{{O}}{% Robson:1991:OLR% }. \NAMECITE{object}{% Beeri:1993:AOO,% Chan:1994:TSC,% Dong:1991:LCO% }. \NAMECITE{object-oriented}{% Beeri:1993:AOO,% Chan:1994:TSC% }. \NAMECITE{objects}{% Goto:1991:PNN,% Ohori:1990:STD% }. \NAMECITE{observable}{% Botelho:1994:BNN,% Botelho:1997:EBN% }. \NAMECITE{Observational}{% Astesiano:1992:OST% }. \NAMECITE{Observing}{% Boudol:1993:OL% }. \NAMECITE{obtaining}{% Amtoft:1992:PMO% }. \NAMECITE{{Occam}}{% Board:1992:NOA% }. \NAMECITE{occur}{% Weijland:1990:SLP% }. \NAMECITE{{Ochmanski}}{% Gastin:1994:EKO% }. \NAMECITE{octal}{% Plambeck:1992:DKS% }. \NAMECITE{off}{% Dietzfelbinger:1991:CMT,% Dietzfelbinger:1993:CMT,% Jiang:1990:CAO% }. \NAMECITE{off-line}{% Dietzfelbinger:1991:CMT,% Dietzfelbinger:1993:CMT,% Jiang:1990:CAO% }. \NAMECITE{offs}{% Snir:1991:STM% }. \NAMECITE{old}{% Bulyonkov:1990:MCC% }. \NAMECITE{omega}{% Barua:1992:HHO,% Bergstra:1994:WDT,% Devolder:1991:FGB,% Kuich:1991:ALG,% Thomas:1992:ITA,% Timmerman:1990:TSR,% Damm:1992:SCC% }. \NAMECITE{omega-complete}{% Bergstra:1994:WDT% }. \NAMECITE{omega-continuous}{% Kuich:1991:ALG% }. \NAMECITE{{Omega}-decision}{% Damm:1992:SCC% }. \NAMECITE{omega-languages}{% Devolder:1991:FGB,% Timmerman:1990:TSR% }. \NAMECITE{omega-regular}{% Barua:1992:HHO% }. \NAMECITE{omega-transduction}{% Timmerman:1990:TSR% }. \NAMECITE{On-line}{% Aslam:1993:LAC,% Ausiello:1992:OCM,% Azar:1994:LLB,% Khuller:1994:LAW,% Woeginger:1994:LSJ,% Halldorsson:1994:LBL,% Jiang:1994:SRC,% Koren:1994:MML,% Sikkel:1993:PLP% }. \NAMECITE{once}{% Heiman:1993:RTF,% Nisan:1993:ROV% }. \NAMECITE{One}{% Ganesan:1994:OWF,% Hartmanis:1991:OFN,% Roka:1994:OWC,% Baruah:1993:FPR,% Birget:1994:WPI,% Blanchet-Sadri:1994:EMV,% Bonnier-Rigny:1994:CSI,% Chen:1990:DBO,% Dietzfelbinger:1991:CMT,% Dietzfelbinger:1993:CMT,% Herbst:1993:GPF,% Hoffmann:1990:RNG,% Hromkovic:1993:NRO,% Ibarra:1991:PPO,% Inoue:1991:NRO,% Kutylowski:1991:MOF,% Kutylowski:1993:SVS,% Leiss:1994:LEO,% Leiss:1994:UCL,% Lescanne:1994:TOR,% Michel:1991:NLA,% Milner:1990:IOC,% Tamassia:1993:DRP,% Watanabe:1992:PTM% }. \NAMECITE{one-counter}{% Herbst:1993:GPF,% Hromkovic:1993:NRO% }. \NAMECITE{one-letter}{% Bonnier-Rigny:1994:CSI,% Hoffmann:1990:RNG,% Leiss:1994:LEO,% Leiss:1994:UCL% }. \NAMECITE{one-tape}{% Dietzfelbinger:1991:CMT,% Dietzfelbinger:1993: