Index file section A for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
A
-
A, 120(1)123--155
-
à, 117(1)255--272, 123(1)89--94
-
A0210, 84(2)281--292
-
A0340K, 84(2)281--292
-
A0520, 123(1)167--181
-
Abadi, M., 82(2)253--284, 121(1)1--z, 121(1)9--58
-
Abadi, Martín, 114(1)3--30
-
Abadi:1991:ERM, 82(2)253--284
-
Abadi:1993:FPP, 121(1)9--58
-
Abadi:1993:LVC, 114(1)3--30
-
Abadi:1993:SSB, 121(1)1--z
-
abbreviations, 120(1)157--168
-
abduction, 122(1)225--262
-
abductive, 120(1)1--44, 122(1)225--262
-
abelian, 81(1)147--153, 107(1)31--61, 127(2)387--393
-
Abiteboul, S., 78(1)137--158, 78(1)159--187, 116(1)1--z
-
Abiteboul:1991:FPD, 78(1)137--158
-
Abiteboul:1991:RQS, 78(1)159--187
-
Abiteboul:1993:F, 116(1)1--z
-
Abraham, Uri, 129(1)1--38
-
Abraham:1994:MEP, 129(1)1--38
-
Abramsky, S., 115(1)1--z
-
Abramsky, Samson, 111(1)3--57, 135(1)5--9
-
Abramsky:1993:CIL, 111(1)3--57
-
Abramsky:1993:P, 115(1)1--z
-
Abramsky:1994:PP, 135(1)5--9
-
absence, 87(1)221--228
-
absolute, 70(1)127--150, 74(3)329--340
-
absorbing, 74(2)183--197, 119(2)355--361
-
abstract, 70(1)99--126, 70(2)193--211, 71(2)209--226, 75(3)223--262,
77(1)5--26, 77(1)195--219, 80(1)117--120, 81(1)117--126,
81(2)269--288, 82(2)389--402, 83(2)261--273, 87(1)43--80,
87(1)143--162, 87(1)163--188, 88(2)231--251, 90(1)61--79,
94(1)1--35, 94(1)63--69, 95(2)323--337, 96(1)217--248,
96(1)249--283, 96(1)z--z, 99(1)1--63, 100(2)267--302, 104(1)53--87,
104(1)89--107, 104(1)129--159, 104(2)235--261, 105(2)217--273,
109(1)225--256, 111(1)3--57, 111(1)191--210, 112(1)99--143,
115(1)77--106, 116(1)59--94, 118(2)231--262, 119(1)23--38,
121(1)113--143, 122(1)165--200, 124(1)93--125, 126(2)259--280,
129(2)337--367, 134(2)455--471, 135(2)267--288, 136(1)79--107,
136(1)109--123, 136(1)125--162, 136(1)163--181
-
abstractedness, 90(1)151--170
-
abstraction, 70(1)35--64, 81(2)201--221, 89(1)137--159, 104(1)129--159,
112(1)5--52, 118(1)21--48, 121(1)9--58, 135(2)405--422
-
ACC, 78(2)357--362
-
acceptance, 93(2)227--244, 97(2)233--244, 126(2)183--235
-
accepted, 83(2)249--260, 85(1)205--212
-
accepting, 82(1)141--149, 103(1)3--23, 110(1)1--51, 112(2)255--275,
127(1)171--179
-
accepting, *-, 74(2)217--225
-
acceptors, 125(2)243--257
-
access, 71(3)401--411, 74(2)183--197, 74(2)217--225, 82(1)141--149,
87(2)251--262, 100(1)1--44, 107(1)77--94, 107(1)135--144,
132(1)377--385
-
access, random-, 71(1)3--28, 92(1)87--105, 100(1)1--44,
116(2)421--429, 123(2)415--426, 128(1)3--30
-
accessibility, 99(1)1--63
-
accidental, 86(2)365--375
-
accumulator, 81(2)201--221
-
accuracy, 129(2)279--291
-
AC/E, 113(2)231--258
-
Aceto, Luca, 131(1)181--195
-
Aceto:1994:GFL, 131(1)181--195
-
Ackerman, 135(2)319--343
-
Ackermann, 111(1)145--189
-
acquisition, 133(2)361--385
-
AC/sup, 113(1)167--183
-
action, 72(2)203--223, 72(2)z--z, 75(1)15--43, 77(1)73--95, 77(1)97--129,
84(1)23--52, 94(1)141--158, 102(1)165--183, 113(2)349--370,
113(2)371--375, 114(1)63--91, 114(1)149--171, 114(1)173--200,
118(1)21--48
-
active, 133(2)361--385
-
activities, 100(1)185--204
-
actor, 109(1)145--180
-
acyclic, 75(3)357--363, 78(2)363--376, 86(1)81--92, 86(1)z--z,
88(1)33--57, 92(1)181--189, 92(1)z--z, 94(1)63--69, 95(2)245--261,
110(1)197--214, 119(2)331--343, 123(2)389--395
-
acyclic, beta-, 81(2)295--304
-
acyclicity, 95(2)245--261
-
adaptive, 82(1)51--69, 86(2)377--389, 95(1)97--113, 96(1)35--72,
100(1)157--184, 119(2)363--371, 127(2)351--386, 128(1)3--30,
133(2)387--419
-
add, 95(2)245--261
-
Adding, 73(2)213--230, 122(1)49--68
-
addition, 95(1)159--168, 98(2)199--247, 124(1)189--192, 133(1)35--47
-
additive, 102(1)207--214, 119(2)345--354, 133(1)35--47
-
additive, multiplicative-, 135(1)139--153
-
addresses, 132(1)377--385
-
adequacy, 94(1)141--158, 136(1)217--242, 136(1)243--275
-
adequacy-preserving, 94(1)141--158
-
adequate, 76(2)223--242, 99(1)1--63
-
adherences, 76(2)243--250
-
Adiga, B. S., 88(1)117--125, 95(2)339--340
-
Adiga, B. S., see Shankar, P.
-
adjacency, 86(2)243--266
-
adjoining, 88(2)191--229
-
adjoints, 111(1)211--252
-
admissibility, 126(1)77--96
-
admissible, 76(1)115--142, 115(2)359--369
-
adversary, 108(2)371--384, 128(1)3--30
-
advice, 99(2)279--290
-
affine, 116(2)373--398
-
AFPs, 83(2)261--273
-
after-service, blocking-, 125(1)111--130
-
agent, 113(2)231--258, 119(1)127--143, 119(1)z--z, 131(1)219--241
-
Aggarwal, A., 71(1)3--28
-
Aggarwal:1990:CCP, 71(1)3--28
-
aggregate, 116(1)95--116, 118(2)231--262, 133(2)421--442
-
aggregation, 116(1)95--116
-
Agostino, Sergio, De, 127(1)181--186, 234(1)325--326
-
ahead, look-, 93(1)43--74, 104(2)299--312
-
Aho, 120(2)197--213
-
AI, 133(2)205--265
-
aided, Computer-, 99(2)213--230
-
aided, computer-, 95(2)187--205, 116(2)291--303
-
Aiken, A., 73(2)121--154
-
Aiken:1990:TCB, 73(2)121--154
-
Aït-Kaci, Hassan, 122(1)263--283
-
Ait-Kaci:1994:FCS, 122(1)263--283
-
Aizawa, K., 88(1)151--170
-
Aizawa:1991:GGP, 88(1)151--170
-
Akl, S. G., 95(2)323--337
-
Akl:1992:DMI, 95(2)323--337
-
Akyildiz, Ian F., 125(1)111--130
-
Akyildiz:1994:ESN, 125(1)111--130
-
al, 120(2)197--213
-
Albert, Luc, 113(1)3--34
-
Albert:1993:ACA, 113(1)3--34
-
ALEXANDRE, 78(1)245--259
-
Alferes, José J., 122(1)49--68,
see Pereira, Luís Moniz
-
algebra, initial-, 115(1)151--189
-
algebra-based, 77(1)73--95
-
algebraic, Differential-, 98(1)137--161
-
algebraic, differential-, 98(1)137--161, 98(1)z--z
-
algebraic, omega-, 115(1)77--106
-
algebraic, semi-, 84(1)77--105
-
algebraically, 77(1)195--219
-
algebraity, 86(2)277--323
-
algebras, p-, 100(1)137--156
-
Algèbre, 72(2)z--z
-
algèbres, 117(1)217--226
-
ALGOL, 85(2)283--303
-
algorithm, semi-, 104(1)53--87
-
algorithmic, 79(2)341--355, 94(2)335--356, 97(1)157--173,
117(1)187--198, 118(1)67--79, 121(1)145--167
-
algorithmical, 88(2)269--285
-
algorithmically, 92(2)301--307, 134(2)537--544
-
alignments, 100(1)223--241
-
all, 81(1)35--47, 86(2)143--203, 110(1)131--144, 125(2)345--353
-
all-zero, 108(2)311--329
-
Allender, E., 75(3)335--346
-
Allender, Eric, 115(2)225--241
-
Allender:1990:DTE, 75(3)335--346
-
Allender:1993:AEC, 115(2)225--241
-
allocation, 111(1)3--57, 125(1)17--43, 130(1)73--84
-
Allouche, J.-P., 94(2)161--174, 98(2)163--197
-
Allouche, Jean-Paul, 123(1)3--7, 129(2)263--278
-
Allouche:1992:PSS, 94(2)161--174
-
Allouche:1992:RRS, 98(2)163--197
-
Allouche:1994:CPF, 129(2)263--278
-
Allouche:1994:NCT, 123(1)3--7
-
allow, 79(1)241--256
-
allowed, 97(1)143--156
-
Almeida, Jorge, 108(1)3--16
-
Almeida:1993:LCP, 108(1)3--16
-
almost, 81(1)35--47, 81(2)257--268, 85(1)155--170, 115(2)225--241,
120(2)169--195, 133(1)49--64, 136(2)419--469, 136(2)487--506
-
Almost-everywhere, 115(2)225--241
-
ALOHA, 108(2)291--310
-
Alon, Noga, 130(1)175--201
-
Alon:1994:LBC, 130(1)175--201
-
Alonso, Laurent, 134(2)529--536
-
Alonso:1994:UGM, 134(2)529--536
-
alpha, 80(1)35--51, 87(2)229--249
-
alphabet, 71(3)381--400, 73(1)81--89, 73(3)279--294, 73(3)335--340,
76(2)261--271, 79(1)195--207, 81(1)147--153, 81(2)289--294,
83(2)287--300, 88(1)117--125, 92(1)33--47, 92(1)77--86,
92(1)87--105, 92(1)145--164, 95(2)187--205, 108(2)311--329,
108(2)345--356, 108(2)365--369, 113(1)35--54, 115(2)243--260,
115(2)359--369, 118(1)49--65, 123(1)61--87, 127(1)53--67,
131(2)311--330, 132(1)71--84, 132(1)415--425, 134(1)87--105,
134(1)209--223, 134(1)225--251, 134(2)329--363
-
alphabetic, 93(2)279--301, 99(2)177--211, 113(1)35--54, 134(2)403--413
-
alternate, 81(1)97--115
-
alternating, 76(2)323--330, 81(1)77--95, 83(2)323--335, 88(2)287--296,
88(2)297--311, 96(2)411--419, 97(2)183--198, 97(2)233--244,
99(2)243--264, 99(2)301--315, 104(2)185--206, 106(2)351--360,
108(2)393--400, 113(1)55--73, 125(2)243--257, 127(1)171--179,
128(1)127--157, 132(1)319--336, 134(2)427--453
-
alternation, 129(2)323--336, 134(2)427--453
-
alternative, 71(2)177--191, 71(2)z--z, 121(1)411--440
-
Alur, Rajeev, 126(2)183--235
-
Alur:1994:TTA, 126(2)183--235
-
Alvarez, C., 107(1)3--30
-
Alvarez:1993:VHL, 107(1)3--30
-
AMAST, 77(1)z--z
-
ambiguity, 86(2)325--342, 88(2)325--349, 89(1)107--136, 120(2)229--245,
132(1)85--112
-
Ambos-Spies, Klaus, 132(1)229--241
-
Ambos-Spies:1994:MPC, 132(1)229--241
-
Amir, A., 81(1)97--115
-
Amir:1991:FPS, 81(1)97--115
-
amortized, 84(1)107--126, 117(1)187--198, 129(2)397--406
-
Amram, Amir M., Ben-, 132(1)377--385
-
Amtoft, T., 98(2)347--356
-
Amtoft:1992:PMO, 98(2)347--356
-
analog, 70(1)35--64, 131(2)331--360
-
analogical, 113(2)259--272
-
analogues, q-, 117(1)169--186
-
analogy, 90(1)253--270, 113(2)211--230, 113(2)259--272
-
analyse, 94(2)261--280, 100(1)243--251
-
analysis, 71(1)155--174, 71(2)193--208, 71(3)381--400, 72(2)147--167,
73(2)121--154, 74(3)273--298, 76(1)143--177, 77(3)321--330,
79(1)37--109, 83(2)219--235, 85(1)75--95, 85(2)213--229,
85(2)231--251, 85(2)333--351, 86(1)35--79, 86(2)343--364,
88(1)171--182, 90(1)17--36, 90(1)37--46, 90(1)95--118,
92(1)107--117, 93(2)201--225, 94(2)261--280, 98(2)163--197,
98(2)263--287, 99(2)213--230, 102(1)135--163, 106(2)243--264,
112(1)53--97, 113(1)3--34, 115(1)63--75, 117(1)99--112,
117(1)187--198, 118(2)231--262, 119(1)23--38, 120(1)157--168,
121(1)59--69, 121(1)113--143, 121(1)145--167, 122(1)201--223,
123(1)89--94, 124(1)127--148, 125(1)61--90, 125(1)131--147,
128(1)211--239, 130(1)175--201, 133(1)65--84, 133(2)307--340
-
analysisC1160, 123(1)89--94
-
analytic, 94(2)373--393, 123(2)291--314, 131(1)1--28
-
and-conquer, divide-, 134(2)493--528
-
And-control, 93(2)227--244
-
Andersen, Henrik Reif, 126(1)3--30
-
Andersen:1994:MCB, 126(1)3--30
-
Anderson, J. A., 134(1)3--11
-
Anderson, N., 131(2)475--477
-
Anderson:1994:MEW, 131(2)475--477
-
Anderson:1994:SFM, 134(1)3--11
-
Andersson, 106(2)395--400
-
Andersson, Arne, 106(2)391--393
-
Andersson:1992:CBP, 106(2)391--393, 106(2)395--400
-
Andra{\c{s}}iu, Mircea, 116(2)339--357
-
Andrasiu:1993:LTP, 116(2)339--357
-
Andreka, H., 80(2)125--151
-
Andreka:1991:STP, 80(2)125--151
-
angelic, 99(1)105--119, 100(2)365--383, 124(2)273--295
-
angels, 100(2)365--383
-
angular, 92(2)227--248, 129(2)207--262
-
animals, 117(1)67--89, 127(2)333--350
-
Animaux, 117(1)67--89
-
annealing, 99(1)157--176, 102(2)253--281
-
annotated, 90(1)37--46, 93(1)115--141
-
Anonymous, 71(2)z--z, 72(2)z--z, 75(1)z--z, 77(1)z--z, 78(1)z--z,
86(1)z--z, 92(1)z--z, 96(1)z--z, 108(1)z--z, 109(1)z--z, 111(1)z--z,
114(1)z--z, 117(1)z--z, 119(1)z--z, 123(1)z--z, 133(1)z--z,
134(1)z--z, 135(1)z--z
-
Anonymous:1990:CCA, 72(2)z--z
-
Anonymous:1990:ICA, 77(1)z--z
-
Anonymous:1990:ICF, 75(1)z--z
-
Anonymous:1990:IFS, 71(2)z--z
-
Anonymous:1991:ICL, 86(1)z--z
-
Anonymous:1991:WDD, 78(1)z--z
-
Anonymous:1992:CPM, 92(1)z--z
-
Anonymous:1992:WCC, 96(1)z--z
-
Anonymous:1993:CFP, 117(1)z--z
-
Anonymous:1993:ICW, 108(1)z--z
-
Anonymous:1993:IWC, 109(1)z--z
-
Anonymous:1993:SFS, 119(1)z--z
-
Anonymous:1993:SWM, 111(1)z--z
-
Anonymous:1993:WCC, 114(1)z--z
-
Anonymous:1994:JMI, 123(1)z--z
-
Anonymous:1994:MFP, 135(1)z--z
-
Anonymous:1994:SIC, 134(1)z--z
-
Anonymous:1994:WCA, 133(1)z--z
-
another, 75(1)3--13, 115(1)63--75
-
Anselmo, M., 74(3)341--354, 79(1)3--24
-
Anselmo, Marcella, 117(1)39--43
-
Anselmo:1990:ZCT, 74(3)341--354
-
Anselmo:1991:ZZP, 79(1)3--24
-
Anselmo:1993:OFP, 117(1)39--43
-
answer, 74(3)325--328, 75(1)45--66, 75(1)139--156, 83(2)313--322,
86(1)3--33, 114(2)201--229, 124(1)93--125, 133(2)267--306
-
answer, query-, 89(1)179--206
-
answering, 77(3)291--308, 116(1)151--194, 133(2)267--306
-
answering, query-, 105(1)27--56
-
anti-excédances, 117(1)243--253
-
anti-exceedance, 117(1)243--253
-
anti-foundation, 121(1)351--409
-
antirandomization, 131(2)415--429
-
Aoki, Kunimasa, 123(2)315--327
-
Aoki:1994:THD, 123(2)315--327
-
Aparício, Joaquim N., 122(1)49--68,
see Pereira, Luís Moniz
-
apart, 129(1)143--166
-
aperiodic, 97(2)301--311, 123(1)139--144, 123(2)239--258
-
aperiodicity, 88(1)99--116
-
apex, 82(1)95--111
-
Apostolico, A., 92(1)3--17
-
Apostolico, Alberto, 108(2)331--344, 119(2)247--265
-
Apostolico:1992:FLS, 92(1)3--17
-
Apostolico:1993:ECP, 108(2)331--344
-
Apostolico:1993:EDQ, 119(2)247--265
-
application, 70(1)3--34, 70(2)193--211, 72(1)55--64, 81(2)201--221,
84(1)77--105, 88(1)83--98, 88(1)127--138, 97(1)83--103,
98(1)137--161, 98(2)263--287, 99(1)1--63, 100(1)105--135,
100(1)223--241, 103(1)51--106, 104(1)129--159, 109(1)181--224,
112(1)99--143, 112(2)419--420, 115(1)43--62, 117(1)289--301,
119(1)173--185, 123(1)61--87, 125(2)345--353, 127(2)255--267,
130(1)17--47, 133(1)23--33
-
applied, 75(1)3--13
-
approach, 71(2)209--226, 71(3)347--380, 79(1)179--193, 80(1)105--115,
81(1)65--75, 85(2)253--281, 85(2)305--331, 90(1)37--46,
93(1)91--113, 97(1)1--66, 100(2)385--417, 101(2)265--288,
104(2)263--283, 109(1)123--143, 109(1)181--224, 112(1)53--97,
119(1)23--38, 128(1)63--74, 128(1)159--177, 129(1)167--186,
129(2)337--367, 130(1)203--236, 131(2)271--294, 133(1)105--140,
133(2)387--419, 135(2)171--220, 135(2)267--288, 136(1)183--216
-
approximant, 94(2)175--197
-
approximate, 77(3)249--266, 80(2)227--262, 81(1)97--115, 92(1)107--117,
92(1)191--211, 100(1)243--251, 102(2)283--305, 106(2)265--281,
119(1)173--185, 125(2)345--353, 127(1)99--121, 133(1)141--164
-
approximately, 100(1)157--184
-
Approximating, 102(2)283--305, 134(2)473--491
-
approximation, 70(1)35--64, 74(1)19--35, 77(3)331--343, 79(1)151--162,
79(1)195--207, 79(1)227--239, 81(1)77--95, 84(2)151--164,
88(2)313--324, 92(2)269--289, 93(1)91--113, 94(1)63--69,
94(2)175--197, 100(1)243--251, 102(2)283--305, 103(1)107--135,
106(2)265--281, 107(1)145--163, 117(1)113--130, 123(1)95--115,
125(2)295--313, 125(2)345--353, 125(2)355--360, 127(2)269--286,
130(1)5--16, 133(1)65--84, 133(1)105--140, 133(1)141--164,
133(1)165--185, 134(1)51--61, 134(2)473--491
-
approximation-preserving, 107(1)145--163
-
APS, 119(1)145--171
-
Apt, K. R., 86(1)35--79
-
Apt, K. R., see Bol, R. N.
-
arbitrarily, 76(1)53--91
-
arbitrary, 70(1)3--34, 82(2)403--408, 91(1)101--117, 93(2)303--319,
96(1)157--174, 97(2)217--231, 99(2)279--290, 100(2)325--346,
106(2)327--335, 108(1)83--102, 116(2)359--371, 116(2)415--419,
117(1)187--198, 123(2)329--340, 128(1)3--30, 129(2)293--307,
133(1)49--64, 134(1)51--61, 134(2)493--528
-
arbres, 72(2)z--z, 117(1)67--89, 117(1)187--198
-
arc, 95(2)245--261
-
Arcangeli, J.-P., 71(2)177--191
-
Arcangeli:1990:PPP, 71(2)177--191
-
architecture, 71(1)47--77, 76(2)331--341, 84(2)179--197, 100(1)223--241,
116(2)317--337, 120(2)215--227, 125(1)61--90, 128(1)127--157,
128(1)241--252, 130(1)85--99, 132(1)377--385
-
area, 82(1)157--163, 97(2)285--300, 100(1)223--241, 130(1)73--84
-
area-time, 82(1)157--163
-
Aretz, F. E. J., Kruseman, 104(2)313--323
-
Arfi, M., 91(1)71--84
-
Arfi:1991:POH, 91(1)71--84
-
argument, 82(1)113--129, 89(1)63--106, 97(2)263--284
-
Arikawa, S., 95(1)97--113
-
Arikawa:1992:LEF, 95(1)97--113
-
arising, 116(2)339--357
-
arithmetic, 71(1)3--28, 73(1)47--60, 82(1)85--93, 93(2)303--319,
94(2)373--393, 95(2)207--229, 111(1)145--189, 112(2)291--309,
123(2)291--314, 127(1)1--23, 129(2)407--417, 130(2)239--319,
133(1)141--164, 133(2)307--340
-
arithmetical, 79(2)341--355, 125(2)229--241
-
arity, 122(1)263--283
-
Arnold, A., 106(1)1--z
-
Arnold:1992:P, 106(1)1--z
-
Arques, Didier, 117(1)45--65
-
Arques:1993:CCP, 117(1)45--65
-
arrangement, 92(2)319--336
-
array, 71(1)47--77, 81(1)97--115, 85(1)53--74, 87(2)329--346,
88(1)59--82, 88(1)151--170, 95(2)207--229, 116(2)317--337,
120(2)215--227
-
arrival, 125(1)91--109, 130(1)73--84
-
arrows, 75(1)157--215, 103(1)51--106
-
artificial, 73(2)155--175, 75(1)85--110, 76(2)309--322, 80(2)125--151,
80(2)337--345, 81(2)223--235, 83(1)97--130, 83(2)287--300,
86(1)3--33, 86(1)35--79, 86(1)81--92, 86(1)93--106, 86(1)107--139,
86(1)z--z, 87(1)43--80, 87(1)115--142, 87(1)221--228, 89(1)63--106,
89(1)137--159, 90(2)433--456, 93(1)159--167, 93(2)245--264,
95(1)75--95, 95(1)97--113, 95(1)115--142, 96(1)35--72,
104(1)109--128, 104(2)207--233, 105(1)7--25, 105(1)27--56,
107(2)277--303, 107(2)305--332, 110(1)131--144, 113(2)349--370,
113(2)371--375, 114(2)231--245, 119(1)23--38, 119(1)z--z,
119(2)363--371, 120(1)1--44, 120(1)157--168, 122(1)97--117,
122(1)225--262, 122(1)263--283, 124(1)127--148, 127(2)351--386,
129(2)337--367, 130(2)239--319, 131(1)1--28, 131(1)121--138,
131(1)181--195, 131(1)197--218, 133(2)205--265, 133(2)307--340,
133(2)387--419, 134(2)545--557, 135(1)67--110, 135(1)111--137
-
Artin--Schreier, 94(2)295--310
-
ary, k-, 103(1)143--159
-
ary, m-, 117(1)99--112, 129(2)407--417
-
as-failure, negation-, 94(2)281--294
-
as-processes, proofs-, 135(1)11--65
-
ascent, 104(2)299--312, 104(2)313--323
-
Askey-Gasper, 117(1)199--202
-
Aslam, Javed A., 112(2)355--369
-
Aslam:1993:LAC, 112(2)355--369
-
aspect, 71(1)133--153, 81(1)147--153, 84(2)281--292, 90(1)1--15,
98(1)z--z, 123(1)z--z, 125(1)17--43
-
Asser, 82(2)329--339
-
assertion, 97(1)67--81, 105(2)167--215, 120(1)123--155, 131(1)95--120
-
assertional, 83(1)97--130
-
assignment, 87(1)189--202, 87(1)203--208, 102(1)135--163,
104(2)285--298, 107(2)253--276, 125(1)17--43, 129(1)39--77,
130(1)73--84
-
assisted, computer-, 111(1)253--290
-
associated, 79(1)37--109, 92(1)191--211, 98(2)199--247, 102(2)307--328,
110(1)53--78, 117(1)45--65, 123(2)397--406
-
associative, 79(1)227--239
-
associative, left-, 106(2)283--308
-
associative-commutative, 118(2)167--191
-
associativity, 91(2)129--179, 104(1)29--51
-
associée, 117(1)45--65
-
Assous, Marc Roland, 123(1)9--19
-
Assous:1994:FLP, 123(1)9--19
-
assuming, 88(1)183--189
-
assumption, 86(1)35--79, 92(1)107--117, 114(2)231--245, 122(1)49--68
-
Astesiano, E., 96(1)249--283
-
Astesiano:1992:OST, 96(1)249--283
-
A/sup, 72(2)203--223, 72(2)z--z
-
Asveld, P. R. J., 81(2)269--288
-
Asveld:1991:AGB, 81(2)269--288
-
asymmetric, 125(1)61--90
-
asymmetry, 117(1)3--22
-
asymptotic, 79(1)37--109, 92(1)3--17, 92(2)249--268, 95(2)279--305,
102(2)355--365, 108(2)291--310, 116(1)195--226, 123(2)291--314,
125(1)61--90, 134(2)559--565
-
asynchronous, 74(2)121--162, 81(2)237--256, 85(1)155--170,
109(1)257--274, 119(1)223--232, 128(1)3--30, 132(1)179--207,
135(2)289--318
-
ATMs, 76(2)323--330
-
atomic, 72(2)203--223, 72(2)z--z, 75(1)15--43, 77(1)131--159,
94(1)141--158, 120(1)157--168, 123(2)259--272
-
atomicity, 124(1)41--70, 128(1)3--30
-
atoms, 76(2)309--322, 86(1)81--92, 93(1)115--141, 107(2)277--303
-
attempts, 133(2)307--340
-
attribute, 71(2)241--264, 71(2)z--z, 97(1)83--103, 98(1)65--76,
98(1)z--z, 108(2)185--236, 118(2)99--166, 134(2)287--309
-
attribute-matching, 92(1)107--117
-
attribute-oriented, 133(2)361--385
-
attributed, 108(2)185--236, 119(1)3--22, 119(1)z--z
-
attributed, relationally-, 73(2)213--230
-
attributes, 81(2)295--304, 119(1)187--214, 122(1)263--283
-
Atzeni, P., 77(3)291--308
-
Atzeni:1990:EOQ, 77(3)291--308
-
augmented, 113(2)231--258
-
Augusteijn, L., 104(2)313--323
-
Augusteijn, L., see Leermakers, R.
-
Aumann, Yonatan, 128(1)3--30
-
Aumann:1994:CCF, 128(1)3--30
-
Ausiello, G., 72(2)97--117, 95(2)245--261
-
Ausiello:1990:DMD, 72(2)97--117
-
Ausiello:1992:LCM, 95(2)245--261
-
author, 79(1)241--256, 120(2)197--213
-
Auto-similarité, 117(1)153--167
-
auto-similarity, 117(1)153--167
-
autodistance, 102(2)253--281
-
autoepistemic, 103(2)365--386
-
automata, -, 110(1)1--51
-
automata, k-, 106(2)337--349
-
automata, M-, 93(2)227--244
-
automata, X-, 110(1)1--51
-
automata-like, 88(2)351--363
-
automata-theoretic, 79(1)137--150
-
automated, 87(1)221--228, 105(1)141--166, 110(1)169--196, 135(1)67--110
-
automatic, 71(2)227--239, 71(2)z--z, 79(1)37--109, 91(2)265--284,
94(2)161--174, 98(2)163--197, 104(2)161--183, 108(2)385--391,
123(1)55--60, 135(1)67--110, 135(2)319--343
-
automatic, q-, 108(2)385--391
-
automation, 94(2)223--236, 106(2)183--219
-
automatized, 71(2)227--239
-
Automatizing, 135(2)319--343
-
automaton, 76(2)223--242, 78(2)363--376, 79(1)151--162, 84(2)281--292,
88(1)117--125, 88(2)231--251, 91(1)57--69, 92(1)119--144,
92(1)181--189, 92(2)249--268, 93(2)227--244, 95(1)159--168,
96(2)305--324, 97(2)233--244, 97(2)245--262, 98(2)347--356,
106(1)61--86, 108(1)83--102, 115(2)391--399, 116(2)305--316,
116(2)373--398, 119(2)233--245, 120(2)197--213, 123(2)199--237,
125(2)243--257, 125(2)315--328, 131(2)295--310, 134(1)253--262,
134(2)387--401, 136(2)291--332
-
automaton, Finite-, 88(1)99--116
-
automaton, finite-, 88(1)99--116, 119(1)215--222
-
automaton, R-, 79(1)151--162
-
automaton-definable, 103(1)143--159
-
automorphism, 95(2)263--277
-
autonomous, 115(1)3--41
-
auxiliary, 91(2)265--284
-
availability, 125(1)131--147, 128(1)179--210
-
average, 73(1)61--79, 74(3)273--298, 79(1)37--109, 85(1)117--134,
92(1)19--31, 92(1)165--179, 93(2)201--225, 100(1)243--251,
106(2)243--264, 108(2)291--310, 113(1)3--34, 117(1)99--112,
118(1)81--98, 123(1)95--115, 132(1)415--425, 133(2)421--442,
134(2)529--536
-
average-case, 79(1)37--109, 92(1)165--179, 92(1)z--z, 113(1)3--34,
117(1)99--112, 133(1)105--140
-
Averbuch, A., 86(2)143--203
-
Averbuch:1991:CAM, 86(2)143--203
-
AVL, 72(2)251--264, 72(2)z--z, 127(2)199--228
-
AVL-tree, 71(3)419--424
-
aware, resource-, 135(1)155--169
-
axiom, 83(2)169--188, 85(2)231--251, 90(1)199--208, 94(2)281--294,
96(1)73--155, 97(1)157--173, 103(2)395--408, 105(1)141--166,
113(2)293--348, 114(1)63--91, 116(2)291--303, 118(2)167--191,
121(1)351--409
-
axiom-schemes, 100(2)303--324
-
axiomatic, 82(2)373--388, 105(1)7--25, 133(2)307--340
-
axiomatisations, 114(1)63--91
-
axiomatization, 73(1)47--60, 77(1)161--194, 79(2)341--355,
90(1)151--170, 91(2)181--203, 96(1)35--72, 101(2)289--335,
118(1)67--79, 118(2)167--191, 119(1)103--125, 121(1)411--440
-
ayant, 123(1)89--94
-
Azar, Y., 83(2)275--285
-
Azar, Yossi, 130(1)73--84
-
Azar:1991:PCM, 83(2)275--285
-
Azar:1994:LLB, 130(1)73--84