Index file section T for tcs1980.bib

Last update: Thu Sep 27 02:46:46 MDT 2018               

Return to index directory

T

• table, 33(1)3--11, 33(1)z--z
• table, truth-, 25(1)1--66, 31(1)101--123
• tableau, 32(1)185--199
• Taitslin, M. A., 27(1)197--209
• Taitslin, M. A., see Stolboushkin, A. P.
• Takahashi, M., 22(3)253--264, 23(2)217--225, 28(3)315--327, 31(1)1--11
• Takahashi, M., see Kobayashi, K., see Yamasaki, H.
• Takahashi:1983:NOR, 23(2)217--225
• Takahashi:1983:NSR, 22(3)253--264
• Takanami, I., 24(2)179--194, 24(3)331--336, 27(1)61--83
• Takanami, I., see Inoue, K., \see{Toda, M.
• Takasu, S., 16(1)43--60
• Takasu:1981:LBP, 16(1)43--60
• Tamaki, H., 34(1)227--240
• Tamaki, H., see Sato, T.
• Tang, A., 27(1)39--60, 29(1)155--166, 34(3)275--288
• Tang, A., see Kamimura, T.
• Tang, Chuang-jie, 23(1)1--10
• Tang:1983:LRL, 23(1)1--10
• Taniguchi, H., 24(3)331--336, 27(1)61--83
• Taniguchi, H., see Inoue, K.
• Taniguchi, K., 22(1)175--194, 34(3)315--335
• Taniguchi, K., see Ito, M.
• Tao, Ren-ji, 16(2)115--148
• Tao:1981:CPA, 16(2)115--148
• tape, 12(3)333--338, 15(3)311--320, 16(1)75--91, 28(1)1--12, 32(1)221--224
• tape, ik-, 28(1)1--12
• tape, one-, 15(3)311--320, 34(1)157--168
• tape-bounded, 12(3)333--338, 16(1)75--91, 24(3)331--336
• target, 22(3)331--346
• task, 12(1)1--17, 17(2)213--216
• tautologous, 32(3)297--307
• tautology, 11(3)341--z
• technique, 10(2)123--131, 11(1)1--18, 11(2)145--165, 12(1)83--96, 12(3)325--332, 13(1)61--83, 13(1)109--136, 14(1)19--37, 14(3)289--303, 15(1)27--39, 15(3)251--277, 15(3)279--289, 16(2)187--198, 19(1)1--16, 19(2)189--201, 19(3)321--330, 19(3)337--341, 21(1)99--103, 21(3)255--267, 22(1)19--55, 24(1)1--20, 31(1)13--29, 32(1)77--86, 33(1)117--138, 33(1)z--z
• Technology, 33(1)z--z
• template, 17(3)317--331
• temporal, 13(1)45--60, 26(1)121--130
• Ten, 28(1)83--109
• Tennent, R. D., 27(3)297--310
• Tennent:1983:SIC, 27(3)297--310
• term, 13(3)331--336, 15(3)329--338, 22(1)1--17, 24(1)73--94, 32(1)1--24, 33(2)139--174, 33(2)175--193, 34(1)33--82, 34(1)227--240
• term-generated, 33(2)139--174
• term-rewriting, 17(3)279--301
• terminal, 14(3)267--288, 17(1)1--27, 22(3)253--264, 31(1)1--11, 33(2)305--326
• terminals, non-, 18(1)69--87
• terminating, 25(1)1--66
• termination, 15(1)1--25, 15(2)159--179, 17(3)279--301, 33(1)65--84, 33(1)z--z
• terms, lambda-, 22(1)1--17, 22(1)127--133
• tessellation, 14(3)211--226, 24(2)179--194, 27(1)217--224
• test, 13(1)3--15, 16(3)321--328, 23(2)211--215, 23(3)305--315, 33(2)239--240, 34(3)255--274
• test-free, 16(3)321--328
• testing, 11(3)341--z, 12(1)97--108, 16(2)199--210, 16(2)223--229, 23(2)211--215, 33(2)239--240, 34(1)83--133
• th, 23(1)69--82
• th, k-, 23(1)69--82
• than, 21(1)39--53, 21(3)237--253
• Thatcher, J., 28(1)45--81
• Thatcher, J., see Ehrig, H.
• Thatcher, J. W., 15(3)223--249
• Thatcher:1981:MAS, 15(3)223--249
• theorem, 10(1)53--61, 10(3)317--333, 11(3)247--275, 11(3)277--301, 12(2)193--228, 12(3)291--302, 15(2)159--179, 16(2)223--229, 17(3)279--301, 18(3)259--268, 18(3)333--341, 20(2)95--207, 20(3)265--321, 21(1)75--90, 22(1)1--17, 22(1)127--133, 23(1)1--10, 23(1)49--68, 23(1)91--94, 29(1)167--184, 31(1)41--48, 31(1)125--138, 32(1)47--60, 32(1)221--224, 32(3)297--307, 33(2)175--193, 34(1)3--15, 34(1)17--32
• theorem, Bezout-, 24(3)239--277
• theoretic, 11(2)117--121, 17(2)217--228, 24(3)291--300, 26(3)243--286
• theoretic, automata-, 13(3)331--336
• theoretical, 14(1)103--111, 33(1)z--z
• There, 11(3)337--339
• Therien, D., 14(2)195--208
• Therien:1981:CFM, 14(2)195--208
• Thiagarajan, P. S., 28(1)171--196, 30(3)241--318
• Thiagarajan, P. S., see Fernandez, C., see Genrich, H. J.
• Thierrin, G., 23(1)83--89
• Thierrin, G., see Head, T.
• Thomas, W., 13(2)231--237
• Thomas:1981:RSH, 13(2)231--237
• three, 11(1)93--106, 18(2)221--226
• three-dimensional, 23(1)37--48
• three-way, 24(3)331--336, 27(1)61--83
• threshold, 23(1)69--82
• Thue, 16(2)223--229, 18(3)325--331, 19(3)231--251, 23(3)339--345, 25(2)171--192, 29(3)277--284, 31(1)165--174, 33(2)261--278
• Thue, semi-, 33(1)13--43
• tight, 14(1)19--37
• Tikekar, V. G., 24(2)143--159
• Tikekar, V. G., see Nambiar, K. K.
• time, 10(2)111--121, 11(1)93--106, 12(1)1--17, 12(2)161--173, 13(3)295--314, 14(1)1--17, 14(1)39--61, 14(1)91--101, 14(1)103--111, 15(3)311--320, 15(3)321--328, 15(3)329--338, 16(2)115--148, 16(2)223--229, 16(3)329--336, 17(2)163--191, 18(1)95--103, 19(1)17--28, 20(3)323--352, 21(1)105--111, 23(2)107--127, 23(3)333--337, 26(1)25--52, 26(1)197--220, 26(3)327--333, 31(1)101--123, 31(3)297--306, 32(1)61--76, 32(1)77--86, 32(1)157--172, 32(3)227--247, 32(3)279--295, 34(1)17--32, 34(1)135--156, 34(1)227--240, 34(3)255--274
• time, exponential-, 27(3)333--354
• time, Linear-, 13(3)331--336
• time, linear-, 13(3)331--336, 25(2)171--192
• time, polynomial-, 12(2)161--173, 19(1)1--16, 21(1)1--25, 32(3)249--260, 34(1)207--213, 34(3)255--274
• time, real-, 32(3)227--247, 34(1)157--168
• time, run-, 34(1)227--240
• time-bounded, 19(3)287--304, 34(1)17--32
• time-optimal, 19(3)305--320
• time-precision, 24(1)105--117
• time-space, 19(2)203--218, 26(1)25--52
• Tiuryn, J., 12(3)229--254, 17(2)113--149
• Tiuryn, J., see Bergstra, J. A.
• Tiuryn:1980:UFP, 12(3)229--254
• TL-schemes, 17(2)217--228
• TM, 11(1)71--77, 32(1)61--76
• Toda, M., 24(2)179--194
• Toda:1983:TDP, 24(2)179--194
• Tokura, N., 15(1)51--75
• Tokura, N., see Araki, T.
• Tomita, E., 23(2)129--154, 32(1)87--120
• Tomita, S., 28(1)223--233
• Tomita, S., see Kanaoka, T.
• Tomita:1983:DBA, 23(2)129--154
• Tomita:1984:EDB, 32(1)87--120
• too, 22(1)127--133
• tools, 31(1)175--209, 31(3)263--295
• top, 34(1)227--240
• topics, 12(1)19--37, 12(1)97--108
• topological, 10(1)37--44, 23(2)217--225, 28(3)315--327
• topology, 10(2)133--155, 14(1)103--111, 16(1)5--24, 24(2)195--205, 34(3)275--288
• total, 13(2)175--192, 32(1)1--24, 33(1)65--84, 34(3)275--288
• totally, 24(1)53--71
• tour, 19(2)189--201
• Toward, 12(1)83--96, 24(3)221--237, 28(1)13--43
• TR2-ATM, 27(1)61--83
• trace, 34(1)135--156
• tractable, 18(3)325--331, 19(3)231--251
• tractible, 18(3)325--331
• trade-offs, 16(3)279--290
• tradeoff, 19(2)203--218, 24(1)105--117, 25(2)193--120, 32(1)221--224
• transcendent, 23(3)287--304
• transducers, 12(3)333--338, 19(2)219--227, 24(3)313--322
• transductions, 22(1)219--232, 34(3)241--254
• transform, 22(3)233--251
• transformation, 10(2)123--131, 15(3)329--338, 19(2)117--141, 21(2)225--230, 26(1)25--52
• transformational, 18(1)41--67
• transformers, 18(3)227--258
• transition, 11(2)167--180, 13(1)85--108, 14(3)317--336, 18(3)227--258, 31(1)83--100, 34(1)33--82
• transitional, 24(1)1--20
• translation, 13(1)85--108, 33(1)45--63
• translational, 26(3)327--333
• transparent, 28(1)13--43
• transposition, 16(3)271--278
• Traub, J. F., 29(1)1--25
• Traub:1984:ACO, 29(1)1--25
• traveling, 15(3)279--289, 19(2)189--201
• treatment, 13(1)3--15, 21(3)281--313
• tree, 10(1)63--82, 11(2)181--205, 11(3)303--320, 11(3)337--339, 12(2)175--192, 12(2)193--228, 12(3)265--290, 13(2)175--192, 13(2)193--223, 14(1)1--17, 14(1)79--90, 16(1)5--24, 16(2)223--229, 17(1)91--97, 17(3)279--301, 18(2)115--148, 19(1)1--16, 19(3)253--266, 20(2)95--207, 22(1)209--217, 22(1)219--232, 22(3)253--264, 23(2)187--210, 23(3)231--242, 23(3)273--286, 23(3)333--337, 25(2)95--169, 27(1)211--215, 27(3)255--286, 28(3)287--298, 29(1)49--73, 29(1)75--85, 30(1)49--90, 30(2)205--239, 31(1)73--82, 32(1)87--120, 32(3)227--247, 33(1)107--116, 33(1)z--z, 33(2)195--238, 34(1)33--82, 34(1)83--133
• tree-connected, 32(3)227--247
• tree-recognizability, 27(1)211--215
• trees, -, 22(1)209--217
• trees, 2,3-, 22(1)209--217
• trees, k/-, 22(1)209--217
• trellis, 29(1)123--153
• triangular, 19(1)39--67
• trilinear, 33(1)117--138, 33(1)z--z
• trio, 14(1)119--123
• true, 10(1)45--52, 24(3)301--312
• truncations, 31(3)227--261
• truth-table, 25(1)1--66, 31(1)101--123
• Tsou, D.-M., 24(3)323--329
• Tsou, D.-M., see Fischer, P. C.
• T/sub, 34(3)275--288
• Tucker, J. V., 17(2)113--149, 17(3)303--315, 22(3)265--284, 28(1)215--221
• Tucker, J. V., see Bergstra, J. A.
• Turing, 10(3)221--247, 10(3)249--272, 12(2)161--173, 12(3)333--338, 13(3)315--322, 14(1)91--101, 15(3)311--320, 16(1)75--91, 17(2)229--231, 19(2)161--187, 19(3)253--266, 21(2)145--161, 21(2)179--212, 21(2)213--224, 21(3)237--253, 21(3)255--267, 23(1)37--48, 23(3)287--304, 23(3)333--337, 24(1)105--117, 24(2)123--130, 24(3)331--336, 26(1)25--52, 26(1)197--220, 26(3)327--333, 27(1)61--83, 28(1)1--12, 29(1)123--153, 31(1)101--123, 32(1)221--224, 32(3)227--247, 34(1)17--32, 34(1)157--168
• turn, finite-, 24(3)313--322
• two, 10(1)45--52, 12(1)97--108, 12(2)193--228, 13(2)151--174, 13(3)295--314, 13(3)315--322, 21(1)39--53, 21(2)119--144, 28(1)215--221, 30(2)205--239
• two-dimensional, 24(2)161--177, 24(2)179--194, 24(3)331--336, 27(1)61--83
• two-level, 28(1)13--43
• two-person, 22(1)71--93
• two-sided, 24(1)21--34, 33(2)335--342
• two-way, 19(2)219--227, 21(1)27--37
• type, 15(3)329--338, 16(1)93--98, 17(2)113--149, 18(1)1--31, 18(3)227--258, 20(3)209--263, 24(1)73--94, 27(1)167--196, 27(3)255--286, 28(1)45--81, 28(1)151--169, 28(1)215--221, 28(1)235--236, 29(3)309--324, 32(3)279--295, 33(2)139--174
• type, BC-, 24(1)95--104
• type, data-, 34(3)289--313
• type, omega-, 10(3)249--272
• type, sorting-, 19(3)321--330
• type-free, 33(2)195--238
• type-language, 22(1)1--17, 22(1)127--133
• type-rules, 22(1)1--17, 22(1)127--133
• type-schemes, 22(1)1--17, 22(1)127--133
• typed, 11(3)227--245, 20(2)95--207, 32(1)121--156, 33(2)195--238
• typing, 22(1)1--17