Index file section A for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
A
-
a, DAL-, 36(2)251--264
-
A0520, 65(2)189--196, 65(2)197--212
-
Aalbersberg, I. J., 60(1)1--82
-
Aalbersberg, I. J. J., 40(2)149--162
-
Aalbersberg:1985:CSP, 40(2)149--162
-
Aalbersberg:1988:TT, 60(1)1--82
-
Abadi, Martin, 65(1)35--83
-
Abadi:1989:PTP, 65(1)35--83
-
Abdali, S. K., 40(2)257--274
-
Abdali:1985:TCR, 40(2)257--274
-
Abdallah, M. A., Nait, 66(2)205--232
-
abelian, 35(2)179--189, 41(1)81--93, 44(2)199--208, 48(1)127--132,
54(2)165--179, 56(2)211--222, 58(1)201--208
-
Abiteboul, Serge, 62(1)3--38
-
Abiteboul:1988:RHD, 62(1)3--38
-
Ablyv, F. M., 57(1)87--95
-
Ablyv:1988:CPP, 57(1)87--95
-
Abramsky, S., 53(2)225--241
-
Abramsky:1987:OET, 53(2)225--241
-
absolutely, 53(1)25--65
-
abstract, 35(2)329--336, 36(1)27--58, 37(2)151--181, 37(3)269--304,
37(3)305--336, 38(2)193--122, 43(2)123--147, 43(2)213--238,
46(1)13--45, 52(3)205--237, 56(1)17--36, 57(1)3--45, 59(0)3--209,
59(1)157--180, 64(1)55--66, 65(1)85--119, 67(1)87--97, 68(1)71--87,
69(1)1--53, 69(2)117--242
-
abstracting, 49(2)121--143
-
abstraction, 37(1)77--121, 39(1)47--68, 51(1)129--176, 59(1)25--84,
64(3)221--269, 65(1)85--119, 66(1)27--43
-
acceptability, 37(2)151--181
-
acceptance, 61(2)137--147, 68(2)123--134
-
accepting, 47(2)131--147, 61(2)137--147
-
acceptor, 39(2)89--106, 43(1)107--115, 52(1)165--171, 66(3)273--287
-
access, 38(1)1--16, 39(2)89--106, 58(0)3--397, 58(1)3--16, 58(1)379--397,
61(2)121--136, 63(2)203--221
-
access, random-, 47(3)315--321, 48(1)53--73, 58(1)379--397,
59(3)297--307, 61(2)121--136
-
Ackermann, 43(1)99--105, 57(2)327--330
-
action, 37(3)245--267, 52(1)91--143, 53(1)151--167, 53(1)z--z,
58(1)183--199, 59(1)25--84, 63(3)275--294, 65(2)249--263
-
activation, 56(1)59--133
-
active, 48(2)201--228
-
active, n-, 48(2)201--228
-
activity, 59(3)259--276
-
acyclic, 35(2)165--177, 37(1)77--121, 47(2)205--218, 58(1)325--346,
60(1)1--82, 61(2)175--198, 62(1)67--104, 62(1)221--233
-
acyclicity, alpha-, 35(2)165--177
-
acyclicity, Berge-, 35(2)165--177
-
acyclicity, gamma-, 35(2)165--177
-
Adamek, J., 43(2)293--313
-
Adamek:1986:CS, 43(2)293--313
-
adaptive, 66(1)105--111
-
ADD, 48(2)273--281
-
Adding, 37(3)357--360
-
addition, 44(1)69--105, 46(2)107--140, 47(3)299--313, 56(3)289--301,
64(2)135--157, 64(3)343--350
-
adherence, 46(1)101--106, 47(2)159--168
-
adic, q-, 65(2)249--263, 65(2)z--z
-
Adic, Q-, 65(2)249--263
-
adjacent, 36(2)265--289
-
adjacent, two-, 41(2)169--184
-
adjoints, 37(3)269--304
-
adjunction, 41(1)95--104
-
admissible, 38(1)35--53
-
advantages, 57(1)97--111
-
affine, 44(3)333--339
-
Affine, Self-, 65(2)153--169
-
affine, self-, 65(2)153--169
-
agents, 37(3)305--336
-
agreement, 41(1)121--123
-
aided, Computer-, 61(1)49--66
-
Ait-Kaci, H., 45(3)293--351
-
Ait-Kaci:1986:ASA, 45(3)293--351
-
Akker, R., op den, 66(1)65--85
-
Akyildiz, I. F., 64(2)203--219
-
Akyildiz:1989:ESO, 64(2)203--219
-
Albert, M. H., 41(1)121--123, 43(1)117--122
-
Albert:1985:PEC, 41(1)121--123
-
Albert:1986:TSF, 43(1)117--122
-
Alexander, 69(1)55--68
-
Alexi, Werner, 61(2)225--258
-
Alexi:1988:EVP, 61(2)225--258
-
algebra, 35(1)89--107, 35(2)329--336, 36(2)203--216, 37(1)77--121,
37(3)269--304, 39(1)69--88, 39(2)135--153, 40(2)329--337,
41(1)109--112, 43(1)117--122, 43(2)123--147, 43(2)149--167,
43(2)189--200, 44(3)333--339, 46(1)67--82, 46(2)285--303,
50(2)137--181, 50(3)323--349, 51(1)229--238, 51(3)331--339,
52(1)59--75, 52(3)307--340, 53(1)125--150, 53(1)z--z, 54(1)65--85,
54(1)103--128, 56(1)37--57, 57(1)3--45, 57(1)147--152, 58(1)17--56,
59(3)277--286, 63(3)253--274, 63(3)275--294, 64(2)135--157,
64(2)159--173, 65(2)243--248, 67(1)87--97, 67(1)115--120,
68(3)347--348
-
Algebra, Techniques-, 58(1)183--199, 64(1)1--13, 66(2)205--232
-
algebra-framework, 44(3)333--339
-
algebraic, 35(2)329--336, 37(3)269--304, 37(3)305--336, 38(2)223--247,
39(1)3--13, 40(2)101--130, 40(2)257--274, 40(2)329--337,
41(1)33--50, 41(2)325--330, 42(1)1--122, 42(2)123--249,
43(2)123--147, 43(2)149--167, 44(3)333--339, 45(3)293--351,
46(1)13--45, 46(2)285--303, 46(2)313--318, 46(2)329--338,
49(2)121--143, 50(2)103--135, 50(2)137--181, 51(1)117--127,
52(3)205--237, 52(3)251--267, 52(3)307--340, 54(1)103--128,
55(2)265--289, 56(1)37--57, 57(1)3--45, 57(1)147--152,
57(2)205--224, 60(2)177--229, 61(1)1--16, 61(2)199--224, 66(1)1--14,
66(2)205--232, 67(2)143--172, 67(2)261--282, 68(1)37--47,
69(1)69--115
-
algebraic, logico-, 66(2)205--232
-
algebraically, 66(1)1--14
-
algebraically-oriented, 63(1)63--90
-
algebras, K-, 57(2)239--249
-
algorithmic, 40(2)195--210, 40(2)211--235, 46(2)285--303, 48(2)257--272
-
Algorithms, Programming-, 58(0)3--397, 58(1)3--16,
58(1)103--128, 58(1)143--154, 58(1)183--199, 59(1)115--131,
59(3)297--307, 60(3)255--283, 60(3)341--381, 62(0)3--233,
62(1)67--104, 62(1)105--122, 62(1)123--185, 63(2)157--184,
63(3)295--302, 64(1)39--53, 64(1)83--96, 64(1)107--118,
64(3)343--350, 65(1)1--33, 66(2)157--180, 66(2)181--203,
67(1)65--73
-
all, 40(2)163--174, 52(3)341--342, 58(1)17--56
-
Allender, E., 36(2)231--237
-
Allender:1985:ILB, 36(2)231--237
-
allocation, location-, 54(1)87--102
-
Allouche, Jean-Paul, 65(2)123--130
-
Allouche:1989:SRF, 65(2)123--130
-
allowed, 52(3)281--306
-
almost, 43(2)169--188
-
almost-confluent, 35(2)227--243, 44(2)237--245
-
almost-equal-delay, 61(1)49--66
-
ALNA, 40(2)211--235
-
Alon, Noga, 64(3)331--342
-
Alon:1989:NTB, 64(3)331--342
-
alpha, 45(2)193--260, 47(1)1--14, 59(3)317--325, 61(1)17--24
-
alpha-acyclicity, 35(2)165--177
-
alphabet, 35(2)179--189, 35(2)227--243, 35(2)295--312, 37(3)357--360,
38(1)137--142, 39(2)171--188, 41(1)109--112, 46(2)175--195,
51(3)301--308, 52(1)1--14, 56(2)233--241, 60(3)255--283,
61(2)279--282, 63(1)1--17, 63(2)157--184, 63(3)333--348,
65(2)143--148, 65(2)153--169, 67(1)19--35, 67(1)121--128,
69(3)319--345
-
alphabetic, 46(1)101--106, 68(3)347--348
-
alphabetical, 35(2)191--214, 48(2)183--199
-
Alt, H., 36(2)333--339
-
Alt:1985:MEN, 36(2)333--339
-
alternating, 36(2)291--308, 41(2)305--318, 41(2)331--339, 47(2)149--158,
54(2)267--276, 54(2)331--339, 58(1)263--324, 61(2)149--174,
63(2)203--221, 66(3)273--287, 67(1)75--85, 67(1)99--110,
68(1)19--36, 68(2)175--202
-
alternation, 41(2)305--318, 43(1)107--115, 54(2)267--276, 56(3)289--301
-
alternatives, 59(3)211--234
-
ambiguity, 49(2)283--309
-
Ambos-Spies, K., 51(1)177--204
-
Ambos-Spies, Klaus, 63(1)43--61
-
Ambos-Spies:1987:DPT, 51(1)177--204
-
Ambos-Spies:1989:RCH, 63(1)43--61
-
America, P., 60(2)109--176
-
America:1988:DES, 60(2)109--176
-
amortised, 48(2)273--281
-
Amortization, 66(2)181--203
-
Amortized, 48(2)273--281
-
analysing, 46(2)285--303
-
analysis, 36(2)145--171, 36(2)251--264, 39(1)15--25, 39(1)z--z,
40(2)301--314, 43(1)81--89, 46(2)141--158, 46(2)239--259,
47(3)299--313, 49(2)267--282, 51(1)27--52, 52(3)269--280,
53(1)99--124, 54(1)129--137, 55(2)265--289, 56(1)17--36,
56(1)59--133, 58(1)155--174, 59(1)157--180, 61(2)225--258,
61(2)259--277, 62(3)251--266, 63(1)91--111, 65(1)1--33, 65(1)35--83,
65(2)249--263, 65(2)z--z, 66(2)157--180, 67(2)261--282, 68(1)57--70,
69(1)55--68, 69(1)69--115, 69(2)117--242
-
analytic, 49(2)283--309
-
angelic, 43(2)123--147
-
Angluin, D., 66(3)255--272
-
Angluin:1989:TS, 66(3)255--272
-
anonymous, 39(1)z--z, 49(2)z--z, 53(1)z--z, 53(2)169--185, 65(2)z--z
-
Anonymous:1985:TCF, 39(1)z--z
-
Anonymous:1987:ECT, 53(1)z--z
-
Anonymous:1987:TIC, 49(2)z--z
-
Anonymous:1989:CAC, 65(2)z--z
-
answer, 51(3)309--324, 56(3)339--344, 69(3)289--318
-
answering, 69(1)1--53
-
aperiodic, 64(3)271--280
-
application, 35(2)271--293, 37(2)217--243, 48(2)135--144, 49(2)113--119,
49(2)171--184, 49(2)217--237, 55(2)141--181, 57(1)47--86,
57(2)251--282, 64(1)107--118, 64(2)175--189, 66(2)157--180,
69(1)69--115
-
applications, systems-, 42(1)1--122
-
applicative, 45(1)1--61, 46(2)197--217
-
approach, 36(1)1--19, 38(2)249--267, 39(2)155--169, 40(1)57--66,
45(3)293--351, 46(1)13--45, 54(1)65--85, 55(1)87--136, 56(1)17--36,
57(1)97--111, 58(1)3--16, 66(1)27--43, 66(2)205--232, 67(1)37--54,
68(3)277--302, 69(1)55--68
-
approximate, 43(2)169--188
-
Approximating, 48(2)145--152
-
approximation, 36(2)309--317, 38(2)157--165, 38(2)293--306, 39(1)69--88,
39(2)207--224, 39(2)225--237, 40(2)195--210, 40(2)319--322,
41(2)125--139, 41(2)319--323, 42(1)1--122, 44(1)1--16,
46(2)329--338, 48(2)145--152, 48(2)257--272, 51(1)129--176,
51(1)177--204, 53(2)335--343, 54(1)129--137, 54(2)341--343,
57(1)131--145, 57(2)239--249, 58(1)183--199, 64(1)15--23,
66(1)1--14, 68(1)1--17
-
approximative, 46(2)329--338, 66(1)1--14
-
arbiters, 43(2)277--291
-
arbitrary, 36(1)1--19, 37(3)269--304, 38(1)55--68, 42(1)1--122,
45(1)87--119, 45(2)193--260, 49(2)239--265, 52(3)177--191,
55(1)87--136, 57(2)283--302, 59(1)133--155, 59(3)211--234,
61(1)83--92, 62(3)289--310, 64(1)15--23, 67(2)203--260
-
arbre, 60(3)255--283
-
arc, 49(1)81--84
-
architectural, 64(2)175--189
-
architecture, 47(1)15--26, 64(2)175--189, 64(2)191--201
-
area, 52(3)193--203
-
argument, 66(2)181--203
-
arithmetic, 36(2)333--339, 54(1)65--85, 56(3)289--301, 65(0)123--270,
65(2)249--263, 65(2)z--z
-
arithmetical, 51(1)1--26, 64(1)119--124
-
Armbruster, D., 56(1)3--15
-
Armbruster:1988:PDM, 56(1)3--15
-
Arnold, A., 39(2)333--335
-
Arnold, Andre, 61(2)289--297
-
Arnold:1985:SCR, 39(2)333--335
-
Arnold:1988:LDF, 61(2)289--297
-
Arques, D., 58(1)3--16
-
Arques:1988:CAC, 58(1)3--16
-
arrangement, 58(1)209--229
-
array, 57(0)3--159, 57(1)47--86, 57(2)225--238, 59(3)259--276,
60(1)83--108
-
arrival, 52(3)269--280
-
Artalejo, M., Rodriguez, 39(2)189--206
-
Artalejo, M., Rodriguez-, 68(3)277--302
-
artificial, 35(2)129--164, 44(2)127--153, 45(3)293--351, 54(1)3--28,
54(1)29--51, 56(3)277--288, 58(1)155--174, 59(3)287--296,
62(0)3--233, 62(1)187--220, 65(1)1--33, 66(2)205--232,
66(3)255--272, 67(2)173--201, 67(2)203--260, 68(2)135--154,
68(2)203--220
-
artin, 43(1)11--30
-
Arvind, V., 68(2)123--134
-
Arvind:1989:SBR, 68(2)123--134
-
ary, 38(1)83--98
-
ary, k-, 38(1)83--98, 47(1)15--26
-
as-failure, negation-, 46(2)141--158
-
as-types, formulae-, 63(2)113--139
-
Asano, T., 38(2)249--267
-
Asano:1985:ASH, 38(2)249--267
-
ASL, 42(2)123--249
-
aspect, 50(2)103--135, 64(1)83--96
-
ASPMHFAs, 36(2)291--308
-
assemblies, 40(2)275--300
-
asserted, 58(1)347--359
-
assertion, 36(1)127--137, 39(2)189--206, 50(3)285--321, 59(1)133--155
-
assessment, 37(2)151--181
-
assignment, 36(1)71--87, 40(2)211--235, 45(2)121--157, 46(2)197--217,
64(1)97--105, 69(3)243--287
-
associated, 54(2)165--179
-
associativity, 56(3)345--353
-
assumption, 48(2)229--255, 52(3)269--280, 58(1)249--261
-
asymptotic, 40(2)275--300, 47(3)335--343, 48(1)53--73, 52(3)269--280,
53(1)99--124, 58(1)3--16, 65(2)153--169, 67(2)261--282, 68(1)1--17
-
asymptotically, 64(2)159--173
-
asynchronous, 37(3)305--336, 38(2)269--291, 39(2)107--121,
48(2)183--199, 49(2)121--143, 49(2)z--z, 54(2)277--298, 64(1)67--81
-
asynchronous, 2-, 61(1)93--102
-
asynchrony, 37(3)305--336
-
ATM, 41(2)247--269
-
ATMs, 68(1)19--36
-
atomic, 59(1)25--84, 59(3)211--234, 61(2)259--277
-
atomicity, 59(1)25--84
-
atoms, 69(3)289--318
-
attainable, 38(1)133--136
-
Attiya, H., 53(2)169--185
-
Attiya:1987:LCS, 53(2)169--185
-
attribute, 53(1)25--65, 53(1)z--z, 62(3)251--266
-
Atzeni, Paolo, 62(1)39--65
-
Atzeni:1988:SCI, 62(1)39--65
-
Auf Der Heide, F., Meyer, 41(2)325--330
-
auf der Heide, Friedhelm, Meyer, 58(1)57--68
-
Ausiello, G., 35(2)165--177
-
Ausiello:1985:EAV, 35(2)165--177
-
Ausiello:1988:SPP, 62(0)3--233
-
authorized, 58(1)3--16
-
automata, Bi-, 43(2)315--335
-
automata, Mi-, 43(2)315--335
-
automated, 40(1)67--84, 46(2)261--284, 59(3)287--296, 65(1)1--33
-
automatic, 37(2)151--181, 39(2)135--153, 52(3)177--191, 54(1)3--28,
59(3)287--296, 61(1)1--16, 68(2)175--202
-
automation, 37(2)123--150, 39(2)107--121, 39(2)171--188, 40(1)31--55,
47(1)15--26, 61(1)1--16, 62(1)3--38, 67(1)65--73, 68(1)49--56
-
automaton, 35(1)17--42, 35(2)313--327, 36(2)291--308, 38(1)1--16,
38(1)133--136, 39(2)171--188, 40(1)31--55, 40(2)149--162,
40(2)163--174, 47(1)95--98, 47(3)335--343, 48(1)117--126,
53(2)307--317, 60(3)341--381, 61(1)17--24, 63(2)141--156,
63(2)223--237, 65(2)123--130, 66(3)273--287, 67(1)65--73
-
Auxiliary, 65(1)35--83
-
average, 46(2)219--237, 52(3)269--280, 64(1)119--124
-
average-case, 62(3)251--266
-
Averbuch, Amir, 58(1)17--56
-
Averbuch:1988:CAM, 58(1)17--56
-
avoidable, 63(1)1--17, 69(3)319--345
-
avoidance, 38(2)193--122
-
Avron, A., 57(2)161--184
-
Avron:1988:SPT, 57(2)161--184
-
axiom, 37(1)77--121, 44(2)127--153, 52(3)281--306, 53(1)125--150,
66(3)299--321
-
axiom, single-, 35(2)337--344
-
axiomatic, 40(2)257--274, 54(2)199--214, 55(1)87--136, 55(2)141--181,
60(3)297--340, 61(2)199--224
-
axiomatisation, 35(1)89--107, 43(2)251--263
-
axiomatizability, 57(2)317--325
-
axiomatization, 44(2)127--153, 46(2)239--259, 47(3)329--334,
49(2)311--347, 55(1)1--45, 55(2)265--289
-
axiomatized, 52(3)307--340
-
Ayers, K., 40(2)163--174
-
Ayers:1985:DAS, 40(2)163--174