Index file section A for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
A
-
A, 254(1)691--694
-
à, 158(1)65--79, 161(1)69--92, 187(1)263--284, 191(1)61--77,
215(1)31--49
-
A-NLC;, Lin-, 186(1)157--169
-
A., 141(1)329--330, 209(1)163--178
-
A., F., Adele, 209(1)195--z
-
A0320, 197(1)157--169
-
A4230S, 180(1)115--137
-
A8715, 180(1)115--137, 185(1)3--13
-
Aasa, Annika, 142(1)3--26
-
Aasa:1995:PSI, 142(1)3--26
-
abducibles, 206(1)257--281
-
abduction, 149(2)231--255, 184(1)1--59, 189(1)129--177
-
abductive, 165(1)171--200, 184(1)1--59, 189(1)129--177, 206(1)257--281
-
Abe, Naoki, 137(1)159--176
-
Abe, Naoki, see Nakamura, Atsuyoshi
-
abelian, 168(1)105--119, 172(1)281--291, 180(1)17--45, 183(2)187--214,
208(1)149--177, 218(1)61--81
-
Abello, James, 182(1)159--170
-
Abello:1997:CPS, 182(1)159--170
-
Abiteboul, Serge, 149(1)101--128
-
Abiteboul:1995:CIL, 149(1)101--128
-
Abiteboul/Vianu, 190(2)115--149
-
Ablayev, Farid, 157(2)139--159
-
Ablayev:1996:LBO, 157(2)139--159
-
Abraham, Uri, 149(2)257--298
-
Abraham:1995:ICI, 149(2)257--298
-
Abramsky, 177(1)73--109
-
Abramsky, S., 197(1)241--z, 222(1)1--53
-
Abramsky, Samson, 227(1)3--42
-
Abramsky:1998:LSS, 197(1)241--z
-
Abramsky:1999:FAI, 227(1)3--42
-
Abramsky:1999:SSD, 222(1)1--53
-
abstract, 138(1)211--239, 139(1)69--113, 140(1)95--138, 140(1)139--177,
142(1)125--138, 148(1)171--180, 149(1)151--178, 149(1)179--199,
149(2)201--229, 151(1)207--256, 152(2)269--283, 154(2)307--327,
154(2)379--385, 155(1)39--83, 156(1)177--201, 159(2)245--270,
159(2)355--356, 162(1)79--115, 162(2)173--223, 165(1)133--169,
165(1)201--232, 168(1)155--212, 169(1)113--121, 173(1)49--87,
173(2)349--391, 173(2)513--554, 176(1)1--38, 176(1)205--234,
177(1)139--153, 177(1)183--216, 177(2)407--423, 179(1)217--250,
182(1)145--157, 183(2)281--315, 192(2)259--286, 194(1)240--z,
197(1)241--z, 197(1)244--z--2, 199(1)145--166, 202(1)163--192,
216(1)109--157, 216(1)159--211, 221(1)295--326, 222(1)77--111,
222(1)153--179, 228(1)105--150
-
abstraction, 138(1)211--239, 138(2)425--454, 139(1)131--162,
140(1)5--52, 151(1)207--256, 151(1)z--z, 156(1)289--299,
160(1)217--239, 167(1)3--45, 168(1)155--212, 173(2)393--443,
176(1)337--345, 177(2)329--349, 192(2)287--314, 192(2)315--351,
197(1)241--z, 198(1)177--200, 227(1)3--42
-
abstractions;, lambda-, 176(1)337--345
-
AC, 148(2)183--205, 215(1)337--344
-
AC-compatible, 142(2)209--227
-
AC-RPO, 142(2)209--227
-
AC-symbols, 142(2)209--227
-
AC-unification, 142(2)209--227
-
acceptance, 148(2)207--225, 161(1)191--203, 174(1)1--21, 194(1)137--161
-
accepting, 174(1)1--21
-
access, 141(1)283--310, 143(1)73--91, 154(2)283--306, 155(2)349--363,
162(2)245--281, 165(2)407--440, 175(2)393--406, 188(1)1--44,
196(1)3--29, 196(1)109--130, 196(1)259--288, 196(1)289--317
-
access, random-, 162(2)245--281, 164(1)1--12, 164(1)107--122,
172(1)1--41
-
according, 174(1)157--170
-
accumulations, 169(1)67--80
-
accumulative, 138(1)113--139
-
accuracy, 162(1)151--170, 176(1)89--110
-
Aceto, Luca, 152(2)251--268, 209(1)163--178, 211(1)339--374
-
Aceto:1995:CAT, 152(2)251--268
-
Aceto:1998:QSE, 209(1)163--178
-
Aceto:1999:CEA, 211(1)339--374
-
achievable, 154(1)57--65
-
achieve, 220(1)31--65
-
Achilles, 210(1)21--71
-
acids, 180(1)115--137
-
aconjunctive, 190(1)41--60
-
ACP, 177(2)487--507
-
acquisition, 193(1)97--112, 196(1)241--258
-
action, 138(2)353--389, 140(1)73--94, 174(1)67--96, 177(2)351--380,
177(2)381--405, 177(2)425--458, 179(1)333--351, 183(2)253--279,
192(2)259--286, 193(1)197--214, 220(2)489--513, 228(1)77--103
-
active, 197(1)241--z
-
activity, 195(2)259--289
-
Actor, 220(2)409--467
-
acyclic, 159(2)343--354, 178(1)129--154, 179(1)203--215, 203(1)143--150
-
Adámek, Ji{\v{r}}{\'\i}, 150(1)57--75
-
Adamek:1995:GFP, 150(1)57--75
-
adaptation, 223(1)121--142
-
adaptive, 137(1)53--84, 137(1)85--108, 137(1)145--157, 141(1)151--162,
148(1)141--156, 148(2)183--205, 149(1)129--149, 161(1)235--261,
163(1)161--176, 164(1)13--28, 172(1)43--65, 172(1)91--120,
185(1)47--62, 185(1)63--79, 185(1)129--157, 185(1)159--175,
185(1)177--190, 185(1)191--213, 197(1)139--156
-
adaptive, time-, 220(1)93--111
-
add-shift-round, shift-, 196(1)201--214
-
adder, 191(1)245--248, 196(1)201--214
-
addition, 162(1)151--170, 165(2)247--273, 191(1)245--248,
196(1)201--214
-
additive, 154(2)349--366, 157(1)91--99, 174(1)157--170, 181(2)357--378,
197(1)248--z--1, 224(1)157--172
-
additive, multiplicative-, 197(1)245--z--2
-
address, 155(2)349--363
-
Adele A., F., 209(1)195--z
-
AdeleA:1998:CCF, 209(1)195--z
-
adequacy, 177(1)27--58
-
adequate, 151(1)207--256
-
adic, 180(1)363--370
-
adjacency, 147(1)249--265, 161(1)23--68
-
adjacent, 161(1)23--68
-
adjacent;, 6-, 163(1)303--308
-
adjoining, 161(1)205--233, 165(2)355--390, 205(1)283--296,
210(2)277--303
-
adjoint, 173(2)311--347
-
adjunction, 153(1)211--244, 177(1)183--216
-
Adleman, Leonard M., 226(1)7--18
-
Adleman:1999:SAD, 226(1)7--18
-
admissible, 225(1)177--184
-
advances, 185(1)15--45, 217(2)235--254
-
advice, 154(2)367--377, 207(1)217--244
-
Afek, Yehuda, 186(1)199--230
-
Afek:1997:LDP, 186(1)199--230
-
affine, 138(1)201--210, 156(1)1--38, 196(1)395--415
-
affine, Quasi-, 156(1)1--38
-
affine, self-, 145(1)159--187
-
agent, 183(2)215--228, 189(1)109--127, 192(2)259--286, 192(2)287--314,
192(2)315--351
-
agent, multi-, 189(1)109--127, 192(2)287--314
-
agent-oriented, 192(2)315--351
-
agent-passing, 167(1)235--274
-
aggregate, 166(1)49--62, 193(1)149--179
-
aggregating, 137(1)85--108
-
aggregation, 138(1)211--239, 166(1)49--62, 193(1)149--179
-
aggregative, 166(1)49--62
-
Agostino, S., De, 205(1)261--282
-
Agrawal, Divyakant, 149(1)179--199
-
Agrawal, Divyakant, see Wong, Man Hon
-
Agrawal, M., 158(1)193--219, 158(1)361--370
-
Agrawal:1996:GSL, 158(1)193--219
-
Agrawal:1996:QLT, 158(1)361--370
-
agreement, 183(1)33--44, 195(1)33--60
-
Aguilera, Marcos Kawazoe, 220(1)3--30
-
Aguilera:1999:UHF, 220(1)3--30
-
ahead, look-, 143(2)285--308, 156(1)71--97
-
ahead;, look-, 143(2)285--308, 156(1)71--97
-
aided, 194(1)242--z--1
-
aided, Computer-, 141(1)283--310
-
aided, computer-, 155(2)321--347
-
Aigrain, P., 159(1)103--104
-
Aigrain, Philippe, 147(1)165--180
-
Aigrain:1995:PTC, 147(1)165--180
-
Aigrain:1996:PSI, 159(1)103--104
-
Aït-Kaci, Hassan, 151(2)353--383
-
Ait-Kaci:1995:LSC, 151(2)353--383
-
Ajili, Farid, 173(1)183--208
-
Ajili:1997:ASV, 173(1)183--208
-
Ajtai, 226(1)29--36
-
Akutsu, Tatsuya, 210(2)261--275
-
Akutsu:1999:APT, 210(2)261--275
-
Alagar, V. S., 183(2)155--156
-
Alagar:1997:F, 183(2)155--156
-
Alagi{\'c}, Mara, 179(1)273--299, see Alagi{\'c}, Suad
-
Alagi{\'c}, Suad, 179(1)273--299
-
Alagic:1997:OSM, 179(1)273--299
-
Albers, Susanne, 197(1)95--109
-
Albers:1998:CAL, 197(1)95--109
-
Albizuri, F. X., 229(1)11--22
-
Albizuri, F. X., see Lozano, J. A.
-
Albrecht, David, 185(2)217--235
-
Albrecht:1997:NCH, 185(2)217--235
-
aléatoire, 159(1)5--13, 159(1)43--63
-
Alessi, Fabio, 146(1)311--320, 193(1)113--127
-
Alessi:1995:FPT, 146(1)311--320
-
Alessi:1998:CDB, 193(1)113--127
-
Alexandroff, 193(1)1--51
-
ALG, 168(1)155--212
-
algebraic, differential-, 187(1)49--79
-
algebraic, Relation-, 160(1)1--85
-
algebraic, semi-, 141(1)133--150
-
algebraically, 194(1)219--223, 195(1)61--89
-
algebraicity, 170(1)349--381
-
Algèbres, 187(1)123--145
-
ALGOL, 197(1)241--z
-
Algol, 197(1)241--z, 227(1)3--42
-
ALGOL-like, 168(1)155--212
-
{ALGOL}-like, 168(1)155--212
-
algorithmic, 138(1)3--34, 154(1)41--56, 155(2)365--410, 157(1)115--127,
157(1)z--z, 164(1)13--28, 166(1)147--172, 168(1)155--212,
175(2)239--255, 176(1)39--65, 181(2)247--266, 186(1)1--41,
187(1)179--202, 195(2)183--203, 196(1)71--107, 209(1)141--162,
218(1)123--133, 223(1)121--142
-
algorithmically, 164(1)29--40, 191(1)185--192
-
alignment, 143(1)137--148, 145(1)357--369, 147(1)31--54, 182(1)233--244,
210(2)341--374
-
Alimohamed, 146(1)1--3
-
Alimohamed, Moez, 146(1)5--23
-
Alimohamed:1995:CLD, 146(1)5--23
-
ALL, 176(1)67--87
-
all, 141(1)163--173, 164(1)299--310, 168(1)121--154, 180(1)169--180,
197(1)235--240, 221(1)77--118
-
all-bidirectional-edges, 145(1)27--43
-
All-But-One;, Empty-, 191(1)157--171
-
all-covers, 164(1)299--310
-
all-optical, 221(1)19--39
-
Allender, Eric, 209(1)47--86
-
Allender:1998:NCA, 209(1)47--86
-
allocating, 209(1)347--363
-
allocation, 155(2)349--363, 162(2)283--296, 162(2)297--322,
162(2)341--349, 165(2)441--461, 171(1)221--246, 178(1)119--127,
181(2)379--404, 188(1)221--230, 193(1)97--112, 203(1)3--29
-
Allouche, J.-P., 188(1)195--209, 218(1)143--160
-
Allouche:1997:ADS, 188(1)195--209
-
Allouche:1999:TFP, 218(1)143--160
-
allowed, 161(1)235--261
-
allowing, 218(2)285--295, 222(1)55--75
-
Almeida, José João, 199(1)231--247,
see Ramalho, José Carlos
-
almost, 141(1)337--350, 151(2)385--435, 164(1)29--40, 188(1)79--99,
197(1)189--201, 221(1)77--118
-
almost-completely, 145(1)371--380
-
along, 173(2)311--347
-
Alonso, Laurent, 159(1)15--28
-
Alonso:1996:PAG, 159(1)15--28
-
alphabet, 141(1)163--173, 143(2)269--284, 143(2)353--362,
145(1)317--327, 147(1)19--30, 147(1)31--54, 154(1)57--65,
154(2)225--245, 154(2)387--394, 155(2)425--438, 164(1)277--285,
174(1)157--170, 174(1)171--191, 177(2)425--458, 178(1)1--36,
180(1)81--113, 180(1)181--201, 186(1)135--156, 195(1)91--109,
197(1)235--240, 209(1)163--178, 210(2)245--260
-
Alphabet-independent, 205(1)243--260
-
alphabetic, 180(1)309--324, 188(1)1--44
-
Alpuente, María, 142(1)27--57, 165(1)133--169
-
Alpuente:1995:ICS, 142(1)27--57
-
Alpuente:1996:CSB, 165(1)133--169
-
alternate, 178(1)155--169
-
alternating, 141(1)69--107, 143(1)23--49, 143(1)123--135, 148(1)33--55,
177(2)425--458, 180(1)139--154, 180(1)229--241, 191(1)97--115,
198(1)99--130
-
alternation, 180(1)139--154, 180(1)229--241, 194(1)137--161,
195(2)133--153, 198(1)99--130
-
alternative, 143(1)137--148
-
Althöfer, Ingo, 148(1)111--119
-
Althofer:1995:SPL, 148(1)111--119
-
Alur, R., 138(1)3--34
-
Alur, Rajeev, 211(1)253--273
-
Alur:1995:AAH, 138(1)3--34
-
Alur:1999:ECA, 211(1)253--273
-
Àlvarez, Carme, 148(2)183--205
-
Alvarez:1995:ADP, 148(2)183--205
-
always, 160(1)271--281
-
Amadio, R. M., 195(2)291--324
-
Amadio:1998:BAP, 195(2)291--324
-
Amaldi, Edoardo, 147(1)181--210, 209(1)237--260
-
Amaldi:1995:CAF, 147(1)181--210
-
Amaldi:1998:AMN, 209(1)237--260
-
amalgamated, 192(1)107--161
-
Ambainis, Andris, 220(2)323--343
-
Ambainis:1999:OMC, 220(2)323--343
-
ambiguity, 181(1)141--157
-
Ambler, Simon, 151(1)3--27
-
Ambler:1995:DCM, 151(1)3--27
-
Ambos-Spies, Klaus, 168(1)3--19, 172(1)195--207
-
Ambos-Spies:1996:GME, 168(1)3--19
-
Ambos-Spies:1997:RBR, 172(1)195--207
-
amidst, 140(2)205--230, 140(2)265--289
-
amino, 180(1)115--137
-
Amo, S., De, 190(2)115--149
-
amortization, 154(2)165--181
-
Amrhein, Beatrice, 187(1)179--202
-
Amrhein:1997:W, 187(1)179--202
-
analog, 138(1)3--34, 168(2)417--459, 168(2)461--472, 201(1)99--136
-
analogous, 178(1)37--76
-
analyses, 196(1)365--393
-
analysis, program-, 138(1)3--34
-
analytic, 181(1)181--194, 207(1)89--104, 210(1)217--223, 219(1)151--167
-
analytical, 144(1)161--197, 201(1)1--62
-
anamorphism, 169(1)113--121
-
Anantharaman, Siva, 192(1)77--106
-
Anantharaman:1998:RML, 192(1)77--106
-
ancestor, 207(1)25--41
-
AND-compositional, 165(1)133--169
-
and-conquer, Divide-, 162(2)283--296
-
and-conquer, divide-, 162(2)283--296, 181(2)357--378
-
AND-gate, 191(1)173--183
-
Anderson, S. O., 177(1)3--25
-
Anderson:1997:RAF, 177(1)3--25
-
Andersson, Arne, 215(1)337--344
-
Andersson:1999:FTC, 215(1)337--344
-
Andre, Yves, 205(1)207--229
-
Andre:1998:EPL, 205(1)207--229
-
Andreae, Thomas, 215(1)305--323
-
Andreae:1999:TPG, 215(1)305--323
-
Andreev, A. E., 205(1)261--282
-
Andreev, Alexander E., 161(1)307--314, 180(1)243--268, 221(1)3--18
-
Andreev:1996:CHD, 161(1)307--314
-
Andreev:1997:OBA, 180(1)243--268
-
Andreev:1998:PCA, 205(1)261--282
-
Andreev:1999:WCH, 221(1)3--18
-
Andresen, Bjarne, 215(1)51--68
-
Andresen, Bjarne, see Nourani, Yaghout
-
Andrews, James, 184(1)105--143
-
Andrews:1997:LSD, 184(1)105--143
-
Angel, E., 191(1)229--243
-
Angel:1998:ACG, 191(1)229--243
-
angle, 164(1)165--183
-
animals, 159(1)65--79
-
Animated, 194(1)242--z--1
-
annealing, 191(1)229--243, 215(1)51--68
-
annotated, 171(1)111--146
-
anomalous, 164(1)13--28
-
anonymous, 145(1)95--109, 150(2)197--z, 150(2)315--z, 150(2)339--z,
151(1)z--z, 157(1)z--z, 158(1)379--z, 160(1)383--z, 164(1)311--z,
168(2)z--z, 170(1)467--z, 171(1)303--z, 175(1)z--z, 180(1)379--z,
182(1)259--z, 182(1)263--z, 185(2)411--z, 187(1)z--z, 194(1)z--z,
197(1)z--z, 213(1)5--436, 213(1)437--528, 213(1)529--659,
228(1)1--3, 228(1)283--283, 229(1)1--2, 229(1)199--199
-
Anonymous:1995:CIV, 150(2)339--z
-
Anonymous:1995:RLI, 150(2)315--z
-
Anonymous:1995:SIV, 150(2)197--z
-
Anonymous:1995:WTC, 151(1)z--z
-
Anonymous:1996:CEBa, 158(1)379--z
-
Anonymous:1996:CEBb, 164(1)311--z
-
Anonymous:1996:IWU, 168(2)z--z
-
Anonymous:1996:MIVa, 160(1)383--z
-
Anonymous:1996:MIVb, 170(1)467--z
-
Anonymous:1996:WAC, 157(1)z--z
-
Anonymous:1997:AIV, 185(2)411--z
-
Anonymous:1997:CAR, 187(1)z--z
-
Anonymous:1997:CEBa, 171(1)303--z
-
Anonymous:1997:CEBb, 182(1)259--z
-
Anonymous:1997:CEBc, 182(1)263--z
-
Anonymous:1997:MIV, 180(1)379--z
-
Anonymous:1997:WNS, 175(1)z--z
-
Anonymous:1998:JCS, 194(1)z--z
-
Anonymous:1998:LLP, 197(1)z--z
-
Anonymous:1999:CIV, 213(1)529--659
-
Anonymous:1999:Ea, 228(1)1--3
-
Anonymous:1999:Eb, 229(1)1--2
-
Anonymous:1999:Ia, 228(1)283--283
-
Anonymous:1999:Ib, 229(1)199--199
-
Anonymous:1999:RLI, 213(1)437--528
-
Anonymous:1999:SIV, 213(1)5--436
-
another, 138(2)425--454, 194(1)248--z--1
-
answer, 166(1)101--146, 190(2)167--210, 198(1)201--209
-
answering, 171(1)147--177
-
anti, 176(1)205--234
-
anti-founded, 224(1)173--213
-
antichains, 175(2)257--270
-
Antimirov, 155(2)239--z, 155(2)289--290
-
Antimirov, Valentin, 155(2)291--319
-
Antimirov, Valentin M., 143(1)51--72
-
Antimirov:1995:RER, 143(1)51--72
-
Antimirov:1996:PDR, 155(2)291--319
-
Antoy, Sergio, 165(1)75--95
-
Antoy:1996:SRS, 165(1)75--95
-
Antsaklis, Panos J., 138(1)201--210
-
Antsaklis, Panos J., see Lemmon, Michael
-
any, 225(1)177--184
-
Aoyagi, Shigemi, 193(1)97--112
-
Aoyagi, Shigemi, see Manabe, Yoshifumi
-
aperiodic, 144(1)277--314, 145(1)229--240, 154(1)67--84, 163(1)291--302,
209(1)299--317
-
Apolloni, B., 172(1)91--120, 209(1)141--162
-
Apolloni:1997:PLC, 172(1)91--120
-
Apolloni:1998:SSL, 209(1)141--162
-
Apostolico, Alberto, 141(1)163--173
-
Apostolico:1995:PDA, 141(1)163--173
-
applicability, 166(1)101--146
-
application, 137(2)177--217, 140(2)231--247, 140(2)301--317,
141(1)337--350, 148(1)67--92, 154(1)41--56, 156(1)1--38,
157(2)139--159, 159(1)15--28, 160(1)145--184, 160(1)185--216,
161(1)1--21, 161(1)301--306, 164(1)223--252, 165(2)391--405,
167(1)131--170, 172(1)175--193, 175(2)239--255, 176(1)111--158,
177(2)407--423, 180(1)243--268, 181(2)379--404, 183(2)187--214,
186(1)199--230, 187(1)221--230, 187(1)263--284, 187(1)z--z,
188(1)45--57, 191(1)205--214, 192(2)233--258, 194(1)240--z--2,
194(1)242--z--1, 196(1)31--44, 196(1)319--345, 200(1)135--183,
201(1)1--62, 210(1)121--157, 215(1)31--49, 217(1)115--130,
217(2)175--214, 219(1)487--510
-
Applying, 217(1)131--156
-
approach, 138(1)101--112, 139(1)27--67, 139(1)207--242, 139(1)315--354,
146(1)109--143, 147(1)19--30, 147(1)55--67, 151(1)37--78,
152(2)305--320, 159(2)245--270, 159(2)319--341, 160(1)217--239,
170(1)349--381, 171(1)77--109, 173(2)513--554, 175(1)3--13,
177(1)3--25, 179(1)103--135, 180(1)115--137, 184(1)145--193,
187(1)3--6, 187(1)105--116, 194(1)183--205, 194(1)240--z--2,
194(1)241--z--3, 194(1)243--z--2, 194(1)247--z, 195(2)183--203,
198(1)131--158, 203(1)69--90, 206(1)219--256, 210(1)73--98,
216(1)311--362, 220(2)489--513, 221(1)271--293
-
approximability, 147(1)181--210, 161(1)307--314, 181(1)107--118,
209(1)237--260
-
approximability, non-, 225(1)113--128
-
approximable, 159(2)319--341, 159(2)355--356
-
approximate, 145(1)271--290, 149(1)129--149, 150(1)1--55,
161(1)307--314, 172(1)91--120, 173(1)113--149, 179(1)319--331,
181(1)159--179, 188(1)79--99, 191(1)229--243, 201(1)263--273,
203(1)151--162, 210(2)341--374, 219(1)185--223
-
approximately, 149(1)129--149, 174(1)251--257
-
approximating, 151(1)163--193, 175(2)271--282, 205(1)261--282,
209(1)287--297, 210(2)245--260
-
approximation, 134(1)51--61, 137(1)145--157, 138(1)3--34,
143(1)167--174, 143(2)353--362, 144(1)67--99, 147(1)267--298,
150(1)1--55, 154(1)41--56, 157(1)3--33, 157(1)53--77,
157(1)115--127, 157(1)129--136, 157(2)161--183, 157(2)259--266,
158(1)117--141, 159(2)143--190, 161(1)1--21, 161(1)307--314,
162(2)173--223, 162(2)351--369, 165(1)57--74, 168(1)3--19,
168(1)39--51, 172(1)255--263, 173(1)49--87, 174(1)23--65,
177(1)3--25, 178(1)265--273, 179(1)319--331, 179(1)427--436,
180(1)17--45, 180(1)243--268, 181(2)379--404, 182(1)233--244,
187(1)87--104, 187(1)105--116, 187(1)179--202, 187(1)z--z,
190(2)151--166, 190(2)167--210, 191(1)1--36, 197(1)111--138,
207(1)171--180, 209(1)107--122, 210(2)261--275, 210(2)327--339,
212(1)261--303, 266(1)997--998
-
approximation;, epsilon-, 137(1)145--157
-
approximation, NC-, 161(1)307--314
-
Aps{\=\i}tis, Kalvis, 219(1)3--17
-
Apsitis:1999:IIR, 219(1)3--17
-
Apt, Krzysztof R., 221(1)179--210
-
Apt:1999:ECP, 221(1)179--210
-
APX, 150(1)1--55
-
APX-complete, 147(1)181--210
-
Arai, Noriko H., 159(2)343--354, 170(1)129--144
-
Arai:1996:PHP, 159(2)343--354
-
Arai:1996:TCF, 170(1)129--144
-
arbiter, 138(1)67--100, 193(1)97--112
-
arbitrarily, 156(1)263--280
-
arbitrary, 134(1)51--61, 138(2)353--389, 143(2)269--284, 145(1)45--69,
146(1)145--184, 147(1)117--136, 150(1)161--191, 154(2)225--245,
154(2)283--306, 154(2)307--327, 155(2)425--438, 157(2)215--225,
162(2)351--369, 194(1)240--z, 197(1)245--z
-
arboretum, 209(1)1--45
-
architecture, 140(2)333--339, 143(2)335--342, 162(2)245--281,
162(2)351--369, 169(1)39--65, 178(1)265--273, 181(2)357--378,
182(1)171--182, 186(1)171--198, 191(1)245--248, 196(1)181--200,
197(1)57--77
-
area, 145(1)95--109, 159(1)5--13, 191(1)193--203
-
argument, 146(1)69--108, 146(1)269--310, 151(2)353--383, 156(1)99--117,
160(1)321--363, 161(1)263--287, 166(1)147--172, 171(1)221--246,
192(2)201--231
-
argumentation, 170(1)383--406
-
Arikawa, Setsuo, 137(1)53--84, 219(1)3--17
-
Arikawa, Setsuo, see Aps{\=\i}tis, Kalvis,
see Mukouchi, Yasuhito
-
Arimura, Hiroki, 185(1)47--62
-
Arimura:1997:LUT, 185(1)47--62
-
Ariola, Zena M., 146(1)69--108
-
Ariola:1995:PFO, 146(1)69--108
-
arithmetic, 147(1)55--67, 151(1)277--294, 154(2)145--163,
156(1)159--176, 159(1)29--42, 162(1)133--150, 162(1)151--170,
171(1)25--60, 172(1)303--308, 173(1)151--181, 173(1)253--281,
174(1)247--249, 176(1)89--110, 183(1)45--82, 191(1)245--248,
196(1)201--214, 197(1)57--77, 209(1)47--86, 209(1)389--398,
218(2)233--248
-
arithmetical, 137(1)3--23, 161(1)263--287, 163(1)245--258,
173(1)151--181, 193(1)129--148, 222(1)55--75
-
arithmetical, hyper-, 210(1)21--71
-
arithmétique., 156(1)159--176
-
arity, higher-, 174(1)97--121
-
Arnold, André, 148(1)121--132, 151(1)29--36, 156(1)289--299
-
Arnold-Dicky, 156(1)289--299
-
Arnold:1995:ISC, 148(1)121--132
-
Arnold:1995:TPR, 151(1)29--36
-
Arnold:1996:ACO, 156(1)289--299
-
Arora, Sanjeev, 174(1)97--121
-
Arora:1997:WSE, 174(1)97--121
-
around, 191(1)193--203
-
Arquès, Didier, 147(1)211--248
-
Arques:1995:FSL, 147(1)211--248
-
array, 141(1)331--335, 143(1)23--49, 147(1)211--248, 179(1)251--271,
187(1)231--248, 196(1)289--317, 197(1)171--188, 197(1)171--188--1
-
arrival, 178(1)103--118
-
Arthur--Merlin, 137(2)279--282
-
articles, 150(2)315--z, 213(1)437--528
-
artificially, 217(1)81--98
-
Arvind, V., 158(1)193--219, 158(1)361--370, 180(1)17--45
-
Arvind, V., see Agrawal, M.
-
Arvind, Vikraman, 137(2)279--282
-
Arvind:1995:INP, 137(2)279--282
-
Arvind:1997:SBB, 180(1)17--45
-
ary, 140(2)333--339, 145(1)371--380
-
ary, n-, 147(1)149--163, 197(1)247--z--1
-
Asano, Tetsuo, 181(1)3--15
-
Asano:1997:SFC, 181(1)3--15
-
Asarin, Eugene, 138(1)35--65
-
Asarin:1995:RAD, 138(1)35--65
-
ASL-like, 173(2)393--443
-
aspect, 152(1)1--66, 163(1)161--176, 175(1)z--z, 175(2)239--255,
197(1)157--169, 208(1)59--86, 208(1)59--z, 217(2)291--300,
224(1)135--155
-
Asperti, Andrea, 142(2)277--297, 159(2)191--244
-
Asperti:1995:PCL, 142(2)277--297
-
Asperti:1996:ISI, 159(2)191--244
-
assembly, 192(2)201--231
-
assertion, 173(1)49--87, 189(1)71--107
-
assertional, 189(1)71--107
-
Assigning, 182(1)203--216
-
assignment, 151(2)385--435, 156(1)177--201, 170(1)83--128,
170(1)173--207, 180(1)287--308, 182(1)203--216, 194(1)123--136,
194(1)240--z--1, 207(1)193--201
-
assignment, job-, 148(1)93--109
-
assignment, type-, 155(1)265--266
-
associated, 149(2)299--332, 158(1)65--79, 164(1)41--57
-
associations, 192(2)201--231
-
associative, 187(1)123--145
-
associativity, 177(1)3--25, 197(1)247--z--2
-
associés, 158(1)65--79
-
assumption, 139(1)275--314, 183(2)229--251, 185(2)393--410
-
assumption-based, 171(1)221--246
-
Assumptionash, 167(1)47--72
-
assumption/guarantee, 167(1)47--72
-
asteroidal, 175(2)309--335
-
Astesiano, Egidio, 152(1)91--138, 173(2)309--310
-
Astesiano:1995:FOE, 152(1)91--138
-
Astesiano:1997:P, 173(2)309--310
-
asymmetric, 138(2)425--454, 153(1)245--270, 174(1)123--136, 176(1)1--38,
194(1)241--z--2
-
asymptotic, 143(2)343--352, 144(1)3--58, 144(1)101--124, 144(1)161--197,
144(1)277--314, 147(1)31--54, 147(1)267--298, 149(1)67--99,
156(1)301--313, 159(1)65--79, 164(1)185--206, 164(1)277--285,
181(2)307--316, 187(1)81--86, 187(1)263--284, 190(2)151--166,
215(1)371--381, 218(2)249--262
-
asymptotically, 145(1)45--69, 185(2)347--377, 188(1)221--230,
196(1)395--415
-
ASYNCHRONOUS, 196(1)3--29
-
asynchronous, 138(1)67--100, 138(1)211--239, 146(1)109--143,
153(1)211--244, 153(1)245--270, 169(2)123--145, 174(1)123--136,
176(1)1--38, 192(2)167--199, 192(2)315--351, 195(2)291--324,
196(1)3--29, 220(1)247--265
-
asynchrony, 192(2)167--199
-
Atkinson, M. D., 178(1)103--118, 182(1)145--157
-
Atkinson:1997:BCP, 182(1)145--157
-
Atkinson:1997:PGT, 178(1)103--118
-
atom, 155(1)157--177, 160(1)283--303
-
atomic, 149(1)179--199, 149(2)257--298, 169(1)39--65, 177(2)381--405,
196(1)45--70
-
atomicity, 149(1)151--178, 186(1)199--230, 190(2)363--396, 196(1)45--70
-
Attack, 226(1)19--27
-
attractor, 193(1)53--73
-
Attribute, 217(2)215--233
-
attributes, 146(1)243--268, 181(1)45--56
-
Auer, Peter, 185(1)159--175
-
Auer:1997:LND, 185(1)159--175
-
auf der Heide, Friedhelm, Meyer, 162(2)245--281, 196(1)181--200
-
auf der Heide, Friedhelm Meyer, 203(2)175--203
-
auf der Heide, Friedhelm Meyer, see Baumker, Armin
-
augmented, 140(2)205--230
-
Auletta, Vincenzo, 165(2)441--461
-
Auletta:1996:DSA, 165(2)441--461
-
Ausiello, G., 150(1)1--55
-
Ausiello, Giorgio, 171(1)3--24, 203(1)1--1
-
Ausiello:1995:ASN, 150(1)1--55
-
Ausiello:1997:LAS, 171(1)3--24
-
Ausiello:1998:F, 203(1)1--1
-
Autebert, Jean-Michel, 215(1)383--398
-
Autebert:1999:SRA, 215(1)383--398
-
authenticated, 220(1)185--210
-
Author, 185(2)411--z
-
autocorrelation, 191(1)229--243
-
autoepistemic, 160(1)321--363
-
automata, +/-, 197(1)111--138
-
automata;, omega-, 170(1)1--46
-
automata;, sigma-, 197(1)111--138
-
automata-theoretic, 183(1)83--92
-
automated, 135(1)67--110, 152(2)269--283, 163(1)161--176,
166(1)291--300
-
automates, 191(1)61--77
-
automatic, 135(1)67--110, 162(1)133--150, 163(1)193--210,
167(1)193--233, 168(1)53--103, 169(1)39--65, 170(1)129--144,
172(1)67--89, 173(1)49--87, 183(1)143--154, 187(1)231--248,
188(1)161--174, 188(1)195--209, 196(1)395--415
-
automaticity, 180(1)181--201, 188(1)195--209
-
automatiques., 172(1)67--89
-
automaton, 138(1)101--112, 143(1)1--21, 143(1)23--49, 154(1)85--106,
155(2)291--319, 155(2)439--446, 156(1)145--158, 158(1)65--79,
167(1)73--94, 168(2)303--320, 168(2)337--366, 168(2)367--404,
168(2)417--459, 169(2)123--145, 172(1)273--279, 176(1)1--38,
180(1)341--352, 183(1)93--112, 191(1)37--59, 191(1)61--77,
191(1)79--95, 205(1)297--306, 215(1)69--87, 226(1)143--172
-
automaton;, sigma-, 154(2)349--366
-
automorphism, 165(2)275--293, 183(1)45--82
-
autonomous, 139(1)115--130, 177(2)351--380, 192(2)287--314
-
autonomous, *-, 139(1)115--130
-
auxiliary, 141(1)163--173, 168(2)303--320, 173(1)49--87
-
availability, 185(2)259--275
-
Avalon, 149(1)151--178
-
Avant, 218(2)217--218
-
average, 147(1)267--298, 164(1)277--285, 165(2)311--323, 191(1)245--248,
193(1)149--179, 200(1)261--287, 218(1)197--203
-
average-case, 144(1)3--58, 181(2)289--306, 190(2)151--166
-
averaging, 181(2)229--245
-
avoid, 194(1)244--z--1
-
avoiding, 142(1)89--124, 173(1)183--208
-
axiom, 137(2)237--251, 138(1)113--139, 138(1)169--199, 139(1)275--314,
146(1)25--68, 152(1)91--138, 167(1)3--45, 176(1)205--234,
177(1)217--283, 177(2)287--328, 177(2)425--458, 179(1)1--60,
187(1)105--116, 191(1)1--36, 195(1)61--89
-
axiom, multi-, 199(1)199--229
-
axiomatic, 168(1)53--103, 186(1)43--81, 219(1)319--329
-
axiomatisation, 152(2)219--249, 190(1)41--60, 206(1)283--300
-
Axiomatising, 190(1)41--60
-
axiomatizable, 160(1)241--270
-
axiomatization, 138(2)391--423, 139(1)315--354, 143(1)51--72,
150(1)111--159, 152(2)251--268, 170(1)277--296, 177(1)217--283,
185(2)277--318, 193(1)149--179, 195(1)61--89, 211(1)339--374
-
axis, 174(1)193--202
-
axis-parallel, 185(1)159--175