Index file section T for tcs2000.bib
Last update: Thu Jun 29 04:16:06 MDT 2023
Return to index directory
T
-
T-colorings, 263(1)275--281
-
T-tetrominoes, 319(1)3--27
-
T0-spaces, 275(1)79--109
-
table, 246(1)265--278, 273(1)271--282, 285(1)73--88, 326(1)117--135
-
tableaux, 243(1)477--487
-
tabling, 328(3)271--287
-
Tabular, 293(2)365--389
-
tackling, 270(1)125--203
-
Taha, Walid, 248(1)211--242
-
Taha:2000:MMS, 248(1)211--242
-
Tajima, Naka, 310(1)379--392
-
Tajima, Naka, see Manabe, Yoshifumi
-
Tajima, Satoshi, 261(2)227--239
-
Tajima, Satoshi, see Iwama, Kazuo
-
Tajima, Yasuhiro, 329(1)203--221
-
Tajima:2004:PTL, 329(1)203--221
-
Tajine, Mohamed, 283(1)243--268
-
Tajine:2002:TPH, 283(1)243--268
-
Takahashi, Masako, 272(1)1--2
-
Takahashi, Masako, see Dezani-Ciancaglini, Mariangiola
-
Takaki, Kazuya, 237(1)485--494
-
Takaki, Kazuya, see Iwama, Kazuo
-
Takaoka, Tadao, 293(3)535--556
-
Takaoka, Tadao, see Saunders, Shane
-
Takeda, Masayuki, 292(2)377--385, 292(2)465--479, 292(2)497--524,
292(2)525--546, 298(1)253--272, 328(1)97--111
-
Takeda, Masayuki, see Hayashi, Yosuke,
see Hirao, Masahiro, \see{Kida, Takuya,
see Miyamoto, Satoru
-
Takeda:2003:DCE, 292(2)525--546
-
Takeda:2003:DIP, 292(2)497--524
-
taken, 315(2)469--510
-
Takenaga, Yasuhiko, 262(1)633--647
-
Takenaga:2001:TSB, 262(1)633--647
-
Taketomi, Shiro, 289(2)953--962
-
Taketomi, Shiro, see Halldórsson, Magnús M.
-
Takimoto, Eiji, 241(1)37--50, 261(1)179--209, 288(2)217--235,
292(2)447--464
-
Takimoto:2000:LEE, 241(1)37--50
-
Takimoto:2001:PNW, 261(1)179--209
-
Takimoto:2002:PNW, 288(2)217--235
-
Takimoto:2003:TDT, 292(2)447--464
-
taking, 319(1)385--409
-
Talagrand, Michel, 265(1)69--77
-
Talagrand:2001:RRM, 265(1)69--77
-
Talbot, Jean-Marc, 308(1)277--331
-
Talbot, Jean-Marc, see Charatonik, Witold
-
Talcott, Carolyn, 285(2)441--485
-
Talcott:2002:ATR, 285(2)441--485
-
Tamaki, Hisao, 261(2)227--239, 325(3)425--437
-
Tamaki, Hisao, see Asano, Tetsuo,
see Iwama, Kazuo
-
Tamari, Koichi, 292(2)497--524
-
Tamari, Koichi, see Takeda, Masayuki
-
Taming, 325(1)45--67
-
Tamir, Tami, 321(1)103--123
-
Tamir, Tami, see Shachnai, Hadas
-
Tamm, Hellis, 328(1)135--149
-
Tamm:2004:BAM, 328(1)135--149
-
Tamura, Akihisa, 235(2)339--356
-
Tamura:2000:PMP, 235(2)339--356
-
Tan, Bo, 329(1)251--269
-
Tan, Bo, see Peyrière, Jacques
-
Tanaka, Hiroshi, 324(1)61--85
-
Tanaka, Hiroshi, see P{\u{a}}un, Gheorghe
-
Tanca, Letizia, 275(1)521--560
-
Tanca, Letizia, see Cortesi, Agostino
-
tandem, 310(1)309--328
-
Tang, Chuan Yi, 240(2)429--446, 263(1)113--121, 301(1)381--397,
306(1)55--67
-
Tang, Chuan Yi, see Lu, Bor-Kuan,
see Lu, Chin Lung, \see{Peng, Sheng-Lung
-
Tannier, Eric, 306(1)291--303
-
Tannier, Eric, see Gravier, Sylvain
-
Tantau, Till, 302(1)467--474
-
Tantau:2003:QCM, 302(1)467--474
-
tape, 299(1)687--706, 302(1)475--480
-
Tardif, Claude, 287(2)585--591
-
Tardif, Claude, see Ne{\v{s}}et{\v{r}}il, Jaroslav
-
tardy, 298(2)317--324
-
Tarlecki, Andrzej, 286(2)153--196
-
Tarlecki, Andrzej, see Astesiano, Egidio
-
Tarrant, Finbarr, 320(1)35--50
-
Tarrant, Finbarr, see Condon, Anne
-
Tasi{\'{c}}, Dragan Ma{\v{s}}ulovi{\'{c}}and Bo{\v{z}}a,
269(1)419--431
-
Tasic:2001:OCC, 269(1)419--431
-
task, 242(1)1--27, 268(1)43--66, 270(1)325--340, 285(1)3--24,
287(2)419--428, 291(1)55--77, 298(2)317--324, 302(1)319--335,
310(1)117--134, 313(1)119--132
-
tasks, Super-, 317(1)105--114
-
Tau, 308(1)55--130
-
Taubenfeld, Gadi, 289(1)401--423
-
Taubenfeld, Gadi, see Brit, Hagit
-
TAUT, 288(1)181--193
-
Taut, 275(1)79--109
-
tautologies, 238(1)495--498
-
Taylor, David Scot, 324(2)347--359
-
Taylor, David Scot, see Koutsoupias, Elias
-
Taylor, Stephen, 297(1)425--445
-
Taylor:2003:EBB, 297(1)425--445
-
Tchuente, Maurice, 306(1)513--533
-
Tchuente, Maurice, see Ndoundam, René
-
teaching, 241(1)51--81
-
team, 261(1)91--117, 306(1)39--53, 320(2)395--418
-
technique, 127(1)181--186, 231(1)75--87, 252(1)45--82, 290(2)1175--1199,
309(1)381--412, 313(1)133--144, 315(2)405--417, 315(2)469--510,
315(2)593--625, 329(1)1--45
-
technology, 279(1)3--27
-
telecommunication, 285(2)407--439
-
tell, 315(2)405--417
-
Telle, Jan Arne, 250(1)125--141
-
Telle, Jan Arne, see Blair, Jean R. S.
-
temporal, 252(1)105--119, 254(1)663--676, 256(1)31--62, 262(1)569--582,
266(1)311--339, 293(3)507--534, 297(1)297--315, 303(1)103--133,
310(1)79--116
-
temporary, 270(1)325--340, 287(2)419--428
-
Tenenbaum, G., 291(2)135--141
-
Tenenbaum, G., see Hanrot, G.
-
Teng, Shang-Hua, 261(2)253--266
-
Teng, Shang-Hua, see Kiwi, Marcos
-
tensor, string-, 310(1)181--231
-
tenure, 313(3)339--351
-
Teodosiu, Dan, 278(1)195--221
-
Teodosiu, Dan, see Gastin, Paul
-
Terada, Matsuaki, 329(1)203--221
-
Terada, Matsuaki, see Tajima, Yasuhiro
-
Terhal, Barbara M., 287(1)313--335, 292(3)589--596
-
Terhal, Barbara M., see Horodecki, Pawel
-
Terhal:2002:DQE, 287(1)313--335
-
Terlutte, A., 276(1)221--244
-
Terlutte, A., see Fülöp, Z.
-
Terlutte, Alain, 313(2)267--294
-
Terlutte, Alain, see Denis, François
-
term, 236(1)133--178, 238(1)247--274, 238(1)439--464, 258(1)169--208,
258(1)435--451, 259(1)549--575, 262(1)311--331, 300(1)209--234,
302(1)135--165, 309(1)195--211
-
term, Proof-, 266(1)407--440
-
term-DNF, 230(1)1--37
-
terminal, 237(1)213--238, 260(1)209--228
-
Terminating, 237(1)423--427
-
terminating, non-, 243(1)489--498
-
termination, 236(1)133--178, 254(1)63--94, 254(1)273--296,
262(1)583--632, 303(1)187--213, 311(1)389--437
-
termination, non-, 300(1)161--179
-
ternary, 233(1)201--215, 245(1)3--25, 246(1)285--298, 263(1)311--332,
328(1)97--111
-
Terrier, Véronique, 301(1)167--186, 312(2)203--222
-
Terrier:2003:TDC, 301(1)167--186
-
Terrier:2004:TDC, 312(2)203--222
-
Teruel, Enrique, 254(1)1--33
-
Teruel, Enrique, see Recalde, Laura
-
Terwijn, Sebastiaan A., 306(1)177--194
-
Terwijn, Sebastiaan A., see Ambos-Spies, Klaus
-
tessalation, 301(1)167--186
-
test, 231(2)171--180, 254(1)663--676, 270(1)877--893, 283(2)333--380,
291(2)183--201, 297(1)25--36, 315(1)191--208, 315(2)469--510,
327(1)23--44
-
testability, 231(1)59--74, 235(1)183--204, 255(1)697--697,
328(1)151--160
-
testable, 242(1)361--376, 246(1)253--264, 299(1)775--783, 329(1)71--92
-
testing, 233(1)309--317, 234(1)59--84, 239(1)97--139, 254(1)225--257,
258(1)393--407, 259(1)493--511, 266(1)237--248, 272(1)177--195,
282(1)33--51, 296(1)15--25, 299(1)81--106, 300(1)411--475,
306(1)223--243, 320(2)331--344, 322(1)203--219, 323(1)191--233,
328(1)151--160
-
tetrominoes, T-, 319(1)3--27
-
text, 237(1)239--262, 268(2)221--273, 304(1)341--364, 313(1)93--104
-
textual, 127(1)181--186
-
Teytaud, Olivier, 257(1)241--251
-
Teytaud:2001:DHP, 257(1)241--251
-
th, 322(2)233--235
-
Thakur, Mayur, 326(1)1--28
-
Thakur, Mayur, see Hemaspaandra, Lane A.
-
than, 279(1)3--27, 306(1)305--317, 315(2)469--510
-
Thapliyal, Ashish V., 292(3)589--596
-
Thapliyal, Ashish V., see Horodecki, Pawel
-
Thayer, F. Javier, 283(2)333--380
-
Thayer, F. Javier, see Guttman, Joshua D.
-
then, 279(1)3--27
-
theorem, 231(2)253--273, 232(1)121--132, 233(1)129--145, 234(1)287--300,
244(1)205--217, 247(1)291--296, 257(1)185--239, 258(1)169--208,
263(1)205--210, 266(1)81--112, 266(1)853--886, 270(1)401--419,
274(1)231--276, 282(1)53--99, 287(1)131--144, 290(1)545--564,
292(1)237--243, 292(1)245--262, 294(3)551--573, 295(1)171--187,
300(1)365--378, 308(1)227--237, 313(1)31--44, 314(3)459--466,
323(1)399--442, 324(1)35--54
-
Theoret, 234(1)323--323, 234(1)325--326, 254(1)691--694, 255(1)697--697,
266(1)997--998, 299(1)795--795, 302(1)497--498, 311(1)527--527,
347(1)437--440, 352(1)347--348, 377(1)282--283, 817(z)81--82
-
theoretic, Complexity-, 249(2)243--263
-
theoretic, complexity-, 244(1)205--217
-
theoretic, domain-, 294(1)307--331
-
theoretic, graph-, 294(3)551--573
-
theoretic, Language-, 250(1)163--178
-
theoretic, model-, 319(1)103--126
-
theoretic, proof-, 300(1)365--378, 329(1)159--176
-
theoretic, type-, 232(1)5--53
-
theoretical, 252(1)217--256, 255(1)449--481, 263(1)191--204
-
theorist, 292(3)597--610
-
theory, 47(2)149--158, 127(1)181--186, 155(2)447--457, 202(1)1--54,
232(1)55--90, 235(1)3--23, 240(2)299--318, 244(1)1--33, 249(1)3--80,
249(1)163--196, 254(1)1--33, 254(1)691--694, 257(1)51--77,
258(1)453--490, 259(1)1--61, 259(1)533--548, 261(1)57--79,
263(1)145--158, 266(1)951--974, 271(1)15--35, 273(1)5--9,
275(1)463--479, 282(1)5--32, 285(2)441--485, 287(1)3--38,
287(1)209--217, 287(1)267--298, 288(1)129--152, 290(1)79--115,
290(1)189--219, 290(1)291--353, 293(1)141--167, 293(2)291--320,
298(3)417--469, 299(1)347--386, 300(1)1--45, 301(1)417--425,
305(1)473--489, 308(1)333--366, 308(1)367--392, 309(1)357--380,
310(1)181--231, 311(1)71--103, 313(3)539--543, 315(2)405--417,
316(1)153--190, 317(1)13--30, 322(3)615--669, 323(1)1--48,
323(1)267--320, 325(1)45--67, 327(1)135--154
-
Thérien, Denis, 245(1)135--148, see Maciel, Alexis
-
thermography, 252(1)23--43
-
Theyssier, Guillaume, 322(2)355--368
-
Theyssier, Guillaume, see Dürr, Christoph
-
Thiagarajan, P. S., 274(1)117--149
-
Thiagarajan, P. S., see Madhusudan, P.
-
Thiant, Nicolas, 303(2)353--374
-
Thiant:2003:AFD, 303(2)353--374
-
Thierauf, Thomas, 295(1)205--222
-
Thierauf, Thomas, see Hoang, Thanh Minh
-
Thierrin, Gabriel, 245(1)115--133
-
Thierrin, Gabriel, see Ito, Masami
-
Thierry, E., 312(2)401--431
-
Thierry, E., see Habib, M.
-
Thijs, Albert, 238(1)275--311
-
Thijs, Albert, see Hesselink, Wim H.
-
Thilikos, Dimitrios M., 281(1)291--309
-
Thilikos, Dimitrios M., see Díaz, Josep
-
Thimm, Martin, 295(1)387--402
-
Thimm:2003:AST, 295(1)387--402
-
Thimonier, Loÿs, 314(1)121--171,
see Ravelomanana, Vlady
-
thin, 244(1)167--188, 246(1)73--105
-
Thomas, M., 313(1)133--144
-
Thomas, M., see Katritzke, F.
-
Thomas, Richard M., 250(1)365--391
-
Thomas, Richard M., see Campbell, Colin M.
-
Thomas, Wolfgang, 292(1)299--316
-
Thomas:2003:UNR, 292(1)299--316
-
Thomo, Alex, 296(3)453--471
-
Thomo, Alex, see Grahne, Gösta
-
Thomsen, B., 254(1)557--589
-
Thomsen:2001:FAD, 254(1)557--589
-
thrashing, 255(1)449--481
-
thread, 281(1)109--130, 290(1)741--778, 322(2)335--354
-
three, 240(1)49--90, 259(1)81--98, 270(1)421--440, 291(3)285--327,
301(1)201--215, 307(1)139--172, 307(2)319--325, 315(2)469--510,
317(1)1--11
-
three-dimensional, 234(1)219--232, 235(2)325--337, 255(1)263--279,
299(1)151--178
-
three-label, 296(1)75--87
-
three-nonterminal, 246(1)279--284
-
Three-part, 259(1)639--661
-
Three-player, 233(1)263--278
-
Three-variable, 322(1)147--173
-
three-word, 289(1)705--725
-
threshold, 230(1)131--147, 235(1)3--23, 259(1)307--321, 259(1)493--511,
265(1)147--157, 265(1)187--197, 270(1)811--826, 287(2)359--385,
295(1)41--64, 328(1)151--160
-
through, 230(1)1--37, 258(1)393--407, 261(1)179--209, 264(1)91--125,
281(1)325--349, 284(2)467--485, 290(1)499--529, 294(1)103--149,
325(1)45--67, 325(1)111--140
-
throughput, 302(1)319--335
-
Thue--Morse, 292(1)283--298
-
Tichit, Laurent, 306(1)471--484
-
Tichit, Laurent, see Dulucq, Serge
-
Tichý, Tomá{\v{s}}, 313(3)473--484,
see Král', Daniel
-
tie, 306(1)431--447
-
tight, 47(2)149--158, 233(1)247--261, 237(1)485--494, 242(1)377--401,
295(1)251--261, 321(1)103--123, 329(1)285--301
-
Tijdeman, R., 246(1)195--225, 270(1)857--863
-
Tijdeman, R., see Sander, J. W.
-
Tijdeman, Robert, 273(1)197--224, 319(1)177--202
-
Tijdeman, Robert, see Berthé, Valérie
-
tile, 285(2)319--358, 303(2)303--331
-
tiling, 242(1)109--124, 255(1)437--447, 281(1)81--97, 281(1)207--217,
281(1)311--324, 282(2)337--352, 303(2)333--351, 303(2)353--374,
303(2)375--408, 303(2)431--445, 303(2)447--462, 310(1)469--477,
319(1)3--27, 319(1)29--57, 319(1)59--70, 319(1)71--81,
319(1)83--101, 319(1)103--126, 319(1)127--143, 319(1)241--279,
319(1)447--454, 322(2)285--296, 322(2)409--422
-
Tillich, J.-P., 320(2)155--174
-
Tillich, J.-P., see Bezrukov, S.
-
time, 202(1)1--54, 236(1)179--191, 236(1)193--208, 237(1)105--122,
243(1)409--447, 243(1)467--475, 253(1)3--26, 253(1)95--118,
254(1)379--422, 254(1)501--542, 254(1)691--694, 259(1)129--143,
261(1)157--178, 266(1)975--985, 267(1)61--82, 268(1)119--131,
268(1)133--143, 270(1)677--700, 274(1)117--149, 275(1)347--388,
282(1)191--219, 283(1)223--242, 287(2)449--471, 289(1)845--852,
290(1)355--406, 292(2)431--446, 296(1)75--87, 297(1)317--336,
300(1)331--363, 301(1)79--101, 306(1)543--551, 309(1)313--355,
312(1)75--97, 312(2)267--280, 314(3)303--334, 315(2)371--404,
315(2)469--510, 318(1)163--180, 324(2)147--160, 328(1)151--160,
329(1)203--221
-
time, binding-, 248(1)3--27
-
time, branching-, 297(1)297--315
-
time, Continuous-, 317(1)147--165
-
time, continuous-, 306(1)353--372
-
time, Linear-, 326(1)229--240
-
time, linear-, 289(1)253--275, 299(1)763--774
-
time, ``Polynomial-, 377(1)282--283
-
time, Polynomial-, 246(1)265--278, 268(2)179--198,
289(1)503--516, 298(1)179--206
-
time, polynomial-, 155(2)447--457, 262(1)161--189,
302(1)489--495, 318(1)3--27
-
time, Real-, 322(2)335--354
-
time, real-, 253(1)27--60, 253(1)61--93, 253(1)119--152,
274(1)151--182, 282(1)53--99, 282(1)101--150, 282(1)151--190,
285(2)359--405, 289(1)253--275, 310(1)117--134, 328(1)187--201
-
time, space-, 246(1)117--129
-
Time-minimal, 270(1)421--440
-
time-stamping, 290(1)221--239
-
timed, 243(1)1--34, 254(1)225--257, 267(1)141--155, 275(1)347--388,
289(1)191--204, 290(1)241--264, 292(1)65--84, 293(3)479--505,
296(1)59--74, 298(2)347--363, 299(1)413--438, 300(1)181--207,
300(1)411--475, 302(1)93--121, 308(1)393--427, 309(1)503--527,
313(1)57--71, 318(3)297--322, 321(2)291--345
-
timestamps, 308(1)449--515
-
Tinelli, Cesare, 290(1)291--353, 291(3)219--221
-
Tinelli:2002:UND, 290(1)291--353
-
Tinelli:2003:P, 291(3)219--221
-
Ting, Hing-Fung, 270(1)325--340, 296(1)27--46
-
Ting, Hing-Fung, see Chan, Wun-Tat,
see Lam, Tak-Wah
-
Tini, Simone, 269(1)231--282, 290(1)465--498, 309(1)503--527
-
Tini, Simone, see Lanotte, Ruggero,
see Maggiolo-Schettini, Andrea
-
Tini:2001:ASE, 269(1)231--282
-
tip, 270(1)895--911
-
Tison, Sophie, 258(1)453--490, 281(1)219--233
-
Tison, Sophie, see Dauchet, Max,
see Seynhaeve, Franck
-
Tissue, 296(2)295--326
-
Tixeuil, Sébastien, 293(1)219--236,
see Ducourthial, Bertrand
-
To, Kar-Keung, 270(1)325--340, 295(1)251--261
-
To, Kar-Keung, see Koo, Chiu-Yuen,
see Lam, Tak-Wah
-
to, leads-, 243(1)339--361
-
to-all, all-, 297(1)385--397
-
to-front, move-, 242(1)313--325
-
to-tree, Storage-, 329(1)115--158
-
Toda, Seinosuke, 304(1)129--156
-
Toda, Seinosuke, see Li{\'s}kiewicz, Maciej
-
today, 279(1)3--27, 315(2)405--417
-
Todinca, Ioan, 276(1)17--32
-
Todinca, Ioan, see Bouchitté, Vincent
-
Toeplitz, 263(1)47--58, 315(2)453--468, 315(2)511--523, 315(2)557--579
-
Toffoli, Tommaso, 325(2)329--344
-
Toffoli:2004:HTS, 325(2)329--344
-
Tofte, Mads, 258(1)299--392
-
Tofte, Mads, see Birkedal, Lars
-
Tohyama, Hiroaki, 237(1)381--406
-
Tohyama:2000:CPD, 237(1)381--406
-
token, 267(1)121--129
-
Tokunaga, Yuuki, 289(2)963--976
-
Tokunaga, Yuuki, see Yamasaki, Tomohiro
-
Tokushige, N., 263(1)345--354
-
Tokushige, N., see Maehara, H.
-
Tokuyama, Takeshi, 325(3)425--437
-
Tokuyama, Takeshi, see Asano, Tetsuo
-
tolerance, 290(2)1201--1222
-
tolerant, 242(1)237--245
-
tolerant, fault-, 255(1)649--658, 322(3)567--613
-
tolerant, noise-, 261(1)31--56
-
Tomita, Etsuji, 329(1)203--221
-
Tomita, Etsuji, see Tajima, Yasuhiro
-
Tommasi, Marc, 258(1)453--490, 281(1)219--233
-
Tommasi, Marc, see Dauchet, Max,
see Seynhaeve, Franck
-
tomographical, 319(1)447--454
-
Tong, Li-Da, 263(1)139--143
-
Tong:2001:CGB, 263(1)139--143
-
Toni, Francesca, 308(1)199--226
-
Toni, Francesca, see Afrati, Foto
-
tool, 292(1)317--342, 315(2)469--510
-
toolbox, 231(1)33--46
-
top-down, 292(2)447--464, 304(1)315--339
-
Topics, 287(1)3--38
-
topologic, 326(1)399--408
-
topological, 234(1)233--254, 244(1)219--241, 247(1)229--255,
262(1)669--697, 275(1)69--77, 283(1)3--28, 283(1)243--268,
284(2)241--257, 305(1)111--134, 320(1)71--87, 325(2)249--271
-
topological, non-, 305(1)159--186
-
topology, 230(1)39--48, 283(1)67--108, 283(1)109--150, 301(1)341--354,
302(1)337--364, 305(1)3--15, 305(1)77--84, 305(1)85--109,
305(1)221--235, 305(1)237--258, 305(1)347--408, 305(1)457--471,
307(3)549--565, 322(1)85--136
-
Torán, Jacobo, 259(1)597--611, see Arvind, V.
-
Torras, Carme, 320(1)111--121
-
Torras, Carme, see Angulo, V. R. Vicente Ruiz de
-
Torre, Salvatore La, 293(3)479--505, 318(3)297--322
-
Torre, Salvatore La, see Alur, Rajeev
-
Torre:2003:FAT, 293(3)479--505
-
Tortora de Falco, Lorenzo, 294(3)489--524
-
TortoradeFalco:2003:ALL, 294(3)489--524
-
total, 239(2)257--276, 247(1)213--228, 284(2)437--453, 287(1)239--249,
315(2)469--510, 316(1)137--151
-
totality, 272(1)69--112
-
tough, 263(1)255--261, 313(3)473--484
-
Touitou, Dan, 269(1)163--201
-
Touitou, Dan, see Riany, Yaron
-
tour, 240(2)299--318
-
tournament, 263(1)75--85, 313(3)533--537
-
Toussaint, Godfried, 321(1)25--40
-
Toussaint, Godfried, see Brönnimann, Hervé
-
Toward, 317(1)13--30
-
towards, 238(1)81--130, 244(1)205--217, 269(1)163--201, 272(1)177--195,
285(1)3--24, 292(3)679--695, 294(1)151--181, 294(3)335--351,
296(1)3--13, 299(1)347--386, 299(1)537--584, 318(3)243--296,
322(3)615--669
-
tower, 237(1)407--421
-
Townsend, C. F., 316(1)225--258, 316(1)297--321
-
Townsend, C. F., see Vickers, S. J.
-
Townsend:2004:PLP, 316(1)225--258
-
trace, 254(1)337--361, 278(1)195--221, 305(1)237--258, 307(1)199--215,
309(1)157--176, 309(1)381--412, 310(1)393--456
-
Tractability, 243(1)185--197
-
tractable, 259(1)99--128, 266(1)311--339
-
Trade-off, 290(1)1--57
-
tradeoff, 306(1)319--338
-
trading, 323(1)399--442
-
traffic, 276(1)33--50
-
Trahtman, A. N., 231(1)59--74, 235(1)183--204, 255(1)697--697,
328(1)151--160
-
Trahtman:2000:AFO, 235(1)183--204
-
Trahtman:2000:OEO, 231(1)59--74, 255(1)697--697
-
Trahtman:2001:EOE, 231(1)59--74, 255(1)697--697
-
Trahtman:2004:RTC, 328(1)151--160
-
trajectories, 320(2)293--313
-
transcendence, 321(2)395--404
-
transducer, 231(1)17--32, 231(1)129--139, 234(1)177--201,
250(1)219--233, 255(1)377--399, 267(1)83--104, 276(1)221--244,
289(1)225--251, 292(1)45--63, 292(1)131--143, 304(1)315--339,
313(1)93--104, 313(1)105--117, 313(1)145--158, 328(1)3--18,
329(1)115--158
-
transform, 234(1)309--321, 281(1)455--469
-
transformation, 240(1)117--146, 255(1)323--344, 255(1)449--481,
269(1)135--162, 279(1)65--82, 289(2)919--937, 290(1)499--529,
293(2)365--389, 304(1)449--459, 308(1)239--257, 309(1)413--468,
313(2)195--207, 314(3)387--429, 321(2)215--231
-
transforming, 248(1)243--287, 311(1)479--525
-
transient, 306(1)353--372, 306(1)513--533
-
transition, 240(1)3--47, 249(2)243--263, 256(1)63--92, 260(1)27--55,
265(1)3--67, 265(1)199--225, 265(1)265--283, 277(1)47--103,
286(1)65--95, 290(1)79--115, 294(3)411--437, 296(2)195--223,
301(1)187--200, 302(1)417--430
-
transitional, Uni-, 281(1)537--553
-
transitive, 234(1)59--84, 296(3)473--485, 299(1)387--412
-
transitivity, 233(1)147--164
-
translate, 271(1)131--143
-
translation, 275(1)179--213
-
transportation, 306(1)339--351
-
transposition, 259(1)513--531, 289(1)517--529
-
Trapezoidal, 273(1)11--33
-
traveling, 285(1)3--24, 295(1)279--294, 313(3)377--392, 352(1)347--348
-
travelling, 289(1)845--852
-
traversal, 296(1)117--144, 321(2)215--231
-
treatment, 293(2)321--343
-
tree, 233(1)1--18, 233(1)201--215, 235(1)205--216, 236(1)1--1,
236(1)179--191, 237(1)213--238, 238(1)1--29, 240(2)271--298,
240(2)407--427, 240(2)429--446, 242(1)125--142, 242(1)143--168,
249(2)325--342, 250(1)219--233, 252(1)197--215, 255(1)377--399,
255(1)483--509, 261(1)179--209, 262(1)83--99, 262(1)101--115,
262(1)229--240, 262(1)415--435, 266(1)887--934, 270(1)609--623,
270(1)843--856, 270(1)913--919, 272(1)3--40, 275(1)633--674,
276(1)221--244, 276(1)435--444, 281(1)291--309, 282(2)353--380,
288(1)21--43, 288(1)129--152, 288(2)237--254, 289(1)355--399,
289(1)649--703, 292(1)165--183, 292(2)387--416, 292(2)447--464,
293(3)479--505, 295(1)387--402, 296(1)99--116, 297(1)119--143,
297(1)425--445, 298(2)275--302, 299(1)231--271, 300(1)1--45,
303(1)215--231, 304(1)87--101, 304(1)237--247, 304(1)315--339,
304(1)449--459, 306(1)55--67, 306(1)471--484, 307(1)173--178,
307(2)277--302, 307(2)319--325, 307(2)337--363, 308(1)333--366,
310(1)329--354, 311(1)257--283, 312(1)121--142, 313(3)371--376,
313(3)485--498, 314(3)387--429, 314(3)459--466, 321(2)195--214,
326(1)69--102, 326(1)409--418, 329(1)47--70
-
tree, game-, 252(1)177--196
-
tree, multi-, 240(2)487--494, 314(1)293--301
-
tree, Storage-to-, 329(1)115--158
-
Tree-based, 246(1)1--51, 262(1)377--414
-
tree-languages, 281(1)219--233
-
tree-like, 254(1)337--361, 254(1)683--690, 275(1)311--346,
300(1)235--258
-
Tree-shellability, 262(1)633--647
-
Tree-width, 303(1)157--170
-
Treinen, Ralf, 258(1)453--490
-
Treinen, Ralf, see Seynhaeve, Franck
-
Trevisan, Luca, 238(1)313--345
-
Trevisan, Luca, see Boreale, Michele
-
triangle, 263(1)333--344, 319(1)59--70, 326(1)137--153
-
triangular, 231(2)181--191, 246(1)73--105, 289(2)879--895,
315(2)511--523
-
triangulated, 263(1)123--137, 304(1)201--214
-
triangulation, 262(1)459--471, 270(1)261--286, 296(1)3--13,
307(2)385--401
-
trichromatic, 319(1)59--70
-
trick, 284(1)161--180
-
tridiagonal, 255(1)423--436
-
tries, 270(1)441--461, 289(2)1009--1026
-
triggers, 259(1)689--698, 302(1)481--488
-
Triguero, Francisco, 312(1)1--2
-
Triguero, Francisco, see Eidenbenz, Stephan
-
triple, 297(1)103--117, 297(1)367--384
-
triviality, 262(1)191--213
-
Troestler, C., 231(2)253--273
-
Troestler, C., see Michaux, C.
-
tropical, 298(3)417--469
-
tropological, 305(1)311--346
-
Trow, Paul, 259(1)199--216
-
Trow:2001:DPS, 259(1)199--216
-
Troyanov, M., 263(1)263--274
-
Troyanov, M., see Indermitte, C.
-
true, 254(1)501--542, 255(1)449--481, 315(2)405--417
-
truly, 278(1)223--255, 281(1)369--421
-
Truncated, 304(1)87--101
-
Tsai, Chang-Hsiung, 314(3)431--443
-
Tsai, Kuo-Hui, 261(2)323--328
-
Tsai, Shi-Chun, 237(1)429--437
-
Tsai, Shi-Chun, see Simon, Janos
-
Tsai:2001:LBW, 261(2)323--328
-
Tsai:2004:LAR, 314(3)431--443
-
Tse, Savio S. H., 310(1)61--77
-
Tse:2004:NBM, 310(1)61--77
-
Tsinakis, Constantine, 249(1)1--1
-
Tsinakis, Constantine, see Keimel, Klaus
-
Tsitsiklis, John N., 255(1)687--696
-
Tsitsiklis, John N., see Blondel, Vincent D.
-
TSP1,2, 310(1)135--146
-
Tsuchida, Kensei, 230(1)131--147
-
Tsuchida, Kensei, see Uehara, Ryuhei
-
Tsuchiya, Morimasa, 235(2)219--223
-
Tsuchiya, Morimasa, see Era, Hiroshi
-
Tsuiki, Hideki, 284(2)467--485, 294(1)307--331
-
Tsuiki:2002:RNC, 284(2)467--485
-
Tsuiki:2003:DTS, 294(1)307--331
-
Tsuji, Kayoko, Shikishima-, 262(1)583--632
-
Tsujishita, Toru, 260(1)87--117
-
Tsujishita, Toru, see Johnstone, Peter
-
tubes, 231(2)171--180
-
Tucker, J. V., 284(2)207--240
-
Tucker, J. V., see Blanck, J.
-
Tulley, D. H., 262(1)133--144
-
Tulley, D. H., see Kalorkoti, K.
-
tuple, 313(1)45--56
-
Turing, 231(2)143--156, 257(1)153--166, 270(1)739--760, 276(1)147--181,
289(1)253--275, 289(1)573--590, 296(2)195--223, 304(1)103--128,
317(1)61--69, 317(1)105--114, 319(1)127--143, 326(1)45--56
-
Turing, non-, 317(1)115--145
-
Turing, super-, 317(1)61--69
-
turn, 325(2)329--344
-
Turner, John W., 297(1)317--336
-
Turner, John W., see Louchard, Guy
-
Turner, Peter R., 279(1)29--49
-
Turner, Raymond, 266(1)951--974
-
Turner:2001:TIS, 266(1)951--974
-
Turner:2002:RPS, 279(1)29--49
-
Turuani, M., 297(1)297--315
-
Turuani, M., see Laroussinie, F.
-
Turuani, Mathieu, 299(1)451--475
-
Turuani, Mathieu, see Rusinowitch, Michaël
-
tutorial, 202(1)1--54, 254(1)691--694
-
Tutte, 292(1)165--183
-
Tuza, Zsolt, 263(1)75--85
-
Tuza, Zsolt, see Manoussakis, Yannis
-
two, 243(1)307--338, 250(1)1--30, 255(1)437--447, 262(1)473--499,
268(1)133--143, 270(1)525--560, 270(1)969--976, 272(1)113--175,
276(1)449--459, 282(2)285--302, 283(2)419--450, 289(1)205--223,
289(1)845--852, 292(3)589--596, 292(3)639--652, 307(2)277--302,
309(1)381--412, 312(2)337--358, 315(2)469--510, 324(1)107--131
-
two-dimensional, 230(1)221--233, 231(2)181--191, 237(1)263--273,
255(1)51--62, 259(1)129--143, 261(2)227--239, 270(1)857--863,
289(2)939--952, 301(1)167--186, 304(1)129--156, 312(2)203--222,
314(1)173--187, 319(1)145--176, 322(2)335--354
-
two-level, 313(3)511--525, 315(1)61--81
-
two-rowed, 246(1)265--278
-
two-sided, 270(1)659--675
-
two-stage, 237(1)105--122
-
two-way, 47(2)149--158, 262(1)1--24, 264(1)65--90, 287(1)299--311,
295(1)189--203, 298(3)511--528, 312(2)359--378
-
type, 232(1)55--90, 238(1)131--159, 240(1)215--254, 247(1)277--290,
259(1)183--197, 266(1)273--309, 266(1)773--818, 266(1)951--974,
269(1)317--361, 269(1)433--450, 271(1)181--200, 272(1)3--40,
272(1)197--221, 272(1)341--398, 275(1)427--462, 275(1)575--587,
285(1)89--99, 290(1)189--219, 290(1)741--778, 298(3)387--415,
299(1)477--493, 311(1)1--70, 311(1)121--163, 315(1)151--190,
316(1)25--47, 316(1)105--111, 319(1)241--279, 327(1)3--22,
328(3)289--323
-
type, dependent-, 266(1)407--440
-
type, Gentzen-, 243(1)185--197
-
type, ``Inductive-data-, 817(z)81--82
-
type, Inductive-data-, 272(1)41--68
-
type, non-standard-, 272(1)69--112
-
type-theoretic, 232(1)5--53
-
typed, 266(1)249--272
-
types=functions+relations+transition, 243(1)93--165
-
Typical, 312(2)463--477
-
Typing, 300(1)379--409
-
Tzouvaras, Athanassios, 258(1)209--232
-
Tzouvaras:2001:OTL, 258(1)209--232