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