Index file section T for actainfo.bib
Last update: Thu May 16 02:00:14 MDT 2024
Return to index directory
T
-
Tabet-Aouel, Nasreddine, 27(3)247--286
-
Tabet-Aouel, Nasreddine, see Kouvatsos, Demetres D.
-
table, 20(4)345--369
-
Table, Memo-, 28(1)43--81
-
Tableau-Based, 27(8)725--747
-
Tabuada, Paulo, 43(7)477--500, 57(1)1--1
-
Tabuada, Paulo, see Bloem, Roderick
-
Tabuada:2007:SMC, 43(7)477--500
-
Tabular, 19(1)13--33, 19(2)167--182
-
Tabulation, 32(2)93--115
-
TACAS, 54(8)727--728
-
tâches, 18(4)449--466
-
tag, 19(2)115--150, 19(3)255--268
-
tag-systèmes, 20(2)179--196
-
Tag-Systems, 20(2)179--196
-
Tahé, Serge, 21(6)629--641, see Lenfant, Jacques
-
tail, 15(3)251--263
-
taille, 19(3)255--268
-
Ta{\u{\i}}tslin, M. A., 29(6)645--662, 33(8)759--780
-
take, 8(3)201--220, 8(4)359--370, 26(7)615--642
-
Takeichi, Masato, 24(1)57--77
-
Takeichi:1987:PPE, 24(1)57--77
-
Taming, 1(2)115--138
-
taming, failure-, 58(5)497--528
-
Tamminen, Markku, 23(3)267--288
-
Tamminen:1986:CMS, 23(3)267--288
-
Tan, K. C., 1(z)307--310
-
Tan, K. C., see Hu, T. C.
-
Tan, Tony, 58(1)35--56
-
Tan, Tony, see Engels, Steven
-
Tan, Zhiyi, 49(6)361--379
-
Tan:2012:IEM, 49(6)361--379
-
tandem, 7(2)183--195, 23(6)657--678
-
Tang, C. Y., 36(2)143--172
-
Tang, C. Y., see Yen, William C. K.
-
Tang, Leh-Sheng, 26(4)349--362, 29(3)241--265
-
Taniguchi, Kenichi, 6(4)361--364
-
Taniguchi:1976:ACS, 6(4)361--364
-
TANT, 25(6)677--689
-
TAPE, 8(4)371--382
-
Tape, 8(4)371--382
-
tape, one-, 40(2)81--94
-
TAPElog, 8(4)371--382
-
Tapia-Flores, Tonatiuh, 61(1)1--21
-
Tapia-Flores:2024:DWN, 61(1)1--21
-
Tarjan, 8(4)303--314
-
Tarjan, Robert Endre, 6(2)171--185, 10(2)111--115, 32(3)255--270
-
Tarjan, Robert Endre, see Buchsbaum, Adam L.,
see Paul, Wolfgang J.
-
Tarjan:1976:EDS, 6(2)171--185
-
Tarjan:sicomp:1972, 8(4)303--314
-
Tarlecki, Andrzej, 25(3)233--281, 29(8)689--736
-
Tarlecki, Andrzej, see Sannella, Donald T.,
see Sannella, Donald
-
Task, 18(4)449--466, 20(3)261--281, 22(1)35--45
-
Tasking, 28(1)7--41
-
tasks, 7(2)217--226, 20(2)113--120, 22(2)139--148, 47(5)325--345
-
Tassa, Tamir, 40(9)657--674, 42(6)501--514
-
Tassa, Tamir, see Epstein, Leah
-
tat, 24(3)299--352
-
Tateishi, Katsuyuki, 38(11)847--858
-
Tateishi, Katsuyuki, see Iwamoto, Chuzo
-
Tatti, Nikolaj, 42(8)617--638
-
Tatti:2006:SPB, 42(8)617--638
-
Taubenfeld, Gadi, 33(1)1--20
-
Taubenfeld:1996:PIR, 33(1)1--20
-
Taubner, Dirk, 27(2)125--156, 27(6)533--565
-
Taubner:1989:SFS, 27(2)125--156
-
Taubner:1990:RCP, 27(6)533--565
-
Taylor, John, Shawe-, 25(4)355--423
-
Taylor, Richard N., 19(1)57--84
-
Taylor:1983:CAS, 19(1)57--84
-
Tcha, Dong-wan, 29(5)415--423
-
Tcha:1992:PST, 29(5)415--423
-
TCSP, 31(1)81--104
-
te, 27(6)567--581
-
teacher, 38(4)235--259
-
Team, 31(6)525--537, 58(5)529--569
-
Tech, 16(4)427--464, 19(2)115--150, 24(3)299--352
-
Techet, Ji{\v{r}}{\'\i}, 45(7)593--608,
see Meduna, Alexander
-
technical, 21(2)125--169, 23(4)393--427, 32(8)705--778
-
technique, 1(2)115--138, 6(4)319--340, 7(2)137--152, 11(4)305--340,
12(4)321--338, 13(1)21--37, 15(3)281--302, 15(4)425--445,
17(1)43--61, 18(2)181--206, 18(3)289--298, 19(1)35--55,
21(3)239--250, 23(4)361--392, 24(1)57--77, 24(5)565--582,
29(3)281--302, 31(7)601--627, 34(10)737--772, 47(1)33--66,
59(6)709--724
-
Teh, Wen Chean, 56(6)521--535
-
Teh, Wen Chean, see Atanasiu, Adrian
-
Teil, 4(3)201--211, 4(4)299--310
-
Teitelbaum, Tim, 24(6)679--694
-
Teitelbaum, Tim, see Horwitz, Susan
-
template, 55(6)521--545
-
temporal, 19(3)195--220, 20(3)207--226, 27(4)287--313, 28(4)365--407,
30(7)679--700, 38(2)89--116, 38(9)599--619, 39(2)71--96,
40(6)431--458, 45(1)43--78, 47(4)251--277, 53(2)87--88,
53(2)89--147, 53(2)149--170, 53(2)171--206, 53(3)247--299,
53(3)301--324, 53(6)545--546, 53(6)547--585, 53(6)723--752,
55(2)129--152, 55(3)191--212, 57(1)107--135, 59(2)183--209,
59(4)387--407
-
temps, 23(2)177--192
-
tend, 8(4)341--357
-
Tennent, 15(1)83--98
-
Tennent, Robert D., 8(2)97--112, 8(4)315--324
-
Tennent:1977:LDM, 8(2)97--112, 15(1)83--98
-
Tennent:1977:NAR, 8(4)315--324
-
tense, 25(6)625--661
-
terHofstede:1997:ACF, 34(12)927--963
-
Terlouw, J., 19(1)97--113
-
Terlouw, J., see Bergstra, Jan A.
-
term, 8(1)61--73, 8(2)145--152, 18(3)319--334, 20(2)159--170,
24(4)395--415, 26(7)597--614, 27(6)505--517, 33(6)595--606
-
Term-Generating, 29(2)161--210
-
terme, 19(3)255--268
-
terminal, 5(4)257--271, 6(4)397--402, 18(1)47--64, 37(7)511--540,
41(2)99--110
-
terminal, two-, 36(2)143--172
-
terminate, 21(5)473--484
-
termination, 5(4)333--352, 8(1)21--36, 11(3)195--210, 16(2)199--217,
18(1)79--108, 25(1)1--14, 27(4)287--313, 30(6)537--568, 46(1)57--72,
51(1)1--24
-
Termination, Non-, 21(3)251--269
-
termination, non-, 8(1)21--36
-
Tesei, Luca, 40(5)317--347
-
Tesei, Luca, see Barbuti, Roberto
-
Teske, Daniel, 40(8)603--607
-
Teske, Daniel, see Akkerman, Thorsten
-
test, 21(4)375--391, 23(3)245--253, 37(3)193--211
-
Testable, 24(4)363--380
-
tested, 7(2)137--152
-
testing, 3(4)347--355, 4(3)243--269, 10(1)53--66, 16(1)31--43,
17(2)185--192, 18(1)31--45, 18(3)289--298, 21(5)501--519,
22(1)101--114, 32(6)509--543, 34(7)557--578, 42(1)43--56,
48(2)97--147, 57(3)353--383, 60(4)361--384
-
Teunissen, Peter, 9(4)331--343
-
Teunissen, Peter, see Krzesinski, Anthony E.
-
text, 18(2)171--179, 20(4)371--389, 31(2)161--206
-
TH, 26(7)597--614
-
th, 26(7)597--614
-
Thalheim, Bernhard, 36(2)97--141
-
Thalheim, Bernhard, see Schewe, Klaus-Dieter
-
than, 8(2)177--192, 8(4)303--314, 18(4)377--392, 23(4)361--392,
24(1)57--77, 26(4)349--362, 28(6)559--574, 29(3)281--302,
55(2)129--152
-
Thanisch, P., 24(2)131--144
-
Thanisch, P., see Loizou, G.
-
Thanos, Costantino, 22(2)125--138
-
Thanos, Costantino, see Meghini, Carlo
-
Thattai, Mukund, 58(1)57--93
-
Thattai, Mukund, see Bhattacharyya, Arnab
-
the, 8(1)21--36, 31(2)161--206, 35(6)541--541
-
the-shelf, Off-, 57(3)551--590
-
themselves, 26(7)615--642
-
then, 8(4)303--314, 18(4)377--392
-
theorem, 7(1)35--60, 7(3)319--323, 8(3)267--283, 9(2)183--193,
11(1)89--101, 17(1)63--67, 22(5)475--498, 28(6)559--574,
29(6)595--621, 31(4)379--397, 36(9)817--835, 38(11)847--858,
39(4)273--305, 46(3)237--254, 48(3)191--211
-
theoretic, 14(4)391--403, 17(1)43--61, 23(3)289--309, 23(6)657--678,
31(6)559--571, 45(1)33--42
-
theoretic, Category-, 38(1)1--44
-
theoretic, model-, 8(3)243--266
-
Theoretic, Set-, 21(5)443--472
-
theoretical, 17(4)411--423, 28(4)365--407, 47(7)359--374
-
theoretical, Lattice-, 27(7)583--625
-
Theorie, 2(z)253--282, 4(3)201--211, 4(4)299--310
-
theory, 2(z)253--282, 2(z)357--381, 3(2)135--153, 3(2)187--202,
4(3)201--211, 4(3)213--229, 4(4)299--310, 5(4)297--332, 6(1)61--75,
8(2)97--112, 8(2)125--144, 8(3)243--266, 8(3)267--283,
11(2)119--137, 14(2)135--155, 15(3)193--207, 16(1)31--43,
17(1)1--20, 17(1)43--61, 17(4)451--476, 18(3)289--298, 19(1)1--11,
20(2)159--170, 20(3)249--260, 24(1)105--119, 24(2)157--171,
24(6)695--709, 25(3)283--303, 26(1)123--130, 26(7)615--642,
28(1)7--41, 29(1)17--31, 29(3)281--302, 31(2)161--206,
31(8)719--728, 33(1)69--97, 34(8)597--635, 35(6)505--539,
36(2)97--141, 37(8)541--561, 41(7)475--524, 46(2)87--137,
46(5)331--360, 47(2)111--132, 51(5)261--295, 52(2)235--268,
54(1)1--2, 54(7)693--726, 56(1)61--92, 56(4)287--319, 60(3)209--255
-
theory, meta-, 44(2)91--121
-
there, 8(1)61--73, 8(4)341--357, 18(4)377--392
-
thereafter, 15(3)251--263
-
thetan, 18(4)377--392
-
Thiagarajan, P. S., 29(6)555--578
-
Thiagarajan, P. S., see Nielsen, Mogens
-
thier, 6(1)41--60
-
Thierrin, Gabriel, 38(2)131--153, 44(3)153--166
-
Thierrin, Gabriel, see Dassow, Jürgen,
see Kari, Lila
-
thing, 60(3)317--329
-
thinness, 35(7)625--636
-
Thomsen, Bent, 30(1)1--59, 36(5)335--374
-
Thomsen, Bent, see Degano, Pierpaolo
-
Thomsen:1993:PCS, 30(1)1--59
-
Thorup, Anders, 36(9)721--734
-
Thorup, Anders, see Forst, Gunnar
-
Thorup, Mikkel, 33(6)511--522
-
Thorup:1996:DGE, 33(6)511--522
-
though, 8(3)201--220
-
threading, multi-, 44(7)525--569
-
threads, 44(2)75--90
-
three, 8(1)61--73, 19(4)325--338, 51(7)473--497, 57(3)313--320
-
three-element, 41(2)171--180, 55(5)445--457
-
Three-Stage, 20(2)197--206
-
Three-Valued, 21(3)251--269
-
three-word, 60(4)453--465
-
Thrifty, 22(1)35--45
-
through, 7(2)167--182, 9(2)121--132, 9(3)195--216, 26(4)381--407,
28(1)83--94, 36(3)215--232, 37(1)1--19, 40(1)37--79, 54(4)435--445,
55(8)627--647
-
throughput, 7(2)167--182, 7(2)183--195, 22(1)1--14, 43(3)147--164,
60(2)101--122
-
Thrown, 6(4)357--359
-
Thue, 25(5)573--591
-
thus, 8(1)21--36, 8(1)75--96, 8(2)193--199, 8(4)325--334
-
Tian, Cong, 45(1)43--78
-
Tian, Cong, see Duan, Zhenhua
-
Tiberio, Paolo, 3(1)1--23
-
Tiberio, Paolo, see Gelenbe, Erol
-
tier, Two-, 45(3)193--210
-
Tihanyi, Norbert, 60(3)317--329
-
Tihanyi, Norbert, see Dömösi, Pál
-
tilde-bar, Multi-, 49(6)413--436
-
time, 2(z)1--11, 2(z)283--291, 4(1)11--47, 6(1)1--14, 6(1)41--60,
7(2)167--182, 7(2)183--195, 8(1)21--36, 8(1)61--73, 8(2)177--192,
8(3)243--266, 8(4)359--370, 9(4)309--329, 11(1)61--70,
12(2)159--175, 12(4)285--303, 15(3)251--263, 15(4)347--363,
16(1)57--62, 17(1)31--41, 17(1)43--61, 18(3)319--334, 18(4)377--392,
19(4)385--395, 19(4)397--407, 20(3)207--226, 22(2)139--148,
22(3)241--251, 22(6)595--627, 23(2)177--192, 24(2)121--130,
24(3)353--362, 24(4)461--474, 24(5)583--594, 26(1)93--122,
26(3)269--277, 26(4)349--362, 26(5)473--484, 26(7)643--655,
29(3)281--302, 29(6)579--594, 30(3)215--231, 31(6)503--512,
31(7)629--650, 33(7)687--706, 35(4)329--352, 36(4)287--293,
36(9)673--692, 37(10)765--780, 39(8)531--577, 40(9)657--674,
46(2)139--154, 46(5)331--360, 48(7)409--415, 54(5)501--520,
56(5)391--404, 57(3)321--322, 60(2)101--122
-
TIME'13, 53(2)87--88
-
time, branching-, 57(3)513--550, 58(6)677--677, 60(4)385--451
-
time, continuous-, 48(5)291--315, 53(2)171--206
-
Time, Discrete-, 15(3)251--263
-
time, discrete-, 15(3)251--263
-
Time, Flow-, 24(5)513--524, 26(7)679--696, 29(4)375--382
-
time, linear-, 53(5)493--508, 55(3)191--212, 57(3)513--550,
58(6)677--677
-
time, mean-, 34(7)543--556
-
Time, Non-Real-, 32(4)395--413
-
Time, Optimal-, 24(4)363--380
-
Time, Real-, 16(3)309--345, 21(4)393--407
-
time, real-, 36(1)1--65, 36(1)67--96, 37(6)385--448,
42(6)389--418, 54(4)343--378, 55(4)309--338
-
Time, Run-, 29(1)63--94
-
time, space-, 7(2)167--182
-
time, subexponential-, 44(1)23--39
-
TIME-2014, 53(6)545--546
-
time-bounded, 8(2)177--192, 48(5)291--315
-
time-maintainable, Constant-, 25(5)475--496
-
time-outs, 7(2)183--195
-
Time-Sharing, 5(4)257--271
-
time-sharing, 7(2)123--136
-
Time-Space, 10(2)111--115, 27(7)627--663
-
timed, 30(2)181--202, 35(8)645--664, 37(1)45--81, 38(2)89--116,
38(4)277--305, 40(5)317--347, 42(6)389--418, 47(5)279--311,
49(4)249--279, 53(6)681--722, 55(5)363--400, 59(1)1--35,
60(4)361--384
-
timelines, 53(6)649--680
-
timeouts, 60(1)11--57
-
Timing, 33(4)317--350
-
Timkovsky, V. G., 39(8)597--612
-
Timkovsky, V. G., see Coffman, E. G.
-
Tinelli, Cesare, 54(8)727--728
-
Tinelli, Cesare, see Baier, Christel
-
Ting, D. W., 9(3)263--271
-
Ting, D. W., see Coffman, Jr., Edward G.
-
Tini, Simone, 57(6)759--760
-
Tini, Simone, see Peters, Kirstin
-
Tininini, Leonardo, 40(8)529--584
-
Tininini, Leonardo, see Grumbach, Stéphane
-
tional, 6(3)227--249
-
Tip, Frank, 36(12)927--982
-
Tip:2000:CHS, 36(12)927--982
-
Tiplea, Ferucio Laurentiu, 30(1)1--59, 37(6)449--465, 42(8)639--671
-
Tiplea:2001:SES, 37(6)449--465
-
Tiplea:2006:ADT, 42(8)639--671
-
Tîrn{\u{a}}uc{\u{a}}, Cristina, 48(1)43--50,
see Mitrana, Victor
-
title, 32(8)705--778
-
Tiuryn, Jerzy, 10(2)127--155
-
TMs, 44(5)345--359
-
to, points-, 38(8)587--598
-
to, up-, 54(2)127--190
-
to-circuit-size, lower-bounds-, 26(4)381--407
-
to-TSO, TSO-, 55(8)649--668
-
tock-CSP, 59(1)125--162, 59(2)283--283
-
tokens, 48(2)67--96
-
Tokuda, Takehiro, 15(4)447--470
-
Tokuda:1981:EUR, 15(4)447--470
-
Tokura, Nobuki, 15(3)209--217
-
Tokura, Nobuki, see Araki, Toshiro
-
Tolerance, Fault-, 26(6)543--557
-
tolerant, 26(8)741--748, 41(6)341--365
-
Tolerant, Fault-, 20(3)261--281, 30(5)409--423, 34(12)881--904
-
Tomaras, Panagiotis J., 28(3)265--295
-
Tomaras:1991:MHD, 28(3)265--295
-
Tomita, Etsuji, 32(4)395--413
-
Tomita, Takashi, 54(7)655--692
-
Tomita-style, 44(6)427--461
-
Tomita:1995:EEP, 32(4)395--413
-
Tomita:2017:SLS, 54(7)655--692
-
Tomlinson, Alexander I., 34(9)667--686
-
Tomlinson, Alexander I., see Garg, Vijay K.
-
Tompa, Frank Wm, 3(4)297--319, 13(3)205--224, 18(1)17--30
-
Tompa, Frank Wm., see Gotlieb, C. C.,
see Ramírez, Raúl J.
-
Tompa:1980:PES, 13(3)205--224
-
tool, 8(3)221--242, 34(10)737--772, 53(2)171--206
-
Toolkit, 53(4)325--326
-
Tools, 31(2)137--160, 54(8)727--728
-
top, 1(z)79--110, 26(4)349--362
-
Top-Down, 1(z)79--110, 22(1)85--100
-
top-down, 8(2)193--199, 19(3)255--268, 39(1)1--29
-
Topcu, Ufuk, 57(1)107--135
-
Topcu, Ufuk, see Dimitrova, Rayna
-
topics, 7(1)35--60
-
Topologies, 32(2)145--153
-
Topor, Rodney W., 11(3)211--221
-
Topor:1979:CSW, 11(3)211--221
-
Torán, Jacobo, 26(4)363--379, 33(4)387--408,
see Díaz, J.,
see Köbler, Johannes
-
Torfah, Hazem, 55(3)191--212
-
Torfah:2018:CCM, 55(3)191--212
-
Torlone, Riccardo, 31(6)573--600
-
Torlone:1994:UOD, 31(6)573--600
-
Torre, Salvatore, La, 38(2)89--116
-
Torrigiani, P. R., 12(2)109--158
-
Torrigiani, P. R., see Lauer, P. E.
-
total, 3(3)243--263, 3(4)385--397, 8(3)201--220, 9(2)61--71,
15(3)233--249, 22(1)67--83, 23(2)193--215, 36(4)287--293
-
total-payoff, 54(1)85--125
-
totalement, 19(3)255--268
-
Tóth, Tamás, 59(1)1--35
-
Toth:2022:CVT, 59(1)1--35
-
Tourlakis, George, 22(3)277--310, 30(3)267--278
-
toward, 25(3)233--281, 29(8)689--736, 36(2)97--141, 37(1)45--81,
39(8)531--577, 60(3)209--255
-
TR\#92-28d, 32(8)705--778
-
trace, 30(1)89--101, 31(4)379--397, 32(7)647--679, 35(7)567--593,
51(8)499--552, 53(1)35--65, 54(4)399--433
-
trace-based, 49(2)69--103
-
trade-off, 12(3)227--243
-
Trade-Offs, 10(2)111--115
-
tradeoff, 14(3)257--269, 46(1)57--72
-
Trading, 41(2)111--144
-
traditional, 26(7)615--642, 29(3)281--302
-
traffic, 29(5)415--423, 58(1)57--93, 59(6)709--724
-
train, 23(4)429--463
-
Trajectory-based, 40(6)491--527
-
Trân, Nicholas Q., 31(4)315--327,
see Ibarra, Oscar H.
-
Tran, Tien Dat, 59(4)451--478
-
Tran, Tien Dat, see Jain, Sanjay
-
transaction, 33(2)131--152, 44(7)591--624
-
transactional, 41(2)65--81
-
Transducer, 29(6)663--687, 57(3)727--758
-
transducers, 11(1)89--101, 26(1)131--192, 27(8)749--780, 36(7)511--544,
38(2)117--129, 39(9)613--698, 46(2)139--154, 46(8)561--590,
51(5)297--325, 52(7)559--571, 58(1)95--152
-
transductions, 2(z)180--188, 23(5)585--596, 32(7)681--703,
43(6)395--417, 46(1)29--42
-
Transfer, 34(11)837--857
-
transferal, 5(4)297--332
-
transferred, 8(3)267--283, 8(4)325--334
-
transform, 13(4)383--408, 24(1)57--77, 31(7)673--696, 34(5)347--366,
43(4)243--264
-
transformation, 6(1)41--60, 6(1)61--75, 8(2)113--123, 10(2)127--155,
11(1)31--55, 18(2)181--206, 21(3)239--250, 24(1)57--77,
24(3)299--352, 27(1)1--40, 30(6)569--607, 32(2)93--115,
34(4)245--256, 35(12)1037--1073, 46(7)475--507, 49(1)29--52
-
transformation, tree-, 43(6)371--393
-
Transformational, 6(1)95--108, 8(4)383--384, 36(1)1--65, 36(1)67--96
-
Transformationen, 10(2)127--155
-
transformer, 15(4)425--445, 20(1)35--57, 20(4)301--313, 27(4)287--313,
40(4)265--301
-
Transformer, Predicate-, 26(4)309--332
-
transforming, 12(4)339--369, 21(3)239--250, 26(3)193--211
-
transient, 50(7)403--436
-
transition, 19(3)195--220, 24(2)211--237, 27(6)533--565, 29(6)555--578,
30(6)503--535, 33(3)203--231, 37(11)831--879, 40(5)317--347,
46(3)237--254, 49(1)15--28, 51(5)261--295, 52(2)269--297,
55(4)339--362, 55(5)363--400, 55(7)547--574, 56(4)385--389
-
transitive, 8(4)303--314, 30(4)369--384, 40(9)637--655, 46(8)591--607
-
Translatable, 1(z)111--114, 2(z)383--393
-
translatables, 2(z)383--393
-
Translating, 57(3)403--438
-
Translation, 7(3)269--287, 17(3)349--364, 59(6)725--759
-
Translational, 44(5)345--359
-
translators, 8(1)1--20
-
transmission, 2(z)110--142, 37(7)511--540
-
transparency, 27(6)505--517
-
transpose, 29(3)281--302
-
transposition, 19(1)13--33, 19(2)167--182
-
travel, 17(3)245--265
-
traversal, 8(4)303--314, 21(3)239--250, 24(1)57--77
-
traverse, 21(3)239--250
-
treat, 7(2)183--195
-
treated, 5(4)297--332
-
treatment, 8(3)243--266, 16(1)45--56
-
tree, -, 21(6)541--557, 29(6)623--643, 29(8)761--778
-
Tree, Hierarchical-, 23(3)311--323
-
Tree, In-, 22(2)139--148
-
Tree, LSM-, 33(4)351--385
-
Tree, Merge-, 33(4)351--385
-
tree, pseudo-quad-, 17(3)267--285
-
tree, quad-, 17(3)267--285
-
tree, SB-, 29(3)241--265
-
tree-based, 35(9)775--793
-
Tree-systems, 38(2)131--153
-
tree-transformation, 43(6)371--393
-
tree-walking, 46(2)139--154, 58(1)95--152
-
Trees, B-, 1(3)173--189
-
Trees, B-, 1(4)290--306, 9(1)1--21, 26(5)421--438, 27(1)41--59
-
trees, -, 13(4)325--346, 19(1)35--55, 26(5)439--471
-
trees, quad-, 4(1)1--9
-
Trellis, 21(4)393--407, 29(6)623--643
-
trial, 33(7)621--630
-
Tricky, 22(3)253--275, 33(3)277--280
-
trie, 20(4)345--369, 21(3)229--237, 26(7)597--614
-
Triesort, 21(3)229--237
-
Trinh, Cong Quy, 53(4)357--385
-
Trinh, Cong Quy, see Abdulla, Parosh Aziz
-
TRIP, 25(6)677--689
-
Tripathi, Satish K., 18(3)319--334, 23(6)643--655, 25(6)677--689,
34(7)543--556
-
Tripathi, Satish K., see Agrawala, Ashok K.,
see Gelenbe, Erol,
see Rangarajan, Sampath
-
Tripathi:1988:LSD, 25(6)677--689
-
Trivedi, Kishor S., 20(3)261--281, 23(6)621--642
-
Trivedi, Kishor S., see Bannister, Joseph A.,
see Geist, Robert
-
Trogemann, Georg, 34(6)411--428
-
Trogemann:1997:PAP, 34(6)411--428
-
Troina, Angelo, 47(5)279--311
-
Troina, Angelo, see Lanotte, Ruggero
-
Trombetta, Alberto, 42(6)515--539
-
Trombetta:2006:EOE, 42(6)515--539
-
Tronci, Enrico, 39(1)31--70, 55(2)89--90
-
Tronci, Enrico, see Esparza, Javier,
see Penna, Giuseppe Della
-
true, 39(8)531--577, 57(3)385--402
-
Truly, 22(5)499--536
-
truncated, 53(1)1--22
-
Truthe, Bianca, 50(1)41--75
-
Truthe, Bianca, see Dassow, Jürgen
-
Tsai, Y. S., 41(2)171--180, 43(3)173--194, 48(1)1--18
-
Tsai, Y. S., see Li, Zheng-Zhu
-
Tsakalidis, Athanasios K., 21(1)101--112, 25(1)37--54
-
Tsakalidis:1984:MOG, 21(1)101--112
-
Tsakalidis:1988:NCA, 25(1)37--54
-
Tseng, Christine Chifen, 49(5)281--293
-
Tseng, Christine Chifen, see Fan, Chen-Ming
-
TSO, 54(8)789--818
-
TSO, TSO-to-, 55(8)649--668
-
TSO-to-TSO, 55(8)649--668
-
Tsuda, Takao, 19(1)13--33, 19(2)167--182, 33(2)99--130
-
Tsuda, Takao, see Matsumoto, Aki
-
Tsuda:1983:TLTa, 19(1)13--33
-
Tsuda:1983:TLTb, 19(2)167--182
-
Tsukiji, Tatsuie, 41(2)99--110
-
Tsukiji, Tatsuie, see Mahmoud, Hosam
-
Tucci, S., 12(4)321--338
-
Tucci, S., see Mikou, N.
-
Tucker, J. V., 17(4)451--476, 21(3)293--320, 33(5)421--456
-
Tucker, J. V., see Asveld, Peter R. J.,
see Bergstra, Jan A., \see{Harman, N. A.
-
tuples, 32(1)61--78, 34(12)905--925, 35(6)541--541
-
Turakainen, P., 22(5)579--588, 23(5)585--596
-
Turakainen, Paavo, 28(2)179--186
-
Turakainen, Paavo, see Latteux, Michel
-
Turing, 7(1)95--107, 8(2)177--192, 8(3)267--283, 30(3)267--278,
40(2)81--94, 53(5)509--543, 58(4)377--396
-
Turini, Franco, 10(1)85--94
-
Turini, Franco, see Montangero, Carlo
-
Turn-Around, 2(z)1--11
-
Turnbull, C. J. M., 12(3)187--207
-
Turnbull:1979:GDL, 12(3)187--207
-
Turski, Wladyslaw M., 1(1)26--34, 1(z)282--289, 27(8)685--696
-
Turski:1971:MDS, 1(1)26--34
-
Turski:1972:MDS, 1(z)282--289
-
Turski:1990:SMC, 27(8)685--696
-
Tuzhilin, Alexander, 30(7)679--700, 33(3)203--231
-
Tuzhilin:1993:QDP, 30(7)679--700
-
Tuzhilin:1996:MDI, 33(3)203--231
-
Twente, 16(4)427--464, 19(2)115--150, 24(3)299--352
-
two, 1(3)190--199, 1(z)375--376, 2(z)189--190, 6(2)187--209,
7(2)183--195, 7(2)217--226, 8(2)97--112, 8(2)125--144, 8(3)201--220,
8(3)221--242, 14(2)175--193, 16(2)237--252, 17(3)311--325,
18(1)31--45, 18(4)449--466, 20(2)113--120, 22(2)171--186,
26(4)349--362, 27(3)195--215, 29(3)281--302, 29(6)595--621,
30(3)215--231, 31(3)235--260, 36(6)489--510, 39(8)597--612,
40(5)367--383, 47(7)375--389, 48(3)165--189
-
Two-Dimensional, 18(2)207--225
-
Two-dimensional, 45(3)155--175
-
two-letter, 29(1)95--107
-
Two-Level, 10(4)323--339, 14(2)175--193
-
Two-Processor, 1(3)200--213
-
Two-Station, 26(3)241--267
-
two-station, 26(5)501--501, 26(8)787--787
-
Two-Symbol, 20(2)133--142
-
two-terminal, 36(2)143--172
-
Two-tier, 45(3)193--210
-
Two-Way, 8(4)371--382, 11(1)89--101, 22(5)589--594, 31(8)729--740
-
two-way, 8(4)371--382, 52(7)559--571, 58(5)463--495, 59(5)619--669
-
typability, 41(6)367--381
-
type, 1(4)271--281, 3(1)47--57, 8(2)193--199, 8(4)315--324, 10(1)27--52,
11(2)149--168, 12(1)73--94, 12(2)159--175, 13(3)205--224,
14(2)135--155, 15(3)193--207, 17(4)365--397, 18(1)47--64,
19(1)97--113, 19(3)235--253, 20(1)1--33, 20(1)59--101,
20(2)159--170, 22(2)149--169, 22(5)537--578, 22(6)629--661,
23(4)465--486, 25(3)283--303, 28(6)539--558, 29(6)595--621,
30(4)303--350, 30(6)569--607, 31(5)399--430, 33(1)21--68,
34(4)245--256, 36(12)1007--1029, 38(6)367--408, 42(2)79--81,
42(2)191--225, 42(4)349--388, 42(8)639--671, 45(7)479--536,
48(3)165--189, 50(2)77--122, 50(7)359--380, 54(3)243--269,
55(7)613--624, 57(6)801--827
-
Type, Procedure-, 18(2)149--169
-
Type-based, 41(4)181--220, 42(4)291--347
-
typechecking, 46(2)139--154
-
typed, 31(5)399--430, 35(8)637--643, 42(6)429--500
-
typical, 28(6)559--574
-
typing, 48(3)191--211
-
Tyrrell, Malcolm, 44(5)323--344, 45(6)441--465
-
Tyrrell, Malcolm, see Morris, Joseph M.
-
Tzachar, Nir, 47(5)313--323
-
Tzachar, Nir, see Dolev, Shlomi