Index file section T for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
T
-
T, 206(1)301--315
-
T-cuts, 157(2)215--225
-
table, 145(1)189--228, 192(2)201--231, 207(2)387--395
-
table, truth-, 141(1)175--193, 158(1)361--370, 164(1)141--163
-
tableau, 163(1)99--116, 166(1)291--300, 183(2)229--251
-
tabu, 191(1)229--243
-
tabular, 199(1)167--198
-
Taentzer, G., 194(1)248--z--1
-
Taentzer, Gabriele, 186(1)43--81
-
Taentzer:1997:PHL, 186(1)43--81
-
Taentzer:1998:DAS, 194(1)248--z--1
-
tail, 181(1)45--56
-
Takada, Yuji, 185(1)63--79
-
Takada, Yuji, see Koshiba, Takeshi
-
Takahashi, Atsushi, 137(2)253--268
-
Takahashi, Nobuyuki, 174(1)259--268
-
Takahashi, Yoshikane, 156(1)217--261, 158(1)279--341
-
Takahashi:1995:MSP, 137(2)253--268
-
Takahashi:1996:SOP, 158(1)279--341
-
Takahashi:1996:UCN, 156(1)217--261
-
Takahashi:1997:VHR, 174(1)259--268
-
Takaki, Akinari, 201(1)233--248
-
Takaki, Akinari, see Wada, Koichi
-
Takanami, Itsuo, 143(1)123--135
-
Takanami, Itsuo, see Ito, Akira
-
Takaoka, Tadao, 203(1)143--150
-
Takaoka:1998:SPA, 203(1)143--150
-
Takenaga, Y., 180(1)47--60
-
Takenaga, Y., see Hosaka, K.
-
Takeyama, M., 228(1)211--252
-
Takeyama, M., see O'Hearn, P. W.
-
Takimoto, Eiji, 185(1)177--190
-
Takimoto:1997:LOH, 185(1)177--190
-
Talamo, M., 175(2)373--392
-
Talamo:1997:DSL, 175(2)373--392
-
Talcott, Carolyn L., 220(2)409--467
-
Talcott, Carolyn L., see Mason, Ian A.
-
Tamassia, Roberto, 217(2)235--254
-
Tamassia:1999:ATP, 217(2)235--254
-
Tan, Richard B., 205(1)115--133
-
Tan, Richard B., see Flammini, Michele
-
Tanaka, Katsumi, 145(1)291--316
-
Tanaka, Katsumi, see Ginsburg, Seymour
-
Tannen, Val, 149(1)3--48
-
Tannen, Val, see Buneman, Peter
-
Tao, Renji, 226(1)143--172
-
Tao:1999:FAP, 226(1)143--172
-
tape, 143(1)123--135, 168(2)241--255, 174(1)203--216, 225(1)1--63
-
tape, 2-, 192(1)55--75
-
tape, work-, 180(1)139--154
-
Tarannikov, Yuri, 218(1)161--175
-
Tarannikov, Yuri, see Kolpakov, Roman
-
target, 155(2)321--347, 172(1)43--65
-
Tarjan, Paige-, 183(2)215--228
-
Tarlecki, Andrzej, 173(2)445--484
-
Tarlecki, Andrzej, see Kahrs, Stefan
-
Tarski, 188(1)211--220
-
Tarski, Knaster-, 148(1)67--92
-
task, 144(1)277--314, 145(1)271--290, 162(2)323--340, 171(1)111--146,
174(1)193--202, 178(1)119--127, 194(1)163--182, 196(1)319--345,
196(1)347--363, 215(1)209--223
-
task-farm, 162(2)351--369
-
task-parallel, 162(2)341--349
-
task-tree, 181(2)357--378
-
task-trees, 181(2)357--378
-
tau-inertness, 170(1)47--81
-
Taubenberger, S., 145(1)159--187
-
Taubenberger, S., see Drewes, F.
-
taxonomical, 197(1)243--z
-
Taylor, 157(1)53--77
-
Tchier, Fairouz, 149(2)333--360
-
Tchier, Fairouz, see Desharnais, Jules
-
Team, 209(1)213--224
-
teams, 137(1)85--108
-
techniquesC4210, 144(1)161--197
-
techniquesC4210L, 188(1)231--240
-
Teillaud, Monique, 140(2)301--317
-
Teillaud, Monique, see Berg, Mark de
-
telecommunication, 154(1)57--65, 185(2)347--377, 186(1)171--198
-
Tellier, Isabelle, 164(1)207--221
-
Tellier, Isabelle, see Finkel, Alain
-
Tempero, Ewan, 220(2)363--376
-
Tempero, Ewan, see Houle, Micheal E.
-
templates, 142(1)125--138
-
temporal, 138(1)169--199, 138(1)201--210, 139(1)1--25, 139(1)115--130,
140(1)73--94, 140(1)95--138, 148(2)303--324, 160(1)241--270,
160(1)271--281, 166(1)1--47, 167(1)47--72, 170(1)1--46,
171(1)25--60, 173(1)49--87, 173(1)89--112, 173(2)513--554,
179(1)273--299, 179(1)333--351, 179(1)353--380, 181(1)195--225,
183(2)187--214, 185(2)319--345, 186(1)135--156, 190(1)41--60,
193(1)197--214, 194(1)246--z--2, 195(2)133--153, 195(2)183--203,
202(1)55--125, 220(2)377--408, 224(1)135--155
-
Tendeau, Frédéric, 199(1)145--166
-
Tendeau:1998:CAD, 199(1)145--166
-
Teng, Shang-Hua, 145(1)381--390
-
Teng:1995:ISV, 145(1)381--390
-
Tennent, R. D., 228(1)211--252
-
Tennent, R. D., see O'Hearn, P. W.
-
tension, 194(1)207--218
-
tensorial, 176(1)159--173
-
term, 137(1)3--23, 137(1)159--176, 139(1)69--113, 139(1)207--242,
139(1)275--314, 139(1)315--354, 139(1)355--362, 141(1)253--268,
142(2)299--368, 146(1)69--108, 149(2)361--374, 151(2)487--512,
152(1)67--89, 152(1)139--169, 152(2)285--303, 154(2)329--348,
155(1)85--109, 155(1)265--266, 159(2)143--190, 160(1)87--143,
160(1)145--184, 165(1)75--95, 166(1)49--62, 167(1)73--94,
167(1)95--130, 169(1)3--21, 170(1)245--276, 171(1)281--302,
175(1)93--125, 176(1)111--158, 177(2)287--328, 177(2)351--380,
177(2)407--423, 179(1)421--425, 180(1)371--375, 185(1)47--62,
185(2)217--235, 192(1)3--29, 192(1)31--54, 193(1)75--96,
194(1)240--z, 194(1)241--z--2, 194(1)243--z--1, 194(1)244--z--2,
194(1)245--z--2, 194(1)246--z--1, 194(1)248--z, 194(1)z--z,
198(1)49--98, 208(1)33--58, 208(1)59--86, 208(1)59--z,
208(1)87--110, 226(1)207--223
-
term-based, 152(1)139--169
-
term-generated, 152(1)91--138
-
term-rewriting, 143(1)51--72, 190(1)3--39, 198(1)1--47
-
terminal, 150(1)57--75, 187(1)263--284, 202(1)223--230
-
terminate, 148(1)165--170
-
terminating, 139(1)315--354, 142(2)257--276, 146(1)243--268
-
termination, 139(1)355--362, 142(2)179--207, 142(2)257--276,
149(2)361--374, 151(2)487--512, 152(1)139--169, 165(1)97--131,
174(1)193--202, 175(1)127--158, 175(1)159--181, 176(1)235--282,
177(2)407--423, 190(1)3--39, 192(1)31--54, 212(1)247--260
-
terms, lambda-, 142(2)299--368
-
terms;, lambda-, 180(1)371--375
-
terms;, lambda-I-, 155(1)265--266
-
terms;, lambda-K-, 155(1)265--266
-
ternary, 165(1)171--200, 192(1)77--106
-
terrain, unknown-, 140(2)249--263
-
Terrier, Véronique, 141(1)331--335, 156(1)281--287, 217(1)53--80,
218(2)325--346, see Mazoyer, Jacques
-
Terrier:1995:RTO, 141(1)331--335
-
Terrier:1996:LRR, 156(1)281--287
-
Terrier:1999:TDC, 218(2)325--346
-
Teruel, Enrique, 153(1)271--300
-
Teruel:1996:STE, 153(1)271--300
-
Terwijn, Sebastiaan A., 168(1)3--19, 172(1)195--207
-
Terwijn, Sebastiaan A., see Ambos-Spies, Klaus
-
test, 141(1)283--310, 151(1)195--205, 168(1)155--212, 187(1)87--104,
188(1)79--99, 223(1)179--191
-
testable, 154(1)85--106, 161(1)157--190, 178(1)257--264
-
tested, 172(1)293--301
-
testing, 139(1)275--314, 142(2)257--276, 146(1)341--349, 150(1)161--191,
162(1)133--150, 164(1)107--122, 167(1)131--170, 167(1)193--233,
173(1)113--149, 173(1)209--233, 173(1)235--252, 174(1)231--246,
175(2)373--392, 176(1)1--38, 177(1)183--216, 177(2)407--423,
180(1)17--45, 180(1)217--228, 180(1)309--324, 182(1)159--170,
182(1)203--216, 183(2)215--228, 183(2)229--251, 183(2)253--279,
185(2)259--275, 186(1)135--156, 188(1)79--99, 192(1)55--75,
195(2)259--289, 196(1)241--258, 196(1)319--345, 196(1)347--363,
197(1)171--188, 197(1)171--188--1, 201(1)85--97
-
Teuhola, J., 220(2)345--362
-
Teuhola, J., see Fadel, R.
-
Teusink, Frank, 165(1)171--200
-
Teusink:1996:TVC, 165(1)171--200
-
text, 154(2)203--224, 163(1)117--144
-
tgt, 194(1)242--z--2
-
Thalheim, B., 190(2)151--166
-
Thalheim, B., see Demetrovics, J.
-
than, 169(1)113--121, 181(1)75--90
-
the, 547-z-122
-
then, 137(2)279--282, 160(1)1--85
-
theorem-prover, 173(2)311--347
-
Theoret., 182(1)257--257, 184(1)247--247, 206(1)353--354,
234(1)323--323, 254(1)691--694, 266(1)997--998, 547-z-122
-
theoretic, 159(2)319--341, 163(1)245--258, 172(1)1--41, 175(1)183--222,
197(1)111--138
-
theoretic, automata-, 183(1)83--92
-
theoretic, category-, 177(1)3--25
-
theoretic, domain-, 151(1)163--193, 152(1)67--89,
177(1)155--182, 193(1)53--73, 210(1)73--98
-
theoretic, Game-, 221(1)393--456
-
theoretic, graph-, 174(1)67--96, 197(1)246--z--1
-
theoretic, model-, 177(1)155--182
-
theoretic, order-, 170(1)349--381
-
theoretic, proof-, 135(1)67--110
-
theoretic, set-, 185(2)237--258
-
theoretical, 152(2)321--z, 156(1)203--215, 170(1)209--244,
170(1)407--444, 176(1)159--173, 179(1)381--395, 181(2)317--335,
185(2)319--345, 196(1)347--363, 197(1)139--156
-
theoretical, graph-, 148(2)227--260
-
theoretical, recursion-, 197(1)139--156
-
theory;, meta-, 168(1)53--103
-
There, 163(1)303--308
-
Thérien, Denis, 180(1)325--339,
see Péladeau, Pierre
-
thermal, 187(1)249--262
-
thermodynamic, 187(1)263--284
-
Thiagarajan, P. S., 153(1)129--170
-
Thiagarajan, P. S., see Hoogers, P. W.
-
Thierrin, Gabriel, 183(1)3--19
-
Thierrin, Gabriel, see Ito, Masami
-
Thilikos, Dimitrios M., 172(1)233--254
-
Thilikos, Dimitrios M., see Dendris, Nick D.
-
thin, 163(1)303--308
-
thinness, 183(1)21--32
-
third-order, 187(1)3--6
-
Thomas, G., 187(1)49--79
-
Thomas:1997:PDS, 187(1)49--79
-
Thorup, Mikkel, 215(1)337--344
-
Thorup, Mikkel, see Andersson, Arne
-
threading, 210(2)261--275
-
three, 174(1)171--191, 176(1)347--353, 187(1)249--262, 197(1)189--201,
218(1)83--94, 226(1)37--43
-
three-dimensional, 157(1)115--127, 205(1)243--260
-
three-valued, 165(1)171--200
-
three-way, 143(1)123--135
-
three-word, 163(1)145--160
-
threshold, 137(1)109--127, 154(2)307--327, 156(1)99--117,
158(1)193--219, 168(2)405--416, 174(1)123--136, 174(1)137--156,
180(1)47--60, 182(1)203--216, 209(1)123--140, 226(1)185--206
-
through, 160(1)321--363, 169(1)113--121, 172(1)91--120, 193(1)113--127,
194(1)240--z--2
-
throughput, 196(1)201--214
-
throw, 175(1)75--92
-
{Thue}, semi-, 192(1)55--75
-
Thue, semi-, 142(2)257--276, 192(1)55--75
-
Thurston, 159(1)105--128, 159(1)137--142
-
Tian, Qijia, 166(1)63--81
-
Tian, Qijia, see Shen, Enshao
-
tidy, 157(2)215--225
-
Tienari, Martti, 179(1)397--419
-
Tienari, Martti, see Eloranta, Jaana
-
tight, 145(1)271--290, 181(1)45--56, 181(2)229--245
-
tile, 188(1)129--159
-
tiling, 147(1)165--180, 148(1)19--32, 156(1)1--38, 159(1)103--104,
159(1)105--128, 159(1)137--142, 178(1)275--283, 218(2)285--295,
218(2)297--323, 221(1)61--75
-
time, branching-, 140(1)53--71, 148(2)303--324, 173(2)513--554
-
time, compile-, 193(1)149--179, 196(1)71--107
-
time, constant-, 197(1)57--77
-
time, continuous-, 162(1)23--44
-
time, Discrete-, 221(1)369--392
-
time, discrete-, 144(1)277--314
-
time, exponential-, 154(1)3--22, 158(1)221--231
-
time, Linear-, 181(1)57--74
-
time, linear-, 145(1)111--145, 145(1)329--344, 147(1)19--30,
154(2)165--181, 158(1)177--192, 159(1)137--142, 163(1)309--315,
167(1)47--72, 181(1)57--74
-
time, log-, 148(1)33--55, 188(1)101--116
-
time, past-, 148(2)303--324
-
time, polynomial-, 137(1)129--144, 137(2)279--282,
141(1)175--193, 145(1)147--157, 145(1)241--270, 145(1)371--380,
148(2)207--225, 148(2)325--349, 150(1)1--55, 155(2)447--457,
158(1)221--231, 172(1)209--232, 174(1)23--65, 181(1)159--179,
184(1)237--245, 185(1)191--213, 191(1)215--218, 193(1)149--179,
194(1)137--161, 196(1)131--151, 207(1)89--104
-
time;, polynomial-, 181(2)229--245
-
time, pseudo-polynomial-, 158(1)343--359
-
time, quasilinear-, 148(2)325--349
-
time, real-, 138(1)35--65, 138(1)113--139, 138(1)169--199,
138(1)211--239, 146(1)109--143, 170(1)1--46, 181(1)195--225,
183(2)187--214, 189(1)179--219, 189(1)229--237, 201(1)99--136
-
time;, subexponential-, 181(2)229--245
-
time, unit-communication-, 162(2)323--340
-
time, work-, 164(1)299--310
-
time,;, polynomial-, 141(1)109--131
-
time-adaptive, 220(1)93--111
-
Time-based, 216(1)1--53
-
time-branching, 170(1)445--464
-
time-dependent, 179(1)273--299
-
time-equivalence, 174(1)269--274
-
time-gaps, 160(1)241--270
-
time-space, 147(1)19--30, 165(2)311--323
-
timed, 138(1)169--199, 138(2)243--271, 138(2)273--314, 138(2)315--352,
152(2)251--268, 170(1)1--46, 189(1)229--237, 202(1)127--161,
211(1)85--127, 211(1)253--273
-
timers, 189(1)229--237
-
timestamp-based, 149(1)151--178
-
timestamps, 149(1)151--178
-
timing, 138(1)67--100, 138(2)273--314, 138(2)315--352, 166(1)1--47,
183(2)187--214, 220(1)67--91
-
Timkovsky, Vadim G., 143(1)113--122
-
Timkovsky, Vadim G., see Jiang, Tao
-
Tiskin, Alexandre, 196(1)109--130
-
Tiskin:1998:BSP, 196(1)109--130
-
TLA, 179(1)333--351
-
to-front, move-, 164(1)185--206
-
to-graph-to-tree, tree-, 194(1)242--z--2
-
to-key, key-, 144(1)199--220
-
to-letter, letter-, 205(1)207--229
-
to-many, Many-, 185(2)347--377
-
to-many, many-, 185(2)347--377
-
to-string, string-, 201(1)275--279
-
to-tree, tree-to-graph-, 194(1)242--z--2
-
Toeplitz, 162(2)173--223
-
token, 145(1)95--109, 152(2)219--249, 153(1)171--210, 178(1)103--118,
220(2)363--376
-
tolerance, 151(1)257--276, 165(2)483--490, 182(1)159--170, 188(1)79--99,
197(1)171--188
-
tolerance, fault-, 185(2)259--275
-
tolerance;, fault-, 185(2)259--275
-
tolerant, 164(1)107--122, 182(1)159--170, 185(2)259--275,
196(1)319--345, 197(1)171--188
-
tolerant, fault-, 196(1)319--345, 209(1)195--211, 209(1)195--z
-
tolerant;, fault-, 196(1)319--345
-
Tollu, Christophe, 149(1)67--99
-
Tollu, Christophe, see Grumbach, Stéphane
-
Tomassini, Marco, 217(1)81--98
-
Tomassini, Marco, see Sipper, Moshe
-
Tomescu, Ioan, 164(1)277--285, 197(1)235--240
-
Tomescu:1996:AAL, 164(1)277--285
-
Tomescu:1998:WCA, 197(1)235--240
-
Tomkins, Andrew, 181(1)159--179
-
Tomkins, Andrew, see Lopresti, Daniel
-
tomography, 155(2)321--347
-
Toniolo, Laura, 163(1)117--144
-
Toniolo, Laura, see Colussi, Livio
-
tool, 139(1)187--205, 140(2)249--263, 141(1)283--310, 168(1)53--103,
183(1)83--92, 187(1)203--219, 187(1)221--230, 193(1)129--148,
194(1)242--z--1, 196(1)241--258, 196(1)289--317
-
toolbox, 193(1)129--148
-
top-down, 142(1)125--138, 143(2)285--308, 156(1)71--97, 184(1)1--59,
194(1)57--85, 205(1)207--229
-
topics, 138(2)315--352, 144(1)125--159, 144(1)221--249, 145(1)391--396,
152(2)171--217, 157(2)161--183, 157(2)277--282, 159(1)65--79,
159(1)81--102, 164(1)107--122, 171(1)147--177, 172(1)43--65,
176(1)1--38, 185(1)15--45, 188(1)1--44, 193(1)53--73
-
topological, 146(1)331--339, 147(1)137--147, 147(1)211--248,
151(1)29--36, 151(1)79--124, 151(1)257--276, 151(1)277--294,
163(1)161--176, 166(1)263--290, 167(1)73--94, 174(1)203--216,
175(1)3--13, 177(1)139--153, 179(1)319--331, 181(2)307--316,
191(1)79--95, 219(1)347--378, 219(1)379--420, 221(1)157--177
-
topologically, 174(1)157--170
-
topologie, 156(1)159--176, 166(1)263--290
-
topology, 138(1)211--239, 145(1)229--240, 147(1)137--147,
151(1)257--276, 151(1)z--z, 156(1)159--176, 159(2)319--341,
162(2)351--369, 166(1)263--290, 169(2)185--200, 174(1)203--216,
175(1)3--13, 177(1)155--182, 179(1)319--331, 193(1)1--51,
193(1)53--73, 194(1)123--136, 194(1)246--247, 215(1)359--370
-
topology;, chrono-, 153(1)3--48
-
topos, 197(1)244--z--2
-
Toran, Jacobo, 181(2)267--287
-
Toran, Jacobo, see Díaz, Josep
-
Torán, Jacobo, 141(1)175--193, see Jenner, Birgit
-
Torenvliet, Leen, 154(2)367--377
-
Torenvliet, Leen, see Hemaspaandra, Lane A.
-
tori, 154(2)349--366
-
Torrens, J., 184(1)145--193, 194(1)246--z
-
Torrens, J., see Burmeister, P.,
see Monserrat, M.
-
Torres, Alberto, 170(1)209--244
-
Torres, Alberto, see Dimopoulos, Yannis
-
Tortoise, 210(1)21--71
-
Tortora de Falco, L., 197(1)248--z--1
-
TortoradeFalco:1998:GSL, 197(1)248--z--1
-
torus, 140(2)319--331, 148(1)1--17, 180(1)363--370
-
tosses, 154(1)23--39
-
total, 142(2)209--227, 144(1)199--220, 150(1)111--159, 152(1)91--138,
164(1)185--206, 167(1)193--233, 176(1)67--87, 184(1)145--193,
194(1)243--z--2, 224(1)13--33
-
Toueg, Sam, 220(1)3--30
-
Toueg, Sam, see Aguilera, Marcos Kawazoe
-
Tougne, Laure, 218(2)347--417
-
Tougne, Laure, see Delorme, Marianne
-
Touitou, Dan, 220(1)67--91
-
Touitou, Dan, see Lynch, Nancy
-
towards, 137(1)53--84, 146(1)199--242, 157(2)277--282, 170(1)297--348,
170(1)407--444, 187(1)221--230, 190(2)115--149, 194(1)248--z--1,
197(1)242--z, 223(1)121--142
-
tower, 193(1)113--127
-
Toyama, Yoshihito, 208(1)87--110
-
Toyama, Yoshihito, see Sakai, Masahiko
-
trace, 138(2)273--314, 138(2)391--423, 139(1)187--205, 148(2)227--260,
150(1)77--109, 152(2)219--249, 154(1)67--84, 163(1)1--54,
170(1)445--464, 172(1)309--321, 174(1)67--96, 177(2)425--458,
183(2)229--251, 200(1)45--100
-
trace, pomset-, 154(1)107--143
-
tracing, 196(1)319--345
-
tractability, 141(1)109--131, 147(1)31--54, 170(1)129--144,
192(2)315--351
-
tractable, 170(1)383--406, 176(1)283--328
-
trade-offs, 221(1)3--18
-
tradeoff, 161(1)235--261, 165(2)311--323, 181(1)141--157
-
traditional, 190(1)3--39
-
training, 194(1)242--z--1
-
trajectory, 138(1)3--34, 138(1)35--65, 138(1)141--168, 159(1)65--79,
197(1)1--56
-
Tran, Nicholas Q., 179(1)381--395
-
Tran, Nicholas Q., see Ibarra, Oscar H.
-
transaction, 149(1)151--178, 181(1)195--225, 185(2)259--275,
190(2)115--149, 190(2)363--396
-
transaction-based, 190(2)115--149
-
transceiver, 194(1)123--136
-
Transcendence, 218(1)143--160
-
transcendental, 157(2)185--214, 163(1)193--210
-
transducer, 143(2)285--308, 145(1)229--240, 191(1)131--144,
205(1)207--229
-
transductions, 194(1)242--z--2
-
transfer, 191(1)157--171, 194(1)1--34
-
transfinite, 139(1)27--67, 175(1)93--125
-
transform, 140(2)319--331, 144(1)3--58, 144(1)101--124, 144(1)161--197,
187(1)263--284, 234(1)309--321
-
transformation, 139(1)69--113, 139(1)243--273, 142(1)89--124,
143(2)285--308, 145(1)111--145, 146(1)145--184, 146(1)269--310,
152(2)269--283, 154(2)329--348, 156(1)71--97, 156(1)301--313,
165(2)483--490, 166(1)101--146, 167(1)193--233, 178(1)1--36,
181(2)289--306, 184(1)145--193, 185(2)237--258, 190(1)61--85,
192(2)233--258, 194(1)57--85, 194(1)242--243, 194(1)242--z,
194(1)244--z--1, 194(1)245--z, 194(1)245--z--1, 194(1)246--z,
194(1)248--z--1, 195(2)259--289, 216(1)109--157, 216(1)311--362
-
transformed, 166(1)101--146
-
transformer, 146(1)185--197, 150(1)111--159, 150(1)161--191,
160(1)1--85, 167(1)131--170, 175(1)183--222, 183(2)253--279,
192(2)233--258
-
Transforming, 206(1)81--125
-
transformsB0250, 144(1)101--124
-
transient, 172(1)121--134, 182(1)159--170, 205(1)183--193
-
transition, 138(1)35--65, 138(1)169--199, 138(1)201--210,
138(2)353--389, 138(2)391--423, 139(1)187--205, 141(1)195--252,
145(1)391--396, 146(1)109--143, 150(1)77--109, 151(1)125--162,
153(1)171--210, 153(1)211--244, 154(1)107--143, 156(1)289--299,
159(2)271--317, 165(2)275--293, 173(2)513--554, 174(1)67--96,
174(1)157--170, 177(2)351--380, 179(1)217--250, 179(1)273--299,
179(1)397--419, 192(2)259--286, 194(1)246--z--2, 195(1)3--32,
195(2)291--324, 197(1)246--z, 221(1)271--293
-
transitional, 168(1)53--103
-
transitions;, permutation-of-, 141(1)195--252
-
transitive, 148(2)261--279, 154(2)247--282, 160(1)217--239,
163(1)291--302, 165(2)391--405, 166(1)49--62, 174(1)157--170
-
transitive, reflexive-, 137(2)237--251
-
transitively, 175(2)393--406
-
transitively-closed, 143(1)73--91
-
translation, 140(1)53--71, 145(1)147--157, 148(2)303--324,
150(1)161--191, 152(1)67--89, 159(1)103--104, 160(1)271--281,
169(1)3--21, 169(2)201--220, 193(1)197--214, 199(1)25--56,
220(2)409--467
-
translational, 140(2)205--230
-
transmission, 138(2)315--352, 222(1)113--131
-
transport, 178(1)103--118
-
transportation, 178(1)103--118
-
Transporting, 173(2)311--347
-
transpose, 140(2)319--331
-
transposition, 210(2)327--339
-
trapezoidal, 140(2)265--289, 188(1)59--78
-
trapping, 153(1)95--128
-
traveling, 156(1)217--261, 158(1)279--341
-
travelling, 156(1)217--261
-
treatment, 151(1)195--205, 176(1)1--38
-
tree, B-, 168(1)21--38
-
tree, decision-, 188(1)117--128
-
tree, lambda-, 194(1)245--z--2
-
tree;, task-, 181(2)357--378
-
tree, tree-to-graph-to-, 194(1)242--z--2
-
tree-like, 210(2)227--243
-
tree-packing, 181(2)307--316
-
tree-shaped, 165(2)441--461
-
tree-to-graph-to-tree, 194(1)242--z--2
-
tree-width, 164(1)287--298
-
trees, task-, 181(2)357--378
-
treewidth, 172(1)233--254, 175(2)309--335, 203(2)205--223, 209(1)1--45
-
Treinen, Ralf, 176(1)67--87, 208(1)179--190
-
Treinen, Ralf, see Comon, Hubert
-
Treinen:1998:FOT, 208(1)179--190
-
Trevisan, Luca, 225(1)65--79, 225(1)113--128
-
Trevisan, Luca, see Clementi, Andrea E. F.,
see Crescenzi, Pierluigi
-
triangle, 145(1)111--145, 164(1)165--183, 181(2)379--404,
182(1)233--244
-
triangular, 159(1)29--42, 162(2)351--369, 165(2)483--490,
196(1)259--288
-
triangulated, 172(1)175--193
-
triangulation, 140(2)265--289, 161(1)69--92
-
triconnected, 172(1)175--193
-
tries, 144(1)101--124, 144(1)251--275, 215(1)305--323
-
triggers, 155(1)141--156
-
triple-free, 175(2)309--335
-
trivial, 143(1)167--174, 178(1)257--264, 180(1)325--339, 183(2)253--279,
188(1)221--230
-
Troelstra, A. S., 211(1)233--252
-
Troelstra:1999:CCS, 211(1)233--252
-
trois, 174(1)171--191
-
trolley, 191(1)193--203
-
Trombetta, Alberto, 182(1)217--232
-
Trombetta, Alberto, see Mundici, Daniele
-
Tromp, John, 163(1)193--210, 181(2)337--345, 185(1)3--13
-
Tromp, John, see Kececioglu, John,
see Lehr, Siegfried
-
Tromp:1997:SWB, 181(2)337--345
-
Tronci, Enrico, 160(1)145--184, 160(1)185--216
-
Tronci:1996:EPCa, 160(1)145--184
-
Tronci:1996:EPCb, 160(1)185--216
-
Tropper, E., Hausen-, 163(1)161--176
-
trous, 159(1)105--128
-
TRSs, 194(1)244--z--3
-
true, 140(1)5--52, 154(1)107--143
-
true-concurrency, 206(1)219--256
-
truly, 141(1)195--252, 156(1)177--201, 174(1)123--136, 203(2)175--203
-
truncation, 187(1)203--219
-
Truszczy{\'n}ski, Miroslaw, 190(2)241--277,
see Marek, Victor W.
-
truth, 155(1)157--177
-
truth-table, 141(1)175--193, 158(1)361--370, 164(1)141--163
-
Trystram, D., 147(1)1--18
-
Trystram, D., see Bampis, E.
-
Tsay, Yih-Kuen, 167(1)47--72
-
Tsay, Yih-Kuen, see Jonsson, Bengt
-
Tseitin, 166(1)147--172
-
Tseytin, Gregory S., 224(1)291--317
-
Tseytin:1999:FRD, 224(1)291--317
-
Tsujii, Yoshiki, 219(1)467--486
-
Tsujii, Yoshiki, see Yasugi, Mariko
-
Tsukiji, Tatsuie, 163(1)283--289
-
Tsukiji:1996:SCB, 163(1)283--289
-
Tucker, Hu-, 180(1)309--324
-
Tucker, J. V., 219(1)379--420
-
Tucker, John V., 219(1)347--378
-
Tucker, John V., see Stoltenberg-Hansen, Viggo
-
Tucker:1999:CWP, 219(1)379--420
-
Tuijn, Chris, 160(1)217--239
-
Tuijn:1996:CCG, 160(1)217--239
-
Tulley, D., 178(1)103--118, 182(1)145--157
-
Tulley, D., see Atkinson, M. D.
-
tuple, computational-, 145(1)291--316
-
tuples, 149(1)49--66, 163(1)1--54, 190(2)151--166, 192(2)167--199
-
Turakainen, 156(1)145--158
-
Turakainen, P., 174(1)269--274
-
Turakainen:1997:USE, 174(1)269--274
-
Turchin, 167(1)193--233
-
Turing, 138(1)67--100, 143(1)123--135, 143(1)159--165, 145(1)111--145,
148(1)33--55, 148(2)325--349, 158(1)193--219, 161(1)301--306,
162(1)45--77, 168(2)215--240, 168(2)241--255, 168(2)257--266,
168(2)267--301, 168(2)303--320, 168(2)321--336, 168(2)417--459,
168(2)461--472, 168(2)z--z, 172(1)135--174, 174(1)203--216,
174(1)217--230, 180(1)139--154, 180(1)229--241, 180(1)341--352,
181(1)119--139, 182(1)159--170, 191(1)215--218, 192(2)315--351,
194(1)137--161, 197(1)79--94, 210(1)217--223, 217(1)3--30,
411(31)2999--3000
-
Turing, super-, 168(2)417--459
-
Turini, Franco, 149(2)201--229
-
Turini, Franco, see Brogi, Antonio
-
Turner, D. N., 228(1)175--210
-
Turner, D. N., see Maraist, J.
-
Turner, David N., 227(1)231--248
-
Turner, Gavin, 220(2)363--376
-
Turner, Gavin, see Houle, Micheal E.
-
Turner:1999:OIL, 227(1)231--248
-
tutorial, 202(1)1--54, 254(1)691--694
-
Tuttle, Mark R., 220(1)211--245
-
Tuttle, Mark R., see Chaudhuri, Soma
-
TWDM, 194(1)123--136
-
twice, 172(1)293--301
-
two, 141(1)195--252, 149(1)179--199, 154(2)165--181, 155(1)265--266,
162(2)323--340, 164(1)73--106, 168(1)39--51, 177(2)487--507,
180(1)371--375, 182(1)217--232, 183(2)187--214, 197(1)79--94,
197(1)244--z--1, 210(1)217--223, 224(1)73--113
-
two-component, 189(1)71--107
-
two-counter, 168(2)303--320
-
two-dimensional, 138(1)35--65, 140(2)231--247, 143(1)123--135,
145(1)241--270, 147(1)1--18, 147(1)19--30, 154(2)349--366,
164(1)73--106, 172(1)303--308, 175(2)293--308, 201(1)263--273,
218(2)325--346
-
two-level, 165(2)355--390
-
two-person, 175(2)283--292, 215(1)305--323
-
two-phase, 189(1)71--107
-
two-player, 164(1)253--276
-
two-process, 179(1)333--351
-
two-prover, 157(2)277--282
-
two-register, 172(1)121--134
-
two-sided, 174(1)203--216
-
Two-sorted, 183(2)187--214
-
two-way, 161(1)141--156, 169(2)161--184
-
typability, 155(1)85--109
-
type, Kleene-, 150(1)77--109
-
type, resolution-, 185(2)319--345
-
type, {RSA}-, 226(1)19--27
-
type-assignment, 155(1)265--266
-
type-checker, 151(2)297--352
-
type-forming, 139(1)69--113
-
type-safe, 156(1)177--201
-
typeable, 193(1)75--96
-
typechecking, 176(1)235--282
-
typed, 137(1)3--23, 139(1)131--162, 142(2)299--368, 146(1)5--23,
151(2)297--352, 155(1)111--140, 160(1)217--239, 166(1)83--99,
169(2)201--220, 170(1)407--444, 179(1)273--299, 194(1)241--z--3,
194(1)244--z--3, 197(1)242--z
-
typed, well-, 151(2)297--352
-
types:, data-, 216(1)109--157
-
typing, 155(1)85--109, 155(1)179--219, 193(1)75--96, 194(1)240--z--1,
194(1)246--247, 198(1)131--158
-
Tyszkiewicz, Jerzy, 190(2)317--361
-
Tyszkiewicz:1998:KEP, 190(2)317--361