Index file section A for tcs1975.bib
Last update: Thu Sep 27 02:46:39 MDT 2018
Return to index directory
A
-
Abelson, H., 6(1)41--67
-
Abelson:1978:TTL, 6(1)41--67
-
absolutely, 1(2)185--190
-
abstract, 2(2)183--207, 4(1)1--22, 7(1)79--98, 8(1)89--127
-
acceptance, 7(2)185--195
-
accepting, 9(2)311--328
-
acceptor, 1(3)215--216, 1(4)297--316, 5(3)307--320, 6(1)1--23
-
access, 5(1)1--23
-
action, 5(1)25--50
-
addition, 1(1)1--12, 2(1)77--95, 2(3)305--315, 6(2)223--231,
8(2)135--159
-
addition/subtraction, 1(1)1--12
-
adjacency, 3(3)371--384
-
adult, 2(1)115--130
-
Ae, T., 9(2)311--328
-
Ae, T., see Inoue, K.
-
AFA, 2(1)29--44
-
AFL, 2(3)295--304, 5(1)85--100, 7(3)287--309
-
AFL, pre-, 2(3)295--304
-
AFLs, semi-, 7(3)287--309
-
Aiello, L., 5(2)135--177
-
Aiello, M., 5(2)135--177
-
Aiello, M., see Aiello, L.
-
Aiello:1977:PLS, 5(2)135--177
-
algebra, 1(3)227--235, 1(4)331--354, 2(3)305--315, 3(1)35--49,
4(1)23--46, 4(1)77--82, 5(2)101--111, 5(2)183--204, 5(2)205--209,
7(1)1--24, 7(1)117--121, 7(2)127--148, 7(3)239--249, 7(3)251--261,
7(3)325--332, 8(1)31--44, 8(2)189--201, 8(3)359--377
-
algebraic, 1(3)199--214, 2(1)97--114, 2(2)209--223, 3(2)267--272,
4(1)59--76, 6(3)255--279, 8(1)89--127, 8(3)293--323, 8(3)359--377,
9(1)39--65, 9(2)265--286
-
algebraic, hyper-, 1(3)199--214
-
algebraicized, 5(3)275--305
-
algorithm, 1(1)13--20, 1(1)21--25, 1(1)27--57, 1(2)103--123,
1(2)185--190, 1(3)193--198, 1(3)215--216, 1(3)227--235,
1(4)269--288, 1(4)289--295, 2(1)73--76, 2(2)183--207, 2(2)228--247,
2(3)345--360, 3(2)267--272, 3(3)293--304, 3(3)321--348,
3(3)349--357, 4(1)59--76, 4(1)77--82, 4(2)155--169, 4(2)171--197,
4(3)321--349, 5(1)25--50, 5(2)113--128, 5(2)135--177, 5(2)183--204,
5(2)205--209, 5(3)275--305, 6(1)41--67, 6(1)93--107, 6(2)109--141,
6(2)223--231, 6(3)233--254, 6(3)281--315, 6(3)317--325, 7(1)1--24,
7(1)79--98, 7(1)99--116, 7(2)127--148, 7(3)239--249, 7(3)273--286,
8(1)45--55, 8(1)57--68, 8(1)73--87, 8(3)271--291, 8(3)325--357,
8(3)379--391, 9(1)1--16, 9(1)39--65, 9(1)83--97, 9(1)127--140,
9(2)329--346, 9(2)347--362
-
algorithmic, 8(2)203--225
-
Almost, 9(1)141--145
-
alphabet, 1(1)59--75, 3(1)35--49, 3(2)213--224, 7(3)273--286, 8(1)69--72
-
alphabetic, 1(3)199--214
-
ambiguity, 1(1)77--91
-
analysis, 1(1)21--25, 3(2)261--266, 3(3)321--348, 4(2)155--169,
9(2)265--286
-
Anf, 8(2)161--175
-
application, 2(1)97--114, 7(1)79--98
-
approach, 2(2)183--207, 7(1)57--77
-
approximate, 3(3)293--304
-
approximation, 2(1)97--114, 9(1)147--150
-
Apt, K. R., 8(1)73--87
-
Apt:1979:RAE, 8(1)73--87
-
Araki, T., 3(1)85--104, 4(1)99--119
-
Araki:1976:SDP, 3(1)85--104
-
Araki:1977:DPS, 4(1)99--119
-
arbitrary, 2(1)73--76
-
arithmetic, 1(1)1--12, 3(3)321--348, 4(2)227--233, 4(2)235--z,
5(2)219--z, 5(3)321--324, 7(3)251--261, 7(3)311--324, 8(1)31--44,
8(2)189--201, 9(1)1--16, 9(1)99--125
-
arithmetical, 3(1)1--22, 8(2)227--237
-
Arnold, A., 8(2)261--263
-
Arnold:1979:NPT, 8(2)261--263
-
arrangement, 1(3)237--267, 4(2)171--197
-
arrays, 2(1)115--130
-
Artificial, 3(2)123--171, 8(1)31--44, 9(2)347--362
-
ary, 2(2)249--269
-
Ashcroft, E. A., 9(2)243--256
-
Ashcroft:1979:GSF, 9(2)243--256
-
Ashenhurst, 2(3)383--396
-
assertions, 8(1)73--87
-
assisted, 2(2)183--207
-
associated, 9(2)363--375
-
associative, 5(1)1--23
-
asynchronous, 2(2)183--207, 3(2)261--266, 5(1)25--50
-
Atkinson, M. D., 5(2)205--209
-
Atkinson:1977:CGA, 5(2)205--209
-
Aubin, R., 9(2)329--346, 9(2)347--362
-
Aubin:1979:MSIa, 9(2)329--346
-
Aubin:1979:MSIb, 9(2)347--362
-
Autebert, J.-M., 8(3)395--399
-
Autebert:1979:NCD, 8(3)395--399
-
automata, 1(1)77--91, 1(2)95--101, 1(4)269--288, 1(4)297--316,
1(4)317--323, 2(1)1--7, 2(1)29--44, 2(1)49--71, 2(1)115--130,
2(2)147--154, 2(2)155--181, 2(3)271--294, 3(2)173--181,
3(2)213--224, 3(2)243--259, 3(2)261--266, 3(3)305--320,
4(2)143--153, 4(3)245--276, 5(2)101--111, 5(2)183--204, 6(1)1--23,
6(1)25--39, 6(2)175--221, 7(1)25--55, 7(2)149--167, 7(2)185--195,
7(3)311--324, 7(3)333--339, 8(2)227--237, 8(2)239--253,
8(2)255--259, 9(1)127--140, 9(1)141--145, 9(2)221--241,
9(2)311--328, 9(2)385--398
-
automata, ND-, 3(2)261--266
-
automating, 9(2)329--346
-
automaton, 1(2)95--101, 2(3)271--294, 5(2)101--111, 5(2)183--204,
7(2)149--167
-
automaton, K-, 5(2)183--204
-
auxiliary, 9(1)127--140
-
average, 5(1)1--23
-
axiomatization, 5(2)135--177