Index file section A for issac.bib

Last update: Wed Oct 23 02:00:51 MDT 2019               

Return to index directory

A

• A-irreducible, 0(0)86--94
• A-NETL, 1107(0)x--348
• A., R., 0(0)228--233
• A0230, 0(0)295--300
• A0260, 0(0)234--241
• A0270, 0(0)439--447, 0(0)454--455
• A0340K, 0(0)295--300
• A0365D, 0(0)85--95
• A1110, 0(0)454--455
• A1110G, 0(0)439--447
• A1130R, 0(0)454--455
• A1235C, 0(0)454--455
• A:1989:SSG, 0(0)228--233
• A1PI, 0(0)192--198
• A2920F, 0(0)452--453
• A3115, 0(0)458--459
• A3120, 0(0)458--459
• A4710, 0(0)234--241
• A4725, 0(0)234--241
• A6830, 0(0)433--438
• A6845, 0(0)433--438
• A8220W, 0(0)74--83
• A8230V, 0(0)74--83
• A8240, 0(0)74--83
• A8715D, 0(0)74--83
• A9110B, 0(0)448--449
• A9575P, 0(0)116--124
• A9880D, 0(0)116--124
• AAECC-6, 357(0)ix--480, 358(0)xi--543
• abandoned, 0(0)74--83
• Abate, Jason, 0(0)149--155
• Abate:1997:ADS, 0(0)149--155
• Abbot, J., 0(0)112--120
• Abbot:1989:RAN, 0(0)112--120
• Abbott, J. A., 0(0)250--253
• Abbott, John, 0(0)1--7, 0(0)112--120, 0(0)197--204
• Abbott:1986:BAN, 0(0)250--253
• Abbott:1989:RAN, 0(0)112--120
• Abbott:1999:FDC, 0(0)197--204
• Abbott:2000:FSP, 0(0)1--7
• abbr, 0(0)300--300
• abbreviated, 0(0)79--86, 0(0)295--295
• Abdali, S. K., 0(0)24--30, 0(0)96--108, 0(0)298--307
• Abdali, S. K., see Saunders, B. D.
• Abdali:1986:OOA, 0(0)24--30
• Abdali:1989:EQR, 0(0)96--108
• Abduction, 0(0)214--224
• abductive, 0(0)111--118
• Abdulrab, H., 0(0)508--520
• Abdulrab:1989:EW, 0(0)508--520
• abelian, 0(0)87--92, 0(0)114--120, 0(0)181--186, 0(0)285--292, 0(0)347--354, 0(0)378--389
• Abelian, non-, 0(0)91--93
• Aberer, K., 0(0)1--7
• Aberer:1990:NFF, 0(0)1--7
• Abhyankar, S. S., 0(0)274--284
• Abhyankar:1989:CAC, 0(0)274--284
• ability, 0(0)126--132, 0(0)135--142, 0(0)147--154, 0(0)200--209, 0(0)234--241, 0(0)303--314
• abilityash, 0(0)247--254
• able, 0(0)23--30, 0(0)26--32, 0(0)31--38, 0(0)67--74, 0(0)115--122, 0(0)117--126, 0(0)134--143, 0(0)143--150, 0(0)147--154, 0(0)170--178, 0(0)173--180, 0(0)197--204, 0(0)209--216, 0(0)257--264, 0(0)259--264, 0(0)261--264, 0(0)341--347, 0(0)347--354, 0(0)348--353, 0(0)356--363, 0(0)371--378, 0(0)403--410
• Abo, Hirotachi, 0(0)9--16
• Abo:2006:IKC, 0(0)9--16
• Abramov, 0(0)157--164
• Abramov, S. A., 0(0)1--7, 0(0)5--12, 0(0)7--14, 0(0)12--19, 0(0)17--22, 0(0)20--26, 0(0)124--131, 0(0)152--156, 0(0)267--270, 0(0)285--289, 0(0)303--308, 0(0)311--317
• Abramov, Sergei A., 0(0)1--2, 0(0)1--6, 0(0)7--14, 0(0)8--13, 0(0)169--174, 0(0)172--175, 0(0)232--240, 0(0)269--275, 0(0)290--296, 0(0)290--297
• Abramov:1991:FAS, 0(0)267--270
• Abramov:1993:DS, 0(0)20--26
• Abramov:1993:DSP, 0(0)20--26
• Abramov:1993:GCD, 0(0)152--156
• Abramov:1994:DSL, 0(0)169--174
• Abramov:1995:ISR, 0(0)303--308
• Abramov:1995:PSL, 0(0)290--296
• Abramov:1995:RSL, 0(0)285--289
• Abramov:1996:DSI, 0(0)232--240
• Abramov:1997:MCF, 0(0)290--297
• Abramov:1997:MIS, 0(0)172--175
• Abramov:1998:RSF, 0(0)124--131
• Abramov:1999:DLD, 0(0)269--275
• Abramov:2000:HDO, 0(0)8--13
• Abramov:2001:MDI, 0(0)7--14
• Abramov:2001:SLF, 0(0)1--6
• Abramov:2002:AZA, 0(0)1--7
• Abramov:2003:RCF, 0(0)7--14
• Abramov:2005:GAA, 0(0)5--12
• Abramov:2006:SRS, 0(0)17--22
• Abramov:2008:PSL, 0(0)1--2
• Abramov:2010:SDU, 0(0)311--317
• Abramov:2012:VMS, 0(0)12--19
• absence, 0(0)53--54
• absolute, 0(0)37--45, 0(0)81--90, 0(0)87--94, 0(0)93--97, 0(0)167--172, 0(0)217--224, 0(0)281--288, 0(0)305--311, 0(0)319--326
• absolutely, 0(0)297--297
• absorbed, 0(0)433--438
• absorption, 0(0)224--230
• ABSTRACT, 0(0)26--34, 0(0)55--62, 0(0)58--67, 0(0)68--73, 0(0)74--80, 0(0)77--81, 0(0)78--85, 0(0)86--94, 0(0)96--103, 0(0)111--116, 0(0)117--126, 0(0)127--134, 0(0)136--146, 0(0)140--144, 0(0)142--149, 0(0)144--151, 0(0)145--151, 0(0)154--157, 0(0)155--162, 0(0)212--217, 0(0)232--239, 0(0)240--250, 0(0)250--253, 0(0)269--277, 0(0)288--288, 0(0)298--307, 0(0)303--311, 0(0)308--316
• abstract, 0(0)1--9, 0(0)7--14, 0(0)10--17, 0(0)11--12, 0(0)13--14, 0(0)24--30, 0(0)38--45, 0(0)77--77, 0(0)83--90, 0(0)86--94, 0(0)91--96, 0(0)99--106, 0(0)114--122, 0(0)129--129, 0(0)147--152, 0(0)147--153, 0(0)158--162, 0(0)175--183, 0(0)183--191, 0(0)229--236, 0(0)250--257, 0(0)284--289, 0(0)285--285, 0(0)288--288, 0(0)289--289, 0(0)292--293, 0(0)297--297, 0(0)318--323, 0(0)318--325, 0(0)325--332, 0(0)347--354, 0(0)359--366
• abstracting, 0(0)13--25
• abstraction, 0(0)13--25, 0(0)126--132, 0(0)456--466
• abstraction-data, 0(0)13--25
• abundance, 0(0)245--253
• abuse, 0(0)234--238
• AC, 0(0)84--93
• AC-term, 0(0)70--78
• Acadamy, 0(0)68--75
• academia, 0(0)327--334
• academic, 0(0)3--4
• accelerate, 0(0)96--108, 0(0)241--248
• accelerated, 0(0)54--61, 0(0)405--411
• acceleration, 0(0)207--213, 0(0)216--222, 0(0)269--276
• accelerator, 0(0)452--453
• acceptance, 0(0)456--466
• accepted, 0(0)3--4
• accepts, 0(0)68--76
• access, 0(0)32--40, 0(0)83--90, 0(0)297--304, 0(0)315--322, 0(0)321--322, 0(0)327--334
• accessibility, 0(0)175--182
• accessible, 0(0)126--132, 0(0)218--227, 0(0)291--298
• accompanied, 0(0)243--250
• accomplishes, 0(0)86--94
• according, 0(0)77--84, 0(0)130--137, 0(0)147--154, 0(0)218--230, 0(0)277--284
• account, 0(0)224--228, 0(0)290--296, 0(0)361--368
• accuracy, 0(0)12--19, 0(0)47--52, 0(0)53--54, 0(0)187--194, 0(0)228--232, 0(0)325--332
• accurate, 0(0)1--8, 0(0)5--12, 0(0)51--58, 0(0)155--164, 0(0)157--164
• accurate, strategy-, 0(0)12--21
• accurately, 0(0)3--4, 0(0)59--67, 0(0)129--135, 0(0)219--226, 0(0)264--271
• ACE, 0(0)68--79, 0(0)359--396
• Achatz, Melanie, 0(0)215--222
• Achatz:2008:DPE, 0(0)215--222
• achieve, 0(0)16--23, 0(0)32--41, 0(0)55--67, 0(0)79--85, 0(0)83--90, 0(0)88--95, 0(0)161--168, 0(0)298--298, 0(0)343--350
• achieved, 0(0)67--74, 0(0)96--103, 0(0)150--157, 0(0)157--166, 0(0)191--199, 0(0)193--200, 0(0)200--209, 0(0)201--208, 0(0)206--217, 0(0)218--230, 0(0)259--270, 0(0)286--287, 0(0)296--296, 0(0)297--304
• achieving, 0(0)3--4, 0(0)13--25, 0(0)123--128, 0(0)200--209, 0(0)325--329
• ACL2, 0(0)243--250
• ACM, 0(0)viii--309, 0(0)viii--321, 0(0)ix--307, 0(0)ix--406, 0(0)xi--249, 0(0)xii--352, 0(0)xiv--372, 0(0)xviii--314, 0(0)1--3, 0(0)4--8, 0(0)9--13, 0(0)14--19, 0(0)20--26, 0(0)27--33, 0(0)34--41, 0(0)42--46, 0(0)47--52, 0(0)53--54, 0(0)55--62, 0(0)63--64, 0(0)65--67, 0(0)68--76, 0(0)77--77, 0(0)78--85, 0(0)86--94, 0(0)95--104, 0(0)105--110, 0(0)111--116, 0(0)117--126, 0(0)127--134, 0(0)135--143, 0(0)144--151, 0(0)152--156, 0(0)157--160, 0(0)159, 0(0)161--163, 0(0)164--172, 0(0)173--182, 0(0)183--192, 0(0)193--200, 0(0)201--208, 0(0)209--217, 0(0)218--224, 0(0)225--233, 0(0)234--238, 0(0)239--244, 0(0)245--253, 0(0)254, 0(0)254--263, 0(0)275--283, 0(0)292--300, 0(0)301--310, 0(0)311--320, 0(0)384, 0(0)399, 0(0)99999999, 0(0)x--273, 0(0)z, 28(0)ix--259
• ACM-SIGSAM, 0(0)399
• ACM:1993:PFA, 28(0)ix--259
• ACM:1994:IPI, 0(0)ix--359
• acting, 0(0)134--138, 0(0)161--168, 0(0)170--178, 0(0)270--277, 0(0)315--322, 0(0)347--354, 0(0)364--377
• action, 0(0)26--31, 0(0)53--60, 0(0)117--124, 0(0)127--134, 0(0)134--138, 0(0)170--178, 0(0)187--192, 0(0)219--226, 0(0)301--307, 0(0)347--354, 21(0)z
• action, Bounded-, 0(0)142--149
• active, 0(0)295--300
• activities, 0(0)402--406
• ActNet, 1107(0)x--348
• actor, 1107(0)x--348
• acts, 0(0)311--318
• actual, 0(0)1--8, 0(0)7--15, 0(0)66--73, 0(0)145--151, 0(0)154--161, 0(0)211--218, 0(0)218--227, 0(0)275--283, 0(0)297--297, 0(0)297--304, 0(0)414--418
• actually, 0(0)161--163, 0(0)247--254
• acyclic, 0(0)1--12, 0(0)288--288
• ad, 0(0)60--67
• Ada, 0(0)13--25
• Adamchik, 0(0)271--280
• Adamchik, V. S., 0(0)15--20, 0(0)212--224
• Adamchik, Victor, 0(0)1--8
• Adamchik:1990:ACI, 0(0)212--224
• Adamchik:1997:CLI, 0(0)1--8
• Adamchik:2001:BF, 0(0)15--20
• Adams, A. A., 0(0)253--260
• Adams, Jeffrey, 0(0)13--20
• Adams:1999:ATP, 0(0)253--260
• Adams:2005:SSR, 0(0)13--20
• adapt, 0(0)19--26, 0(0)112--120, 0(0)149--156, 0(0)195--207, 0(0)209--216
• adaptation, 0(0)16--23, 0(0)196--205
• Adaptations, 0(0)200--209
• adapting, 0(0)43--50, 0(0)189--196, 0(0)193--200
• adaptive, 0(0)16--23, 0(0)32--41, 0(0)87--94, 0(0)329--336, 1107(0)x--348
• adaptively, 0(0)209--216
• add, 0(0)354--358
• added, 0(0)357--363
• adding, 0(0)269--277, 0(0)403--410
• Addison-Wesley, 0(0)ix--307
• addition, 0(0)8--15, 0(0)12--19, 0(0)25--31, 0(0)32--40, 0(0)53--54, 0(0)71--77, 0(0)96--108, 0(0)109--116, 0(0)126--132, 0(0)127--134, 0(0)163--170, 0(0)171--176, 0(0)180--185, 0(0)183--192, 0(0)203--210, 0(0)210--218, 0(0)212--217, 0(0)225--233, 0(0)228--233, 0(0)273--280, 0(0)286--287, 0(0)287--297, 0(0)297--302, 0(0)352--359, 0(0)378--389
• additional, 0(0)16--23, 0(0)32--38, 0(0)34--41, 0(0)74--83, 0(0)134--138, 0(0)146--153, 0(0)249--256, 0(0)305--311, 0(0)313--314, 0(0)330--335
• additionally, 0(0)125--132, 0(0)141--146, 0(0)150--157, 0(0)155--164, 0(0)227--234
• additions+multiplications, 0(0)55--63
• additive, 0(0)77--84, 0(0)149--156, 0(0)273--280
• address, 0(0)35--42, 0(0)108--113, 0(0)109--116, 0(0)114--122, 0(0)115--122, 0(0)123--130, 0(0)239--246, 0(0)305--311
• addressed, 0(0)305--311, 0(0)330--335
• addressing, 0(0)9--10, 0(0)11--11
• adduced, 0(0)224--228
• adequate, 0(0)361--368
• adequately, 0(0)1--12
• Adherence, 0(0)37--44
• adic, 0(0)51--58, 0(0)59--66, 0(0)63--70, 0(0)112--120, 0(0)151--158, 0(0)165--172, 0(0)168--176, 0(0)331--338, 0(0)399
• adic, -, 0(0)151--158
• adic, P-, 0(0)112--120, 0(0)399
• adic, Q-, 0(0)63--70
• adic, X-, 0(0)63--70
• ADIFOR, 0(0)294--302
• adjacency, 0(0)37--44, 0(0)47--54, 0(0)134--143, 0(0)151--158, 0(0)277--284
• adjacent, 0(0)134--143
• adjoints, 0(0)86--94
• Adleman:1994:ANT, 0(0)ix--322
• administration, 0(0)76--81
• admissible, 0(0)337--344, 0(0)365--372, 0(0)378--389, 0(0)414--418
• admit, 0(0)1--6, 0(0)43--54, 0(0)52--59, 0(0)61--68, 0(0)147--153, 0(0)154--157, 0(0)200--209, 0(0)223--231, 0(0)229--236, 0(0)364--372
• admitting, 0(0)229--236
• Adobe, 0(0)305--311
• adopted, 0(0)32--38, 0(0)68--73
• ADrien, 0(0)221--228
• Adrovic, Danko, 0(0)20--27
• Adrovic:2012:CPS, 0(0)20--27
• advance, 0(0)60--67, 0(0)127--134, 0(0)147--154, 0(0)173--180, 0(0)273--280, 0(0)391--392
• advanced, 0(0)153--160, 0(0)163--170, 0(0)181--188, 0(0)233--240, 0(0)431--432
• advantage, 0(0)13--25, 0(0)32--41, 0(0)55--62, 0(0)82--87, 0(0)115--122, 0(0)147--154, 0(0)159--166, 0(0)171--179, 0(0)189--196, 0(0)207--211, 0(0)224--233, 0(0)240--247, 0(0)258--263, 0(0)301--310, 0(0)321--322, 0(0)360--369
• advantageous, 0(0)240--247
• advent, 0(0)327--334
• advice, 0(0)191--199
• advocates, 0(0)11--11
• AECC-3, 0(0)262--273
• Aerospace, 0(0)63--64, 0(0)65--67, 0(0)234--241, 0(0)450--451
• affect, 0(0)123--130
• affected, 0(0)11--16
• affine, 0(0)12--18, 0(0)55--63, 0(0)79--86, 0(0)99--107, 0(0)139--146, 0(0)151--158, 0(0)165--172, 0(0)193--199, 0(0)231--238, 0(0)277--284, 0(0)287--297, 0(0)290--296, 0(0)295--300, 0(0)305--310, 0(0)403--410
• affirmative, 0(0)357--363
• afforded, 0(0)145--151, 0(0)278--284
• aforementioned, 0(0)180--185
• ag, 0(0)323--330
• again, 0(0)20--26, 0(0)103--110, 0(0)138--145, 0(0)147--153, 0(0)357--363
• against, 0(0)127--134, 0(0)382--389
• Agarwal, Ramesh, 0(0)146--152
• Agarwal, Ramesh, see Gupta, Anshul
• AGCDs, 0(0)281--288
• agent, 1107(0)x--348
• aggregate, 0(0)243--250
• aggregation, 0(0)111--116
• ago, 0(0)343--351
• agreement, 0(0)14--19
• Aguirre, Edith, 0(0)21--23
• Aguirre:2001:GIM, 0(0)21--23
• Ahrendt, Timm, 0(0)142--149
• Ahrendt:1996:FHC, 0(0)142--149
• Aichinger, Erhard, 0(0)23--29
• Aichinger, Erhard, see Binder, Franz
• aid, 0(0)3--4, 0(0)147--154, 0(0)181--186, 0(0)234--241, 0(0)264--271, 0(0)319--320, 0(0)387--396
• aided, 0(0)51--58, 0(0)159--166
• AIDED, COMPUTER-, 0(0)51--58, 0(0)121--126, 0(0)135--143, 0(0)224--233, 0(0)264--271
• aided, Computer-, 0(0)51--58, 0(0)135--143, 0(0)218--227, 0(0)224--233, 0(0)429--430, 0(0)521--533
• aided, computer-, 0(0)177--184, 0(0)254--263, 0(0)313--314, 0(0)429--430, 0(0)521--533
• aim, 0(0)7--15, 0(0)135--142, 0(0)140--149, 0(0)169--176, 0(0)192--198, 0(0)196--205, 0(0)207--214, 0(0)216--223, 0(0)339--346, 0(0)341--347, 0(0)371--378
• aimed, 0(0)126--132, 0(0)197--206
• AIPI, 0(0)399
• aircraft, 0(0)234--241
• Aityan:1995:PNP, 1(0)xi--506
• Akinori, 1107(0)x--348
• Akritas, 0(0)264--271
• Akritis, Alkiviadis G., 0(0)88--90
• Akritis:1986:TNU, 0(0)88--90
• al, 0(0)25--31, 0(0)127--134, 0(0)173--178, 0(0)193--200, 0(0)297--304, 0(0)311--320, 0(0)315--324, 1107(0)x--348
• al.90, 0(0)173--180
• Albert, 0(0)41--44
• Albrecht, Martin R., 0(0)28--34
• Albrecht, R., 4(0)vi--283
• Albrecht, R., see Buchberger, Bruno
• Albrecht:2012:MLD, 0(0)28--34
• AlciX, 0(0)151--158
• ALDES, 0(0)447--455
• ALDESash, 0(0)447--455
• ALDES/SAC-2, 0(0)447--455
• Alembert, 0(0)20--26
• algebra, linear-, 0(0)197--206
• algebra-the, 0(0)258--263
• algebra., 0(0)3--4, 0(0)261--268
• Algebraic, Computer-, 0(0)9--10
• algebraic, computer-, 0(0)9--10
• Algebraic, Differential-, 0(0)196--203
• algebraic, differential-, 0(0)231--238, 0(0)301--301
• algebraic, semi-, 0(0)17--24, 0(0)25--29, 0(0)26--34, 0(0)75--82, 0(0)79--86, 0(0)187--194, 0(0)249--256, 0(0)313--320
• algebraically, 0(0)125--132, 0(0)147--153, 0(0)157--166, 0(0)159--166, 0(0)162--169, 0(0)193--200, 0(0)237--238, 0(0)250--257, 0(0)297--297
• algebraically-closed, 0(0)197--206
• algebraists, 0(0)382--389
• algebraizable, 0(0)313--320
• algebraization, 0(0)254--263
• algebras, Q-, 0(0)300--308
• algebra/statistics, 0(0)11--11
• algebra/symbol, 0(0)96--103
• algorithm., 0(0)47--54, 0(0)187--194
• algorithmic, 0(0)ix--322, 0(0)1--2, 0(0)1--6, 0(0)13--25, 0(0)15--22, 0(0)20--27, 0(0)43--50, 0(0)53--59, 0(0)63--68, 0(0)68--76, 0(0)93--100, 0(0)133--139, 0(0)175--182, 0(0)197--204, 0(0)205--210, 0(0)242--248, 0(0)254--263, 0(0)261--268, 0(0)277--286, 0(0)278--284, 0(0)286--287, 0(0)305--310, 0(0)321--328, 0(0)335--336, 0(0)337--337, 0(0)341--347, 0(0)343--350, 0(0)347--354, 0(0)352--359, 0(0)391--392, 0(0)456--466, 358(0)xi--543
• algorithmic, poly-, 0(0)27--34
• algorithmically, 0(0)243--250, 0(0)347--354
• algorithms, gcd-, 0(0)159
• algorithms, sub-, 0(0)83--90
• algorithms., 0(0)3--4
• Algoritmi, 0(0)192--198
• alication, 0(0)31--37
• aligned, 0(0)117--124
• Alkahest, 0(0)34--38
• alleviate, 0(0)261--268, 0(0)327--334
• allow, 0(0)1--7, 0(0)16--23, 0(0)16--25, 0(0)25--31, 0(0)32--40, 0(0)34--42, 0(0)53--60, 0(0)55--67, 0(0)68--75, 0(0)77--84, 0(0)90--98, 0(0)95--102, 0(0)96--102, 0(0)101--111, 0(0)104--105, 0(0)114--122, 0(0)117--124, 0(0)119--125, 0(0)121--128, 0(0)125--132, 0(0)141--148, 0(0)147--154, 0(0)155--164, 0(0)157--166, 0(0)171--176, 0(0)189--196, 0(0)195--202, 0(0)200--209, 0(0)206--217, 0(0)208--215, 0(0)212--217, 0(0)212--224, 0(0)223--231, 0(0)224--233, 0(0)243--250, 0(0)247--254, 0(0)251--260, 0(0)256--264, 0(0)281--288, 0(0)286--287, 0(0)289--289, 0(0)291--291, 0(0)300--308, 0(0)313--314, 0(0)315--322, 0(0)323--330, 0(0)323--332, 0(0)327--334, 0(0)347--354, 0(0)363--370, 0(0)391--392, 0(0)454--455, 0(0)456--466
• allowed, 0(0)1--12, 0(0)67--74
• allowing, 0(0)59--66, 0(0)67--74, 0(0)77--77, 0(0)99--106, 0(0)259--266
• almost, 0(0)6--7, 0(0)14--21, 0(0)71--78, 0(0)79--85, 0(0)85--92, 0(0)96--102, 0(0)99--106, 0(0)115--122, 0(0)134--143, 0(0)170--178, 0(0)187--194, 0(0)192--198, 0(0)243--249, 0(0)297--304, 0(0)322--337, 0(0)337--344, 0(0)458--459
• alone, 0(0)39--48, 0(0)125--132, 0(0)265--270
• alone, Stand-, 0(0)25--31
• alone, stand-, 0(0)25--31, 0(0)145--151
• along, 0(0)19--26, 0(0)26--33, 0(0)37--44, 0(0)119--125, 0(0)134--143, 0(0)216--222, 0(0)216--223, 0(0)217--224, 0(0)285--285, 0(0)345--352, 0(0)351--356
• Alonso, M. E., 0(0)101--111
• Alonso:1989:CAS, 0(0)101--111
• ALPAL, 0(0)27--35, 0(0)312--319
• alphabet, 0(0)8--15
• AlPI, 0(0)192--198
• already, 0(0)12--19, 0(0)69--76, 0(0)106--111, 0(0)107--114, 0(0)196--205, 0(0)208--215, 0(0)273--280, 0(0)298--307
• alternate, 0(0)47--54, 0(0)265--272
• alternating, 0(0)177--182, 0(0)200--209, 0(0)270--277
• alternations, 0(0)54--60
• alternative, 0(0)1--2, 0(0)5--6, 0(0)32--41, 0(0)58--65, 0(0)77--84, 0(0)96--108, 0(0)196--205, 0(0)234--241, 0(0)255--261, 0(0)297--297, 0(0)327--334, 0(0)351--356, 0(0)387--388, 0(0)496--507
• Alternatively, 0(0)305--312
• although, 0(0)16--23, 0(0)17--25, 0(0)30--37, 0(0)55--67, 0(0)68--73, 0(0)96--103, 0(0)107--114, 0(0)117--126, 0(0)157--166, 0(0)179--182, 0(0)199--206, 0(0)236--243, 0(0)239--244
• always, 0(0)1--2, 0(0)26--32, 0(0)61--68, 0(0)64--72, 0(0)68--76, 0(0)116--121, 0(0)125--132, 0(0)143--150, 0(0)170--178, 0(0)195--202, 0(0)231--243, 0(0)331--338, 0(0)508--520
• AM10, 0(0)19--26
• amalgamation, 0(0)262--273
• amazing, 0(0)289--296
• ambiguity, 0(0)224--233, 0(0)456--466
• ambitious, 0(0)3--4
• amenable, 0(0)84--89
• amending, 0(0)462--463
• American, 0(0)3--4
• amidst, 0(0)17--24
• Amirkhanov, I. V., 0(0)452--453
• Amirkhanov:1991:BOV, 0(0)452--453
• amongst, 0(0)3--4, 0(0)308--312
• amortization, 0(0)319--326
• amount, 0(0)3--4, 0(0)127--134, 0(0)171--176, 0(0)181--186, 0(0)273--280, 0(0)475--480
• amplifier, 0(0)290--290
• amplitude, 0(0)454--455
• Amrhein, Beatrice, 0(0)95--102
• Amrhein:1996:CSM, 0(0)95--102
• Anai, Hirokazu, 0(0)14--22, 0(0)21--28, 0(0)147--154, 0(0)211--218, 0(0)215--222
• Anai, Hirokazu, see Kanno, Masaaki
• Anai:2000:DLT, 0(0)14--22
• Anai:2005:SRP, 0(0)21--28
• analog, 0(0)206--211
• analogous, 0(0)139--146, 0(0)147--154, 0(0)163--168, 0(0)247--255
• analogue, 0(0)1--2, 0(0)61--68, 0(0)187--188, 0(0)227--233, 0(0)265--272, 0(0)377--386
• analogy, 0(0)402--406
• analyse, 0(0)9--13, 0(0)58--65, 0(0)85--92, 0(0)99--106, 0(0)127--134, 0(0)149--156, 0(0)167--179, 0(0)177--184, 0(0)344--355, 0(0)403--410
• analysed, 0(0)175--180, 0(0)475--480
• analytic, 0(0)3--4, 0(0)19--26, 0(0)52--59, 0(0)69--76, 0(0)105--112, 0(0)109--115, 0(0)139--145, 0(0)197--204, 0(0)211--218, 0(0)216--222, 0(0)223--231, 0(0)261--268, 0(0)273--280, 0(0)297--297, 0(0)353--360, 0(0)373--381, 0(0)377--386
• analytical, 0(0)53--54, 0(0)60--67, 0(0)65--67, 0(0)85--95, 0(0)108--115, 0(0)109--115, 0(0)169--176, 0(0)212--224, 0(0)224--230, 0(0)439--447
• analytically, 0(0)433--438
• analyze, 0(0)1--12, 0(0)99--106, 0(0)127--134, 0(0)164--172, 0(0)203--210, 0(0)211--218, 0(0)271--276, 0(0)329--336, 0(0)440--446
• analyzed, 0(0)13--14, 0(0)95--104, 0(0)248--253
• analyzing, 0(0)114--123, 0(0)130--137, 0(0)159--166, 0(0)298--298, 0(0)301--301, 0(0)327--334, 0(0)329--336
• Ananth, Prabhanjan Vijendra, 0(0)11--18
• Ananth:2011:BBD, 0(0)11--18
• and, functions-, 0(0)108--115
• and, Time-, 0(0)85--91
• and-conquer, Divide-, 0(0)59--64
• and-or, 0(0)288--288
• And-parallelism, 0(0)68--79
• and-speeded, 0(0)104--109
• and/or, 0(0)32--41
• Andradas, Carlos, 0(0)17--22, 0(0)349--355
• Andradas:1997:ROR, 0(0)349--355
• Andradas:1999:BFR, 0(0)17--22
• Andreoli, J.-M., 0(0)1--11
• Andreoli:1994:CKB, 0(0)1--11
• Andres, Daniel, 0(0)231--238
• Andres:2009:PIB, 0(0)231--238
• Andrews, 0(0)viii--309
• angle, 0(0)193--200, 0(0)344--355
• angular, 0(0)53--54
• annihilator, 0(0)173--180, 0(0)273--280, 0(0)290--297
• annotated, 0(0)330--335
• annotation, 0(0)233--240, 0(0)330--335
• announce, 0(0)85--91
• announced, 0(0)261--268
• Announcement, 30(2)12--z
• annual, 0(0)x--338
• Anonymous, 29(3)19--19, 30(2)12--z
• Anonymous:1995:IA, 30(2)12--z
• Anonymous:1995:IIS, 29(3)19--19
• another, 0(0)17--25, 0(0)54--60, 0(0)68--75, 0(0)85--95, 0(0)91--94, 0(0)107--114, 0(0)108--115, 0(0)112--119, 0(0)112--120, 0(0)123--130, 0(0)135--143, 0(0)170--178, 0(0)180--185, 0(0)200--206, 0(0)227--234, 0(0)234--238, 0(0)235--242, 0(0)240--247, 0(0)261--264, 0(0)267--270, 0(0)277--284, 0(0)289--296, 0(0)319--320, 0(0)454--455
• ansatz, 0(0)227--233, 0(0)289--294
• ANSI, 0(0)76--81
• answer, 0(0)31--36, 0(0)108--113, 0(0)110--118, 0(0)143--150, 0(0)173--180, 0(0)206--211, 0(0)208--215, 0(0)209--216, 0(0)228--232, 0(0)231--243, 0(0)256--264, 0(0)285--290, 0(0)297--297, 0(0)300--308, 0(0)304--304, 0(0)337--337, 0(0)357--363, 0(0)361--368
• answering, 0(0)265--269, 0(0)277--284
• antecedents, 0(0)234--241
• anticipated, 0(0)315--324
• Antritter, Felix, 0(0)7--14
• Antritter:2008:TCA, 0(0)7--14
• ANTS-I, 0(0)ix--322
• any, 0(0)3--4, 0(0)9--13, 0(0)16--25, 0(0)30--37, 0(0)32--38, 0(0)32--40, 0(0)34--42, 0(0)41--48, 0(0)49--53, 0(0)51--58, 0(0)59--66, 0(0)61--68, 0(0)68--75, 0(0)87--94, 0(0)104--105, 0(0)105--110, 0(0)112--120, 0(0)115--121, 0(0)126--132, 0(0)129--135, 0(0)133--139, 0(0)138--145, 0(0)139--146, 0(0)143--150, 0(0)150--157, 0(0)154--161, 0(0)157--166, 0(0)161--168, 0(0)171--176, 0(0)180--186, 0(0)181--186, 0(0)181--188, 0(0)192--198, 0(0)193--200, 0(0)195--202, 0(0)196--205, 0(0)201--205, 0(0)208--215, 0(0)223--230, 0(0)223--231, 0(0)225--230, 0(0)227--234, 0(0)234--238, 0(0)234--241, 0(0)235--242, 0(0)241--246, 0(0)244--251, 0(0)256--264, 0(0)262--273, 0(0)265--266, 0(0)265--272, 0(0)273--280, 0(0)278--284, 0(0)285--289, 0(0)289--296, 0(0)291--298, 0(0)297--302, 0(0)299--306, 0(0)300--300, 0(0)305--311, 0(0)305--312, 0(0)306--306, 0(0)315--324, 0(0)319--326, 0(0)322--337, 0(0)323--330, 0(0)327--334, 0(0)331--338, 0(0)336--340, 0(0)348--353, 0(0)353--360, 0(0)360--369, 0(0)364--377, 0(0)373--381, 0(0)379--386, 0(0)508--520
• APAL-ES, 0(0)291--291
• APAL-PC, 0(0)291--291
• Aparicio-Monforte, Ainhoa, 0(0)19--26
• Aparicio-Monforte:2011:FFI, 0(0)19--26
• apart, 0(0)229--236, 0(0)323--330
• Apel, Joachim, 0(0)382--389
• Apel:1991:FAA, 0(0)382--389
• aperiodic, 0(0)201--208
• APIs, 0(0)339--346
• apparent, 0(0)79--86, 0(0)234--238
• appeal, 0(0)155--164, 0(0)411--413
• appear, 0(0)3--4, 0(0)19--26, 0(0)52--57, 0(0)86--94, 0(0)87--94, 0(0)99--107, 0(0)131--138, 0(0)152--156, 0(0)158--162, 0(0)162--169, 0(0)179--186, 0(0)224--233, 0(0)300--308, 0(0)301--307, 0(0)440--446, 0(0)496--507
• appeared, 0(0)147--154, 0(0)235--242, 0(0)271--280
• appearing, 0(0)79--86, 0(0)85--89, 0(0)115--122, 0(0)122--129, 0(0)275--283, 0(0)295--302, 0(0)300--300, 0(0)336--340
• appendix, 0(0)15--19
• Apple, 0(0)13--15
• Applicability, 0(0)1--7, 0(0)34--43
• applicable, 0(0)90--98, 0(0)187--194, 0(0)193--200, 0(0)201--205, 0(0)206--217, 0(0)227--233, 0(0)233--240, 0(0)332--343, 0(0)339--346, 0(0)353--360
• applicable, self-, 0(0)286--287
• application, self-, 0(0)286--287
• application-oriented, 0(0)462--463
• Applicative, 0(0)80--87
• applied, 0(0)7--15, 0(0)16--23, 0(0)20--24, 0(0)35--42, 0(0)51--58, 0(0)58--65, 0(0)63--70, 0(0)68--75, 0(0)69--76, 0(0)85--95, 0(0)91--94, 0(0)95--104, 0(0)122--129, 0(0)138--145, 0(0)139--146, 0(0)150--161, 0(0)157--166, 0(0)165--172, 0(0)169--176, 0(0)173--178, 0(0)175--180, 0(0)186--191, 0(0)189--196, 0(0)193--200, 0(0)201--205, 0(0)203--210, 0(0)216--223, 0(0)218--224, 0(0)227--234, 0(0)231--243, 0(0)244--249, 0(0)256--264, 0(0)267--274, 0(0)277--284, 0(0)291--291, 0(0)293--299, 0(0)296--296, 0(0)300--300, 0(0)308--316, 0(0)318--323, 0(0)319--320, 0(0)361--368, 0(0)364--372, 0(0)369--375, 0(0)397--405, 0(0)452--453, 0(0)458--459, 357(0)ix--480, 1107(0)x--348
• apply, 0(0)3--4, 0(0)7--8, 0(0)8--15, 0(0)9--13, 0(0)26--33, 0(0)35--42, 0(0)79--85, 0(0)100--107, 0(0)122--126, 0(0)127--134, 0(0)129--133, 0(0)155--162, 0(0)170--178, 0(0)231--243, 0(0)259--264, 0(0)294--294, 0(0)301--307, 0(0)313--314, 0(0)313--320, 0(0)322--337, 0(0)347--354, 0(0)378--389
• applying, 0(0)7--15, 0(0)17--25, 0(0)51--58, 0(0)66--73, 0(0)74--83, 0(0)86--95, 0(0)170--178, 0(0)177--186, 0(0)183--184, 0(0)247--255, 0(0)249--256, 0(0)250--254, 0(0)343--351, 0(0)370--376, 0(0)377--386, 0(0)378--389, 0(0)447--455
• APPLYSYM, 0(0)7--15
• appraisement, 0(0)237--244
• approached, 0(0)9--10, 0(0)216--222
• appropriate, 0(0)26--33, 0(0)131--138, 0(0)201--208, 0(0)219--226, 0(0)240--247, 0(0)337--344
• approximability, 0(0)183--191
• approximant, 0(0)15--22, 0(0)56--58, 0(0)73--84, 0(0)95--100, 0(0)391--392
• approximate, 0(0)3--4, 0(0)14--19, 0(0)23--30, 0(0)35--39, 0(0)85--92, 0(0)146--153, 0(0)155--162, 0(0)155--164, 0(0)161--168, 0(0)167--174, 0(0)169--176, 0(0)192--199, 0(0)203--210, 0(0)213--219, 0(0)217--224, 0(0)225--232, 0(0)228--235, 0(0)234--241, 0(0)241--248, 0(0)244--249, 0(0)283--290, 0(0)284--291, 0(0)305--312, 0(0)319--320, 0(0)320--327, 0(0)325--332, 0(0)351--358, 0(0)367--374
• approximated, 0(0)147--154, 0(0)209--216
• approximately, 0(0)23--30, 0(0)195--207, 0(0)273--280, 0(0)307--314
• approximating, 0(0)9--13, 0(0)147--154, 0(0)177--184, 0(0)209--216
• approximation/inapproximability, 0(0)9--10
• April, 0(0)104--124, 1107(0)x--348
• APS, 0(0)55--62, 0(0)68--75
• APS-1, 0(0)370--376
• arbitrarily, 0(0)187--194, 0(0)234--238
• arbitrary, 0(0)1--6, 0(0)7--15, 0(0)9--14, 0(0)51--58, 0(0)55--67, 0(0)67--74, 0(0)112--121, 0(0)116--120, 0(0)125--132, 0(0)134--138, 0(0)143--150, 0(0)147--154, 0(0)159, 0(0)173--178, 0(0)179--186, 0(0)180--185, 0(0)195--202, 0(0)199--204, 0(0)205--210, 0(0)209--216, 0(0)224--230, 0(0)232--239, 0(0)245--253, 0(0)252--258, 0(0)274--284, 0(0)283--290, 0(0)289--296, 0(0)295--295, 0(0)297--304, 0(0)311--318, 0(0)312--317, 0(0)315--316, 0(0)325--329, 0(0)333--334, 0(0)357--363, 0(0)364--377, 0(0)439--447, 0(0)456--457
• arbitrary-order, 0(0)12--19
• arc, 0(0)1--12, 0(0)193--200
• architecture, 0(0)24--30, 0(0)33--56, 0(0)46--57, 0(0)58--67, 0(0)83--90, 0(0)88--95, 0(0)95--102, 0(0)96--103, 0(0)111--118, 0(0)129--129, 0(0)147--154, 0(0)188--195, 0(0)196--203, 0(0)217--222, 0(0)298--305, 0(0)308--316, 0(0)337--344, 0(0)343--351, 0(0)408--416, 1107(0)x--348
• Architecture-aware, 0(0)200--207
• ARCHITECTURES, 0(0)24--30, 0(0)46--57, 0(0)58--67, 0(0)95--102, 0(0)111--118, 0(0)129--129, 0(0)188--195, 0(0)196--203, 0(0)217--222, 0(0)308--316, 0(0)343--351
• are, representational-, 0(0)13--25
• area, 0(0)3--4, 0(0)9--10, 0(0)16--23, 0(0)67--74, 0(0)68--73, 0(0)147--154, 0(0)181--186, 0(0)197--204, 0(0)228--233, 0(0)249--256, 0(0)254--263, 0(0)256--264, 0(0)261--268, 0(0)302--303, 0(0)304--304, 0(0)319--320, 0(0)323--332, 0(0)327--334
• argued, 0(0)13--25, 0(0)34--41
• argues, 0(0)39--48
• argument, 0(0)34--41, 0(0)43--50, 0(0)256--264, 0(0)297--297, 0(0)300--308, 0(0)454--455
• arise, 0(0)9--10, 0(0)20--26, 0(0)74--83, 0(0)115--122, 0(0)171--176, 0(0)189--196, 0(0)256--264, 0(0)265--266, 0(0)299--299, 0(0)301--307, 0(0)329--336, 0(0)356--363, 0(0)382--389
• arising, 0(0)7--8, 0(0)41--48, 0(0)55--62, 0(0)189--196, 0(0)197--206, 0(0)307--307, 0(0)311--320, 0(0)323--330, 0(0)467--474
• arithmetic., 0(0)87--94
• arithmetical, 0(0)275--283, 0(0)414--418
• arithmetics.', 0(0)3--4
• arities, 0(0)24--29
• Armando, Alessandro, 0(0)32--37
• Armando:2001:MEP, 0(0)32--37
• arms, 0(0)173--182
• Arnborg, S., 0(0)53--55, 0(0)177--182
• Arnborg:1986:ADR, 0(0)53--55
• Arnborg:1989:EPO, 0(0)177--182
• Arnold, 0(0)242--249
• Arnold, Andrew, 0(0)15--22
• Arnold--Wasow, 0(0)231--235
• Arnold:2013:NTF, 0(0)15--22
• Arnon, 0(0)298--307
• Aroca, F., 0(0)15--22
• Aroca, J. M., 0(0)29--36
• Aroca:2003:PSS, 0(0)15--22
• Aroca:2005:AGS, 0(0)29--36
• around, 0(0)13--25, 0(0)47--54, 0(0)133--139, 0(0)135--143, 0(0)234--241, 0(0)356--363
• arranged, 0(0)335--342
• array, 0(0)33--56, 0(0)111--116, 0(0)134--138, 0(0)154--157, 0(0)165--175, 0(0)186--191, 0(0)287--297
• arrive, 0(0)181--186
• arriving, 0(0)173--180
• Arsac, Olivier, 0(0)283--290
• Arsac:1999:DCC, 0(0)283--290
• art, 0(0)74--83, 0(0)154--161, 0(0)163--170, 0(0)203--210
• art, state-of-the-, 0(0)11--12, 0(0)22--31, 0(0)195--202
• article, 0(0)14--19, 0(0)59--66, 0(0)70--78, 0(0)75--82, 0(0)104--109, 0(0)116--124, 0(0)125--132, 0(0)140--144, 0(0)163--168, 0(0)201--208, 0(0)211--218, 0(0)212--224, 0(0)239--244, 0(0)272--286, 0(0)278--284, 0(0)311--320, 0(0)382--389
• ARTIFICIAL, 0(0)30--37, 0(0)38--43, 0(0)52--59, 0(0)77--81, 0(0)80--87, 0(0)85--87, 0(0)88--100, 0(0)111--118, 0(0)141--147, 0(0)148--153, 0(0)163--170, 0(0)173--182, 0(0)183--192, 0(0)202--208, 0(0)209--214, 0(0)254--263, 0(0)354--358, 0(0)462--463
• artificial, 0(0)99--107, 0(0)109--115, 0(0)150--157, 0(0)224--233, 0(0)264--274, 0(0)292--300, 0(0)301--310, 0(0)364--372, 0(0)373--381, 0(0)411--413, 0(0)460--461
• Artin, 0(0)183--184, 0(0)195--202
• Artin, Hilbert-, 0(0)195--202
• Artin--Schreier, 0(0)127--134
• Artin-based, 0(0)171--176
• Aruliah, D. A., 0(0)12--18
• Aruliah:2004:NPA, 0(0)12--18
• asbestos, 0(0)302--303
• Aschenbrenner, Matthias, 0(0)117--124
• Aschenbrenner:2008:AFS, 0(0)117--124
• Ash, 0(0)173--178
• Asian, 0(0)39--46
• aside, 0(0)108--115
• Asir, 0(0)130--138, 0(0)173--180, 0(0)299--306, 0(0)387--396
• ask, 0(0)7--10, 0(0)26--32, 0(0)127--134
• asked, 0(0)177--182
• aspect, 0(0)1--2, 0(0)127--134, 0(0)135--143, 0(0)147--154, 0(0)163--170, 0(0)173--182, 0(0)181--186, 0(0)259--270, 0(0)264--271, 0(0)278--284, 0(0)295--300, 0(0)305--311, 0(0)317--318, 0(0)317--321, 0(0)330--335, 0(0)332--343, 0(0)377--386, 0(0)402--406, 0(0)431--432, 0(0)458--459
• assay, 0(0)281--288
• Assefa, Dawit, 0(0)108--115
• Assefa, Dawit, see Corless, Robert M.
• Assembly, 0(0)224--233
• assess, 0(0)75--82, 0(0)210--218, 0(0)234--241
• assessment, 0(0)76--81
• assign, 0(0)122--129, 0(0)305--311
• assignable, 0(0)95--104
• assigned, 0(0)242--248
• assignment, 0(0)95--104
• assist, 0(0)3--4, 0(0)109--115, 0(0)234--241
• assistance, 0(0)250--257, 0(0)458--459
• assistant, 0(0)147--154, 0(0)243--250, 0(0)382--389
• assisted, 0(0)16--23, 0(0)496--507
• assisted, Computer-, 0(0)16--23, 0(0)135--140, 0(0)141--147, 0(0)148--153, 0(0)154--156
• assisted, computer-, 0(0)16--23, 0(0)129--136
• associate, 0(0)8--15, 0(0)27--34, 0(0)147--154, 0(0)232--239, 0(0)338--350
• associated, 0(0)9--10, 0(0)16--23, 0(0)17--25, 0(0)35--42, 0(0)44--51, 0(0)45--52, 0(0)79--85, 0(0)119--125, 0(0)139--146, 0(0)162--169, 0(0)165--172, 0(0)216--223, 0(0)236--243, 0(0)249--256, 0(0)251--260, 0(0)252--258, 0(0)277--284, 0(0)298--298, 0(0)305--311, 0(0)317--318, 0(0)336--340, 0(0)337--337, 0(0)456--466
• association, 0(0)220--224
• associative, 0(0)41--48, 0(0)86--94, 0(0)147--154, 0(0)170--178, 0(0)229--236, 0(0)259--266
• associative, Non-, 0(0)100--107
• associative, non-, 0(0)311--318
• assume, 0(0)19--26, 0(0)26--32, 0(0)86--94, 0(0)115--121, 0(0)125--132, 0(0)134--138, 0(0)157--166, 0(0)170--178, 0(0)225--230, 0(0)270--277, 0(0)299--306, 0(0)322--337
• assumed, 0(0)3--4, 0(0)143--150, 0(0)146--153
• assumed, pre-, 0(0)313--320
• assuming, 0(0)51--58, 0(0)58--65, 0(0)67--74, 0(0)143--150, 0(0)170--178
• assumption, 0(0)3--4, 0(0)24--29, 0(0)43--54, 0(0)45--52, 0(0)67--74, 0(0)68--73, 0(0)74--83, 0(0)92--99, 0(0)96--102, 0(0)129--133, 0(0)154--161, 0(0)162--169, 0(0)189--196, 0(0)211--218, 0(0)223--231, 0(0)299--306, 0(0)321--328, 0(0)339--346, 0(0)351--358, 0(0)481--489
• assurances, 0(0)228--232
• assure, 0(0)53--54
• Asterisk, 0(0)86--94
• asteroid, 0(0)76--79
• Astrelin, A. V., 0(0)265--266
• Astrelin:1991:BDI, 0(0)265--266
• Astronomy, 0(0)65--67, 0(0)116--124
• astrophysics, 0(0)65--67, 0(0)116--124
• asymptotic, 0(0)6--7, 0(0)7--8, 0(0)67--74, 0(0)85--91, 0(0)90--98, 0(0)97--104, 0(0)100--107, 0(0)127--134, 0(0)130--137, 0(0)152--156, 0(0)161--168, 0(0)179--186, 0(0)200--209, 0(0)216--223, 0(0)234--238, 0(0)239--244, 0(0)262--273, 0(0)307--314, 0(0)309--313, 0(0)313--320, 0(0)353--360, 0(0)481--489
• asymptotically, 0(0)6--7, 0(0)9--10, 0(0)14--21, 0(0)15--22, 0(0)67--74, 0(0)90--98, 0(0)233--240, 0(0)259--266, 0(0)265--269, 0(0)273--280, 0(0)281--288, 0(0)297--304
• at, 0(0)293--299
• Atkin, 0(0)26--33
• Atkin, Goldwasser-Kilian-, 0(0)26--33
• Atkin, Schoof-Elkies=-, 0(0)285--292
• Atkin, Schoof-Elkies-, 0(0)109--115, 0(0)285--292
• Atkinson, 0(0)154--157
• Atlanta, 1(0)xi--506
• atlas, 0(0)3--4, 0(0)315--322
• ATLAS/BLAS, 0(0)92--99
• atmospheric, 0(0)448--449
• atom, 0(0)44--51, 0(0)288--288
• atomic, 0(0)16--23
• attached, 0(0)327--334
• attacked, 0(0)201--205
• attains, 0(0)183--192
• Attardi, G., 0(0)12--21
• Attardi, Giuseppe, 0(0)62--69
• Attardi, Giuseppe, see Iglio, Pietro
• Attardi:1994:SPB, 0(0)12--21
• attempt, 0(0)15--22, 0(0)133--139, 0(0)134--143, 0(0)147--154, 0(0)185--186, 0(0)224--233, 0(0)244--249, 0(0)247--255, 0(0)304--304, 0(0)306--306, 0(0)315--324
• attempted, 0(0)197--204
• attempting, 0(0)157--166
• attention, 0(0)3--4, 0(0)16--23, 0(0)30--37, 0(0)134--143, 0(0)147--153, 0(0)254--263, 0(0)356--363
• attractor, 0(0)3--4, 0(0)79--86
• attributes, 0(0)16--23
• audio, 0(0)302--303, 0(0)305--311
• augmented, 0(0)1--7, 0(0)35--42, 0(0)47--54, 0(0)151--158, 0(0)234--241
• August, 0(0)viii--309, 0(0)ix--307, 0(0)xi--249, 0(0)xxii--327, 0(0)384, 0(0)x--273, 1300(0)xxx--1380
• August, 29-, 0(0)99999999
• Ausiello, G., 0(0)1--12
• Ausiello:1989:DMP, 0(0)1--12
• Austria, 0(0)x--338, 0(251)viii--552, 5(0)xiii--431
• automata, 0(0)294--303, 0(0)327--334
• automate, 0(0)1--2, 0(0)291--291, 0(0)460--461
• automated, 0(0)viii--321, 0(0)30--37, 0(0)109--115, 0(0)185--192, 0(0)209--214, 0(0)229--235, 0(0)234--241, 0(0)253--260, 0(0)254--263, 0(0)255--260, 0(0)284--291, 0(0)301--310, 0(0)317--318, 0(0)429--430
• automatic, 0(0)xiii--468, 0(0)3--4, 0(0)5--6, 0(0)9--13, 0(0)16--23, 0(0)17--25, 0(0)20--24, 0(0)33--56, 0(0)34--38, 0(0)43--54, 0(0)45--51, 0(0)50--57, 0(0)63--73, 0(0)74--83, 0(0)77--81, 0(0)80--87, 0(0)85--87, 0(0)88--94, 0(0)108--115, 0(0)145--151, 0(0)149--155, 0(0)155--162, 0(0)163--170, 0(0)189--196, 0(0)221--228, 0(0)233--240, 0(0)234--241, 0(0)266--273, 0(0)283--291, 0(0)286--287, 0(0)294--302, 0(0)414--418, 0(0)431--432, 1128(0)ix--356
• Automatic, Semi-, 0(0)363--372
• automatically, 0(0)17--24, 0(0)33--56, 0(0)112--120, 0(0)115--122, 0(0)136--146, 0(0)199--206, 0(0)284--291, 0(0)299--299, 0(0)323--332, 0(0)329--336, 0(0)414--418, 0(0)521--533
• Automating, 0(0)9--14
• automation, 0(0)169--176, 0(0)243--250
• automobiles, 0(0)329--336
• automorphism, 0(0)53--60, 0(0)181--186, 0(0)248--254, 0(0)293--298, 0(0)400--403
• autonomically, 0(0)14--19
• autonomous, 0(0)65--67, 0(0)256--264
• auxiliary, 0(0)17--25, 0(0)325--329
• available, 0(0)1--6, 0(0)32--41, 0(0)43--50, 0(0)75--82, 0(0)150--157, 0(0)181--186, 0(0)196--205, 0(0)203--210, 0(0)208--215, 0(0)233--240, 0(0)348--353, 0(0)355--360, 0(0)364--372
• Avendaño, Martín, 0(0)331--338
• Avendano:2010:RNC, 0(0)331--338
• Avenhaus, J., 0(0)322--337
• Avenhaus:1989:URT, 0(0)322--337
• avenues, 0(0)302--303
• average, 0(0)47--52, 0(0)133--139, 0(0)147--154, 0(0)257--264, 0(0)278--281, 0(0)379--386
• average-case, 0(0)5--6, 0(0)37--44
• averaged, 0(0)452--453
• averaging, 0(0)86--94, 0(0)317--318
• Avitzur, Ron, 0(0)32--41
• Avitzur:1995:HIP, 0(0)32--41
• avoid, 0(0)9--10, 0(0)28--34, 0(0)51--58, 0(0)55--62, 0(0)67--74, 0(0)77--84, 0(0)134--138, 0(0)136--146, 0(0)146--153, 0(0)163--170, 0(0)199--206, 0(0)249--256, 0(0)281--288, 0(0)297--302, 0(0)304--304, 0(0)313--320, 0(0)336--340, 0(0)351--356
• avoided, 0(0)104--109, 0(0)203--210, 0(0)351--358
• avoiding, 0(0)58--65, 0(0)181--188, 0(0)264--268, 0(0)281--288
• awarded, 0(0)3--4
• aware, 0(0)218--227
• aware, Architecture-, 0(0)200--207
• aware, property-, 0(0)233--240
• Ax, 0(0)285--290
• Ax1-Ax7, 0(0)352--359
• Ax7, Ax1-, 0(0)352--359
• axes, 0(0)154--161
• AXIOM, 0(0)32--40, 0(0)86--94, 0(0)269--276, 0(0)324--329
• axiom, 0(0)55--67, 0(0)77--84, 0(0)138--145, 0(0)157--160, 0(0)206--215, 0(0)229--235, 0(0)233--240, 0(0)347--354, 0(0)352--359
• axiomatic, 0(0)245--253
• axiomatization, 0(0)1--7
• axiomatized, 0(0)262--273
• AZ, 0(0)206--211
• azimuths, 0(0)448--449