Index file section A for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
A
-
Abelian, 11(2)167--180, 25(3)267--310
-
abstract, 14(2)187--193, 15(3)223--249, 18(1)1--31, 20(3)209--263,
24(1)73--94, 24(3)221--237, 26(1)83--103, 26(1)121--130,
26(1)131--147, 27(3)255--286, 28(1)13--43, 30(2)139--204,
31(3)263--295, 32(1)121--156, 33(2)139--174, 33(2)279--304,
34(1)83--133, 34(1)227--240, 34(3)289--313
-
abstraction, 14(3)305--315, 17(2)113--149, 20(1)3--32, 32(1)121--156,
34(1)227--240
-
acceleration, 33(1)117--138
-
acceptability, 23(1)37--48
-
acceptance, 32(3)321--330
-
accepting, 23(1)95--101
-
acceptor, 10(3)249--272, 16(1)75--91, 23(1)37--48, 23(1)95--101,
24(1)105--117, 24(2)179--194, 24(3)313--322, 29(1)185--227,
32(3)227--247
-
access, 21(2)145--161, 23(1)11--36, 23(1)103--105, 28(3)263--276
-
access, random-, 13(3)331--336, 28(3)263--276
-
accessibility, 21(3)237--253, 26(1)25--52
-
Ackermann, 16(2)115--148, 32(1)173--183
-
action, 34(1)135--156
-
acyclic, 10(2)111--121, 13(3)315--322, 18(1)89--93, 19(1)69--84,
22(3)233--251, 32(1)185--199
-
Adamek, J., 27(1)225--231
-
Adamek:1983:SCA, 27(1)225--231
-
adaptation, 24(3)337--347
-
adaptive, 29(1)1--25
-
addition, 23(2)107--127, 28(3)263--276
-
additive, 10(1)1--18, 19(1)39--67
-
address, 14(2)155--186
-
addressing, 24(1)35--52
-
adequacy, 18(2)149--171
-
adherence, 19(1)29--38, 21(3)341--349, 31(1)139--149, 33(1)3--11
-
Adleman, 21(1)1--25
-
admissible, 24(2)207--219, 26(1)131--147
-
admit, 31(1)49--59
-
Adult, 24(1)53--71
-
advice, 15(3)223--249
-
AFL, 22(3)253--264
-
AFL, semi-, 32(1)47--60
-
AFLs, semi-, 14(2)187--193
-
aggregating, 33(1)117--138, 33(1)z--z
-
Ainhirn, W., 21(2)163--178
-
Ainhirn:1982:MID, 21(2)163--178
-
Aizawa, K., 24(2)161--177
-
Aizawa, K., see Nakamura, A.
-
Alaiwan, H., 31(3)297--306
-
Alaiwan:1984:EIB, 31(3)297--306
-
Albert, J., 16(3)291--305
-
Albert:1981:LHR, 16(3)291--305
-
Alder, A., 15(2)201--211
-
Alder:1981:ACA, 15(2)201--211
-
algebra, 10(3)221--247, 12(3)229--254, 13(1)109--136, 14(3)305--315,
15(1)1--25, 15(1)77--110, 15(2)159--179, 15(2)201--211, 16(1)93--98,
17(1)99--102, 17(2)151--161, 17(3)343--347, 19(1)39--67,
20(2)95--207, 21(1)91--98, 21(1)99--103, 21(3)281--313,
21(3)315--340, 22(1)95--126, 22(3)317--330, 23(1)95--101,
23(2)171--185, 23(2)187--210, 24(1)73--94, 25(1)67--94,
25(2)171--192, 27(1)225--231, 27(3)255--286, 28(3)287--298,
30(1)91--131, 31(1)31--40, 32(1)1--24, 32(1)61--76, 32(1)201--213,
32(3)279--295, 33(1)117--138, 33(2)139--174, 33(2)327--329,
33(2)331--334, 34(1)33--82, 34(1)169--206, 34(1)207--213,
34(3)315--335
-
algebra, V-, 17(3)343--347
-
algebraic, 11(3)321--330, 12(2)175--192, 15(1)77--110, 17(2)113--149,
18(1)1--31, 19(3)331--335, 20(3)209--263, 21(3)281--313,
21(3)315--340, 22(1)95--126, 24(3)239--277, 25(2)95--169,
25(3)267--310, 26(3)243--286, 27(1)39--60, 27(1)167--196,
27(3)255--286, 28(1)45--81, 29(1)49--73, 30(2)139--204,
31(1)175--209, 31(3)227--261, 31(3)263--295, 33(2)175--193,
34(1)169--206, 34(3)275--288, 34(3)289--313
-
algebraic, linear-, 13(1)109--136
-
algebraically, 10(1)1--18, 24(3)239--277
-
ALGOL, 12(3)265--290, 20(2)95--207
-
algorithmic, 12(1)61--81, 15(2)201--211, 18(1)1--31, 21(2)179--212,
21(3)269--279, 22(1)71--93, 32(1)61--76
-
allocation, 13(3)331--336, 16(3)307--319, 22(1)71--93
-
allocation, memory-, 22(1)71--93
-
allowing, 34(3)289--313
-
almost, 18(1)95--103
-
alphabet, 10(1)19--35, 13(3)331--336, 14(1)63--77, 14(1)119--123,
16(2)187--198, 18(2)221--226, 19(3)231--251, 22(3)297--315,
22(3)331--346, 23(1)69--82, 23(1)83--89, 33(2)305--326,
33(2)327--329, 34(1)135--156
-
alternating, 11(1)71--77, 21(2)179--212, 27(1)61--83, 32(3)321--330
-
alternation, 18(1)105--111, 23(3)333--337
-
Alternative, 26(1)121--130
-
ambiguity, 12(2)127--134, 12(2)135--159, 23(1)95--101, 24(3)313--322,
31(1)61--71
-
ambiguous, 28(1)197--214
-
ambiguous, non-, 26(1)221--223
-
analysis, 11(1)71--77, 12(2)135--159, 12(2)193--228, 14(1)79--90,
17(1)99--102, 17(2)213--216, 17(2)217--228, 23(2)107--127,
23(2)211--215, 30(2)139--204, 31(3)227--261, 33(1)85--94,
34(1)227--240
-
analytic, 22(1)195--208
-
ancestor, 19(3)231--251
-
and-gates, 16(2)177--185
-
ANDash, 24(2)207--219
-
AND/OR, 24(2)207--219
-
and/or, 26(1)25--52
-
Andreka, H., 17(2)193--212, 17(3)259--278
-
Andreka:1982:CLRa, 17(2)193--212
-
Andreka:1982:CLRb, 17(3)259--278
-
Angluin, D., 12(2)161--173
-
Angluin:1980:CPP, 12(2)161--173
-
anomalies, 25(2)193--120
-
Anonymous, 33(1)z--z
-
Anonymous:1984:SCF, 33(1)z--z
-
answer-producing, 24(1)73--94
-
Any, 22(1)195--208
-
Apostolico, A., 22(3)297--315
-
Apostolico:1983:OLD, 22(3)297--315
-
Applicability, 10(1)37--44
-
application, 13(3)271--293, 14(2)155--186, 18(1)41--67, 18(2)115--148,
18(2)207--220, 19(2)189--201, 23(1)49--68, 27(1)3--38, 31(1)31--40,
32(1)121--156, 34(1)3--15
-
applicative, 31(1)31--40, 32(1)121--156
-
approach, 12(1)83--96, 14(2)195--208, 15(2)117--157, 18(1)41--67,
18(1)95--103, 18(3)227--258, 23(1)11--36, 31(1)49--59
-
appropriate, 19(3)337--341
-
approximability, 15(3)251--277
-
approximate, 23(3)273--286
-
approximation, 10(1)1--18, 10(1)53--61, 11(3)321--330, 11(3)331--335,
11(3)337--339, 12(2)161--173, 12(3)303--314, 14(3)289--303,
15(2)201--211, 15(3)251--277, 16(2)231--235, 19(2)189--201,
20(3)323--352, 22(1)195--208, 23(3)273--286, 24(1)73--94,
24(3)291--300, 28(1)135--150, 28(3)287--298, 29(1)1--25,
31(1)125--138
-
Apt, K. R., 28(1)83--109, 33(1)65--84
-
Apt:1984:FTR, 33(1)65--84
-
Apt:1984:TYH, 28(1)83--109
-
Araki, T., 15(1)51--75
-
Araki:1981:RFL, 15(1)51--75
-
arbitrary, 13(2)175--192, 19(3)305--320, 22(3)285--296, 32(1)201--213,
33(1)13--43, 34(1)135--156
-
arc, 34(1)33--82
-
architecture, 24(2)123--130, 32(1)157--172
-
area, 23(1)11--36, 24(2)123--130
-
argument, 32(1)121--156, 32(3)279--295
-
Ari, M., Ben-, 11(3)341--z
-
arithmetic, 11(2)123--143, 12(1)97--108, 18(1)105--111, 19(1)17--28,
22(3)265--284, 24(1)35--52, 29(1)49--73, 31(1)125--138
-
arithmetical, 14(3)289--303, 17(2)113--149, 21(3)255--267
-
arity, 32(3)227--247
-
Armstrong, 34(3)343--350
-
Arnold, A., 11(2)181--205, 26(1)221--223
-
Arnold:1980:MII, 11(2)181--205
-
Arnold:1983:ROL, 26(1)221--223
-
array, 18(3)301--323, 21(2)145--161, 23(1)37--48, 24(2)161--177,
24(2)179--194, 24(2)195--205, 33(1)3--11, 33(1)z--z
-
arrival, 23(2)107--127
-
articulation, 32(1)185--199
-
artificial, 24(2)207--219, 32(3)297--307, 34(1)17--32
-
ascending, 16(2)211--221
-
Ashcroft, E. A., 11(3)227--245
-
Ashcroft, E. A., see Hennessy, M. C. B.
-
assertion, 13(3)239--270, 24(3)337--347, 28(1)215--221
-
assignment, 16(1)43--60, 17(2)213--216, 18(3)301--323, 23(2)187--210,
29(3)309--324
-
associated, 31(3)227--261
-
associative, 14(1)79--90, 15(2)201--211
-
assumptions, 23(2)107--127
-
Astesiano, E., 32(1)121--156, 33(1)45--63
-
Astesiano:1984:DSN, 32(1)121--156
-
Astesiano:1984:PCL, 33(1)45--63
-
asymmetrical, 24(1)1--20
-
asymptotic, 23(2)107--127, 23(2)171--185, 31(3)227--261, 33(1)117--138
-
asynchronous, 26(3)343--353, 30(1)91--131
-
asynchrony, 25(3)267--310
-
ATM, 2-, 27(1)61--83
-
ATM, TR2-, 27(1)61--83
-
atomic, 14(2)155--186, 34(1)135--156
-
attainable, 32(1)25--46
-
attribute, 17(2)163--191, 17(3)235--257, 26(1)149--195, 32(1)77--86,
33(1)107--116, 33(1)z--z
-
attributes, 32(1)185--199
-
Atzeni, P., 19(3)267--285
-
Atzeni:1982:IEB, 19(3)267--285
-
auditing, 32(1)77--86
-
Auf Der Heide, F., Meyer, 13(3)315--322
-
augmentation, 19(2)189--201
-
Ausiello, G., 12(1)83--96, 19(3)267--285
-
Ausiello, G., see Atzeni, P.
-
Ausiello:1980:TUA, 12(1)83--96
-
Austry, D., 30(1)91--131
-
Austry:1984:APS, 30(1)91--131
-
Autebert, J. M., 31(3)337--349
-
Autebert:1984:RPL, 31(3)337--349
-
automata, x-, 18(2)207--220
-
automata-theoretic, 13(3)331--336
-
automation, 10(3)273--295
-
automaton, 10(1)19--35, 13(3)331--336, 18(1)33--40, 19(3)331--335,
21(1)39--53, 22(1)57--69, 23(1)37--48, 24(3)313--322, 26(1)221--223,
28(3)329--336, 30(2)205--239, 31(3)317--335, 32(3)227--247
-
automorphism, 14(1)1--17, 21(1)91--98
-
auxiliary, 13(3)271--293, 32(1)157--172, 33(1)65--84
-
Avenhaus, J., 32(1)61--76, 32(3)279--295
-
Avenhaus:1984:CIC, 32(3)279--295
-
Avenhaus:1984:NRP, 32(1)61--76
-
average, 11(3)303--320, 19(1)1--16, 29(1)1--25
-
average-case, 33(1)85--94
-
AVL, 22(1)209--217
-
AVL, k/-, 22(1)209--217
-
axiom, 14(1)113--118, 21(2)231--235, 31(1)13--29
-
axiomatic, 24(2)131--141, 31(1)49--59
-
axiomatisation, 34(3)343--350
-
axiomatization, 34(3)343--350
-
axiomatized, 34(1)17--32