Index file section A for jsymcomp.bib
Last update: Wed Mar 6 02:01:19 MST 2024
Return to index directory
A
-
A, 46(10)1187--1188, 66(z)111--112
-
à-Mousson, Pont-, 17(1)3--21, 17(1)23--50, 17(1)51--90,
17(1)91--129
-
A-unifiability, 21(2)211--244
-
A4710, 8(3)305--308, 9(4)503--514
-
A4755H, 12(6)669--672
-
A4755K, 8(3)305--308
-
Abad, Alberto, 24(1)113--122, 32(5)565--572
-
Abad, Alberto, see San-Juan, Félix
-
Abad:1997:PCB, 24(1)113--122
-
Abadi, Aharon, 45(2)153--172
-
Abadi, Martin, 8(3)277--296
-
Abadi:1989:TLP, 8(3)277--296
-
Abadi:2010:DFM, 45(2)153--172
-
Abbott, J., 30(4)341--356, 39(1)31--49
-
Abbott, John, 43(12)883--894, 47(5)536--551, 50(z)532--563,
80(z)707--718, 81(z)20--40, 100(z)137--163
-
Abbott:2000:CIP, 30(4)341--356
-
Abbott:2005:CZD, 39(1)31--49
-
Abbott:2008:SBB, 43(12)883--894
-
Abbott:2012:TFA, 47(5)536--551
-
Abbott:2013:BFI, 50(z)532--563
-
Abbott:2017:FTM, 80(z)707--718
-
Abbott:2017:IH, 81(z)20--40
-
Abbott:2021:CUM, 100(z)137--163
-
Abdallah, Chaouki, 24(2)153--160
-
Abdallah, Chaouki, see Dorato, Peter
-
Abdallah, Nancy, 121(z)z
-
Abdallah:2024:FRL, 121(z)z
-
Abdoly, Vahid, Dabbaghian-, 39(6)671--688
-
abductive, 19(1)175--200
-
Abdulrab, Habib, 8(5)499--522
-
Abdulrab:1989:SWE, 8(5)499--522
-
Abe, Kenichi, 8(6)581--588
-
Abe, Kenichi, see Umeno, Takaji
-
abelian, 3(3)217--229, 5(3)295--302, 8(5)449--478, 8(5)479--498,
9(1)61--72, 21(3)253--288, 31(1)133--147, 32(3)171--189,
33(6)777--829, 33(6)831--861, 37(1)1--33, 44(12)1690--1702,
57(z)70--77, 67(z)68--92, 113(z)171--180, 123(z)z--99999999
-
aberration, 1(2)235--240, 7(2)183--188, 12(6)673--694
-
aberration-group, 12(6)673--694
-
Ablett, Patience, 121(z)z
-
Ablett:2024:DHC, 121(z)z
-
Ablinger, Jakob, 107(z)145--166
-
Ablinger:2021:QMP, 107(z)145--166
-
Abo, Hirotachi, 45(12)1254--1269
-
Abo:2010:NDC, 45(12)1254--1269
-
Abortion, 11(3)205--212
-
Abouzahra, M. D., 10(5)525--528
-
Abouzahra:1990:CAA, 10(5)525--528
-
Ábrahám, Erika, 100(z)11--37, 123(z)z--99999999,
see Kremer, Gereon, \see{Nalbach, Jasper
-
Abramov, S. A., 33(5)521--543, 38(3)1165--1165, 38(4)1303--1326,
43(5)377--394, 44(1)48--59, 45(6)684--708, 46(11)1205--1228,
49(z)65--77, 68(z)120--137, 79(z)475--481
-
Abramov, Sergei A., 101(z)73--89, 107(z)23--66
-
Abramov:2002:RNF, 33(5)521--543, 38(3)1165--1165
-
Abramov:2004:ERN, 33(5)521--543, 38(3)1165--1165
-
Abramov:2004:TCS, 38(4)1303--1326
-
Abramov:2008:DSS, 43(5)377--394
-
Abramov:2009:DSS, 44(1)48--59
-
Abramov:2010:PRA, 45(6)684--708
-
Abramov:2011:SSL, 46(11)1205--1228
-
Abramov:2013:LID, 49(z)65--77
-
Abramov:2015:FRD, 68(z)120--137
-
Abramov:2017:RIF, 79(z)475--481
-
Abramov:2020:CLS, 101(z)73--89
-
Abramov:2021:RHS, 107(z)23--66
-
absolute, 1(1)57--67, 4(1)3--10, 9(3)320--320, 13(2)139--173,
25(5)571--586, 37(5)557--574, 41(6)682--696, 44(9)1194--1211,
45(6)617--628, 45(6)677--683, 45(12)1280--1295, 87(z)238--241,
101(z)170--188
-
absolutely, 23(2)229--240
-
abstract, 6(1)1--18, 8(1)101--140, 9(5)583--590, 11(1)83--112,
15(5)495--522, 15(5)523--546, 15(5)673--704, 18(1)41--82,
19(1)201--216, 23(5)459--484, 23(5)503--516, 30(1)93--127,
47(12)1416--1446, 47(12)1479--1511, 47(12)1512--1532,
50(z)386--408
-
abstractions, 15(5)571--606
-
AC, 8(1)217--240, 14(6)537--556, 21(3)253--288, 21(4)475--506,
22(1)49--82, 23(1)1--22
-
AC-matching, 20(3)343--362
-
AC-paramodulation, 14(6)577--618
-
AC-termination, 38(1)873--897
-
AC-Theories, 23(1)1--22
-
AC-theories, 18(4)297--318, 23(1)1--22
-
AC-Unification, 14(1)51--70
-
AC-unification, 14(1)51--70
-
AC1, 14(6)537--556
-
AC1-unification, 16(5)493--521
-
academic, 8(1)217--240, 47(6)586--588
-
accelerated, 21(4)457--466
-
acceleration, 47(12)1479--1511, 47(12)1512--1532
-
accelerator, 7(2)183--188
-
accelero-summation, 42(4)389--428
-
acceptors, 15(5)807--842
-
access, 9(4)485--502, 14(1)93--102, 21(4)669--698
-
accessibility, 46(2)207--217
-
accessible, 46(2)119--149
-
Acciaro, Vincenzo, 20(4)419--430, 30(2)129--136, 30(3)239--252
-
Acciaro:2000:CLA, 30(3)239--252
-
Acciaro:2000:FNI, 30(2)129--136
-
according, 73(z)175--191
-
accurate, 26(1)71--87
-
Accurate, Strategy-, 21(4)411--426
-
accurate, strategy-, 21(4)411--426
-
Achievements, 30(3)253--289
-
Ackermann, 7(1)11--30
-
aCM, 73(z)104--119
-
across, 90(z)89--123
-
act, 47(5)536--551
-
Acting, 30(5)521--553
-
action, 7(6)527--532, 16(6)551--556, 19(5)459--488, 19(6)559--576,
21(2)133--138, 29(1)5--31, 35(4)441--449, 40(6)1361--1382,
42(1)203--217, 44(4)382--416, 109(z)88--115, 109(z)441--464,
113(z)171--180, 118(z)17--31
-
action, -, 7(6)527--532, 16(6)551--556
-
Activity, 25(2)263--284
-
actual, 1(1)69--100
-
actuarial, 22(2)227--234
-
acyclic, 7(3)427--444, 15(2)235--249
-
Adams, W. W., 15(1)49--66, 27(1)31--48
-
Adams, William W., 13(5)473--484
-
Adams:1992:SRG, 13(5)473--484
-
Adams:1993:TWS, 15(1)49--66
-
Adams:1999:SSG, 27(1)31--48
-
Adamus, Elzbieta, 112(z)1--24
-
Adamus:2022:ASP, 112(z)1--24
-
adaptation, 43(5)311--341
-
adaptive, 23(2)315--333, 99(z)21--49, 101(z)270--303
-
Adding, 7(1)1--10
-
addition, 1(1)69--100, 8(1)101--140, 13(6)581--604, 18(6)519--540,
38(4)1261--1272
-
additive, 10(5)395--404, 45(7)787--799, 77(z)16--38, 105(z)214--233
-
addressing, 17(5)457--472
-
adhesive, 46(3)222--245
-
Adi, Kamel, 46(9)997--1016
-
Adi, Kamel, see Langar, Mahjoub
-
Adi, Mohamed, 14(1)51--70
-
Adi:1992:AUR, 14(1)51--70
-
adic, 4(1)3--10, 6(2)287--304, 10(5)453--464, 15(2)181--198,
47(4)454--479, 104(z)476--493
-
adic, P-, 4(1)69--75
-
adic, p-, 4(1)3--10, 4(1)69--75, 6(2)287--304, 10(5)453--464,
15(4)393--414, 21(4)397--410
-
adjacency, 5(1)163--188, 33(3)32--342
-
adjacency, edge-, 46(4)467--494
-
Adjé, Assalé, 47(12)1416--1446,
see Gawlitza, Thomas Martin
-
adjoining, 8(6)553--580
-
adjoint, 7(2)189--198, 13(6)683--693, 23(2)229--240, 46(7)773--790,
46(9)1030--1038, 47(10)1192--1213, 58(z)77--98, 115(z)285--315
-
adjunctions, 13(4)413--440
-
Adkins, William A., 39(1)73--101
-
Adkins:2005:EPS, 39(1)73--101
-
Adleman, Leonard M., 32(3)171--189
-
Adleman:2001:CPC, 32(3)171--189
-
Adler, V. E., 74(z)125--139
-
Adler:2016:ITE, 74(z)125--139
-
admissible, 6(2)231--248, 10(2)165--178, 15(3)251--266, 16(3)273--278
-
Adrovic, Danko, 46(7)755--772
-
Adrovic:2011:TAG, 46(7)755--772
-
Advances, 26(1)31--70, 28(1)225--242, 29(2)117--118
-
Adventures, 8(1)217--240
-
Advert, 35(4)z--z
-
affine, 6(2)219--230, 9(3)241--250, 12(4)459--474, 15(3)277--296,
15(5)547--570, 16(6)551--556, 21(3)329--336, 26(3)381--386,
29(4)795--839, 35(4)421--439, 38(1)843--872, 42(8)803--834,
42(9)859--870, 42(10)971--991, 46(8)967--976, 51(z)34--54,
64(z)35--41, 80(z)416--450, 87(z)68--86, 93(z)85--99, 98(z)284--318,
102(z)132--152, 104(z)874--898, 119(z)101--111
-
affinity, 15(1)79--84
-
Africk, Henry, 4(2)173--190, 12(3)299--328, 16(5)445--477
-
AG, 55(z)1--9, 79(z)384--410
-
Agashe, Amod, 57(z)70--77
-
Agashe:2013:CIN, 57(z)70--77
-
agents, 21(4)523--541, 21(4)635--668
-
aggregation, 22(5)665--698
-
Agostini, Daniele, 114(z)282--301
-
Agostini:2023:KST, 114(z)282--301
-
Aguilera-Venegas, Gabriel, 61(z)66--69
-
Aguilera-Venegas, Gabriel,
see Galán-García, José Luis
-
Agust{\'i}, Jaume, 22(3)279--314, see Levy, Jordi
-
Aharon, Shir, 45(11)1114--1143
-
Aharon, Shir, see Mili, Ali
-
Ahmed, M., 22(5)585--614
-
Ahmed:1996:DTL, 22(5)585--614
-
Ahn, Jeaman, 43(6)422--441, 47(5)568--581
-
Ahn, Min-Ho, 37(3)377--389, 41(1)122--122
-
Ahn:2004:CPC, 37(3)377--389, 41(1)122--122
-
Ahn:2006:RNC, 37(3)377--389, 41(1)122--122
-
Ahn:2008:DCD, 43(6)422--441
-
Ahn:2012:DCS, 47(5)568--581
-
AI, 22(5)665--698, 47(2)123--130, 123(z)z--99999999
-
Aiba, Akira, 8(6)589--604, 18(3)207--222
-
Aiba, Akira, see Sakai, Kô,
see Sawada, Hiroyuki
-
aided, 23(2)287--300
-
Aided, Computer-, 20(5)731--736
-
aided, Computer-, 8(4)423--427, 9(1)87--112, 18(3)249--264
-
aided, computer-, 8(4)423--427, 11(5)421--438, 11(5)595--618,
18(3)249--264, 22(1)105--119
-
aiding, 37(4)415--448
-
Aigner, Martin, 44(2)180--191
-
Aigner:2009:PSC, 44(2)180--191
-
aim, 15(5)641--672
-
aircraft, 22(1)105--119
-
A{\"i}t-Kaci, Hassan, 7(3)343--370, see Smolka, Gert
-
Aitken, J. S., 25(2)263--284
-
Aitken:1998:ITP, 25(2)263--284
-
Akoglu, Tulay Ayyildiz, 117(z)101--118
-
Ako{\u{g}}lu, Tulay Ayyildiz, 84(z)147--171
-
Akoglu:2018:CSO, 84(z)147--171
-
Akoglu:2023:CHM, 117(z)101--118
-
Akritas, Alkiviadis G., 9(2)113--116, 40(4)1129--1130
-
Akritas, Alkiviadis G., see Kotsireas, Ilias S.
-
Akyildiz, E., 23(4)413--426
-
al, 15(5)607--640
-
ALA, 10(5)395--404
-
Alba, Hernán de, 80(z)387--402
-
Albano, G., 30(2)137--149
-
Albano:2000:MGI, 30(2)137--149
-
Alberich-Carramiñana, Maria, 92(z)93--109
-
Alberich-Carraminana:2019:ECB, 92(z)93--109
-
Albert, 16(3)289--294
-
Albert, Elvira, 40(1)795--829
-
Albert, Mario, 68(z)4--26
-
Albert:2005:OSD, 40(1)795--829
-
Albert:2015:FRI, 68(z)4--26
-
Alberti, Lionel, 44(9)1291--1310
-
Alberti:2009:ITR, 44(9)1291--1310
-
Albrecht, Martin R., 47(8)926--941
-
Albrecht:2012:RBM, 47(8)926--941
-
Albuquerque, 23(2)137--152, 23(2)153--176, 23(2)177--190, 23(2)191--208,
23(2)209--228, 23(2)229--240, 23(2)241--254, 23(2)255--266,
23(2)267--286, 23(2)287--300, 23(2)301--314, 23(2)315--333,
24(2)125--136, 24(2)137--152, 24(2)153--160, 24(2)161--188,
24(2)189--208, 24(2)209--231
-
Alcántara, Claudia R., 72(z)147--160
-
Alcantara:2016:SSF, 72(z)147--160
-
Alcazar, Juan G., 47(3)327--341
-
Alcazar, Juan Gerardo, 42(3)338--351, 42(6)678--691, 43(9)659--680,
43(12)845--857
-
Alcázar, Juan Gerardo, 39(6)719--744, 85(z)4--24
-
Alcazar:2005:CTR, 39(6)719--744
-
Alcazar:2007:DBM, 42(6)678--691
-
Alcazar:2007:LSO, 42(3)338--351
-
Alcazar:2008:GGB, 43(9)659--680
-
Alcazar:2008:GLB, 43(12)845--857
-
Alcazar:2012:LSG, 47(3)327--341
-
Alcazar:2018:SDR, 85(z)4--24
-
ALDES/SAC-2, 6(2)231--248, 14(1)1--30
-
Aldossari, Shayea, 119(z)38--49
-
Aldossari:2023:CPF, 119(z)38--49
-
Alevizos, P., 10(3)225--252
-
Alevizos:1990:NCC, 10(3)225--252
-
Alexander--Conway, 68(z)215--229
-
Alexandr, Yulia, 122(z)z
-
Alexandr:2023:LVC, 122(z)z
-
Algebra, Computer-, 14(2)195--204
-
algebra, computer-, 13(6)683--693, 14(2)195--204
-
algebra, R-, 19(4)285--292
-
algebra-analog, 14(2)265--282
-
ALGEBRAIC, 2(2)179--200
-
algebraic, linear-, 108(z)55--72
-
Algebraic, Non-, 14(6)619--644
-
algebraic, non-, 66(z)98--110
-
algebraic, relation-, 44(1)15--47
-
Algebraic, Semi-, 5(1)121--130, 13(3)255--299
-
algebraic, Semi-, 34(5)461--477
-
algebraic, semi-, 5(1)109--120, 5(1)121--130, 5(1)163--188,
5(1)189--212, 41(10)1125--1154, 45(12)1270--1279, 49(z)3--26,
52(z)72--96, 116(z)183--212, 120(z)z
-
algebraically, 45(3)342--372
-
algebras, -, 85(z)188--205
-
algebras, quadri-, 60(z)1--14
-
algebroid, 104(z)168--182
-
Algorithm, -, 24(6)695--704
-
algorithm, quasi-, 14(2)265--282
-
algorithmic, 2(1)59--81, 2(2)139--170, 3(1)3--38, 5(1)267--274,
6(2)149--168, 9(3)355--374, 13(6)581--604, 16(2)189--226,
20(3)343--362, 26(5)525--582, 29(1)59--77, 29(4)795--839,
30(6)631--633, 31(1)133--147, 32(6)663--675, 34(3)199--212,
38(6)1535--1550, 39(3)493--499, 41(5)603--618, 41(11)1157--1173,
42(11)1012--1033, 47(5)519--535, 47(7)751--751, 47(10)1233--1266,
50(z)431--449, 52(z)1--2, 68(z)225--253, 79(z)482--498,
80(z)616--664, 85(z)247--274, 98(z)3--22, 115(z)492--517,
116(z)213--242, 120(z)z
-
Algorithmical, 38(6)1551--1567
-
algorithmically, 38(6)1487--1506
-
Ali, Sajid, 86(z)166--188, 104(z)328--342
-
Ali:2018:EAA, 86(z)166--188
-
Ali:2021:CMD, 104(z)328--342
-
aligned, 14(6)619--644
-
Aligning, 90(z)89--123
-
Alizadeh, Benyamin, M.-, 59(z)1--20
-
Aljovin, Enzo, 95(z)177--184
-
Aljovin:2019:IHC, 95(z)177--184
-
alkane, 40(4)1225--1241
-
all, 10(2)203--208, 28(1)187--212, 36(6)925--964, 41(2)245--254,
41(9)980--998, 42(4)443--476, 47(4)492--502, 93(z)161--182,
95(z)39--52, 121(z)z
-
Allamigeon, Xavier, 85(z)25--54, 91(z)129--148
-
Allamigeon:2018:SGN, 85(z)25--54
-
Allamigeon:2018:TAH, 91(z)129--148
-
Allem, Luiz Emilio, 52(z)3--16
-
Allem:2013:ESF, 52(z)3--16
-
Allili, Madjid, 78(z)61--75
-
Allili:2017:RCM, 78(z)61--75
-
Allman, Elizabeth S., 41(2)138--150
-
Allman:2006:PIS, 41(2)138--150
-
allocation, 2(1)83--98, 15(5)547--570, 19(1)269--282, 21(4)543--560
-
allowed, 13(6)683--693
-
allowing, 47(5)536--551
-
allows, 10(2)203--208
-
Almajano, Tereso del Río, 123(z)z--99999999,
see Pickering, Lynn
-
Almkvist, Gert, 10(6)571--592
-
Almkvist:1990:MDU, 10(6)571--592
-
almost, 5(1)3--28, 8(1)3--50, 10(5)395--404, 18(6)573--584,
19(6)577--584, 45(1)19--37, 45(9)918--942, 47(2)153--166,
85(z)72--107, 115(z)74--95
-
alone, 15(5)467--494
-
along, 74(z)1--45, 93(z)85--99, 107(z)190--208
-
Alonso, Cesar, 19(6)527--544
-
Alonso, J. A., 11(3)181--194
-
Alonso, J. A., see Chazarain, J.
-
Alonso, M. Emilia, 45(10)975--985
-
Alonso:1995:RFD, 19(6)527--544
-
Alonso:2010:LBT, 45(10)975--985
-
Alperin, J. L., 6(1)105--112
-
alphabet, 3(1)39--68, 8(4)335--382, 12(1)115--126, 16(2)167--188
-
Alpuente, M., 69(z)3--39
-
Alpuente:2015:ECR, 69(z)3--39
-
Alt, H., 17(4)321--340
-
Alt, H., see Weber, G.
-
Alternant, 31(5)565--584
-
alternating, 41(8)905--908, 46(4)396--405
-
alternative, 20(5)517--536, 21(3)253--288, 33(3)255--273, 36(3)649--667,
47(5)536--551, 48(z)1--36
-
Aluffi, Paolo, 35(1)3--19
-
Aluffi:2003:CCC, 35(1)3--19
-
Alvandi, Parisa, 98(z)120--162
-
Alvandi:2021:EHC, 98(z)120--162
-
Alvanos, Paraskevas, 46(1)54--69
-
Alvanos:2011:SGZ, 46(1)54--69
-
Àlvarez Montaner, Josep, 41(12)1328--1344
-
Alvarez, V., 44(5)558--570
-
Álvarez, Víctor, 89(z)26--40
-
Alvarez:2009:HRM, 44(5)558--570
-
Alvarez:2018:GBC, 89(z)26--40
-
AlvarezMontaner:2006:CSL, 41(12)1328--1344
-
always, 85(z)72--107
-
Amata, Luca, 93(z)120--132
-
Amata:2019:CGI, 93(z)120--132
-
Amato, Gianluca, 47(12)1533--1560
-
Amato:2012:DIS, 47(12)1533--1560
-
ambient, sentence-, 83(z)211--227
-
Amenability, 83(z)147--165
-
Améndola, Carlos, 92(z)222--242, 109(z)202--219
-
Amendola:2019:MLD, 92(z)222--242
-
Amendola:2022:AVM, 109(z)202--219
-
Amitsur-Levitzki, 6(1)105--112
-
amoebae, 116(z)1--38
-
amongst, 10(6)657--664
-
amortization, 77(z)78--126
-
AMP, 6(2)361--370, 7(6)611--619
-
ample, 6(2)169--182
-
amplitude, 7(2)189--198
-
Amrhein, B., 23(5)447--452
-
Amrhein:1997:VMC, 23(5)447--452
-
an, 7(1)101--101, 17(2)181--188
-
Anai, Hirokazu, 44(7)703--725
-
Anai:2009:PPS, 44(7)703--725
-
analog, algebra-, 14(2)265--282
-
analogical, 19(1)3--24
-
Analogs, 21(2)139--154
-
analogue, 30(5)605--617, 39(2)155--170, 46(6)699--711, 91(z)129--148,
116(z)58--71
-
analyse, 12(6)655--668, 20(3)299--314, 61(z)116--127, 74(z)425--474
-
Analysing, 21(4)523--541, 24(3)335--350
-
analysis, 1(3)317--322, 2(1)103--108, 2(3)305--316, 3(1)203--216,
6(1)117--127, 6(1)127--132, 7(2)189--198, 7(3)275--294,
7(6)573--590, 8(1)101--140, 8(3)297--304, 8(4)423--427,
9(2)117--174, 9(2)185--206, 9(2)207--214, 9(4)429--456, 10(1)53--58,
10(5)509--524, 11(3)231--250, 11(3)251--274, 11(3)291--305,
11(5)523--548, 12(1)89--114, 12(2)233--254, 12(3)275--298,
13(4)353--394, 13(5)525--544, 13(6)643--676, 14(5)523--534,
16(3)227--242, 17(4)297--310, 17(6)473--486, 18(3)249--264,
19(4)293--304, 20(2)179--196, 20(5)603--616, 21(3)337--350,
21(4)467--474, 21(4)635--668, 22(1)105--119, 22(4)435--458,
22(5)521--554, 23(2)267--286, 28(3)401--433, 29(4)483--483,
31(4)461--473, 35(5)463--464, 35(5)617--636, 41(2)125--137,
41(2)182--195, 41(3)381--410, 41(7)763--789, 43(10)681--687,
44(1)15--47, 44(7)726--767, 45(12)1296--1315, 47(6)589--609,
47(12)1479--1511, 47(12)1512--1532, 47(12)1533--1560, 50(z)28--49,
50(z)564--577, 59(z)21--35, 61(z)3--11, 63(z)1--20, 70(z)112--135,
72(z)231--251, 74(z)55--69, 79(z)140--155, 90(z)65--88,
97(z)69--108, 105(z)118--144, 108(z)98--116
-
analytic, 3(3)277--281, 4(1)41--52, 5(1)141--162, 9(1)73--86,
11(5)549--578, 12(2)221--231, 13(6)581--604, 14(6)619--644,
24(5)509--536, 35(5)487--498, 39(3)433--449, 41(9)943--958,
44(6)626--634, 50(z)197--207, 50(z)308--313, 104(z)960--980,
123(z)z--99999999
-
analytic, non-, 35(5)487--498
-
Analytical, 24(6)705--710, 31(4)475--486
-
analytical-experimental, 61(z)31--52
-
Analytically, 30(5)493--519
-
analyze, 40(6)1361--1382
-
analyzing, 8(1)101--140
-
Ancilla-free, 73(z)1--26
-
and-conquer, divide-, 15(5)775--806
-
and-joint, bar-, 11(5)523--548
-
AND-parallel, 12(3)275--298
-
Andersen, Carl M., 12(6)695--714
-
Andersen:1991:IHP, 12(6)695--714
-
Anderson, Penny, 30(1)5--36
-
Anderson:2000:PDS, 30(1)5--36
-
Andradas, Carlos, 44(2)192--210
-
Andradas:2009:SCP, 44(2)192--210
-
Andrei, {\c{S}}tefan, 37(3)329--341
-
Andrei:2004:SCH, 37(3)329--341
-
Andreoli, Jean-Marc, 21(4)635--668
-
Andreoli:1996:CBK, 21(4)635--668
-
Andrews, G. E., 16(2)147--154
-
Andrews, George E., 20(5)487--502
-
Andrews:1993:SQC, 16(2)147--154
-
Andrews:1995:CPB, 20(5)487--502
-
ANF, 100(z)164--186
-
Angelini, Elena, 91(z)200--212, 109(z)220--237, 120(z)z
-
Angelini:2018:WDI, 91(z)200--212
-
Angelini:2022:CIC, 109(z)220--237
-
Angelini:2024:CCS, 120(z)z
-
Angermüller, Gerhard, 68(z)316--325
-
Angermuller:2015:TSG, 68(z)316--325
-
angle, 10(3)311--326, 10(5)525--528, 17(4)351--369
-
angular, 10(3)311--326
-
animation, 23(2)315--333
-
anisotropic, 115(z)39--52
-
annihilating, 40(3)1076--1086, 44(5)435--448
-
Annihilators, 60(z)29--46
-
annotated, 22(5)555--584
-
annotations, 22(5)555--584, 32(4)305--332
-
Anonymous:1987:BHZ, 4(1)129--135
-
Anonymous:1996:ETL, 22(5)721--735
-
Anonymous:1999:CV, 28(6)i--ii
-
Anonymous:1999:IV, 28(6)iii--viii
-
Anonymous:1999:SIO, 28(6)737--738
-
Anonymous:2000:CIV, 30(6)1--7
-
Anonymous:2000:SIA, 29(2)117--118
-
Anonymous:2001:CIV, 31(6)i--vii
-
Anonymous:2001:JSC, 32(6)i--vii
-
Anonymous:2001:SI, 32(1)0--0
-
Anonymous:2001:SIC, 32(4)z--z
-
Anonymous:2001:SIE, 32(6)z--z
-
Anonymous:2001:VCA, 32(6)z--99999999
-
Anonymous:2002:A, 33(3)z--z
-
Anonymous:2002:CIV, 34(6)i--v
-
Anonymous:2002:JSC, 34(1)i--vii
-
Anonymous:2003:A, 35(4)z--z
-
Anonymous:2003:EBa, 35(1)z--z
-
Anonymous:2003:EBb, 35(2)z--z
-
Anonymous:2003:EBc, 35(3)z--z
-
Anonymous:2003:EBd, 35(4)z--z
-
Anonymous:2003:EBe, 35(5)z--z
-
Anonymous:2003:EBf, 35(6)z--z
-
Anonymous:2003:EBg, 36(1)z--z
-
Anonymous:2003:EBh, 36(3)z--z
-
Anonymous:2003:EBi, 36(5)z--z
-
Anonymous:2003:EBj, 36(6)z--z
-
Anonymous:2003:PN, 35(1)1--2
-
Anonymous:2004:C, 37(1)121--125
-
Anonymous:2004:CV, 38(6)z--z
-
Anonymous:2004:EBa, 37(1)1--1
-
Anonymous:2004:EBb, 37(2)z--z
-
Anonymous:2004:EBc, 37(3)z--z
-
Anonymous:2004:EBd, 37(4)z--z
-
Anonymous:2004:EBe, 37(5)z--z
-
Anonymous:2004:EBf, 37(6)z--z
-
Anonymous:2004:EBg, 38(1)z--z
-
Anonymous:2004:EBh, 38(2)z--z
-
Anonymous:2004:EBi, 38(3)z--z
-
Anonymous:2004:EBj, 38(4)z--z
-
Anonymous:2004:EBk, 38(5)z--z
-
Anonymous:2004:EBl, 38(6)z--z
-
Anonymous:2004:I, 37(1)127--132
-
Anonymous:2004:IV, 38(6)z--99999999
-
Anonymous:2005:EBa, 39(1)z--z
-
Anonymous:2005:EBb, 39(2)z--z
-
Anonymous:2005:EBc, 39(3)z--z
-
Anonymous:2005:EBd, 39(5)z--z
-
Anonymous:2005:EBe, 39(6)z--z
-
Anonymous:2005:I, 40(6)vi--x
-
Anonymous:2006:IV, 41(12)z--z
-
Anonymous:2011:EBa, 46(1)z--z
-
Anonymous:2011:EBb, 46(2)z--z
-
Anonymous:2011:EBc, 46(3)z--z
-
Anonymous:2011:EBd, 46(4)z--z
-
Anonymous:2011:EBe, 46(5)z--z
-
Anonymous:2011:EBf, 46(6)z--z
-
Anonymous:2011:EBg, 46(7)z--z
-
Anonymous:2011:EBh, 46(8)z--z
-
Anonymous:2011:EBi, 46(9)z--z
-
Anonymous:2011:EBj, 46(10)z--z
-
Anonymous:2011:EBk, 46(11)z--z
-
Anonymous:2011:EBl, 46(12)z--z
-
Anonymous:2012:EBa, 47(1)z--z
-
Anonymous:2012:EBb, 47(2)z--z
-
Anonymous:2012:EBc, 47(3)z--z
-
Anonymous:2012:EBd, 47(4)z--z
-
Anonymous:2012:EBe, 47(5)z--z
-
Anonymous:2012:EBf, 47(6)z--z
-
Anonymous:2012:EBg, 47(7)z--z
-
Anonymous:2012:EBh, 47(8)z--z
-
Anonymous:2012:EBi, 47(9)z--z
-
Anonymous:2012:EBj, 47(10)z--z
-
Anonymous:2012:EBk, 47(11)z--z
-
Anonymous:2012:EBl, 47(12)z--z
-
Anonymous:2012:PN, 47(2)z--99999999
-
Anonymous:2013:EBa, 48(z)z--z
-
Anonymous:2013:EBb, 49(z)z--z
-
Anonymous:2013:EBc, 50(z)z--z
-
Anonymous:2013:EBd, 51(z)z--z
-
Anonymous:2013:EBe, 52(z)z--z
-
Anonymous:2013:EBf, 53(z)z--z
-
Anonymous:2013:EBg, 54(z)z--z
-
Anonymous:2013:EBh, 55(z)z--z
-
Anonymous:2013:EBi, 56(z)z--z
-
Anonymous:2013:EBj, 57(z)z--z
-
Anonymous:2013:EBk, 58(z)z--z
-
Anonymous:2013:EBl, 59(z)z--z
-
Anonymous:2015:EBa, 66(z)z
-
Anonymous:2015:EBb, 67(z)z
-
Anonymous:2015:EBc, 68(z)z
-
Anonymous:2015:EBd, 68(z)z
-
Anonymous:2015:EBe, 69(z)z
-
Anonymous:2015:EBf, 70(z)z
-
Anonymous:2015:EBg, 71(z)z--z
-
Anonymous:2016:EBa, 72(z)z--z
-
Anonymous:2016:EBb, 73(z)z--z
-
Anonymous:2016:EBc, 74(z)z--z
-
Anonymous:2016:EBd, 75(z)z--z
-
Anonymous:2016:EBe, 76(z)z--z
-
Anonymous:2016:EBf, 77(z)z--z
-
Anonymous:2017:EBa, 78(z)z--z
-
Anonymous:2017:EBb, 79(z)z--z
-
Anonymous:2017:EBc, 79(z)z--z
-
Anonymous:2017:EBd, 79(z)z--z
-
Anonymous:2017:EBe, 80(z)z--z
-
Anonymous:2017:EBf, 80(z)z--z
-
Anonymous:2017:EBg, 81(z)z--z
-
Anonymous:2017:EBh, 82(z)z--z
-
Anonymous:2017:EBi, 83(z)z--z
-
Anonymous:2018:EBa, 84(z)z--z
-
Anonymous:2018:EBb, 85(z)z--z
-
Anonymous:2018:EBc, 86(z)z--z
-
Anonymous:2018:EBd, 87(z)ii--ii
-
Anonymous:2018:EBe, 88(z)ii--ii
-
Anonymous:2018:EBf, 89(z)ii--ii
-
Anonymous:2018:EBg, 90(z)ii--ii
-
Anonymous:2018:EBh, 91(z)ii--ii
-
Anonymous:2019:EBa, 92(z)ii--ii
-
Anonymous:2019:EBb, 93(z)ii--ii
-
Anonymous:2019:EBc, 94(z)ii--ii
-
Anonymous:2019:EBd, 95(z)ii--ii
-
Anonymous:2019:EBe, 97(z)ii--ii
-
Anonymous:2020:EBa, 96(z)ii--ii
-
Anonymous:2020:EBb, 101(z)ii--ii
-
Anonymous:2020:EBc, 99(z)ii--ii
-
Anonymous:2021:EBa, 100(z)ii--ii
-
Anonymous:2021:EBb, 102(z)ii--ii
-
Anonymous:2021:EBc, 103(z)ii--ii
-
Anonymous:2021:EBd, 104(z)ii--ii
-
Anonymous:2021:EBe, 105(z)ii--ii
-
Anonymous:2021:EBf, 106(z)ii--ii
-
Anonymous:2021:EBg, 107(z)ii--ii
-
Anonymous:2021:EBh, 98(z)ii--ii
-
Anonymous:2022:EBf, 108(z)ii--ii
-
Anonymous:2022:EBg, 109(z)ii--ii
-
Anonymous:2022:EBh, 110(z)ii--ii
-
Anonymous:2022:EBi, 111(z)ii--ii
-
Anonymous:2022:EBj, 112(z)ii--ii
-
Anonymous:2022:EBk, 113(z)ii--ii
-
Anonymous:2023:EBa, 114(z)ii--ii
-
Anonymous:2023:EBb, 115(z)ii--ii
-
Anonymous:2023:EBc, 116(z)ii--ii
-
Anonymous:2023:EBd, 117(z)ii--ii
-
Anonymous:2023:EBe, 118(z)ii--ii
-
Anonymous:2023:EBf, 119(z)ii--ii
-
Anonymous:2023:EBg, 122(z)z
-
Anonymous:2023:MJ, 122(z)z--z
-
Anonymous:2023:PJA, 117(z)1--118
-
Anonymous:2023:PMA, 115(z)1--518
-
Anonymous:2023:PMJ, 116(z)1--426
-
Anonymous:2023:PND, 119(z)1--144
-
Anonymous:2023:PSO, 118(z)1--94
-
Anonymous:2024:EBa, 120(z)z
-
Anonymous:2024:EBb, 121(z)z
-
Anonymous:2024:EBc, 123(z)z--99999999
-
Anonymous:2024:EBd, 124(z)z--99999999
-
Anonymous:2024:JA, 123(z)z--z
-
Anonymous:2024:JF, 120(z)z--z
-
Anonymous:2024:MA, 121(z)z--z
-
Anonymous:2024:SO, 124(z)z--z
-
another, 8(1)101--140, 15(5)641--672, 44(4)333--357
-
Ansola, M., 107(z)209--220
-
Ansola:2021:SSR, 107(z)209--220
-
answer, 47(5)536--551, 74(z)255--275
-
answering, question-, 13(6)613--642
-
anti-commuting, 2(2)201--206
-
Anti-patterns, 45(5)523--550
-
anticommute, 10(6)657--664
-
anticommuting, 10(6)657--664
-
antidifferencing, 19(4)293--304
-
Antonsen, Roger, 47(9)1046--1065
-
Antonsen, Roger, see Hansen, Christian Mahesh
-
Antoy, Sergio, 40(1)875--903, 45(5)501--522
-
Antoy:2005:ESF, 40(1)875--903
-
Antoy:2010:PNT, 45(5)501--522
-
any, 86(z)142--152
-
Aoki, Satoshi, 43(5)342--358, 43(6)490--507
-
Aoki:2008:IMT, 43(6)490--507
-
Aoki:2008:LGI, 43(5)342--358
-
Aparicio-Monforte, A., 74(z)537--560
-
Aparicio-Monforte, Ainhoa, 47(2)192--213
-
Aparicio-Monforte:2012:RFL, 47(2)192--213
-
Aparicio-Monforte:2016:LIE, 74(z)537--560
-
APC-, 18(1)41--82
-
Apel, J., 6(2)361--370
-
Apel, Joachim, 12(6)585--606, 13(1)101--115, 13(3)231--234, 15(1)49--66,
16(3)273--278, 18(4)365--372, 19(5)441--458, 25(6)683--704,
40(4)1131--1149
-
Apel:1988:EBA, 6(2)361--370
-
Apel:1995:GAI, 19(5)441--458
-
Apel:1998:TID, 25(6)683--704
-
Apel:2005:DUR, 40(4)1131--1149
-
Apéry, François, 45(4)443--461
-
Apery:2010:STH, 45(4)443--461
-
apolarity, 114(z)37--73
-
apparent, 95(z)217--237, 102(z)86--107
-
appear, 8(1)217--240, 13(1)1--24
-
appeared, 8(4)383--414
-
appendix, 43(1)46--74
-
Applicability, 39(2)155--170
-
applicative, 21(1)15--40
-
applied, 2(3)261--292, 6(1)127--132, 10(5)525--528, 11(5)523--548,
15(1)73--78, 30(4)469--490, 43(6)395--396, 61(z)1--2
-
apply, 2(2)201--206
-
Applying, 22(1)83--103, 47(12)1512--1532, 100(z)187--209
-
approach, 3(1)3--38, 3(3)217--229, 6(2)287--304, 8(1)101--140,
9(1)73--86, 10(2)203--208, 11(3)275--290, 11(5)579--594,
13(6)581--604, 14(1)51--70, 14(2)265--282, 15(5)467--494,
16(2)155--166, 17(1)51--90, 17(6)487--512, 17(6)545--563,
18(1)87--90, 19(1)159--174, 19(5)441--458, 21(1)1--14,
21(4)615--634, 23(2)229--240, 24(1)31--44, 24(6)705--710,
25(2)161--194, 25(4)527--569, 26(2)245--260, 27(1)49--131,
27(3)311--324, 29(1)59--77, 31(1)243--257, 31(5)619--629,
32(6)663--675, 34(4)287--306, 35(3)281--292, 36(3)535--554,
36(3)649--667, 41(5)603--618, 41(11)1187--1205, 42(1)30--53,
42(11)1012--1033, 43(12)908--922, 45(11)1144--1162,
47(10)1267--1289, 57(z)48--60, 68(z)195--214, 68(z)225--253,
82(z)57--73, 84(z)1--13, 91(z)149--172, 96(z)22--61, 100(z)102--136,
101(z)352--366, 102(z)231--258, 109(z)88--115, 113(z)171--180,
115(z)1--17, 115(z)492--517, 116(z)213--242, 120(z)z
-
approached, 12(6)669--672
-
approximant, 9(4)515--530, 98(z)192--224
-
approximate, 9(2)207--214, 12(6)695--714, 23(2)301--314, 26(6)653--666,
33(2)239--254, 41(6)682--696, 42(7)693--716, 43(5)359--376,
44(5)449--462, 44(11)1566--1591, 45(8)879--886, 46(7)755--772,
46(12)1306--1317, 47(4)410--421, 47(5)536--551, 53(z)40--52,
53(z)81--95, 59(z)81--112, 65(z)79--110, 66(z)34--69,
104(z)402--418, 105(z)4--27, 117(z)101--118
-
approximately, 56(z)80--106
-
approximating, 33(5)627--646, 37(4)449--453
-
approximation, 2(1)99--102, 3(3)291--301, 7(6)591--610, 9(2)207--214,
9(4)503--514, 10(2)111--137, 10(3)327--334, 10(5)453--464,
13(1)47--58, 13(2)133--138, 15(1)73--78, 15(2)143--168,
16(4)377--399, 20(1)93--115, 23(2)137--152, 23(2)229--240,
23(2)241--254, 23(2)255--266, 23(2)267--286, 23(2)301--314,
23(2)315--333, 35(4)451--461, 40(4)1150--1168, 45(5)574--597,
58(z)18--40, 98(z)225--245, 102(z)279--303, 109(z)144--176
-
approximative, 19(1)145--158
-
April, March-, 115(z)1--518, 121(z)z--z
-
Apt, Krzysztof R., 18(5)489--495
-
Apt:1994:SPN, 18(5)489--495
-
Aquarius, 19(1)245--268
-
Aragón, D., Marín-, 93(z)230--245
-
Aramideh, Nasibeh, 103(z)141--156
-
Aramideh:2021:CRR, 103(z)141--156
-
ARAP, 3(3)303--307
-
Araújo, J., 45(3)373--392
-
Araujo:2010:CAS, 45(3)373--392
-
Aravindan, Chandrabose, 29(2)119--147
-
Aravindan:2000:TPT, 29(2)119--147
-
arbitrarily, 41(2)173--181
-
arbitrary, 2(3)261--292, 6(1)105--112, 8(1)51--100, 9(5)637--652,
10(2)165--178, 10(5)525--528, 11(1)129--148, 12(6)633--654,
16(5)401--412, 16(6)597--626, 19(6)527--544, 19(6)601--623,
21(3)351--366, 26(6)739--760, 33(5)609--625, 37(3)305--310,
45(8)844--856, 46(6)659--671, 58(z)99--102, 65(z)79--110,
82(z)26--37, 87(z)68--86
-
arbitrary-precision, 115(z)74--95
-
arc, 95(z)202--216
-
architecture, 1(1)115--118, 4(3)269--293, 15(5)547--570, 21(4)467--474,
21(4)475--506, 21(4)669--698, 30(2)161--179, 47(2)123--130
-
are, 43(3)233--233
-
area, 77(z)162--174
-
Area, I., 28(6)755--765, 28(6)767--776
-
Area, I., see Ronveaux, A.
-
Area:1999:IPH, 28(6)767--776
-
argument, 14(1)71--84, 15(3)277--296, 19(6)545--558, 20(3)315--342
-
argument, inter-, 21(4)635--668
-
Aries, Franck, 31(4)357--365
-
Aries:2001:IAR, 31(4)357--365
-
Arinyo, Robert, Joan-, 23(2)287--300, 79(z)232--248
-
arising, 10(6)657--664, 15(3)315--324, 33(3)275--305, 82(z)134--163
-
Aristotelian, 7(5)487--508
-
arithmetic, 2(1)99--102, 2(2)179--200, 2(2)207--212, 4(2)137--172,
4(3)351--364, 8(5)429--448, 9(2)113--116, 9(2)175--184,
9(3)251--280, 9(4)405--422, 9(4)429--456, 10(2)138--164,
10(5)395--404, 11(4)307--320, 12(4)517--526, 13(1)1--24,
15(2)181--198, 16(2)155--166, 17(6)473--486, 18(3)183--186,
18(4)297--318, 19(1)133--143, 19(1)145--158, 21(4)441--456,
21(4)457--466, 22(4)435--458, 26(1)71--87, 34(2)145--157,
41(7)790--810, 44(7)891--907, 46(7)841--858, 46(8)943--966,
47(5)536--551, 47(7)771--792, 53(z)53--63, 56(z)1--26,
60(z)113--119, 65(z)79--110, 69(z)129--158, 75(z)110--126,
78(z)3--40, 80(z)484--501, 81(z)1--19, 85(z)206--223, 98(z)23--46,
102(z)209--230, 104(z)276--311, 115(z)74--95, 115(z)478--491
-
arithmetically, 72(z)128--146
-
arithmeticity, 68(z)138--145
-
arithmetization, 90(z)149--168
-
Armando, Alessandro, 32(4)303--304, 32(4)305--332, 34(4)241--258,
36(1)193--216, 39(5)503--521
-
Armando:2001:CLO, 32(4)305--332
-
Armando:2001:SIC, 32(4)303--304
-
Armando:2002:IDP, 34(4)241--258
-
Armando:2003:CCR, 36(1)193--216
-
Armando:2005:REM, 39(5)503--521
-
Armario, J. A., 44(5)558--570
-
Armario, J. A., see Alvarez, V.
-
Armario, José Andrés, 89(z)26--40,
see Álvarez, Víctor
-
Armbruster, D., 2(4)383--388
-
Armbruster:1986:CUU, 2(4)383--388
-
Arnault, François, 20(2)151--162
-
Arnault:1995:CCN, 20(2)151--162
-
Arnborg, Stefan, 3(1)183--202, 5(1)131--140
-
Arnborg, Stefan, see Tidén, Erik
-
Arnborg:1988:ADR, 5(1)131--140
-
Arnold, Andrew, 75(z)4--24
-
Arnold, Elizabeth, 46(5)495--497
-
Arnold, Elizabeth A., 35(4)403--419
-
Arnold:2003:MAC, 35(4)403--419
-
Arnold:2011:BBW, 46(5)495--497
-
Arnold:2016:FSM, 75(z)4--24
-
Arnon, Dennis S., 5(1)163--188, 5(1)189--212, 5(1)213--236,
5(1)237--260, 5(1)267--274
-
Arnon:1988:AAC, 5(1)163--188
-
Arnon:1988:BQE, 5(1)267--274
-
Arnon:1988:CBC, 5(1)189--212
-
Arnon:1988:MQE, 5(1)237--260
-
Arnon:1988:PTA, 5(1)213--236
-
Aroca, F., 32(6)717--737
-
Aroca:2001:FSL, 32(6)717--737
-
arose, 47(2)123--130
-
around, 42(1)236--264, 109(z)31--49
-
ARPANET, 47(2)123--130
-
arrangement, 46(4)467--494, 50(z)139--158, 120(z)z
-
Arranz, Javier, Sendra-, 122(z)z
-
array, 5(3)321--338, 6(1)65--82, 15(5)547--570, 16(2)189--226,
26(3)301--314, 67(z)1--15
-
Arreche, Carlos E., 75(z)25--55
-
Arreche:2016:CPD, 75(z)25--55
-
Arri, Alberto, 46(9)1017--1029, 82(z)164--165
-
Arri:2011:FCR, 46(9)1017--1029, 82(z)164--165
-
Arri:2017:CFC, 46(9)1017--1029, 82(z)164--165
-
Arrondo, Enrique, 23(2)267--286
-
Arrondo:1997:PGO, 23(2)267--286
-
Ars, Gwénolé, 45(12)1330--1340, see Hashemi, Amir
-
Arslan, Feza, 55(z)10--18
-
Arslan:2013:MCF, 55(z)10--18
-
art, state-of-the-, 115(z)74--95
-
artificial, 7(3)207--274, 9(2)185--206, 10(3)311--326, 10(5)509--524,
13(1)1--24, 13(6)643--676, 18(3)249--264, 22(5)475--520,
22(5)555--584, 22(5)585--614, 22(5)615--626, 22(5)665--698,
23(1)1--22, 23(1)23--46, 23(1)47--78, 46(4)459--466
-
Artin, 30(3)239--252, 121(z)z
-
Artin, Hilbert-, 107(z)221--250
-
Artin--Garside, 43(6)397--405
-
Artin--Schreier, 47(7)771--792, 53(z)26--39
-
Artin--Schreier--Witt, 77(z)189--216
-
artinian, 17(3)237--258, 60(z)29--46
-
Arts, Thomas, 34(1)21--58
-
Arts, Thomas, see Giesl, Jürgen
-
Arvanitoyeorgos, Andreas, 55(z)59--71, 101(z)189--201
-
Arvanitoyeorgos:2013:PIH, 55(z)59--71
-
Arvanitoyeorgos:2020:HEM, 101(z)189--201
-
Arvasi, Z., 114(z)267--281
-
Arvasi:2023:CDG, 114(z)267--281
-
ary, 30(5)605--617
-
ary, n-, 18(1)83--86
-
Asadi, Mohammadali, 115(z)371--406
-
Asadi:2023:PTD, 115(z)371--406
-
Asch, Bram, van, 22(4)459--468
-
Aschenwald, D., 22(2)227--234
-
Aschenwald:1996:MMP, 22(2)227--234
-
Askey, R. A., 11(3)195--204, 14(2)179--194
-
Askey--Wilson, 53(z)96--118
-
aspect, 5(1)109--120, 6(2)135--148, 6(2)149--168, 6(2)169--182,
6(2)183--208, 6(2)209--218, 6(2)219--230, 6(2)231--248,
6(2)249--266, 6(2)267--274, 6(2)275--286, 6(2)287--304,
6(2)305--322, 6(2)323--344, 6(2)345--360, 6(2)361--370,
6(2)371--388, 8(4)383--414, 11(5)455--470, 11(5)595--618,
15(5)547--570, 64(z)67--87, 70(z)1--13, 79(z)285--308,
80(z)616--664
-
Aspetsberger, K., 1(1)115--118
-
Aspetsberger, K., see Bibel, W.
-
Asser, G., 13(3)255--299, 13(3)301--328, 13(3)329--352
-
assertions, 7(5)509--522, 48(z)1--36
-
assess, 61(z)31--52
-
assessment, 61(z)70--84
-
Assi, A., 79(z)4--22
-
Assi, Abdallah, 18(5)447--462, 74(z)475--492
-
Assi:1994:FGP, 18(5)447--462
-
Assi:2016:ACO, 74(z)475--492
-
Assi:2017:BSI, 79(z)4--22
-
assignment, 22(5)699--720, 45(6)684--708, 109(z)88--115
-
assignment, prefix-, 99(z)21--49
-
assistance, 13(6)683--693
-
assistant, 90(z)89--123
-
Assistants, 32(1)3--22
-
assisted, Computer-, 33(5)647--660
-
assisted, computer-, 16(2)147--154, 22(4)435--458
-
Assmann, Björn, 40(6)1269--1284
-
Assmann:2005:CPP, 40(6)1269--1284
-
associated, 3(3)283--289, 18(4)385--401, 18(6)503--518, 28(6)801--818,
32(6)643--662, 36(3)473--499, 40(3)1106--1125, 45(4)462--480,
46(10)1098--1104, 57(z)70--77, 67(z)1--15, 76(z)158--199,
81(z)1--19, 101(z)189--201
-
association, 32(1)133--141, 47(10)1175--1191
-
associative, 1(4)329--350, 3(1)183--202, 3(1)203--216, 6(2)371--388,
8(5)499--522, 9(3)355--374, 13(5)511--524, 14(6)577--618,
16(3)289--294, 16(4)345--354, 16(6)557--562, 21(2)211--244,
29(3)441--458, 48(z)110--131, 83(z)112--146, 94(z)126--148,
99(z)147--188, 106(z)78--109
-
associative, Non-, 32(3)291--301, 41(8)887--904, 44(7)786--800
-
associative, non-, 41(3)297--316
-
associative-, 3(1)153--181, 18(4)297--318
-
associative-commutation, 3(3)257--275
-
Associative-Commutative, 3(3)257--275, 8(1)217--240
-
associative-commutative, 3(1)203--216, 6(1)19--36, 8(1)201--216,
8(1)217--240, 14(1)51--70, 14(6)577--618
-
associativity, 3(1)183--202, 3(3)217--229, 8(4)415--422, 14(5)437--458,
14(6)537--556, 18(4)297--318, 23(1)1--22
-
associativity-commutativity, 18(4)297--318
-
Associator, 33(3)255--273
-
assume, 39(5)503--521
-
astro-geophysics, 8(4)423--427
-
astroid, 97(z)56--68
-
astronautics, 17(4)321--340
-
astronomy, 8(4)423--427, 17(4)321--340
-
astrophysics, 8(4)423--427
-
Asveld, Peter R. J., 16(2)167--188, 19(6)601--623
-
asymmetric, 4(1)35--40, 14(2)211--242
-
asymmetry, 14(2)211--242, 20(5)567--594
-
asymptotes, 82(z)123--133
-
asymptotic, 4(2)207--232, 7(2)189--198, 9(3)241--250, 10(1)53--58,
10(1)59--94, 11(4)369--418, 14(1)85--92, 15(2)181--198,
17(3)227--236, 17(6)513--528, 20(2)169--178, 20(3)287--298,
21(2)245--252, 23(1)119--131, 25(3)329--350, 27(6)543--563,
40(4)1256--1268, 44(7)818--835, 44(8)1000--1016, 93(z)21--33,
103(z)234--279
-
asynchronous, 22(5)627--648, 45(11)1144--1162
-
Ataei, Masoud, 98(z)120--162
-
Ataei, Masoud, see Alvandi, Parisa
-
ATINF, 19(1)217--244
-
Atiyah--Bott, 112(z)164--181
-
Atkinson, M. D., 2(1)45--50
-
Atkinson:1986:CGC, 2(1)45--50
-
atmosphere, 8(4)423--427, 12(6)669--672
-
atom, 18(2)157--182, 22(5)649--664
-
atom-variables, 90(z)42--64
-
atomic, 12(3)299--328, 13(3)301--328, 13(3)329--352, 29(2)213--257
-
attacks, 109(z)177--198
-
Attardi, Giuseppe, 21(3)293--312, 21(4)411--426
-
Attardi:1996:MMP, 21(3)293--312
-
Attardi:1996:SAP, 21(4)411--426
-
attempts, 47(2)123--130
-
attenuation, 10(5)525--528
-
attitude, 17(4)321--340
-
attribute, 4(2)207--232
-
attributed, 46(3)294--315
-
Aubry, Philippe, 28(1)105--124, 28(1)125--154, 30(6)635--651,
34(6)543--560
-
Aubry:1999:TSS, 28(1)125--154
-
Aubry:1999:TTS, 28(1)105--124
-
Aubry:2000:UGI, 30(6)635--651
-
Aubry:2002:RSP, 34(6)543--560
-
Auerbach, Ruth L., 39(2)127--153
-
Auerbach:2005:GFG, 39(2)127--153
-
augmentation, 43(12)874--882
-
Augot, Daniel, 44(12)1605--1607, 44(12)1608--1625
-
Augot:2009:DBC, 44(12)1608--1625
-
Augot:2009:F, 44(12)1605--1607
-
August, July-, 117(z)1--118, 123(z)z--z
-
Ault, Shaun, Van, 44(6)655--672
-
Aurenhammer, F., 3(3)249--255
-
Aurenhammer, Franz, 10(3)335--348
-
Aurenhammer:1987:RPC, 3(3)249--255
-
author, 15(5)467--494, 15(5)607--640, 32(6)i--vii, 32(6)z--99999999,
34(1)i--vii, 47(2)123--130
-
Autin, B., 7(2)183--188
-
Autin:1989:SEI, 7(2)183--188
-
auto, 79(z)156--185
-
Autocovariance, 109(z)202--219
-
automata, 7(3)427--444, 12(2)197--220, 12(4)397--414, 17(4)341--350,
18(4)297--318, 19(5)459--488, 20(2)215--233, 22(5)475--520,
22(5)521--554, 23(1)79--118, 39(3)357--371, 40(1)749--794,
45(5)574--597, 69(z)40--60
-
automata, G-, 22(5)521--554
-
AUTOMATE, 12(2)197--220
-
automated, 1(1)7--29, 1(3)245--260, 2(4)389--397, 3(1)203--216,
3(3)257--275, 4(2)173--190, 4(2)233--254, 9(4)423--428,
11(5)439--454, 11(5)595--618, 13(3)235--254, 19(1)175--200,
20(3)315--342, 23(1)47--78, 27(6)581--600, 29(2)259--297,
30(4)401--428, 34(4)239--239, 36(5)717--762, 36(5)763--809,
39(5)501--502, 39(5)593--615, 41(3)435--470, 45(2)151--152,
46(5)571--583, 60(z)120--136, 97(z)1--2, 97(z)56--68,
101(z)318--329, 115(z)74--95
-
automated, Semi-, 73(z)192--220, 93(z)221--229
-
automatic, 1(2)119--142, 2(3)305--316, 4(2)207--232, 4(3)397--408,
5(3)359--376, 6(1)65--82, 7(2)125--154, 7(2)183--188, 7(6)533--572,
9(4)485--502, 11(1)83--112, 12(4)397--414, 13(1)81--100,
14(5)523--534, 15(3)349--363, 15(5)463--466, 18(5)429--446,
19(1)79--110, 26(6)761--766, 27(1)1--20, 32(4)333--349,
37(2)261--293, 38(3)1145--1163, 38(5)1375--1415, 41(11)1206--1221,
44(10)1487--1501, 76(z)84--96
-
Automatic, Semi-, 21(4)615--634
-
automatic, semi-, 21(4)615--634
-
automatically, 14(5)523--534
-
Automating, 11(1)83--112, 94(z)1--29
-
automation, 6(1)83--98, 69(z)129--158
-
automaton, 12(2)197--220
-
automorphism, 5(3)295--302, 6(2)267--274, 10(6)647--657, 13(2)209--220,
14(2)211--242, 16(3)305--320, 17(2)133--148, 26(3)381--386,
27(4)415--428, 35(3)241--267, 45(3)373--392, 45(6)684--708,
57(z)61--69, 108(z)117--136
-
autonomous, 1(2)229--234, 41(7)739--762, 46(10)1173--1186,
108(z)137--151, 114(z)1--17
-
autonomous, non-, 45(12)1426--1441
-
autotopisms, 42(11)1142--1154
-
auxiliary, 7(6)533--572
-
Av, Matan, Ziv-, 47(10)1175--1191
-
available, 8(1)101--140
-
avalanches, 9(4)515--530
-
Avendaño, Martín, 44(9)1280--1284, 47(4)454--479
-
Avendano:2009:NRL, 44(9)1280--1284
-
Avendano:2012:FAF, 47(4)454--479
-
Avenhaus, J., 27(3)271--310, 36(1)217--233
-
Avenhaus, Jürgen, 2(2)109--122
-
Avenhaus:1986:DPT, 2(2)109--122
-
Avenhaus:1999:FOE, 27(3)271--310
-
Avenhaus:2003:UGJ, 36(1)217--233
-
average, 10(5)405--410, 109(z)202--219
-
averaging, 115(z)492--517
-
Avis, David, 10(3)311--326
-
Avis:1990:LRA, 10(3)311--326
-
avoid, 44(3)261--270
-
avoidance, 9(3)375--403
-
avoiding, 116(z)130--138
-
avoiding, pattern-, 113(z)126--138, 120(z)z
-
aware, security-, 47(9)1066--1088
-
AXE, MEAT-, 17(6)529--544
-
Axe, Meat-, 10(6)647--657, 19(6)585--600
-
axe, Meat-, 9(5)583--590
-
axes, 4(3)381--390
-
axial, 20(2)179--196
-
AXIOM, 17(2)159--180, 18(4)353--364, 19(1)25--38
-
axiom, 15(5)571--606, 17(5)393--408, 18(4)297--318, 20(2)151--162,
123(z)z--99999999
-
axiomatic, 16(2)155--166
-
axiomatization, 11(1)83--112, 11(4)349--368
-
Ayad, Mohamed, 43(4)259--274
-
Ayad:2008:DRF, 43(4)259--274
-
Ayari, Abdelwaheb, 31(5)487--520
-
Ayari:2001:HOI, 31(5)487--520
-
Azad, Hassan, 86(z)166--188, 104(z)328--342
-
Azad, Hassan, see Ali, Sajid