Index file section A for tcs2000.bib

Last update: Thu Jun 29 04:16:06 MDT 2023

Return to index directory

A

A, 254(1)691--694, 311(1)527--527
à, 292(1)85--96
a, Martin Hole, 292(2)345--357
a, Martin Hole, see Hájek, Petr
a-ride, dial-, 268(1)91--105
a-row, in-, 270(1)865--875
Aalst, W. M. P. van der, 270(1)125--203
Abadi, Martín, 298(3)387--415, 322(3)427--476
Abadi:2003:STA, 298(3)387--415
Abadi:2004:PA, 322(3)427--476
abc, 315(2)405--417
Abdulla, Parosh Aziz, 256(1)145--167, 290(1)241--264
Abdulla:2001:ECS, 256(1)145--167
Abdulla:2002:MCS, 290(1)241--264
Abe, N., 313(2)173--174
Abe:2004:F, 313(2)173--174
Abel, 263(1)145--158
abelian, 319(1)441--446
Aberkane, Ali, 307(1)31--46
Aberkane:2003:WWC, 307(1)31--46
Abiteboul, Serge, 239(2)231--255, 275(1)179--213
Abiteboul:2000:QCW, 239(2)231--255
Abiteboul:2002:CTH, 275(1)179--213
Ablayev, Farid, 264(1)127--137
Ablayev:2001:BVN, 264(1)127--137
Abraham, Uri, 266(1)653--692, 308(1)449--515
Abraham:2001:SSE, 266(1)653--692
Abraham:2003:SST, 308(1)449--515
Abramsky, S., 254(1)557--589
Abramsky, S., see Thomsen, B.
Abrusci, V. Michele, 294(3)335--351
Abrusci:2003:TSP, 294(3)335--351
absolutely, 270(1)947--958
abstract, 234(1)135--166, 254(1)35--61, 254(1)557--589, 266(1)1--57, 275(1)427--462, 275(1)521--560, 277(1)47--103, 278(1)53--89, 290(1)531--544, 290(1)863--936, 293(3)507--534, 293(3)557--577, 294(1)151--181, 300(1)161--179, 322(1)175--179
abstraction, 266(1)195--235, 292(2)387--416, 322(3)567--613, 325(1)141--167, 327(1)197--221
accelerated, 270(1)865--875, 315(2)469--510
accelerating, 317(1)105--114
acceptance, 231(1)47--57, 313(1)159--172
accepting, 266(1)59--79, 289(1)853--859, 295(1)3--25
acceptors, 267(1)83--104
access, 240(1)215--254, 245(2)151--173, 287(2)571--584, 306(1)223--243, 314(3)459--466, 319(1)385--409, 320(2)269--291, 322(3)615--669
Accidental, 307(3)457--472
accuracy, 301(1)143--165
Accurate, 248(1)3--27, 248(1)201--210
Aceto, Luca, 293(1)169--188, 298(3)417--469, 300(1)411--475
Aceto:2003:ETT, 298(3)417--469
Aceto:2003:MPA, 293(1)169--188
Aceto:2003:PRT, 300(1)411--475
Achlioptas, Dimitris, 234(1)203--218, 265(1)109--129, 265(1)159--185
Achlioptas:2000:CAR, 234(1)203--218
Achlioptas:2001:LBR, 265(1)159--185
Achlioptas:2001:RRR, 265(1)109--129
ACI-unification, 238(1)131--159
Aciego, M., Ojeda-, 266(1)81--112
action, 239(1)41--95, 240(1)91--115, 258(1)393--407, 269(1)47--82, 285(2)319--358, 290(1)937--973, 311(1)463--478
activation, 244(1)289--298
active, 311(1)389--437
Actor, 285(2)441--485
actual, 315(2)405--417
acyclic, 230(1)75--95, 240(2)487--494, 263(1)9--16, 293(3)535--556, 328(1)39--51, 328(1)97--111
Aczel, Peter, 300(1)1--45
Aczel:2003:ITC, 300(1)1--45
ad, 326(1)399--408
Adachi, Akeo, 237(1)381--406
Adachi, Akeo, see Tohyama, Hiroaki
Adamczewski, Boris, 307(1)47--75
Adamczewski:2003:BFP, 307(1)47--75
Adámek, J., 275(1)427--462, 311(1)257--283
Adámek, Ji í, 294(1)1--1, 294(1)3--29, 300(1)1--45, see Aczel, Peter
Adámek, Ji{\v{r}}{\'\i}, 316(1)3--23
Adamek:2002:ADT, 275(1)427--462
Adamek:2003:FCC, 294(1)3--29
Adamek:2003:P, 294(1)1--1
Adamek:2004:CBC, 316(1)3--23
Adamek:2004:TCC, 311(1)257--283
Adamowicz, Zofia, 322(1)5--16
Adamowicz:2004:WBP, 322(1)5--16
Adapting, 308(1)333--366
adaptive, 270(1)877--893, 289(2)1009--1026
Adaptively, 287(2)535--561
add, 291(2)183--201
addition, 255(1)607--610, 289(1)531--551, 312(2)379--399
additional, 259(1)427--454
additive, 275(1)481--519, 291(2)143--157, 294(3)335--351, 294(3)489--524, 301(1)341--354, 303(2)491--516, 319(1)423--439, 326(1)69--102
Adi, Kamel, 291(3)223--283
Adi:2003:NLE, 291(3)223--283
adiabatic, 317(1)93--104
adic, 233(1)309--317
adjacency, 283(1)3--28
adjoint, 316(1)105--111
adjunctions, 311(1)71--103
admissibility, 284(2)519--538
admissions, 322(2)245--265
admit, 263(1)345--354
admitting, 321(2)271--281
ADMs, 276(1)33--50
Advanced, 298(1)51--70
advancing, 290(1)355--406
adversarial, 252(1)45--82
Aehlig, Klaus, 318(1)3--27
Aehlig:2004:ANS, 318(1)3--27
affine, 255(1)687--696, 284(2)373--396, 318(1)197--223, 318(3)409--433, 328(3)289--323
affines, quasi-, 259(1)245--269
Afrati, Foto, 286(1)3--32, 303(1)103--133, 308(1)199--226
Afrati, Foto, see Guessarian, Irène
Afrati, Foto N., 239(2)187--187
Afrati:2000:F, 239(2)187--187
Afrati:2002:ED, 286(1)3--32
Afrati:2003:LDP, 308(1)199--226
against, 230(1)167--193, 273(1)295--304, 282(2)285--302, 301(1)143--165, 323(1)191--233
Ageev, M., 289(1)871--876
Ageev:2002:MGL, 289(1)871--876
agenda, 245(1)55--101
agent, multi-, 303(1)63--81
agents, 242(1)1--27
aggregation, 296(3)405--434, 315(2)469--510, 325(3)409--424
aggregation/cancellation, 315(2)469--510
Agostino, Sergio, De, 127(1)181--186, 234(1)325--326
agreement, 291(1)55--77, 326(1)363--382
Aguilera, G., 266(1)81--112
Aguilera:2001:RNC, 266(1)81--112
Aguiló, F., 319(1)423--439
Aguilo:2004:SAA, 319(1)423--439
ahead, look-, 261(2)213--226, 329(1)115--158
Ahn, Hee-Kap, 310(1)457--467
Ahn:2004:CFL, 310(1)457--467
Aichholzer, Oswin, 296(1)3--13
Aichholzer:2003:TCT, 296(1)3--13
Akama, Yohji, 311(1)199--220
Akama:2004:LPC, 311(1)199--220
Akhavi, Ali, 287(2)359--385, 297(1)3--23
Akhavi:2002:RLT, 287(2)359--385
Akhavi:2003:OLA, 297(1)3--23
Akiyama, Shigeki, 270(1)921--933
Akiyama:2002:CNS, 270(1)921--933
Akutsu, Tatsuya, 233(1)33--50, 292(2)481--495, 298(1)235--251
Akutsu:2000:ALC, 233(1)33--50
Akutsu:2003:IGN, 298(1)235--251
Akutsu:2003:SGA, 292(2)481--495
al, 315(2)469--510
Alarm, 243(1)269--288
Alber, Jochen, 312(2)337--358
Alber:2004:CST, 312(2)337--358
Albert, Jürgen, 267(1)35--47
Albert, M. H., 306(1)85--100
Albert, Michael H., 321(2)405--414
Albert:2001:NFA, 267(1)35--47
Albert:2003:RCS, 306(1)85--100
Albert:2004:LIS, 321(2)405--414
Albrecht, A., 285(1)101--117
Albrecht, A., see Steinhöfel, K.
Aldaz, M., 259(1)577--596
Aldaz:2001:NMO, 259(1)577--596
Aldini, A., 290(1)355--406
Aldini, A., see Bravetti, M.
aléatoires, 255(1)345--361
aleatory, 255(1)345--361
Alekhnovich, Michael, 310(1)513--525
Alekhnovich:2004:MCP, 310(1)513--525
Alessi, Fabio, 290(1)599--635, 316(1)25--47
Alessi:2002:CCD, 290(1)599--635
Alessi:2004:ITD, 316(1)25--47
Alfaro, Luca de, 290(1)565--597
algebra, 230(1)235--245, 236(1)1--1, 238(1)389--437, 254(1)363--377, 258(1)99--129, 266(1)605--630, 266(1)935--950, 269(1)203--229, 270(1)591--608, 273(1)271--282, 273(1)283--294, 274(1)43--87, 278(1)257--269, 281(1)369--421, 283(2)271--304, 286(2)247--292, 286(2)293--322, 290(1)117--160, 293(1)45--54, 293(1)141--167, 293(1)169--188, 293(1)189--217, 293(1)219--236, 293(2)447--475, 300(1)209--234, 309(1)125--156, 311(1)199--220, 315(2)469--510, 315(2)557--579, 324(1)87--105, 326(1)187--211, 327(1)23--44
algebraic, 235(1)145--162, 239(1)3--40, 249(1)197--240, 254(1)337--361, 262(1)285--310, 268(2)221--273, 270(1)643--657, 278(1)303--321, 281(1)351--367, 286(2)153--196, 290(1)637--668, 291(3)351--385, 292(1)317--342, 293(2)365--389, 293(2)417--445, 296(3)453--471, 298(2)325--346, 299(1)81--106, 303(1)83--102, 306(1)155--175, 315(2)627--650, 319(1)103--126
algebraic, relation-, 255(1)63--83
algebras, multi-, 286(2)293--322
algorithm, -, 303(2)353--374
algorithmic, 281(1)455--469, 287(1)209--217, 313(3)539--543, 317(1)31--60, 320(2)395--418
alignment, 259(1)63--79, 296(1)179--192, 325(3)361--372
Alimonti, Paola, 237(1)123--134
Alimonti:2000:SAC, 237(1)123--134
all, 250(1)1--30, 276(1)17--32, 299(1)785--794, 305(1)221--235, 315(2)469--510
all, all-to-, 297(1)385--397
all-optical, 266(1)887--934, 287(2)429--448
all-pairs, 312(1)47--74
all-to-all, 297(1)385--397
Allauzen, Cyril, 328(1)3--18
Allauzen:2004:OPD, 328(1)3--18
Allis, L. Victor, 252(1)121--149
Allis, L. Victor, see Breuker, Dennis M.
allocation, 242(1)1--27, 291(1)103--131
Allouche, Jean-Paul, 292(1)9--31, 307(1)3--29
Allouche:2003:PC, 292(1)9--31
Allouche:2003:RRS, 307(1)3--29
allusion, 292(2)497--524
Almeida, Jorge, 255(1)569--591
Almeida:2001:SHR, 255(1)569--591
Almost, 297(1)281--295, 304(1)1--33, 306(1)177--194
Almost-certain, 293(3)507--534
almost-periodicity, 231(2)205--215
almost-polynomial, 285(1)55--71
along, 315(2)405--417, 318(1)57--78, 320(2)293--313
alphabet, 304(1)443--447, 306(1)155--175
Alphabetic, 255(1)377--399
Alpuente, María, 311(1)479--525
Alpuente:2004:RST, 311(1)479--525
alternating, 47(2)149--158, 231(1)103--111, 234(1)167--176, 236(1)193--208, 245(2)151--173, 259(1)475--492, 298(3)511--528, 299(1)307--326, 300(1)301--329
alternation, 259(1)475--492, 270(1)1--70, 295(1)295--321
alternative, 322(1)5--16, 325(1)3--24
Althöfer, Ingo, 313(3)315--324
Althofer:2004:IGP, 313(3)315--324
Alur, Rajeev, 318(3)297--322
Alur:2004:OPW, 318(3)297--322
Alvarez-Manilla, Mauricio, 328(3)221--244
Alvarez-Manilla:2004:PPS, 328(3)221--244
always, 307(2)257--276
Amadio, Roberto M., 240(1)147--176, 290(1)695--740
Amadio:2000:MM, 240(1)147--176
Amadio:2002:SRP, 290(1)695--740
amalgamation, 266(1)113--157
Amazons, 313(3)499--509
Ambainis, Andris, 261(1)91--117, 264(1)155--167, 287(1)299--311, 295(1)3--25
Ambainis:2001:HPT, 261(1)91--117
Ambainis:2001:PII, 264(1)155--167
Ambainis:2002:TWF, 287(1)299--311
Ambainis:2003:ERA, 295(1)3--25
ambient, 240(1)177--213, 305(1)3--15, 308(1)277--331, 322(3)477--515
Ambiguity, 301(1)217--270
ambiguous, 327(3)349--373
Ambos-Spies, Klaus, 306(1)177--194
Ambos-Spies:2003:ACS, 306(1)177--194
Ambühl, Christoph, 268(1)3--16
Ambuhl:2001:NLB, 268(1)3--16
Amenta, Nina, 305(1)3--15
Amenta:2003:CTA, 305(1)3--15
amidst, 270(1)421--440
Amir, Amihood, 314(1)173--187
Amir:2004:TDP, 314(1)173--187
Ammann--Beenker, 319(1)241--279
Amos, Martyn, 287(1)3--38
Amos:2002:TTD, 287(1)3--38
amplitude, 303(1)53--62
analog, 244(1)205--217, 320(2)449--464
Analogies, 262(1)69--81
analogue, 266(1)853--886
analyse, 248(1)201--210, 287(1)101--130
analysis, 234(1)203--218, 238(1)313--345, 243(1)449--466, 244(1)95--116, 248(1)3--27, 275(1)127--177, 276(1)51--81, 277(1)149--184, 283(2)419--450, 284(2)259--267, 287(1)59--71, 289(1)51--67, 289(1)629--647, 289(2)977--995, 290(1)1057--1106, 292(2)481--495, 297(1)241--260, 297(1)447--486, 299(1)231--271, 302(1)45--91, 304(1)59--86, 306(1)471--484, 310(1)159--180, 311(1)325--388, 313(3)485--498, 315(2)469--510, 315(2)525--555, 316(1)75--87, 318(1)79--103, 320(2)345--372, 321(2)195--214, 329(1)285--301
analytic, 243(1)477--487, 272(1)113--175, 281(1)37--80
analytical, 315(2)469--510
Ananichev, D. S., 307(1)77--92, 327(3)225--239
Ananichev:2003:IRW, 307(1)77--92
Ananichev:2004:SMA, 327(3)225--239
ancestor, 321(1)5--12
and-conquer, Divide-, 292(3)667--677
and-conquer, divide-, 242(1)377--401
and-one, one-hundred-, 321(2)415--421
Anderson, 329(1)285--301
Anderson, Eric, 287(2)387--391
Anderson, Eric J., 287(2)393--418
Anderson, James A., 237(1)439--445, 307(1)117--127
Anderson, James A., see Fory, Wit
Anderson:2000:IR, 237(1)439--445
Anderson:2002:LUW, 287(2)393--418
Anderson:2002:SPD, 287(2)387--391
Ando, Kiyoshi, 235(2)257--266
Ando, Kiyoshi, see Kojima, Toru
Andrei, {\c{S}}tefan, 306(1)113--122
Andrei:2003:NAR, 306(1)113--122
Andronikos, Theodore, 303(1)103--133
Andronikos, Theodore, see Guessarian, Irène
ANFL, 287(1)131--144
Angel, Eric, 263(1)159--172, 306(1)319--338, 310(1)135--146
Angel:2001:LRQ, 263(1)159--172
Angel:2003:ATB, 306(1)319--338
Angel:2004:APC, 310(1)135--146
Angiulli, Fabrizio, 314(1)217--249
Angiulli:2004:CIC, 314(1)217--249
Angluin, Dana, 313(2)175--194
Angluin:2004:QR, 313(2)175--194
Angulo, V. R. Vicente Ruiz de, 320(1)111--121
animation, 272(1)177--195
Annexstein, Fred S., 240(2)487--494
Annexstein:2000:MTR, 240(2)487--494
anniversary, 322(2)233--235
annotation-directed, 248(1)147--199
annotations, 248(1)211--242, 312(2)337--358
Anonymous:2000:Ea, 231(1)1--3
Anonymous:2000:Eb, 231(2)141--142
Anonymous:2000:Ec, 232(1)1--4
Anonymous:2000:Ed, 235(1)1--2
Anonymous:2000:Ee, 235(2)217--217
Anonymous:2000:Ef, 239(1)1--2
Anonymous:2000:Eg, 240(2)255--255
Anonymous:2000:Eh, 241(1)1--2
Anonymous:2000:Ia, 230(1)291--291
Anonymous:2000:Ib, 230(1)293--299
Anonymous:2000:Ic, 231(2)335--336
Anonymous:2000:Id, 232(1)335--335
Anonymous:2000:Ie, 233(1)327--327
Anonymous:2000:If, 234(1)399--399
Anonymous:2000:Ig, 235(2)357--358
Anonymous:2000:Ih, 236(1)233--233
Anonymous:2000:Ii, 237(1)499--500
Anonymous:2000:Ij, 238(1)499--500
Anonymous:2000:Ik, 239(2)339--339
Anonymous:2000:Il, 240(2)495--496
Anonymous:2000:Im, 240(2)497--503
Anonymous:2000:In, 241(1)235--235
Anonymous:2000:Io, 242(1)499--500
Anonymous:2000:Ip, 243(1)499--499
Anonymous:2000:Iq, 244(1)299--299
Anonymous:2000:Ir, 245(2)295--295
Anonymous:2000:Is, 246(1)299--299
Anonymous:2000:It, 247(1)299--299
Anonymous:2000:Iu, 248(1)289--289
Anonymous:2000:Iv, 249(2)369--369
Anonymous:2001:AIVa, 254(1)699--700
Anonymous:2001:AIVb, 255(1)699--700
Anonymous:2001:AIVc, 256(1)169--169
Anonymous:2001:AIVd, 257(1)253--253
Anonymous:2001:AIVe, 258(1)599--599
Anonymous:2001:AIVf, 259(1)699--700
Anonymous:2001:AIVg, 260(1)249--249
Anonymous:2001:AIVh, 261(2)333--334
Anonymous:2001:AIVi, 262(1)699--700
Anonymous:2001:AIVj, 263(1)379--380
Anonymous:2001:AIVk, 265(1)307--307
Anonymous:2001:AIVl, 266(1)999--1000
Anonymous:2001:AIVm, 267(1)157--157
Anonymous:2001:AIVn, 268(2)395--395
Anonymous:2001:AIVo, 269(1)499--499
Anonymous:2001:C, 257(1)31--49
Anonymous:2001:Ia, 250(1)393--394
Anonymous:2001:Ib, 250(1)395--401
Anonymous:2001:Ic, 251(1)167--167
Anonymous:2001:Id, 252(1)257--257
Anonymous:2001:MIV, 260(1)251--259
Anonymous:2002:AIa, 270(1)977--979
Anonymous:2002:AIb, 271(1)201--201
Anonymous:2002:AIc, 272(1)399--399
Anonymous:2002:AId, 273(1)305--305
Anonymous:2002:AIe, 280(1)193
Anonymous:2002:AIf, 281(1)629--630
Anonymous:2002:AIg, 282(2)397
Anonymous:2002:AIh, 283(2)451
Anonymous:2002:AIi, 285(2)563--564
Anonymous:2002:AIj, 286(2)477
Anonymous:2002:AIk, 287(2)619--620
Anonymous:2002:AIl, 288(2)343
Anonymous:2002:AIm, 289(2)1027--1029
Anonymous:2002:AIVa, 274(1)277--277
Anonymous:2002:AIVb, 275(1)699--699
Anonymous:2002:AIVc, 276(1)465--466
Anonymous:2002:AIVd, 277(1)223
Anonymous:2002:AIVe, 278(1)335
Anonymous:2002:AIVf, 279(1)97
Anonymous:2002:AIVg, 284(2)557--558
Anonymous:2002:EBa, 286(1)v--ix
Anonymous:2002:EBb, 287(1)v--ix
Anonymous:2002:EBc, 288(1)v--ix
Anonymous:2002:EBd, 289(1)v--ix
Anonymous:2002:EBe, 290(1)v--ix
Anonymous:2002:EBf, 291(1)v--ix
Anonymous:2002:MIa, 270(1)981--992
Anonymous:2002:MIb, 280(1)195--200
Anonymous:2003:AIa, 291(3)387--388
Anonymous:2003:AIb, 292(3)733--735
Anonymous:2003:AIc, 293(3)583--584
Anonymous:2003:AId, 294(3)575--576
Anonymous:2003:AIe, 295(1)403--404
Anonymous:2003:AIf, 296(3)535--536
Anonymous:2003:AIg, 297(1)509--510
Anonymous:2003:AIh, 298(3)627--628
Anonymous:2003:AIi, 299(1)797--799
Anonymous:2003:AIj, 300(1)505--505
Anonymous:2003:AIk, 301(1)499--500
Anonymous:2003:AIl, 302(1)499--500
Anonymous:2003:AIm, 303(2)553--554
Anonymous:2003:AIn, 304(1)499--500
Anonymous:2003:AIo, 305(1)503--503
Anonymous:2003:AIp, 306(1)553--554
Anonymous:2003:AIq, 307(3)573--574
Anonymous:2003:AIr, 308(1)517--517
Anonymous:2003:AIs, 309(1)555--555
Anonymous:2003:EBa, 292(1)v--ix
Anonymous:2003:EBb, 293(1)v--ix
Anonymous:2003:EBc, 294(1)v--ix
Anonymous:2003:EBd, 295(1)v--ix
Anonymous:2003:EBe, 296(1)v--ix
Anonymous:2003:EBf, 297(1)v--ix
Anonymous:2003:EBg, 298(1)v--ix
Anonymous:2003:EBh, 299(1)v--ix
Anonymous:2003:EBi, 300(1)v--ix
Anonymous:2003:EBj, 301(1)v--ix
Anonymous:2003:EBk, 302(1)v--ix
Anonymous:2003:EBl, 303(1)v--ix
Anonymous:2003:EBm, 304(1)v--ix
Anonymous:2003:EBn, 305(1)v--ix
Anonymous:2003:EBo, 306(1)v--x
Anonymous:2003:EBp, 307(1)v--x
Anonymous:2003:EBq, 308(1)v--x
Anonymous:2003:EBr, 309(1)v--x
Anonymous:2003:MI, 300(1)507--519
Anonymous:2003:PJB, 292(1)3--7
Anonymous:2004:AIa, 310(1)539--540
Anonymous:2004:AIb, 311(1)529--529
Anonymous:2004:AIc, 312(2)491--492
Anonymous:2004:AId, 313(3)545--546
Anonymous:2004:AIe, 314(3)467--468
Anonymous:2004:AIf, 315(2)671--672
Anonymous:2004:AIg, 316(1)323--323
Anonymous:2004:AIh, 317(1)269--269
Anonymous:2004:AIi, 318(3)471--471
Anonymous:2004:AIj, 319(1)483--484
Anonymous:2004:AIk, 320(2)505--506
Anonymous:2004:AIl, 321(2)423--424
Anonymous:2004:AIm, 322(3)671--672
Anonymous:2004:AIn, 323(1)499--499
Anonymous:2004:AIo, 324(2)381--382
Anonymous:2004:AIp, 325(3)489--490
Anonymous:2004:AIq, 326(1)443--444
Anonymous:2004:AIr, 327(3)391--392
Anonymous:2004:AIs, 328(3)363--364
Anonymous:2004:AIt, 329(1)339--340
Anonymous:2004:EBa, 310(1)v--x
Anonymous:2004:EBb, 311(1)v--x
Anonymous:2004:EBc, 312(1)v--x
Anonymous:2004:EBd, 313(1)v--ix
Anonymous:2004:EBe, 314(1)v--ix
Anonymous:2004:EBf, 315(1)v--ix
Anonymous:2004:EBg, 316(1)v--ix
Anonymous:2004:EBh, 317(1)v--ix
Anonymous:2004:EBi, 318(1)v--ix
Anonymous:2004:EBj, 319(1)v--ix
Anonymous:2004:EBk, 320(1)v--ix
Anonymous:2004:EBl, 321(1)v--ix
Anonymous:2004:EBm, 322(1)v--ix
Anonymous:2004:EBn, 323(1)v--ix
Anonymous:2004:EBo, 324(1)v--ix
Anonymous:2004:EBp, 325(1)v--ix
Anonymous:2004:EBq, 326(1)v--ix
Anonymous:2004:EBr, 327(1)v--ix
Anonymous:2004:EBVa, 328(1)v--ix
Anonymous:2004:EBVb, 329(1)v--ix
Anonymous:2004:MIa, 310(1)541--553
Anonymous:2004:MIb, 320(2)507--518
anthologies, 292(2)497--524
anti-Oberwolfach, 297(1)399--424
anticipating, 252(1)83--104
Antoniotti, M., 325(1)45--67
Antoniotti:2004:TCB, 325(1)45--67
Antos, András, 284(1)3--24
Antos:2002:LBR, 284(1)3--24
ants, 322(2)267--283
any, 231(2)171--180
Apel, Joachim, 244(1)1--33
Apel:2000:CIT, 244(1)1--33
Apolloni, B., 230(1)1--37, 255(1)295--321
Apolloni:2000:SSP, 230(1)1--37
Apolloni:2001:GDF, 255(1)295--321
Apostolico, Alberto, 237(1)263--273, 304(1)87--101
Apostolico, Alberto, see Na, Joong Chae
Apostolico:2000:FAT, 237(1)263--273
appeal, 313(3)393--415
appendix, 313(3)533--537, 313(3)539--543
Appl, 315(2)469--510
applicable, 302(1)275--294
application, 234(1)59--84, 234(1)219--232, 235(1)59--70, 244(1)263--265, 245(2)281--294, 246(1)151--194, 249(1)81--161, 249(1)163--196, 250(1)101--124, 250(1)179--200, 252(1)105--119, 254(1)363--377, 259(1)245--269, 263(1)99--111, 263(1)263--274, 266(1)311--339, 267(1)121--129, 268(2)199--219, 270(1)797--809, 272(1)113--175, 273(1)5--9, 275(1)1--68, 284(2)207--240, 286(2)293--322, 286(2)323--366, 293(1)189--217, 301(1)119--142, 302(1)211--222, 302(1)239--256, 303(2)333--351, 304(1)87--101, 306(1)223--243, 307(2)241--256, 307(2)277--302, 319(1)29--57, 328(1)113--133
applicative, 238(1)389--437
applied, 252(1)105--119, 322(2)231--232
apply, 315(2)419--452
Applying, 252(1)45--82
approach, 230(1)149--166, 242(1)143--168, 255(1)63--83, 263(1)283--304, 265(1)79--108, 270(1)125--203, 276(1)449--459, 280(1)35--68, 284(1)67--108, 285(2)519--560, 287(1)219--238, 287(2)515--534, 292(2)431--446, 293(2)261--289, 304(1)421--429, 312(1)47--74, 319(1)333--356, 327(1)23--44, 327(1)45--69
approximability, 259(1)217--231, 284(2)397--417, 295(1)387--402, 306(1)431--447, 312(2)267--280
approximability, Non-, 296(1)179--192
approximate, 237(1)455--463, 249(2)305--311, 262(1)37--68, 262(1)557--568, 275(1)389--426, 287(1)219--238, 289(1)861--869, 299(1)387--412, 302(1)239--256, 303(1)135--156, 304(1)443--447, 305(1)433--455, 306(1)319--338, 306(1)407--430, 315(2)627--650, 321(2)283--290, 325(3)409--424
approximating, 235(1)205--216, 246(1)107--116, 270(1)643--657, 285(1)55--71, 289(2)879--895, 310(1)135--146, 315(2)371--404
approximation, 212(1)261--303, 233(1)33--50, 237(1)105--122, 255(1)51--62, 259(1)323--339, 259(1)513--531, 262(1)83--99, 262(1)145--160, 262(1)649--667, 266(1)997--998, 270(1)609--623, 284(1)53--66, 285(1)3--24, 287(2)429--448, 288(2)309--341, 289(1)517--529, 290(1)975--1019, 290(3)1883--1895, 296(1)59--74, 299(1)211--229, 301(1)45--78, 302(1)211--222, 302(1)489--495, 303(2)517--537, 305(1)3--15, 306(1)543--551, 315(2)309--318, 324(2)147--160, 325(3)439--465, 329(1)1--45, 329(1)325--330
Aps{\=\i}tis, Kalvis, 261(1)91--117, 268(2)367--393, see Ambainis, Andris
Apsitis:2001:CPE, 268(2)367--393
APX-completeness, 237(1)123--134
Aracena, Julio, 299(1)65--79, 322(2)237--244
Aracena:2003:CPR, 299(1)65--79
Aracena:2004:LCM, 322(2)237--244
Arai, Noriko H., 238(1)477--482, 243(1)185--197
Arai, Toshiyasu, 232(1)121--132
Arai:2000:ENF, 232(1)121--132
Arai:2000:NFM, 238(1)477--482
Arai:2000:TCF, 243(1)185--197
Arbab, F., 240(1)3--47
Arbab, F., see Bonsangue, M. M.
Arbiters, 310(1)379--392
arbitrary, 234(1)301--308, 244(1)189--203, 302(1)365--399, 310(1)181--231, 315(2)453--468
Arborescence, 301(1)427--437
arborescent, 307(2)277--302
arc, 262(1)285--310, 275(1)127--177, 275(1)589--631, 286(1)33--63, 312(2)337--358, 323(1)129--189
Archimedean, 231(2)143--156, 322(2)335--354
architecture, 301(1)119--142
area, 292(3)679--695, 307(2)327--335, 309(1)381--412
Arenas, Marcelo, 296(3)405--434
Arenas:2003:SAI, 296(3)405--434
argument, 237(1)429--437, 317(1)167--190
Arikati, Srinivasa R., 255(1)51--62
Arikati:2001:AAM, 255(1)51--62
Arikawa, S., 292(2)343--344
Arikawa, Setsuo, 268(2)351--366, 292(2)465--479, 298(1)253--272
Arikawa, Setsuo, see Hirao, Masahiro, see Hirowatari, Eiju, \see{Kida, Takuya
Arikawa:2003:P, 292(2)343--344
Arimura, Hiroki, 241(1)191--209, 298(1)21--50
Arimura, Hiroki, see Sakamoto, Hiroshi, see Shinohara, Takeshi
arising, 263(1)145--158
arithmetic, 257(1)1--15, 257(1)17--29, 257(1)79--84, 263(1)123--137, 269(1)469--498, 279(1)3--27, 279(1)83--95, 283(1)183--201, 291(2)203--218, 295(1)65--83, 315(2)419--452, 315(2)469--510, 318(1)3--27, 322(1)221--230
arithmetic-periodicity, 313(3)463--472
arithmetical, 257(1)115--151, 257(1)167--183, 306(1)535--542, 322(1)137--146
Arkoudas, Konstantine, 317(1)167--190
Arkoudas, Konstantine, see Bringsjord, Selmer
Arnold, A., 303(1)7--34
Arnold, André, 281(1)31--36
Arnold, Dirk V., 289(1)629--647
Arnold:2002:NPT, 281(1)31--36
Arnold:2002:PAE, 289(1)629--647
Arnold:2003:GSC, 303(1)7--34
Arnoux, Pierre, 319(1)145--176
Arnoux:2004:TDI, 319(1)145--176
Arquès, Didier, 234(1)255--272, 246(1)151--194, 307(2)221--239
Arques:2000:CRM, 234(1)255--272
Arques:2000:SCS, 246(1)151--194
Arques:2003:GLU, 307(2)221--239
arrangement, 296(1)99--116
array, 235(1)143--144, 237(1)263--273, 263(1)173--189, 275(1)283--310, 282(2)271--284, 297(1)103--117, 302(1)223--238, 302(1)401--416, 314(3)431--443, 321(1)125--148, 321(2)195--214
Artalejo, Mario Rodríguez, 269(1)363--417, see Lago, Joaquín Mateos
Arteaga, D., 319(1)423--439
Arteaga, D., see Aguiló, F.
artificial, 265(1)285--306
Arts, Thomas, 236(1)133--178
Arts:2000:TTR, 236(1)133--178
Arulanandham, Joshua J., 320(1)3--13
Arulanandham:2004:FNA, 320(1)3--13
Arvind, V., 241(1)51--81, 242(1)199--218, 255(1)205--221, 259(1)597--611
Arvind:2000:CCG, 242(1)199--218
Arvind:2000:ELT, 241(1)51--81
Arvind:2001:NNC, 259(1)597--611
Arvind:2001:PRB, 255(1)205--221
ary, 259(1)341--357
Asano, Tetsuo, 255(1)627--639, 325(3)425--437
Asano, Tetsuo, see Nandy, Subhas C.
Asano:2004:SNG, 325(3)425--437
Ascending, 304(1)59--86
asking, 261(1)119--156
aspect, 250(1)163--178, 268(2)275--322, 293(2)417--445, 312(2)401--431, 317(1)1--11, 324(1)35--54
Aspinall, David, 266(1)273--309
Aspinall:2001:SDT, 266(1)273--309
Aspvall, Bengt, 262(1)145--160
Aspvall:2001:AGB, 262(1)145--160
Assembling, 313(3)447--462
assembly, 281(1)325--349, 292(1)199--219
assertional, 256(1)93--112
assertions, 300(1)379--409
assignment, 244(1)167--188, 262(1)649--667, 263(1)159--172, 272(1)197--221, 272(1)341--398, 287(2)419--428, 299(1)211--229, 299(1)751--761, 304(1)201--214, 310(1)501--511
assistance, 282(1)53--99
assistants, 241(1)51--81
associated, 292(3)667--677, 304(1)485--497
association, 314(1)217--249
Associative, 270(1)463--491
associative, non-, 233(1)217--231
assuming, 315(2)405--417
Astesiano, Egidio, 236(1)3--34, 286(2)153--196
Astesiano:2000:FM, 236(1)3--34
Astesiano:2002:CCA, 286(2)153--196
Asveld, Peter R. J., 230(1)247--256, 293(2)417--445
Asveld:2000:IPS, 230(1)247--256
Asveld:2003:AAF, 293(2)417--445
asymmetric, 298(3)387--415, 311(1)165--197, 314(3)375--386
asymptotic, 263(1)145--158, 265(1)265--283, 266(1)159--193, 270(1)525--560, 299(1)585--602, 301(1)285--312, 301(1)439--450, 306(1)543--551
Asymptotically, 237(1)159--181, 296(3)511--534
asynchronous, 231(1)113--128, 247(1)1--38, 254(1)297--316, 254(1)379--422, 274(1)231--276, 275(1)589--631, 279(1)3--27, 291(1)103--131
asynchronously, 274(1)3--41
Ateniese, Giuseppe, 250(1)143--161
Ateniese:2001:ECV, 250(1)143--161
Atkinson, M. D., 289(1)205--223, 306(1)85--100
Atkinson, M. D., see Albert, M. H.
Atkinson:2002:STO, 289(1)205--223
ATM, 270(1)341--359, 291(1)3--28
atomic, 254(1)297--316, 291(1)79--101
ATOMIX, 313(3)447--462
atoms, 259(1)81--98
Atserias, Albert, 295(1)27--39
Atserias:2003:IBW, 295(1)27--39
attempts, 315(2)405--417
attendants, 270(1)895--911
auctions, 310(1)159--180, 324(2)137--146
Augmenting, 289(1)191--204
Augustine, John E., 324(2)147--160
Augustine:2004:LTA, 324(2)147--160
Auletta, Vincenzo, 266(1)887--934, 289(1)355--399
Auletta:2001:SLW, 266(1)887--934
Auletta:2002:RPC, 289(1)355--399
Aumann, Yonatan, 233(1)247--261
Aumann:2000:CRT, 233(1)247--261
Aura, Tuomas, 243(1)409--447
Aura:2000:CST, 243(1)409--447
Aurenhammer, Franz, 289(2)879--895, 296(1)3--13
Aurenhammer, Franz, see Aichholzer, Oswin
Aurenhammer:2002:AUT, 289(2)879--895
Ausiello, G., 281(1)1
Ausiello, Giorgio, 250(1)xv--xvi
Ausiello:2001:Y, 250(1)xv--xvi
Ausiello:2002:P, 281(1)1
Austinat, Holger, 292(1)33--43
Austinat:2003:SPR, 292(1)33--43
Authenticated, 326(1)363--382
authentication, 269(1)1--21, 283(2)271--304, 283(2)333--380, 291(3)285--327, 322(3)427--476
Author, 254(1)699--700, 255(1)699--700, 256(1)169--169, 257(1)253--253, 258(1)599--599, 259(1)699--700, 260(1)249--249, 261(2)333--334, 262(1)699--700, 263(1)379--380, 265(1)307--307, 266(1)999--1000, 267(1)157--157, 268(2)395--395, 269(1)499--499, 270(1)977--979, 271(1)201--201, 272(1)399--399, 273(1)305--305, 274(1)277--277, 275(1)699--699, 276(1)465--466, 277(1)223, 278(1)335, 279(1)97, 280(1)193, 281(1)629--630, 282(2)397, 283(2)451, 284(2)557--558, 285(2)563--564, 286(2)477, 287(2)619--620, 288(2)343, 289(2)1027--1029, 291(3)387--388, 292(3)733--735, 293(3)583--584, 294(3)575--576, 295(1)403--404, 296(3)535--536, 297(1)509--510, 298(3)627--628, 299(1)797--799, 300(1)505--505, 301(1)499--500, 302(1)499--500, 303(2)553--554, 304(1)499--500, 305(1)503--503, 306(1)553--554, 307(3)573--574, 308(1)517--517, 309(1)555--555, 310(1)539--540, 311(1)529--529, 312(2)491--492, 313(3)545--546, 314(3)467--468, 315(2)671--672, 316(1)323--323, 317(1)269--269, 318(3)471--471, 319(1)483--484, 320(2)505--506, 321(2)423--424, 322(3)671--672, 323(1)499--499, 324(2)381--382, 325(3)489--490, 326(1)443--444, 327(3)391--392, 328(3)363--364, 329(1)339--340
autobiography, 307(3)457--472
automata, cover-, 267(1)3--16
automata, PLC-, 253(1)61--93
Automata-driven, 254(1)187--223
Automated, 290(2)1175--1199, 318(1)79--103
automates, 281(1)251--289
automatic, 244(1)271--281, 250(1)365--391, 256(1)113--144, 282(1)101--150, 289(1)727--754, 295(1)85--106, 298(2)347--363, 301(1)285--312
automaticity, 259(1)379--403
automaton, 231(1)5--15, 231(2)181--191, 235(1)183--204, 289(1)137--163, 289(1)191--204, 296(2)327--364, 320(2)175--185, 325(2)329--344, 327(3)349--373
auxiliary, 299(1)307--326
available, 315(2)469--510
avalanche, 292(3)697--710
Avenhaus, Jürgen, 236(1)209--232, see Yamada, Toshiyuki
average, 261(1)119--156, 292(2)481--495, 321(2)283--290, 326(1)213--227
average-case, 242(1)29--40, 320(2)345--372
avoidance, 289(1)829--843
avoiding, 284(1)161--180, 319(1)441--446
avoiding, self-, 304(1)129--156
Awerbuch, Baruch, 324(2)313--324
Awerbuch:2004:LGS, 324(2)313--324
axiom, 232(1)121--132, 239(1)97--139, 274(1)151--182, 289(1)531--551, 295(1)27--39
axiomatic, 269(1)231--282
axiomatizability, 260(1)229--247
Axiomatization, 290(1)669--693
Axiomatizing, 273(1)225--248
axis, 318(1)57--78
Ayala, R., 283(1)29--66
Ayala:2002:WLF, 283(1)29--66
Ayari, Abdelwaheb, 300(1)301--329
Ayari:2003:DPI, 300(1)301--329
Ayuso, Juan Tena, 297(1)25--36
Ayuso, Juan Tena, see Berrizbeitia, Pedro
Azar, Yossi, 268(1)17--41, 287(2)419--428, 324(2)313--324
Azar, Yossi, see Awerbuch, Baruch
Azar:2001:LS, 268(1)17--41
Azar:2002:LTT, 287(2)419--428