Index file section T for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
T
-
T, 82(1)141--149, 100(1)45--66
-
T, hp-, 123(2)315--327
-
t, s-, 116(2)359--371
-
T-functions, 116(2)227--290
-
T-grammars, 81(2)269--288
-
T-structures, 116(2)227--290
-
table, 82(1)51--69, 92(1)165--179, 104(2)299--312, 108(2)311--329
-
table, Codd-, 78(1)159--187
-
table, Rotating-, 108(2)311--329
-
table-hard, 1-truth-, 115(2)383--389
-
table-hard, truth-, 115(2)383--389
-
tableau, 89(1)161--177, 96(1)157--174, 131(1)1--28
-
tableau-based, 82(2)303--327
-
tableau-like, 129(1)167--186
-
tableaux, 117(1)137--151, 131(1)1--28
-
tabular, 82(1)165--176
-
tactic, 129(2)385--396
-
Taghva, Kazem, 107(2)333--347
-
Taghva, Kazem, see Sreedhar, Vugranam
-
Taha, M., El-, 106(2)243--264
-
tail, 115(1)151--189
-
Takada, Y., 104(2)207--233
-
Takada:1992:LSS, 104(2)207--233
-
Takanami, I., 88(2)287--296
-
Takanami, I., see Inoue, K.
-
Takanami, Itsuo, 127(1)171--179
-
Takanami, Itsuo, see Inoue, Katsushi
-
Takano, A., 90(1)61--79
-
Takano, A., see Futamura, Y.
-
Takayama, Yukihide, 122(1)137--164
-
Takayama:1994:DCP, 122(1)137--164
-
Talamo, M., 70(2)251--260, 84(1)107--126
-
Talamo, M., see Gambosi, G.
-
Talcott, Carolyn, 104(1)129--159, 112(1)99--143
-
Talcott, Carolyn L., 105(2)167--215
-
Talcott, Carolyn L., see Mason, Ian
-
Talcott:1992:TPD, 104(1)129--159
-
Talcott:1993:TBS, 112(1)99--143
-
tally, 78(2)305--317, 92(2)309--318
-
Tamaki--Sato, 75(1)139--156
-
Tamassia, R., 74(1)95--114
-
Tamassia, R., see Preparata, F. P.
-
Tamassia, Roberto, 119(2)331--343, 130(1)203--236
-
Tamassia, Roberto, see Miltersen, Peter Bro
-
Tamassia:1993:DRP, 119(2)331--343
-
Tampakas, B., 128(1)63--74
-
Tampakas, B., see Garofalakis, J.
-
Tanaka, Genjiro, 108(1)119--149
-
Tanaka, Genjiro, see Katsura, Masashi
-
Tang, Shouwen, 81(1)35--47, 97(2)199--215, 115(2)371--381
-
Tang, Shouwen, see Watanabe, O.
-
Tang:1991:PTR, 81(1)35--47
-
Tang:1993:ETS, 115(2)371--381
-
Tannen, V., Breazu-, 83(1)3--28
-
tape, 73(3)265--278, 76(2)323--330, 82(1)113--129, 98(2)347--356,
108(1)45--82, 108(1)83--102, 108(2)271--290, 113(1)75--91,
118(1)49--65, 134(2)427--453
-
tape, 1-, 73(3)265--278, 76(2)323--330, 113(1)55--73
-
tape, 2-, 73(3)265--278
-
tape, k-, 113(1)55--73
-
tape, one-, 82(1)113--129, 85(1)205--212, 108(2)271--290
-
tape, single-, 118(1)49--65
-
Tarjan, R., 106(1)21--60
-
Tarjan, R., see Cai, J.
-
Tarlecki, A., 90(1)209--233, 91(2)239--264
-
Tarlecki, A., see Blikle, A.
-
Tarlecki:1991:SFA, 91(2)239--264
-
Tarski, Lindenbaum-, 134(1)79--86
-
Tarui, Jun, 113(1)167--183
-
Tarui:1993:PPF, 113(1)167--183
-
task, 75(3)347--355, 118(1)3--20, 130(1)73--84
-
Tatsuta, M., 90(2)309--353
-
Tatsuta, Makoto, 122(1)119--136, 131(1)121--138
-
Tatsuta, Makoto, see Kobayashi, Satoshi
-
Tatsuta:1991:PSU, 90(2)309--353
-
Tatsuta:1994:RIC, 122(1)119--136
-
tau-semilinear, 70(2)179--192
-
taxonomy, 82(2)341--372, 107(2)277--303
-
Taylor, 79(1)151--162
-
Taylor, J., Shawe-, 92(1)107--117
-
TCCS, 96(1)217--248
-
Tchuente, M., 136(2)527--532
-
Tchuente, M., see Kiwi, M. A.
-
teacher, 76(2)223--242
-
technical, 120(2)197--213
-
techniquesC1340K, 79(1)163--177
-
techniquesC5620L, 130(1)73--84
-
technology, 77(1)z--z, 90(2)271--308, 104(1)109--128
-
Tecton, 133(2)307--340
-
Teillaud, Monique, 112(2)339--354
-
Teillaud, Monique, see Boissonnat, Jean-Daniel
-
telecommunication, 100(1)223--241, 124(2)329--342
-
Temperini, M., 104(1)89--107
-
Temperini, M., see Limongelli, C.
-
template, 136(2)387--417
-
temporal, 73(1)47--60, 74(1)71--93, 75(3)263--287, 76(1)115--142,
79(1)163--177, 79(2)341--355, 80(2)125--151, 82(2)341--372,
83(1)97--130, 83(2)287--300, 83(2)301--312, 87(1)43--80,
89(1)161--177, 95(1)75--95, 96(1)157--174, 103(2)191--204,
110(2)341--376, 119(1)127--143, 123(1)9--19, 126(1)77--96,
126(2)143--182, 131(1)219--241
-
Ten Pas, P., 125(2)259--293
-
Ten Pas, P., see Ehrenfeucht, A.
-
Teng, Shang-Hua, 130(1)49--72
-
Teng, Shang-Hua, see Feldmann, Anja
-
Tennent, R. D., 85(2)283--303, 111(1)1--z
-
Tennent, R. D., see Mislove, M.
-
Tennent:1991:CPW, 85(2)283--303
-
tense, 96(1)35--72, 129(1)95--121
-
tensor, 98(1)115--133
-
tentative, 128(1)63--74
-
Terlutte, A., 70(2)261--271, 134(2)403--413
-
Terlutte, A., see Harju, T.
-
Terlutte:1990:CRT, 70(2)261--271
-
term, 72(2)133--146, 72(2)169--202, 72(2)225--249, 72(2)z--z,
73(2)177--211, 75(1)111--138, 75(1)157--215, 75(1)z--z,
76(2)261--271, 77(1)131--159, 78(2)267--303, 79(1)179--193,
80(1)1--34, 80(2)263--288, 80(2)303--318, 82(2)403--408, 83(1)3--28,
87(1)25--41, 90(2)369--390, 93(2)245--264, 94(1)1--35,
103(2)273--282, 105(2)217--273, 107(2)333--347, 109(1)7--48,
112(1)99--143, 114(2)273--298, 115(2)391--399, 118(2)167--191,
121(1)279--308, 124(1)169--179, 124(2)297--328, 126(1)31--52,
131(1)29--94, 132(1)319--336, 134(2)311--328, 135(2)423--431,
136(2)333--360
-
term-rewriting, 81(2)169--187, 105(1)129--140, 106(1)87--117,
109(1)7--48
-
termes, lambda-, 126(2)281--292
-
terminal, 73(3)279--294, 114(2)299--315, 119(1)3--22, 124(1)189--192,
127(1)149--170
-
terminating, 86(1)3--33, 112(1)145--185, 124(1)180--187
-
termination, 75(1)111--138, 79(2)275--294, 80(2)319--335, 82(2)389--402,
83(1)157--167, 94(2)199--213, 100(2)365--383, 103(2)273--282,
103(2)409--420, 104(1)29--51, 105(1)129--140, 107(2)305--332,
116(2)291--303, 119(1)23--38, 119(1)39--62, 124(1)180--187,
124(2)297--328, 132(1)395--401, 135(2)319--343, 135(2)345--359,
136(2)333--360
-
termination-rule, 111(1)125--143
-
terms, BCK-lambda-, 107(2)253--276
-
terms, BCK-lambda-, 107(2)253--276
-
terms, lambda-, 103(2)387--394, 121(1)71--88, 126(2)281--292,
129(1)39--77
-
termwise, 94(2)161--174
-
ternary, 78(1)189--216, 105(1)57--84, 114(2)317--330, 120(1)45--68,
120(1)83--99
-
tessellation, 125(2)243--257
-
test, 77(3)331--343, 78(2)347--355, 84(2)225--250, 88(1)117--125,
95(2)339--340, 103(2)283--309, 116(2)305--316, 125(1)131--147,
134(2)329--363
-
test, equality-, 77(1)161--194
-
testable, 84(2)225--250, 88(1)33--57, 88(1)99--116
-
testing, 74(1)19--35, 80(2)227--262, 80(2)263--288, 80(2)319--335,
84(2)225--250, 87(1)97--114, 88(1)59--82, 93(2)279--301,
94(1)141--158, 94(2)237--259, 95(1)1--42, 95(2)263--277,
96(1)157--174, 99(2)265--z, 103(2)191--204, 103(2)205--234,
105(1)129--140, 106(1)87--117, 107(2)305--332, 113(1)93--117,
118(2)99--166, 119(1)23--38, 119(1)173--185, 119(1)z--z,
119(2)331--343, 120(1)69--81, 120(1)83--99, 120(1)123--155,
125(1)61--90, 125(1)91--109, 125(1)111--130, 125(1)131--147,
128(1)99--125, 128(1)127--157, 128(1)159--177, 128(1)179--210,
128(1)241--252, 129(2)397--406, 131(1)95--120, 134(2)287--309
-
testing, zero-, 84(2)151--164
-
text, 81(1)97--115, 92(1)19--31, 92(1)107--117, 92(1)165--179,
92(1)213--221, 116(2)227--290, 131(2)295--310
-
textual, 120(2)197--213, 127(1)181--186
-
TFNP, 81(2)317--324
-
than, 76(2)343--351
-
Thatte, Satish R., 111(1)191--210, 124(1)127--148
-
Thatte, Satish R., see Moss, Lawrence S.
-
Thatte:1994:TIP, 124(1)127--148
-
theme, 136(1)3--20
-
then, 74(1)115--119, 87(1)189--202
-
then-else, if-, 71(2)193--208, 71(3)413--417
-
theorem-proving, 87(1)221--228
-
Theoret, 182(1)257--257, 206(1)353--354, 234(1)325--326
-
theoretic, 70(1)127--150, 79(2)359--363, 80(2)125--151, 116(2)339--357,
121(1)59--69, 123(2)389--395, 130(1)203--236
-
theoretic, automata-, 79(1)137--150
-
theoretic, category-, 70(2)193--211
-
Theoretic, Computer-, 98(1)z--z
-
theoretic, domain-, 113(2)273--291
-
theoretic, graph-, 83(2)189--203, 95(1)115--142
-
theoretic, Language-, 116(2)339--357
-
theoretic, language-, 88(2)191--229, 94(2)161--174
-
theoretic, model-, 79(2)341--355, 95(1)43--74, 110(2)405--418,
136(1)277--289
-
theoretic, order-, 119(1)103--125, 123(1)9--19
-
theoretic, proof-, 113(2)371--375, 135(1)67--110
-
theoretic, recursion-, 77(3)309--319
-
theoretic, sheaf-, 112(1)53--97
-
Theoretical, 119(1)z--z
-
theoretical, domain-, 136(1)57--78
-
theoretical, Set-, 121(1)351--409
-
theoretical, set-, 121(1)351--409
-
theoretical, type-, 121(1)411--440
-
theory, model-, 86(1)93--106
-
theory, proof-, 86(1)93--106
-
there, 82(2)373--388
-
thesis, 70(1)151--158, 121(1)89--112
-
theta-representation, 94(2)223--236
-
theta-représentations, 94(2)223--236
-
Thiagarajan, P. S., 71(1)133--153, 91(2)285--313, 96(1)3--33,
96(1)35--72
-
Thiagarajan, P. S., see Mukund, M.,
see Nielsen, M., \see{Rozoy, B.
-
Thiagarajan:1990:SBA, 71(1)133--153
-
Thibau, V., 78(1)189--216
-
Thibau, V., see Delahaye, J. P.
-
Thierrin, G., 96(2)325--344, 136(2)471--485
-
Thierrin, G., see Ito, M.
-
third, 120(2)197--213
-
third-order, 89(1)137--159
-
Thomas, Muffy, 112(1)145--185
-
Thomas, Richard M., 112(2)187--214
-
Thomas, Richard M., see Herbst, Thomas
-
Thomas, W., 103(1)143--159
-
Thomas:1992:ITA, 103(1)143--159
-
Thomas:1993:SDK, 112(1)145--185
-
Thomsen, B., 88(1)15--32
-
Thomsen, B., see Larsen, K. G.
-
Thorup, M., 90(1)209--233
-
Thorup, M., see Blikle, A.
-
three, 74(1)37--69, 76(2)243--250, 131(2)415--429
-
three, depth-, 113(1)167--183
-
three-coin, 123(2)377--388
-
three-dimensional, 97(2)285--300
-
three-letter, 81(1)147--153
-
three-valued, 78(1)189--216, 78(1)z--z, 105(1)7--25, 105(1)57--84,
114(2)317--330, 120(1)45--68
-
three-way, 73(3)295--311
-
threshold, 85(1)155--170, 93(2)303--319, 95(2)187--205, 100(1)253--265,
103(1)3--23, 107(1)63--76, 113(1)167--183
-
through, 70(3)305--342, 71(2)265--279, 115(1)151--189, 117(1)303--313,
136(1)183--216
-
throughput, 125(1)111--130
-
Thue, 74(1)3--18
-
Thue, semi-, 70(2)213--232, 71(3)281--346, 132(1)395--401
-
Thue-Morse, Prouhet-, 94(2)161--174
-
Thurimella, R., 74(1)19--35
-
Thurimella, R., see Fussell, D.
-
Tian, Lu, 123(2)183--197, 131(2)441--448
-
Tian, Lu, see Huynh, Dung T.
-
Tichy, Robert F., 123(2)291--314
-
Tichy, Robert F., see Flajolet, Philippe
-
TICS, 90(2)271--308
-
tiered, 121(1)309--321
-
tight, 72(2)251--264, 85(1)205--212, 108(2)251--270, 108(2)311--329,
115(2)261--275
-
tile, 123(1)151--165, 131(2)243--269
-
tileability, 134(2)415--426
-
tiling, 94(2)215--221, 98(2)263--287, 123(1)151--165, 129(2)369--383,
134(2)387--401, 134(2)415--426
-
time, area-, 82(1)157--163
-
time, branching-, 126(1)77--96
-
time, compile-, 70(1)99--126, 104(1)109--128
-
time, Exponential-, 115(2)371--381
-
time, exponential-, 80(2)203--225, 81(1)137--145,
99(2)301--315, 113(1)55--73, 115(2)371--381, 129(2)309--321,
134(2)287--309
-
time, hand-real-, 118(1)3--20
-
time, linear-, 92(1)77--86, 92(1)119--144, 99(2)213--230,
115(2)351--357, 120(2)169--195, 123(1)151--165, 123(2)273--289,
126(1)77--96
-
time, parallel-, 127(1)99--121
-
time, Polynomial-, 81(1)35--47, 95(2)263--277
-
time, polynomial-, 73(3)249--263, 77(3)221--235, 81(1)35--47,
81(2)169--187, 84(2)199--223, 85(1)75--95, 85(2)305--331,
88(1)1--14, 88(1)33--57, 95(2)263--277, 97(1)1--66, 97(2)199--215,
97(2)263--284, 100(1)157--184, 100(1)205--221, 101(2)161--176,
102(1)185--205, 102(2)215--252, 103(1)3--23, 107(1)3--30,
110(1)215--245, 113(1)167--183, 115(2)383--389, 119(1)187--214,
119(1)z--z, 123(2)273--289, 129(1)95--121, 132(1)179--207,
134(2)473--491
-
time, processor-, 106(2)361--371
-
time, Quadratic-, 120(2)197--213
-
time, quadratic-, 120(2)197--213
-
time, quasi-real-, 85(1)171--203
-
time, real-, 88(2)287--296, 94(1)125--140, 95(2)207--229,
97(1)83--103, 97(2)245--262, 100(1)105--135, 101(2)289--335,
126(2)183--235, 128(1)75--97, 131(1)219--241, 133(2)341--359
-
time, run-, 70(1)99--126
-
time, simulation-, 132(1)259--290
-
time, subexponential-, 115(2)371--381
-
time, waiting-, 125(1)3--16
-
time-bounded, 93(2)265--277
-
time-complexity, 126(1)3--30
-
time-out, 101(2)289--335
-
time-sharing, 130(1)17--47
-
time-solvable, linear-, 110(1)215--245
-
time-space, 92(1)33--47, 107(1)121--133, 110(1)99--129, 113(1)55--73,
132(1)435--444
-
timed, 103(2)335--363, 126(2)183--235
-
timing, 126(2)183--235, 131(1)219--241
-
Timmerman, E., 76(2)243--250
-
Timmerman:1990:TSR, 76(2)243--250
-
Tiplea, Ferucio Laurentiu, 134(2)365--385
-
Tiplea:1994:SDP, 134(2)365--385
-
Tirri, S., 76(2)261--271
-
Tirri:1990:CTC, 76(2)261--271
-
Tiuryn, J., 70(2)179--192, 93(1)1--41
-
Tiuryn, J., see Kfoury, A. J.
-
Tiuryn:1990:FPF, 70(2)179--192
-
Tiwari, P., 107(1)121--133
-
Tiwari, P., see Mansour, Y.
-
to-front, move-, 108(2)371--384
-
to-Front, Move-Set-, 130(1)101--123
-
to-frontier, root-, 81(1)1--15
-
to-letter, letter-, 87(2)229--249
-
to-one, one-, 76(2)251--260
-
to-point, point-, 100(1)185--204
-
to-rear, move-, 74(2)183--197
-
to-root, frontier-, 76(2)223--242
-
Tobin, J. K., 85(2)283--303
-
Tobin, J. K., see Tennent, R. D.
-
Toda, S., 77(3)221--235, 93(2)265--277, 100(1)205--221
-
Toda:1990:PRL, 77(3)221--235
-
Toda:1992:PTT, 100(1)205--221
-
Toda:1992:RRP, 93(2)265--277
-
Tofte, M., 87(1)209--220
-
Tofte, M., see Milner, R.
-
token, 80(1)1--34, 93(2)185--199, 112(2)371--382, 114(2)201--229
-
token-passing, 135(2)377--404
-
Tokyo, 122(1)1--z
-
tolerance, 79(2)323--339, 80(2)227--262, 86(2)365--375, 119(1)215--222,
119(1)z--z, 128(1)99--125, 128(1)159--177, 128(1)241--252
-
tolerant, 79(2)323--339, 119(1)215--222, 128(1)99--125, 128(1)127--157,
128(1)159--177, 128(1)179--210, 128(1)241--252
-
tolerant, fault-, 128(1)159--177, 128(1)241--252
-
Tolerating, 128(1)241--252
-
Tollis, Ioannis G., 119(2)331--343
-
Tollis, Ioannis G., see Tamassia, Roberto
-
Tollu, C., 113(2)349--370
-
Tollu, C., see Masseron, M.
-
tool, 75(1)157--215, 91(2)239--264, 94(1)141--158, 101(2)239--263,
119(1)z--z, 123(1)9--19, 123(2)291--314
-
top, 84(2)165--177
-
top-down, 93(1)43--74, 118(1)21--48, 134(2)311--328
-
top-level, 75(1)139--156
-
topics, 117(1)z--z
-
topological, 72(1)3--26, 85(2)253--281, 87(2)347--352, 110(1)1--51,
111(1)103--123, 111(1)191--210, 111(1)z--z, 112(2)383--390
-
topologically, 88(1)33--57, 94(2)367--371, 119(2)293--310
-
topology, 92(2)319--336, 98(2)163--197, 103(2)311--334, 112(1)53--97,
112(2)383--390, 119(2)293--310, 129(2)263--278, 130(1)49--72
-
topology, plane-, 92(2)319--336
-
topos, 70(1)159--178, 77(3)267--289, 107(2)169--207, 111(1)211--252,
136(1)109--123
-
Torng, Eric, 130(1)17--47
-
Torng, Eric, see Motwani, Rajeev
-
toroidal, 117(1)45--65
-
Tortora, G., 120(1)45--68
-
Tortora, G., see Nota, G.
-
torus, 134(2)415--426
-
total, 77(3)291--308, 81(2)317--324, 100(2)365--383, 107(2)305--332,
109(1)181--224, 120(1)123--155, 124(1)180--187, 128(1)179--210,
135(2)345--359
-
totally, 87(1)115--142
-
tour, 125(2)345--353, 130(1)125--138, 132(1)347--375
-
tournament, 93(2)201--225
-
Towards, 101(2)177--221, 103(2)335--363, 133(2)361--385
-
tower, 123(1)3--7
-
Toyama, Y., 90(2)369--390
-
Toyama:1991:HPE, 90(2)369--390
-
trace, 74(1)3--18, 76(2)331--341, 87(1)97--114, 91(2)285--313,
92(2)249--268, 97(2)301--311, 98(1)115--133, 101(2)337--359,
107(2)357--363, 108(1)25--43, 113(1)35--54, 118(2)263--299,
120(1)101--121, 124(1)169--179, 125(2)167--204, 126(2)143--182,
132(1)179--207, 134(1)87--105
-
trace, finite-, 120(1)101--121
-
trace, infinite-, 120(1)101--121
-
trace-based, 128(1)127--157
-
trace-equivalence, 79(2)275--294
-
tracking, 130(1)175--201, 133(2)421--442
-
tractable, 94(2)199--213
-
trade, 82(1)85--93
-
trade-offs, 82(1)85--93
-
tradeoff, 82(1)157--163, 100(1)253--265, 106(1)21--60, 107(1)121--133,
110(1)99--129
-
Traff, J., Larsson, 98(2)347--356
-
traffic, 125(1)17--43
-
Trahan, J. L., 100(1)1--44
-
Trahan:1992:MDS, 100(1)1--44
-
trajectories, 128(1)179--210
-
Trakhtenbrot, B. A., 90(1)171--184
-
Trakhtenbrot, B. A., see Mazurkiewicz, A.
-
Tran, N. Q., 99(2)243--264
-
Tran, N. Q., see Ibarra, O. H.
-
Trân, Nicholas Q., 112(2)391--397, 115(2)261--275,
see Ibarra, Oscar H.
-
transaction, 76(1)93--114, 76(1)115--142, 82(2)303--327, 95(1)1--42,
126(2)143--182, 133(2)205--265
-
transducer, 78(2)267--303, 85(1)53--74, 93(1)43--74, 97(2)245--262,
106(1)135--181, 106(2)183--219, 108(2)185--236, 116(2)305--316,
129(2)323--336, 134(1)107--117, 134(1)225--251, 134(2)311--328
-
transducer-based, 134(1)107--117
-
transduction, 70(2)261--271, 81(2)269--288, 85(1)53--74, 98(1)27--39,
99(2)177--211, 126(1)53--75, 134(2)403--413
-
transduction, omega-, 76(2)243--250
-
transductions, omega-, 76(2)243--250
-
transductions, X-, 110(1)1--51
-
transfer, 104(2)285--298
-
transfinite, 83(1)71--96
-
transform, 79(1)163--177, 100(1)243--251, 123(2)291--314
-
transform, Mellin-, 108(2)291--310
-
transformation, 70(1)35--64, 71(1)47--77, 73(2)121--154, 73(2)155--175,
73(2)231--248, 75(1)85--110, 75(1)139--156, 75(1)z--z,
76(1)115--142, 76(2)331--341, 77(1)97--129, 81(1)1--15,
81(2)295--304, 86(1)107--139, 86(1)z--z, 89(1)179--206, 90(1)37--46,
93(1)43--74, 94(1)141--158, 104(1)109--128, 105(1)57--84,
106(1)135--181, 108(1)151--171, 108(1)z--z, 109(1)3--6,
109(1)145--180, 109(1)181--224, 109(1)257--274, 109(1)z--z,
110(2)377--403, 115(1)107--129, 115(2)291--319, 116(2)373--398,
120(2)169--195, 122(1)119--136, 123(1)139--144, 124(1)180--187,
124(2)221--272, 127(2)199--228, 128(1)99--125, 129(1)123--142,
136(1)57--78
-
transformational, 71(3)413--417, 73(2)121--154, 90(1)37--46,
93(1)43--74
-
transformations, tree-, 99(2)177--211
-
transformers, 87(1)143--162, 100(2)365--383
-
transforming, 73(2)231--248, 105(1)27--56
-
transient, 115(2)321--349, 119(2)355--361, 125(2)329--337
-
transition, 72(2)203--223, 74(2)163--181, 75(1)15--43, 76(1)115--142,
77(3)321--330, 78(2)363--376, 83(1)157--167, 84(2)281--292,
86(1)3--33, 86(2)365--375, 96(1)3--33, 96(1)157--174, 96(1)z--z,
97(1)83--103, 97(1)131--142, 97(2)245--262, 99(1)121--140,
103(1)51--106, 106(1)3--20, 106(1)61--86, 116(2)305--316,
118(2)263--299, 120(1)123--155, 123(2)199--237, 125(1)149--165,
126(1)3--30, 126(1)113--142, 129(2)323--336, 131(1)181--195,
133(2)205--265, 135(2)289--318, 135(2)361--376
-
transition, state-, 101(2)289--335, 126(2)183--235
-
transitions, E-, 120(2)197--213
-
transitive, 70(2)251--260, 73(2)213--230, 116(1)95--116
-
transitive, reflexive-, 93(2)321--325
-
translate, 129(2)369--383
-
translation, 75(3)335--346, 82(2)373--388, 88(1)83--98, 100(2)303--324,
103(2)365--386, 108(2)185--236, 118(2)193--229, 126(1)3--30,
135(1)11--65
-
transmission, 73(1)1--46, 100(1)223--241, 127(2)313--332
-
transpose, 108(2)271--290
-
transposition, 82(1)113--129, 108(2)271--290
-
trapezes, 123(1)151--165
-
trapezoid, 74(1)95--114
-
trapezoidal, 123(1)151--165
-
traps, 101(2)161--176, 102(1)185--205
-
traveling, 125(2)345--353, 130(1)125--138
-
traversal, 136(2)507--526
-
treatment, 103(2)311--334, 118(2)231--262
-
tree, AVL-, 71(3)419--424
-
tree, proof-, 118(2)99--166
-
tree-connected, 91(1)57--69
-
tree-decomposable, 109(1)49--82
-
tree-like, 86(1)3--33
-
tree-transformations, 99(2)177--211
-
trees, expression-, 87(2)251--262
-
trees, game-, 91(1)119--128
-
trees, k-, 89(1)33--62
-
trees, SLD-, 122(1)97--117
-
tress, 84(2)165--177
-
triangle, 112(2)399--412
-
triangles, beta-, 81(2)295--304
-
triangulated, 99(2)335--344
-
triangulation, 77(3)331--343, 106(2)361--371, 112(2)339--354
-
triconnectivity, 74(1)19--35
-
tries, 85(1)117--134, 106(2)391--393
-
Trigg, Peter, 135(2)405--422
-
Trigg:1994:CAU, 135(2)405--422
-
triple, 111(1)211--252, 128(1)127--157
-
Trivedi, Kishor S., 128(1)179--210
-
Trivedi, Kishor S., see Meer, Hermann de
-
trivial, non-, 83(2)169--188
-
Troesch, A., 115(2)291--319
-
Troesch:1993:IGA, 115(2)291--319
-
tropical, 134(1)27--50
-
true, 113(2)231--258
-
truncated, 79(1)151--162
-
truth, 75(1)67--83, 77(1)161--194, 82(1)51--69, 102(1)1--134
-
truth-table-hard, 115(2)383--389
-
truth-table-hard, 1-, 115(2)383--389
-
Tseitin, 99(2)315--z
-
Tsiknis, George K., 111(1)211--252, 111(1)253--290
-
Tsiknis, George K., see Gilmore, Paul C.
-
TSP, 130(1)125--138
-
T/sub, 90(1)1--15, 124(1)93--125
-
Tsuda, Teruko, 123(2)315--327
-
Tsuda, Teruko, see Aoki, Kunimasa
-
tt-hard, 1-, 115(2)383--389
-
Tucker, Hu-, 93(2)279--301
-
Tucker, J. V., 87(1)1--24
-
Tucker, J. V., see Stoltenberg-Hanssen, V.
-
Tulchinsky, I., 100(1)105--135
-
Tulchinsky, I., see Holte, R.
-
tuple, 116(1)95--116, 116(1)117--149
-
tuple, computation-, 90(2)391--432
-
Turing, 1-, 100(1)205--221
-
Turing-computable, 116(1)117--149
-
turnaround, 130(1)17--47
-
turned, 124(1)180--187
-
Turski, W. M., 90(1)119--125
-
Turski:1991:PB, 90(1)119--125
-
tutorial, 110(2)247--z, 110(2)249--339
-
Tuza, Z., 83(2)205--218
-
Tuza, Z., see de Boer, M. J. M.
-
twice, 117(1)303--313
-
two, 73(3)265--278, 74(3)329--340, 76(2)273--284, 79(1)241--256,
86(2)143--203, 92(1)77--86, 95(1)169--185, 95(2)323--337,
98(2)339--346, 100(1)105--135, 104(2)161--183, 112(2)311--337,
112(2)391--397, 120(2)197--213, 123(2)239--258, 127(1)187--198,
131(2)361--374, 131(2)449--461, 134(2)415--426, 136(2)507--526
-
two, characteristic-, 93(2)303--319
-
two-counter, 112(2)391--397
-
two-dimensional, 84(1)127--150, 87(2)329--346, 115(1)43--62,
125(2)229--241, 128(1)241--252, 132(1)403--414, 134(2)387--401
-
two-edge, 125(2)345--353, 130(1)139--161
-
two-layered, 104(1)129--159
-
two-loop, 93(1)91--113
-
two-person, 103(1)25--38, 110(1)197--214, 124(2)273--295,
129(2)385--396
-
two-player, 96(2)361--388, 110(1)215--245
-
two-quantifier, 97(2)263--284
-
two-sided, 93(2)265--277, 104(2)161--183
-
two-station, 125(1)111--130
-
two-valued, 105(1)7--25, 131(1)197--218
-
two-variable, 112(2)391--397
-
two-way, 74(3)341--354, 79(1)3--24, 82(1)113--129, 93(1)43--74,
108(2)271--290, 115(2)261--275, 117(1)39--43
-
typable, 103(2)387--394
-
type, Boyer-Moore-, 92(1)19--31
-
type, Gentzen-, 118(1)67--79
-
type, Gentzen-, 118(1)67--79
-
type, p,q-, 94(2)373--393
-
type, Ramsey-, 72(1)65--94
-
type-checker, 73(2)155--175
-
type-free, 70(2)193--211, 93(1)75--89, 121(1)113--143
-
type-theoretical, 121(1)411--440
-
typed, 71(2)227--239, 83(1)29--56, 87(1)81--96, 91(1)23--55, 93(1)1--41,
110(2)249--339, 110(2)405--418, 111(1)3--57, 111(1)145--189,
111(1)z--z, 114(2)273--298, 120(1)45--68, 121(1)169--178,
121(1)309--321, 121(1)411--440, 122(1)201--223, 135(1)5--9,
136(1)57--78, 136(1)125--162
-
typed, unique-, 134(2)287--309
-
typed, well-, 110(2)405--418
-
typedness, well-, 89(1)107--136
-
typical, 80(2)319--335, 89(1)107--136
-
typing, 124(1)127--148, 134(2)287--309
-
Tyugu, E., 90(1)185--198
-
Tyugu:1991:HOD, 90(1)185--198