Index file section T for tcs1985.bib

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

Return to index directory

T

• t-numbering, 47(3)277--298
• T., M., 40(1)31--55
• T., M., see Blumer, A.
• T0L, 35(1)1--15
• T0L-systems, 35(2)271--293
• table, 39(2)309--317, 40(2)149--162, 52(1)91--143
• table, truth-, 47(3)263--276
• tableau, 65(1)1--33
• tableaux, 48(2)229--255
• tag, 61(1)1--16
• Takahashi, M., 44(3)259--274, 46(1)91--99, 49(1)1--12
• Takahashi, M., see Yamasaki, H.
• Takahashi:1986:GFP, 44(3)259--274
• Takahashi:1987:BHO, 49(1)1--12
• Takanami, I., 36(2)291--308, 41(2)331--339, 66(3)273--287
• Takanami, I., see Inoue, K., \see{Ito, A., see Matsuno, H.
• Takanami, Itsuo, 67(1)99--110
• Takanami, Itsuo, see Inoue, Katsushi
• Talamo, M., 68(1)57--70
• Talamo, M., see Gambosi, G.
• Talamo, Maurizio, 64(1)119--124
• Talamo, Maurizio, see Protasi, Marco
• tally, 51(3)265--280
• Tamassia, Roberto, 61(2)175--198
• Tamassia, Roberto, see Di Battista, Giuseppe
• Tame, 67(1)37--54
• Tang, C., 48(2)297--328
• Tang, C., see Ginsburg, S.
• Tang, Chang-jie, 54(2)299--313, 63(1)63--90
• Tang, Chang-jie, see Ginsburg, S., see Ginsburg, Seymour
• Taniguchi, H., 36(2)291--308
• Taniguchi, H., see Matsuno, H.
• Taniguchi, K., 43(2)277--291
• Taniguchi, K., see Suzuki, I.
• Tannen, Val, Breazu-, 59(1)85--114
• tape, 52(3)341--342, 58(1)69--80, 63(2)203--221
• tape, k-, 39(2)89--106
• tape, one-, 40(2)175--193
• TAPSOFT, 59(0)3--209
• target, 36(2)265--289, 58(1)183--199
• Tarhio, Jorma, 57(1)131--145
• Tarhio:1988:GAA, 57(1)131--145
• Tarjan, Even-, 47(3)277--298
• Tarjan, R. E., 40(1)67--84
• Tarjan, R. E., see Paige, R.
• Tarlecki, A., 37(3)269--304
• Tarlecki:1985:EFM, 37(3)269--304
• Tarsi, M., 38(2)343--347
• Tarsi, M., see Linial, N.
• tau-laws, 37(1)77--121
• tautologies, 39(2)297--308, 47(3)329--334
• Taylor, W., 69(3)319--345
• Taylor, W., see Baker, K. A.
• Tchuente, M., 48(2)135--144
• Tchuente:1986:SSP, 48(2)135--144
• technique, 39(2)319--325, 40(1)67--84, 40(2)101--130, 45(1)87--119, 46(2)261--284, 48(1)75--94, 49(1)81--84, 49(2)171--184, 50(2)137--181, 50(3)323--349, 51(1)53--80, 52(3)193--203, 53(2)169--185, 53(2)281--293, 54(1)53--64, 54(1)87--102, 54(1)129--137, 54(2)315--324, 57(0)3--159, 57(1)97--111, 57(1)131--145, 57(1)147--152, 57(1)153--159, 58(1)103--128, 58(1)209--229, 59(1)157--180, 59(3)297--307, 61(2)299--306, 63(3)275--294, 63(3)295--302, 64(1)107--118, 64(2)135--157, 64(2)175--189, 65(1)1--33, 65(2)123--130, 65(2)131--141, 65(2)149--152, 65(2)153--169, 65(2)189--196, 65(2)197--212, 65(2)213--220, 65(2)243--248, 65(2)249--263, 66(0)117--232, 66(1)45--53, 66(2)137--155, 67(1)5--18, 67(1)37--54, 67(1)87--97, 68(3)267--276, 69(1)1--53
• Techniques--Algebra, 58(1)183--199, 64(1)1--13, 66(2)205--232
• Techniques--Combinatorial, 65(2)221--242
• Techniques--Graph, 58(0)3--397, 58(1)201--208, 58(1)263--324, 58(1)325--346, 61(2)121--136, 61(2)175--198, 63(2)223--237, 63(3)253--274, 63(3)295--302, 64(1)83--96, 64(1)125--132, 64(2)159--173, 67(1)5--18
• Techniques--Matrix, 59(3)277--286, 64(2)135--157, 67(1)115--120
• Techniques--Number, 65(0)123--270, 65(2)143--148, 65(2)265--270
• Techniques--Polynomials, 58(1)17--56, 64(1)15--23, 67(1)111--113
• Techniques--Set, 60(3)297--340, 61(2)307--316, 62(1)221--233, 62(3)235--249, 63(1)43--61, 63(1)63--90, 63(3)239--252
• Techniques--Trees, 58(1)143--154, 58(1)379--397, 61(2)289--297, 62(3)251--266, 66(2)137--155, 66(2)181--203
• technology, 39(1)z--z
• telecommunication, 44(1)69--105, 49(2)171--184
• temporal, 38(2)269--291, 43(2)277--291, 46(2)285--303, 47(3)329--334, 49(2)217--237, 49(2)z--z, 54(2)199--214, 56(1)135--154, 57(2)317--325, 59(0)3--209, 59(1)115--131, 64(3)305--329, 65(1)35--83
• temps, 60(3)341--381
• tensor, 50(2)103--135, 66(1)1--14
• term, 35(2)129--164, 35(2)337--344, 36(1)71--87, 37(1)77--121, 39(2)135--153, 43(2)149--167, 45(1)1--61, 45(3)293--351, 48(1)95--100, 51(1)1--26, 52(1)1--14, 52(1)37--58, 52(3)269--280, 52(3)281--306, 56(2)223--231, 64(1)97--105, 66(1)27--43, 67(2)203--260, 68(1)71--87
• term, CL-, 66(3)323--331
• term-rewriting, 49(1)43--79, 56(1)37--57, 67(1)19--35, 67(2)261--282, 67(2)283--301
• terminal, 35(2)329--336, 68(2)155--173
• terminating, 55(1)47--85
• termination, 43(2)123--147, 46(2)305--312, 50(3)285--321, 56(3)345--353, 58(1)263--324, 61(2)225--258, 62(1)187--220, 66(3)333--340
• ternary, 61(1)49--66
• tesselation, 66(3)273--287
• tessellation, 66(3)273--287
• test, 35(1)89--107, 37(2)151--181, 43(1)117--122, 47(1)71--84, 48(1)9--33
• testable, 35(1)17--42, 58(1)231--248
• testing, 35(1)109--114, 37(2)151--181, 38(2)323--341, 41(1)81--93, 44(1)69--105, 46(2)175--195, 47(3)277--298, 50(3)241--284, 50(3)285--321, 53(2)225--241, 56(2)211--222, 61(2)225--258, 64(2)175--189, 66(2)157--180, 66(3)299--321, 66(3)333--340, 69(2)117--242
• text, 40(1)31--55, 48(1)35--52, 60(3)341--381, 63(1)91--111
• texte, 60(3)341--381
• th, 36(1)59--69
• than, 39(2)267--280
• Thanh, Le Cong, 46(2)219--237
• Thanh, Le Cong, see Dieu, Phan Dinh
• Thatte, S., 61(1)83--92
• Thatte, Satish R., 65(1)85--119
• Thatte:1988:IFO, 61(1)83--92
• Thatte:1989:FAL, 65(1)85--119
• theorem, 35(2)129--164, 37(1)51--75, 37(1)77--121, 37(2)183--216, 38(1)123--132, 38(1)137--142, 38(2)143--156, 39(2)135--153, 39(2)155--169, 43(1)91--98, 43(1)99--105, 43(2)315--335, 44(2)127--153, 44(3)333--339, 46(2)305--312, 47(1)1--14, 48(1)1--8, 48(2)183--199, 48(2)201--228, 49(1)1--12, 49(2)283--309, 51(1)117--127, 52(1)1--14, 52(1)145--153, 52(3)205--237, 52(3)239--249, 53(1)125--150, 53(2)169--185, 54(1)3--28, 54(1)29--51, 54(2)249--265, 56(3)277--288, 57(2)161--184, 57(2)239--249, 59(1)133--155, 59(3)287--296, 61(1)17--24, 61(2)279--282, 64(1)1--13, 64(1)15--23, 64(3)331--342, 65(2)149--152, 65(3)271--290, 67(2)173--201, 67(2)203--260, 68(1)89--103, 68(3)277--302, 69(3)243--287
• Theoret, 302(1)497--498
• theoretic, 52(3)281--306, 56(2)187--209, 66(3)255--272
• theoretic, language-, 49(1)1--12
• theoretic, proof-, 39(1)27--45, 39(1)z--z
• theoretic, recursion-, 38(2)143--156, 43(1)107--115, 60(3)297--340
• theoretic, set-, 46(2)175--195, 60(3)297--340
• theoretical, 38(1)35--53, 39(1)z--z, 48(1)75--94, 52(3)239--249, 66(3)247--254
• theoretical, graph-, 40(2)257--274, 47(3)323--328
• theoretical, Language-, 66(3)247--254
• theoretical, recursion-, 46(2)197--217
• theory, calculus-, 69(3)243--287
• Theory, Languages-, 58(0)3--397, 59(0)3--209, 59(1)3--23, 59(1)25--84, 63(1)1--17
• Theory, Programming-, 59(0)3--209, 59(1)25--84, 62(3)289--310, 62(3)319--325, 63(1)19--41, 63(2)113--139, 63(3)253--274, 63(3)303--331, 64(3)271--280, 64(3)305--329, 64(3)331--342
• Theory, Scheduling-, 62(3)267--287
• Theory, Systems-, 63(3)253--274
• Theory--Computability, 65(2)265--270
• Theory--Finite, 58(1)263--324, 64(3)271--280, 65(2)123--130
• Theory--Formal, 58(0)3--397, 64(1)25--38, 65(2)131--141
• Theory--Turing, 62(3)319--325
• theoryC4130, 57(1)131--145
• theoryC4230, 64(2)203--219
• theoryC4240, 38(1)55--68
• Therien, Denis, 64(3)271--280
• Therien:1989:PAM, 64(3)271--280
• Thibon, J. Y., 57(2)239--249
• Thibon, J. Y., see Duchamp, G.
• Thibon, J.-Y., 41(1)109--112
• Thibon:1985:IAF, 41(1)109--112
• Thierrin, G., 46(1)47--51
• Thierrin, G., see Guo, Y. Q.
• thinning, 43(1)31--41
• third, 39(1)z--z, 40(2)319--322
• Thirteenth, 58(0)3--397
• Thomas, Alain, 65(2)153--169
• Thomas, Alain, see Dumont, J.-M.
• Thomsen, 38(2)249--267
• Three, 65(3)343--371
• three-dimensional, 49(1)81--84
• three-element, 40(1)3--11, 41(2)215--222
• three-sorted, 46(2)239--259
• threshold, 40(2)195--210, 41(1)19--32, 44(3)247--257
• through, 66(3)273--287
• Thue, 35(1)109--114, 35(2)227--243, 35(2)337--344, 37(2)123--150, 39(2)123--133, 44(2)237--245, 47(2)225--232, 66(1)55--63, 68(3)319--332
• Thue, semi-, 44(2)199--208, 46(2)319--327, 47(2)225--232, 66(2)117--136
• Thue--Morse, 63(1)1--17, 63(3)333--348
• tight, 47(2)149--158, 47(3)323--328
• tiling, 37(1)51--75
• time, 35(2)215--225, 36(2)203--216, 36(2)265--289, 37(1)1--30, 37(2)123--150, 38(2)157--165, 38(2)249--267, 38(2)269--291, 38(2)323--341, 40(1)31--55, 40(1)57--66, 40(1)67--84, 40(2)175--193, 40(2)195--210, 41(1)81--93, 41(2)141--167, 43(2)337--343, 46(2)219--237, 46(2)261--284, 47(1)39--60, 47(1)85--93, 47(3)315--321, 47(3)329--334, 48(1)9--33, 48(1)35--52, 48(2)273--281, 49(1)81--84, 50(2)183--238, 51(1)177--204, 51(1)221--227, 51(1)239--247, 52(3)177--191, 52(3)269--280, 53(2)201--224, 54(1)53--64, 54(1)65--85, 54(1)129--137, 54(2)181--198, 54(2)199--214, 54(2)249--265, 54(2)315--324, 56(1)3--15, 56(2)211--222, 57(2)317--325, 57(2)327--330, 58(1)57--68, 58(1)69--80, 58(1)155--174, 58(1)175--181, 58(1)249--261, 58(1)325--346, 59(1)115--131, 60(3)255--283, 60(3)341--381, 61(2)175--198, 62(1)105--122, 63(1)43--61, 63(3)295--302, 68(1)57--70, 68(3)319--332, 69(2)117--242
• time, branching-, 59(1)115--131
• time, communication-, 54(1)53--64
• time, compile-, 56(1)17--36, 56(1)59--133, 69(2)117--242
• time, exponential-, 47(3)263--276
• time, linear-, 47(1)15--26, 52(1)91--143, 59(1)115--131, 66(2)181--203
• time, poly-, 54(2)325--329
• Time, Polynomial-, 61(2)307--316
• time, polynomial-, 47(2)131--147, 47(3)263--276, 51(3)265--280, 52(1)77--89, 56(3)289--301, 61(2)307--316, 68(3)267--276, 68(3)319--332
• time, polynominal-, 51(1)53--80
• time, Real-, 47(1)15--26
• time, real-, 36(1)89--97, 47(1)15--26, 58(1)69--80, 64(1)39--53, 65(2)143--148, 65(2)z--z
• time, run-, 56(1)59--133, 69(2)117--242
• time, space-, 37(2)183--216
• time-bounded, 68(1)19--36
• time-critical, 58(1)249--261
• time-serial, 47(3)277--298
• time-space, 43(2)345--350, 47(3)237--246
• timed, 58(1)249--261
• timestamp, 58(1)3--16
• timing, 58(1)249--261, 61(1)49--66
• Timmerman, E., 46(1)101--106, 53(2)187--200
• Timmerman, E., see Latteux, M., see Litovsky, I.
• Tiomkin, M., 66(3)333--340
• Tiomkin, M. L., 36(1)71--87
• Tiomkin:1985:PDL, 36(1)71--87
• Tiomkin:1989:PTV, 66(3)333--340
• Tiuryn, J., 60(1)83--108
• Tiuryn, Jerzy, 63(3)275--294
• Tiuryn, Jerzy, see Benson, David B.
• Tiuryn:1988:SRB, 60(1)83--108
• TL, S-, 35(1)43--53
• TMs, 44(1)111--121, 68(1)19--36
• to-compute, hard-, 47(1)99--105
• to-string, tree-, 42(3)251--368
• token, 41(2)185--213, 53(2)281--293
• Tomita, E., 41(2)223--230
• Tomita, Etsuji, 64(1)39--53
• Tomita, S., 40(2)245--255
• Tomita, S., see Kanaoka, T.
• Tomita:1985:WSC, 41(2)223--230
• Tomita:1989:DBA, 64(1)39--53
• tool, 36(2)251--264, 37(2)183--216, 61(2)225--258, 62(3)319--325
• top-down, 53(1)125--150, 68(2)175--202
• topics, 41(2)325--330
• topological, 37(2)183--216, 38(1)17--33, 38(1)35--53, 43(1)31--41, 43(1)59--79, 44(1)107--110, 52(1)165--171, 58(1)209--229, 58(1)325--346, 64(2)191--201, 66(1)1--14, 67(1)121--128
• topologique, 67(1)121--128
• topology, 38(1)35--53, 43(1)31--41, 46(1)91--99, 47(2)159--168, 52(1)165--171, 64(2)191--201
• Topor, R. W., 52(3)281--306
• Topor:1987:DIF, 52(3)281--306
• TOPOS, 64(1)55--66
• Topos, 64(1)55--66
• total, 40(2)131--148, 42(3)251--368, 50(3)285--321, 53(1)3--24, 62(1)67--104
• totality, 45(2)159--192
• tour, 66(0)117--232, 66(2)157--180
• tournament, 43(1)43--58, 61(2)307--316, 67(1)5--18
• towards, 37(1)31--50, 60(3)297--340
• tower, 53(1)151--167, 65(2)171--188
• toy, 56(1)37--57
• trace, 35(1)43--53, 35(2)345--348, 36(1)21--25, 39(1)47--68, 39(1)z--z, 46(2)261--284, 48(2)183--199, 52(1)59--75, 53(2)225--241, 59(3)277--286, 60(1)1--82, 64(1)67--81, 66(2)117--136
• trace-set, 45(2)193--260
• tractable, 35(2)313--327
• trade-off, 43(2)345--350
• tradeoff, 47(3)237--246, 58(1)57--68, 63(2)203--221
• training, 66(3)255--272
• transaction, 38(1)1--16, 62(0)3--233, 62(1)123--185
• transcendence, 46(2)329--338
• transducer, 42(3)251--368, 45(1)63--86, 47(1)71--84, 60(3)341--381, 64(1)39--53
• transduction, 35(2)271--293, 39(2)89--106, 47(1)39--60, 47(3)247--262, 57(2)185--204, 63(1)91--111, 68(3)347--348
• transfer, 57(2)239--249
• transform, 35(1)55--69, 51(3)331--339, 58(1)183--199, 67(1)55--63
• transformation, 36(1)27--58, 37(2)183--216, 42(1)1--122, 43(2)123--147, 46(2)261--284, 49(1)23--42, 53(1)151--167, 57(1)153--159, 60(3)231--254, 62(1)3--38, 65(2)243--248, 65(2)z--z, 67(1)55--63, 67(2)203--260, 68(2)175--202, 68(3)239--252
• Transformations--Fast, 58(1)183--199
• transformers, 53(1)3--24
• Transforming, 36(1)27--58
• transient, 41(1)19--32
• transition, 37(3)245--267, 38(1)133--136, 40(2)245--255, 46(2)285--303, 48(1)117--126, 48(2)135--144, 53(2)225--241, 59(1)25--84, 59(3)235--257, 60(3)285--296, 63(1)19--41, 64(3)221--269
• transitive, 40(2)257--274, 44(1)17--49, 44(1)107--110, 46(2)159--174, 47(3)315--321, 58(1)325--346, 59(3)287--296, 65(2)265--270, 67(1)65--73
• transitivity, 47(1)39--60
• translation, 39(2)89--106, 42(3)251--368, 48(2)257--272, 61(1)83--92, 63(3)253--274, 66(1)27--43
• transpose, 64(2)135--157
• transposition, 36(2)265--289, 46(2)159--174
• transversals, 35(1)55--69
• trap-free, connection-, 62(1)67--104
• traveling, 66(2)157--180
• traversal, 38(1)83--98, 67(1)5--18
• treatment, 53(1)3--24, 53(1)z--z
• tree, C-, 56(2)155--186
• tree, C-, 56(2)155--186
• tree, omega-, 44(3)259--274
• tree-structures, 39(2)135--153
• tree-to-string, 42(3)251--368
• trees, -, 59(3)259--276
• Trees, Techniques-, 58(1)143--154, 58(1)379--397, 61(2)289--297, 62(3)251--266, 66(2)137--155, 66(2)181--203
• Trees, X-, 59(3)259--276
• trees, X-, 59(3)259--276
• Tretkoff, C., 56(3)253--275
• Tretkoff:1988:CCG, 56(3)253--275
• triadic, 66(1)1--14
• triangular, 38(2)293--306, 39(1)69--88, 54(1)65--85
• Triangularization, 59(3)297--307
• triangulation, 59(3)297--307, 66(2)181--203
• tries, 58(1)143--154
• trivial, 67(1)55--63
• Troeger, D. R., 35(1)43--53
• Troeger, D. R., see Bloom, S. L.
• Troelstra, A. S., 51(1)1--26
• Troelstra:1987:SML, 51(1)1--26
• true, 39(2)189--206
• truth, 36(1)71--87
• truth-table, 47(3)263--276
• Trystram, Denis, 64(2)159--173
• Trystram, Denis, see Robert, Yves
• T/sub, 38(1)35--53
• Tucker, 67(1)87--97
• Tucker, J. V., 50(2)137--181
• Tucker, J. V., see Bergstra, J. A.
• Tulipani, S., 67(1)87--97
• Tulipani, S., see Marongiu, G.
• tuple, 38(1)99--116
• tuple, computation-, 48(2)297--328
• Turan, Gyorgy, 62(3)311--317
• Turan, Gyorgy, see Buss, Samuel R.
• Turing, 35(2)191--214, 35(2)215--225, 36(2)341--344, 37(1)1--30, 40(2)175--193, 41(2)331--339, 43(1)43--58, 43(1)107--115, 44(1)1--16, 44(1)111--121, 47(2)131--147, 47(3)237--246, 51(3)265--280, 52(1)15--36, 52(3)251--267, 52(3)341--342, 53(2)307--317, 54(2)325--329, 54(2)331--339, 55(2)291--348, 57(1)47--86, 58(1)175--181, 58(1)263--324, 61(2)149--174, 66(3)289--297, 67(1)5--18, 67(1)99--110, 68(1)19--36, 68(2)123--134
• Turing, Theory-, 62(3)319--325
• Turning, 66(3)289--297
• Twelfth, 49(2)z--z
• two, 37(1)51--75, 38(2)167--192, 40(2)319--322, 46(1)101--106, 47(2)191--203, 47(3)237--246, 49(1)81--84, 58(1)17--56, 58(1)361--378, 61(1)67--81, 62(3)235--249, 63(1)1--17, 63(2)141--156, 63(2)157--184, 64(1)39--53, 66(3)233--245
• two-adjacent, 41(2)169--184
• two-connected, 68(2)155--173
• two-dimensional, 49(1)81--84, 57(1)47--86, 65(2)213--220, 66(3)273--287, 67(1)99--110
• two-letter, 51(3)301--308, 63(3)333--348
• two-level, 56(1)59--133, 69(2)117--242
• two-party, 39(2)319--325, 40(2)101--130
• two-person, 67(1)5--18
• Two-Phase, 58(1)3--16
• two-phases, 58(1)3--16
• two-state, 61(1)17--24
• two-valued, 68(2)135--154
• two-way, 35(1)115--122, 39(2)267--280, 44(1)111--121, 47(2)149--158, 63(2)141--156, 66(3)273--287
• two-word, 41(1)61--80
• type, 35(2)329--336, 37(3)269--304, 38(1)17--33, 38(1)35--53, 39(2)135--153, 39(2)207--224, 41(1)113--120, 45(2)121--157, 45(2)159--192, 45(3)293--351, 46(1)13--45, 46(2)197--217, 50(2)103--135, 50(2)137--181, 50(3)323--349, 51(1)1--26, 52(1)1--14, 57(1)3--45, 58(1)57--68, 59(1)85--114, 59(1)181--209, 62(1)39--65, 63(2)113--139, 63(3)303--331, 64(1)55--66, 64(1)97--105, 67(1)87--97, 68(3)221--237, 68(3)303--317
• type, Gluskov-, 48(1)1--8
• type, network-, 39(2)107--121
• type, omega-, 43(1)107--115
• type, Sokolowski-, 56(3)321--338
• type-0, 49(1)23--42
• type-free, 65(3)271--290
• type-statement, 51(1)1--26
• typed, 39(2)135--153, 41(1)95--104, 52(1)1--14, 64(1)55--66, 68(3)333--342
• types, formulae-as-, 63(2)113--139
• typing, 44(1)51--68
• Tzoreff, Tali, Eilam-, 60(3)231--254