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