Index file section T for sigact.bib
Last update: Fri Nov 4 02:17:43 MDT 2022
Return to index directory
T
-
T, 0(0)xviii--409, 23(3)30, 23(3)31--32, 24(2)88--93, 32(1)3--5, 33(1)32--45,
35(1)8--12, 35(2)14--16, 35(3)17--20, 36(1)12--14, 43(2)21--24,
43(2)36--38, 44(2)80--87, 45(3)26--28, 46(3)57--71
-
T-invariant, 29(4)98--110
-
T-invariants, 29(4)98--110
-
Ta-Shma, 30(2)22--30
-
Ta-Shma, Amnon, 30(3)25--34
-
Ta-Shma:1999:CVQ, 30(3)25--34
-
table, 1(3)7--8, 12(3)36--44, 24(1)20--25, 29(3)59--61, 32(1)12--16,
35(1)80--84, 35(3)5--8, 36(2)25--42
-
table, lunch-, 27(3)6--12
-
table, truth-, 31(3)37--42
-
Table-automataash, 30(1)41
-
Tabu, 34(1)101--108
-
Tac-Toe, Tic-, 43(3)19--21
-
tac-toe, tic-, 114(0)xiv--732
-
TACAS, 36(1)86--99
-
tackle, 0(0)xiii--228, 25(1)87--89
-
tackling, 43(2)85--107
-
tag-systems, 6(4)19--20
-
tag-team, 49(3)51--61
-
tailor-made, 44(1)89--105
-
tailored, 44(2)47--79, 46(3)57--71
-
tailoring, 24(1)57
-
Takao, 50(3)4--5
-
take, 0(0)xiii--228, 0(0)xx--195, 4(14)66--73, 6(1)30--31, 15(2)77--77,
24(2)18--21, 24(2)88--93, 28(2)2--13, 28(2)24--31, 34(1)32--46,
36(2)14--19, 36(2)25--42, 38(1)31--45, 42(1)59--80, 44(2)47--79,
50(3)35--50, 51(3)59--61, 51(4)30--46
-
take-away, 50(2)61--61
-
Take-home, 29(2)9--13
-
taken, 8(3)14--20, 27(3)13--24, 28(4)2--15, 31(2)22--33, 33(2)34--47,
35(3)25--41, 36(2)14--19, 37(1)33--46, 37(3)27--32, 38(4)54--63,
39(1)62--72, 42(4)54--76, 49(4)13--16, 50(1)9--13
-
taking, 3(13)22--24, 22(4)63--63, 30(1)30--32, 32(4)9--17, 33(2)16--18,
37(3)27--32, 39(2)42--44, 39(3)77--95, 48(3)83--86, 49(4)7--10,
50(1)9--13, 50(1)38--59, 51(0)xxv--384
-
Talbot, 38(2)16--20
-
Talbot, John, 0(0)0--0
-
Talbot:2006:CCI, 0(0)0--0, 38(2)16--20
-
Tale, 0(0)xvi--257, 37(3)19--26
-
talent, 32(1)8--12
-
tales, 29(4)20--27, 53(1)9--12
-
Talib, Fatima, 40(4)36--41
-
Talib:2009:BRB, 40(4)36--41
-
talk, 4(14)110--115, 24(1)58--59, 24(1)59, 29(3)104--111, 33(1)32--45,
33(4)14--15, 36(2)131--143, 38(4)54--63, 41(4)65--72, 46(2)89--95,
48(3)83--86, 49(4)60--63, 49(4)83--88, 50(2)6--8
-
tallying, 49(2)14--17
-
Talmage, Edward, 45(4)94--99
-
Talmage, Edward, see Parter, Merav
-
Talwar, Kunal, 35(2)60--70
-
Talwar, Kunal, see Fakcharoenphol, Jittat
-
Tamal, 41(1)24--27
-
Tamassia, 24(1)60, 32(1)3--5, 35(2)14--16
-
Tamassia, Roberto, 0(0)xii--708, 0(0)xiii--641, 0(0)xvii--681,
0(0)xviii--738, 0(0)xxii--696, 0(0)xxii--714, 24(1)59, 26(1)87--91
-
Tamassia, Roberto, see Goodrich, Michael T.
-
Tamassia:1993:AOD, 24(1)59
-
Tamassia:1995:RGD, 26(1)87--91
-
Tan, Erkan, 26(1)20--22
-
Tan, Li-Yang, 46(4)50--68
-
Tan, Li-Yang, see Rossman, Benjamin
-
Tan, Wang-Chiew, 47(3)67--68
-
Tan:1995:BRB, 26(1)20--22
-
Tan:2016:DTC, 47(3)67--68
-
Tantau, 33(1)32--45, 33(2)34--47
-
Tanton, 46(4)9--11
-
Tao, 45(1)24--26, 46(2)25--27
-
Tao, Yufei, 51(3)59--61
-
Tao:2020:DTC, 51(3)59--61
-
tape, 6(2)23--26, 10(2)53--57, 14(1)38--43, 23(3)100--106, 46(3)37--55
-
Tape, One-, 46(3)37--55
-
tape, one-, 46(3)37--55
-
tape-symbol, 3-, 3(9)11--12
-
Tapp, Alain, 28(2)14--19, 39(3)67--76
-
Tapp, Alain, see Brassard, Gilles,
see Broadbent, Anne
-
Tarakanov, 36(4)14--17
-
Tarakanov, A. O., 0(0)xi--193
-
Tarakanov:2003:IPA, 0(0)xi--193, 36(4)14--17
-
Tardos, 0(0)xxi--754, 41(4)21--24
-
target, 15(4)59--59, 16(1)59--59, 28(2)70--79, 29(4)98--110, 32(1)3--5,
44(2)92--112, 49(3)14--19, 49(4)7--10
-
Tarique, 38(3)34--38
-
Tarjan, 24(2)88--93
-
tarpit, 28(2)24--31
-
Tarski, 0(0)vi--425, 37(1)27--28
-
Tarski, Banach-, 0(0)xiv--218
-
Tasic, Vladimir, 30(1)5
-
Tasic:1999:BRB, 30(1)5
-
task, 0(0)xxix--184, 4(14)150--169, 20(4)17--23, 28(4)16--19,
29(4)98--110, 34(1)101--108, 35(4)58--71, 36(2)14--19, 37(3)59--66,
37(3)67--92, 39(3)67--76, 43(2)108--123, 47(2)34--39, 49(1)55--65,
49(2)77--94, 49(3)63--73, 49(4)66--82, 50(1)35--37, 52(2)10--17
-
tasking, 4(14)170--190
-
tasking, multi-, 4(14)170--190
-
taste, 32(4)9--17
-
Tate, Stephen R., 26(2)26--32
-
Tate:1995:BR, 26(2)26--32
-
\tau, 36(2)8--13
-
Taubenfeld, 40(1)47--50
-
Taubenfeld, Gadi, 0(0)xv--423
-
Taubenfeld:2006:SAC, 0(0)xv--423, 40(1)47--50
-
taught, 14(3)36--53, 14(4)58--69, 29(4)58--62, 36(2)14--19,
44(2)119--124, 49(4)60--63
-
tautology, 5(2)17--20
-
taxonomy, 24(4)2--13, 25(1)22--30, 35(4)18--19
-
Tay, Y. C., 36(2)131--143
-
Tay:2005:WSC, 36(2)131--143
-
Taylor, R. Gregory, 33(3)7--16, 35(4)5--11
-
Taylor:2002:MCA, 33(3)7--16
-
Taylor:2004:BRB, 35(4)5--11
-
TBD, 49(2)32--32
-
Tchoudaikina, Svetlana A., 29(4)98--110
-
Tchoudaikina, Svetlana A., see Kostin, Alexander E.
-
tCPL, 38(4)65--66
-
TCS, 23(1)44--46, 35(4)117--117
-
teach, 25(4)2--11, 26(4)51--59, 28(4)20--23, 39(3)35--39, 49(4)13--16,
52(2)85--90
-
teachers, 0(0)ix--593, 39(2)84--91, 40(1)51--57, 49(3)14--19
-
teaching, 0(0)xi--288, 0(0)xiii--448, 0(0)xx--195, 14(3)36--53,
14(4)58--69, 15(2)58--62, 25(4)2--11, 26(4)36--38, 26(4)51--59,
29(4)58--62, 30(4)53--56, 34(1)68--77, 36(0)xxxiii--452,
36(3)19--21, 40(1)45--46, 40(1)51--57, 40(1)58--62, 44(4)31--34,
49(4)11--12, 49(4)13--16, 49(4)60--63, 50(1)65--78, 51(3)55--58,
52(2)85--90
-
team, 49(2)32--32, 49(3)51--61
-
team, tag-, 49(3)51--61
-
technical, non-, 5(2)21--23
-
technical``, \non-, 39(3)35--39
-
technical, service-, 25(3)124--127
-
technicalities, 28(4)24--27
-
technically, 32(4)9--17, 33(3)110--112
-
Technion, 52(1)70--70
-
technological, 0(0)xiv--366, 28(3)65--74, 50(2)61--61, 52(1)9--11
-
technology, 0(0)xi--269, 0(0)xiv--366, 0(0)xiv--736, 0(0)xvi--383,
4(14)208--211, 14(4)38--57, 28(4)16--19, 36(2)131--143, 36(3)84--93,
37(2)17--22, 39(1)62--72, 39(2)10--28, 39(2)84--91, 40(1)14--17,
40(2)87--93, 49(2)57--57, 49(3)78--79, 50(2)62--79, 54(0)xiii--249,
99(0)xxii--759
-
Ted, 33(1)46--53
-
Tel, Gerard, 0(0)xii--596
-
Tel:2000:IDA, 0(0)xii--596, 33(2)16--18
-
Telecommunication, 0(0)xii--161, 0(0)xv--548, 0(0)xvi--383,
0(0)xvii--472, 0(0)xviii--268, 0(0)xxi--191, 0(0)x--283,
89(0)xi--184
-
telecommunications, 0(0)ix--593, 14(4)38--57, 39(2)10--28
-
telegram, 0(0)xii--244
-
telegraph, 50(1)38--59
-
telephone, 15(1)23--27
-
telephony, 33(2)60--73
-
tell, 4(14)74--82, 15(1)23--27, 29(4)58--62, 49(2)18--28, 49(4)60--63
-
telling, 33(2)34--47
-
tempered, equal-, 0(0)xiv--223
-
template, 51(1)118--119
-
temporal, 0(0)vi--113, 0(0)xii--190, 0(0)xiv--427, 24(1)27--28,
24(4)34--36, 28(2)70--79, 34(2)8--15, 36(1)86--99, 38(3)76--76
-
temporal-epistemic, 38(3)76--76, 38(3)77--99
-
Temppeliaukio, 48(1)91--100
-
tempt, 36(2)25--42
-
ten, 39(3)16--18, 40(2)50--66, 49(3)51--61
-
tend, 30(2)33--42, 31(4)13--15, 35(2)36--59
-
tendrils, 50(3)6--11
-
Teng, Shang-Hua, 18(4)54--61
-
Teng, Sheng-Hua, 49(3)78--79
-
Teng:1987:CHE, 18(4)54--61
-
Teng:2018:KPA, 49(3)78--79
-
tentative, 38(4)65--66, 49(2)32--32
-
tentative, not-at-all-, 49(2)32--32
-
tentatively, 37(4)115--126
-
tenth, 0(0)xxii--264, 25(4)12--14, 31(1)4, 52(2)36--44
-
tenure, 35(4)72--83
-
Teo, 40(1)14--17
-
Terai, S., 39(1)12--16
-
Terai, Saif, 42(4)17--21
-
Terai:2008:BRB, 39(1)12--16
-
Terai:2011:BRB, 42(4)17--21
-
Terence, 45(1)24--26, 46(2)25--27
-
Terese, 36(4)17--20
-
Terese, Brittany, 42(1)46--48
-
Terese:2011:BRB, 42(1)46--48
-
term, 0(0)xii--301, 2(4)12--18, 4(14)208--211, 5(2)24--25, 6(1)12--18,
8(3)14--20, 15(2)76--76, 21(1)21, 21(2)21, 23(0)x--267,
23(3)100--106, 24(1)26--27, 24(1)58, 26(2)88--95, 28(1)43--48,
31(3)24--26, 31(4)15--18, 33(2)14--16, 34(1)32--46, 34(1)47--67,
35(4)23--37, 36(2)8--13, 36(4)17--20, 37(4)115--126, 38(3)106--129,
40(2)50--66, 49(2)7--9, 49(2)58--76, 49(3)9--13, 49(3)14--19,
49(3)35--47, 51(1)58--104, 55(0)xxii--884
-
term, near-, 40(2)68--80
-
terminal, 2(4)19--19
-
terminate, 28(4)90--93
-
terminated, 29(4)98--110
-
termination, 4(14)74--82, 4(14)116--120, 4(14)203--207, 35(3)102--108
-
terminological, 6(1)12--18
-
terminology, 20(4)17--23, 22(1)65, 37(2)57--57, 43(3)67--84,
50(2)12--14
-
terrific, 51(4)47--47, 52(4)55--55
-
territories, 32(1)111--114
-
Territory, 53(1)13--24
-
terrorists, 50(4)7--8
-
Terry, 50(2)6--8
-
tersely, 25(4)12--14
-
Tesman, 42(3)29--32, 42(3)32--34
-
Tesman, Barry, 0(0)xxii--824
-
Tesman, Barry, see Roberts, Fred S.
-
test, 10(2)58--59, 15(1)61--66, 22(3)49--50, 34(1)101--108, 36(2)14--19,
46(4)32--49
-
testable, 42(1)59--80, 44(4)53--72, 47(3)46--66, 49(2)18--28
-
testimony, 36(2)8--13
-
testing, 0(0)x--389, 8(2)25--26, 18(1)49--50, 37(1)14--15, 40(2)50--66,
42(1)59--80, 43(1)62--81, 43(2)33--35, 43(2)85--107, 44(4)53--72,
46(4)32--49, 47(2)6--9, 47(3)46--66, 49(2)18--28, 50(1)9--13,
51(4)4--5, 51(4)6--10, 3000(0)x--147
-
testing, emptyness-, 24(1)61--67
-
tetrahedralization, 25(3)24--27
-
Teutsch, Jason, 44(1)25--28, 47(1)42--67
-
Teutsch:2013:RBR, 44(1)25--28
-
Teutsch:2016:BSD, 47(1)42--67
-
Tewari, 49(2)18--28
-
Tewari, Raghunath, 45(1)24--26
-
Tewari:2014:RAC, 45(1)24--26
-
Texas, 0(0)xx--195, 36(4)111--114, 49(4)55--57
-
text, 0(0)xvi--205, 0(0)xx--254, 24(1)68--74, 28(3)37--40, 31(4)10--12,
31(4)15--18, 36(2)14--19, 39(3)28--30, 41(0)x--141, 41(2)26--28,
43(3)67--84, 49(3)6--8, 49(4)11--12, 49(4)58--59, 134(0)xviii--759
-
textbook, 0(0)xi--504, 0(0)xii--386, 0(0)xiii--427, 0(0)xvi--205,
0(0)x--320, 20(z)z--z, 25(4)2--11, 26(1)40--43, 26(4)51--59,
29(2)50--57, 29(4)51--57, 36(2)14--19, 36(3)84--93, 37(1)33--46,
37(3)36--54, 38(4)16--18, 39(3)35--39, 45(3)10--12, 49(2)7--9,
49(3)9--13, 49(4)11--12, 49(4)13--16, 49(4)29--35, 51(1)9--11
-
textbook-style, 33(2)16--18
-
texts.html, oded/cc-, 37(2)31--31
-
TG, 46(1)63--76
-
th, 27(2)88--96, 30(2)61--61, 52(4)31--54
-
th, 20-, 32(4)34--58
-
th, p-, 23(2)72--75
-
Th98, 31(4)13--15
-
Thaler, 51(4)47--47
-
Thaler, Justin, 51(4)48--72
-
Thaler, Justin, see Bun, Mark
-
than, 0(0)xiv--223, 0(0)xx--195, 0(0)xxix--184, 2(4)12--18, 4(14)97--103,
10(1)30--30, 15(4)59--59, 16(1)59--59, 16(4)56--59, 17(2)52--63,
18(1)54--67, 22(1)65, 22(3)38--40, 22(4)63--63, 23(2)72--75,
24(1)60, 24(1)68--74, 24(2)18--21, 26(1)2--13, 26(4)5--15,
27(3)13--24, 28(2)14--19, 28(2)24--31, 28(2)81--87, 30(2)33--42,
30(2)61--61, 31(3)37--42, 31(4)10--12, 31(4)13--15, 31(4)15--18,
33(2)34--47, 33(2)60--73, 33(3)110--112, 35(3)13--17, 35(3)46--57,
35(4)11--14, 36(2)14--19, 36(2)25--42, 36(4)103--108, 37(1)33--46,
37(1)66--81, 37(4)115--126, 38(2)56--74, 38(2)75--86, 38(3)56--75,
39(1)33--46, 39(3)77--95, 41(4)61--64, 42(1)59--80, 42(3)80--101,
44(2)126--142, 45(3)82--104, 46(3)37--55, 49(2)4--6, 49(2)33--56,
49(3)51--61, 49(3)62--62, 49(4)11--12, 51(4)30--46, 52(2)10--17,
52(2)46--70, 52(3)61--68
-
than-brute-force, faster-, 50(4)57--76
-
than-expert, less-, 31(4)10--12
-
thank, 24(4)82--89, 32(1)32--32, 32(4)24--33, 33(1)46--53, 33(2)34--47,
33(2)48--51, 33(3)50--50, 33(4)37--54, 34(2)42--57, 34(3)40--61,
35(3)46--57, 35(3)58--66, 36(2)77--88, 36(3)24--38, 36(3)41--50,
36(3)67--81, 36(4)24--35, 36(4)36--46, 37(2)31--31, 37(2)50--56,
37(4)58--84, 38(3)34--38, 38(3)55--55, 38(4)39--40, 39(2)50--50,
39(3)26--28, 49(2)32--32, 49(2)57--57, 49(3)6--8, 50(1)35--37,
50(1)61--64, 50(2)29--30, 50(3)34--34, 50(3)51--51, 50(4)31--32,
50(4)56--56, 51(1)37--37, 51(4)47--47, 52(1)41--46, 52(2)45--45,
52(3)37--37, 52(4)55--55
-
thanking, 35(4)72--83, 52(2)45--45
-
the, 27(6)593--593, 35(3)5--8, 36(1)21--24, 37(3)17--19, 39(2)84--91
-
the, compactly-, 49(4)11--12
-
the, mathematics-, 0(0)ix--593
-
the, state-of-, 21(3)9--18
-
the-art, state-of-, 0(0)xiii--228, 40(1)27--44
-
the-fact, before-, 29(3)10--22
-
theft, 0(0)xxi--368
-
theirs, 26(4)51--59
-
theme, 0(0)xiv--223, 0(0)148, 20(4)17--23, 28(2)40--52, 31(2)22--33,
31(4)10--12, 35(3)102--108, 35(4)118--118, 37(2)31--46, 42(1)59--80,
46(2)89--95, 49(4)60--63, 50(1)9--13, 51(4)30--46
-
themed, lesbian-, 37(3)17--19
-
themselves, 0(0)xiii--228, 8(3)14--20, 24(2)18--21, 32(1)74--78,
36(1)86--99, 49(3)14--19, 49(4)11--12
-
then, 0(0)xi--504, 0(0)xx--195, 1(3)7--8, 2(4)12--18, 2(4)19--19,
4(14)1--6, 4(14)66--73, 4(14)104--109, 4(14)116--120, 4(14)128--141,
6(1)25--29, 6(1)30--31, 14(3)23--29, 15(1)23--27, 15(2)78--78,
18(1)54--67, 21(2)64, 23(3)100--106, 24(1)57--58, 24(1)58--59,
24(1)59, 24(1)60, 24(2)88--93, 27(3)13--24, 28(2)40--52,
28(3)65--74, 28(4)20--23, 28(4)24--27, 29(2)50--57, 29(3)10--22,
29(4)98--110, 30(2)33--42, 32(4)9--17, 33(2)51--59, 33(3)50--70,
35(3)5--8, 35(3)46--57, 36(1)53--70, 36(1)122--131, 36(4)103--108,
37(1)33--46, 37(1)47--65, 37(3)36--54, 39(3)16--18, 39(3)41--57,
39(3)77--95, 42(3)80--101, 43(2)108--123, 44(2)92--112, 45(3)47--52,
45(3)82--104, 46(3)57--71, 46(4)32--49, 48(3)83--86, 49(1)73--81,
49(2)7--9, 49(2)10--13, 49(2)33--56, 49(2)57--57, 49(2)58--76,
49(3)51--61, 49(4)60--63, 50(1)65--78, 50(3)34--34, 50(3)35--50,
53(1)36--57
-
then-Turing/Fields/Nobel-laureate, 33(2)34--47
-
Theobald, 46(3)17--20
-
theorem, 0(0)vi--113, 0(0)xiii--239, 0(0)xiv--196, 0(0)xvi--205,
0(0)106, 0(0)119--9, 0(0)x--320, 2(4)19--19, 3(9)11--12, 4(14)1--6,
4(14)7--14, 4(14)15--26, 4(14)58--65, 4(14)66--73, 4(14)116--120,
5(4)11--14, 6(0)xii--405, 7(3)26--31, 8(1)27--29, 10(0)xiv--74,
11(0)vi--175, 11(1)18--18, 12(3)68--80, 13(1)26--29, 14(1)36--37,
15(2)53--57, 15(4)59--59, 16(1)59--59, 16(4)60--62, 23(2)72--75,
24(1)58, 24(1)59, 28(4)16--19, 30(2)22--30, 32(1)12--16,
32(1)111--114, 33(2)14--16, 35(0)xii--195, 35(2)111--112,
35(4)23--37, 36(2)25--42, 36(3)107--112, 37(2)47--49, 38(0)xv--202,
38(4)40--45, 39(3)41--57, 43(1)32--33, 43(3)67--84, 44(1)50--69,
44(2)47--79, 46(4)50--68, 46(4)69--78, 49(2)29--31, 49(4)11--12,
50(1)9--13, 50(2)9--11, 50(2)12--14, 50(2)29--30, 50(3)24--24,
50(3)25--33, 51(3)14--19, 51(3)55--58, 51(4)30--46, 56(0)xiv--202
-
theoretic, 0(0)xv--318, 5(2)21--23, 34(1)32--46, 36(2)14--19,
38(4)54--63, 47(1)21--24
-
Theoretic, Automata-, 2(0)xii--313, 8(4)11--12
-
theoretic, automata-, 35(1)74--79
-
theoretic, automaton-, 34(2)91--94
-
theoretic, coding-, 44(1)80--88
-
theoretic, complexity-, 31(4)13--15, 32(2)32--43,
35(2)111--112, 38(4)40--45, 43(4)70--89
-
theoretic, domain-, 32(1)12--16
-
Theoretic, Game-, 0(0)xx--483, 41(1)34--37
-
theoretic, Game-, 40(4)89--92
-
theoretic, group-, 38(4)40--45, 50(3)52--74
-
theoretic, information-, 5(2)21--23, 32(2)32--43
-
theoretic, language-, 45(3)24--25
-
theoretic, model-, 38(4)65--66
-
Theoretic, Recursion-, 35(2)111--112
-
theoretical, non-, 29(4)58--62
-
theoretical, number-, 15(1)50--55
-
theoretical-minded, 4(14)27--50
-
theoretically, 22(4)63--63, 36(1)53--70, 39(3)77--95, 49(3)6--8
-
theoretician, 27(1)2--13, 28(3)65--74, 48(3)60--67
-
théorique, 20(4)50--53
-
theorist, 28(2)2--13, 31(4)39--51, 35(3)5--8, 38(2)23--25, 49(2)7--9,
49(2)29--31, 50(1)28--34, 50(1)38--59, 53(1)13--24
-
theory-of-CS, 44(2)47--79
-
theory-oriented, 49(4)55--57
-
theory.4, 28(3)65--74
-
theory.blogspot.com, in-, 38(2)23--25
-
thereby, 19(2)51--54, 22(4)63--63, 33(3)110--112, 35(4)23--37
-
therefore, 4(14)208--211, 10(1)22--24, 30(2)33--42, 35(4)15--18,
37(1)33--46
-
therein, 21(1)21, 21(2)21
-
thereof, 43(2)85--107
-
thermodynamic, 36(2)14--19, 49(2)32--32, 49(2)33--56
-
theses, 24(4)82--89, 33(2)34--47
-
thesis, 0(0)viii--273, 4(14)74--82, 18(1)54--67, 22(4)63--63,
28(2)24--31, 30(2)61--61, 33(2)34--47, 36(3)113--114, 38(4)64--64,
38(4)65--66, 39(3)35--39
-
Theta, 0(0)xix--688, 8(2)18--24
-
\Theta, 33(1)32--45
-
theta', `big-, 21(2)64
-
Thielecke, Hayo, 30(2)33--42
-
Thielecke:1999:CFJ, 30(2)33--42
-
Thierauf, Thomas, 48(1)102--109
-
Thierauf, Thomas, see Fenner, Stephen
-
Thierry, 46(3)15--16
-
thing, 0(0)xviii--370, 26(2)88--95, 28(3)94--99, 30(2)43--46,
32(1)74--78, 32(1)111--114, 33(3)71--74, 33(4)14--15, 35(1)74--79,
35(3)5--8, 35(3)46--57, 36(2)14--19, 37(3)17--19, 38(3)106--129,
39(3)26--28, 49(4)11--12, 49(4)60--63, 51(2)36--37, 51(3)14--19,
51(4)75--81, 52(4)6--10
-
think, 0(0)xiii--448, 4(14)97--103, 5(2)24--25, 35(3)5--8, 36(2)25--42,
36(3)82--84, 40(2)13--17, 46(2)89--95, 48(1)102--109, 49(2)10--13,
49(2)29--31, 49(4)60--63, 50(1)35--37, 50(3)51--51, 51(3)14--19,
52(3)37--37
-
thinkers, 0(0)347
-
thinking, 24(1)57, 28(3)94--99, 36(1)86--99, 51(2)58--58, 51(2)59--88,
53(1)58--58
-
thinly-guised, 36(2)14--19
-
third, 0(0)xxiii--502, 4(14)97--103, 6(1)25--29, 24(1)58, 24(4)45--48,
28(4)69--76, 35(3)46--57, 36(1)21--24, 40(3)42--46, 41(1)75--98,
43(1)87--92, 44(2)88--88, 44(2)92--112, 49(2)32--32, 50(1)28--34,
50(1)35--37, 50(1)38--59, 50(2)4--5, 50(2)29--30, 51(4)4--5,
51(4)82--84
-
third, one-, 44(2)92--112
-
THIRDL, FIRST-, 6(1)25--29
-
thirteen, 36(3)24--38
-
thirty, 26(3)2--12, 32(3)63--72
-
this, 49(2)10--13
-
Thomas, 0(0)0--0, 27(4)3--7, 35(1)8--12, 41(2)50--51, 43(3)45--47,
50(2)12--14
-
Thomas, Wolfgang, 2500(0)viii--385
-
Thomas, Wolfgang, see Grädel, Erich
-
Thomborson, Clark, 24(3)114--116
-
Thomborson:1993:WFF, 24(3)114--116
-
Thomson, 37(2)17--22
-
thorough, 27(3)13--24
-
Thorsten, 46(3)17--20
-
Thorup, 31(4)13--15
-
Thorup, Mikkel, 44(1)110--114
-
Thorup:2013:MPO, 44(1)110--114
-
though, 0(0)ix--593, 4(14)1--6, 4(14)74--82, 26(4)5--15, 27(1)2--13,
29(4)20--27, 33(1)32--45, 33(2)34--47, 41(0)x--141, 49(3)63--73,
49(4)11--12, 50(1)28--34, 50(1)38--59
-
thought, 0(0)xxii--280, 15(1)23--27, 16(4)48--52, 17(1)60--64,
26(2)21--25, 31(2)9--11, 31(4)52--61, 33(2)34--47, 36(1)86--99,
36(1)132--138, 49(2)29--31, 49(4)60--63, 50(1)28--34, 50(1)35--37,
50(1)38--59
-
thought-stimulating, 32(1)3--5
-
thousand, 24(1)57, 37(3)59--66
-
thrackle, 26(2)15--17
-
thread, 21(1)21, 21(2)21, 40(1)51--57, 42(4)54--76, 49(2)4--6,
51(2)59--88, 134(0)xviii--759
-
threading, 40(1)51--57
-
threat, 15(1)50--55, 51(3)7--9
-
Threats, 43(2)38--40
-
THREE, 31(4)4--10
-
three, 0(0)xv--467, 0(0)x--273, 2(7)11--19, 4(14)83--96, 5(2)17--20,
9(4)14--16, 15(2)77--77, 16(4)60--62, 19(2)51--54, 22(1)65,
23(0)x--267, 23(2)26--28, 24(1)57--58, 24(1)59, 24(1)60,
24(2)18--21, 25(3)24--27, 26(2)96--104, 27(2)20--29, 28(2)40--52,
29(4)58--62, 30(2)33--42, 33(2)51--59, 34(3)94--103, 36(1)21--24,
36(1)71--85, 36(2)14--19, 36(2)43--44, 37(3)17--19, 37(3)93--96,
38(1)53--61, 38(2)23--25, 39(3)58--62, 43(3)67--84, 43(4)116--122,
44(3)42--55, 46(2)89--95, 48(2)41--67, 49(2)4--6, 49(2)14--17,
49(2)58--76, 49(3)6--8, 49(4)4--6, 49(4)89--95, 50(1)79--79,
50(2)4--5, 50(3)91--95, 50(4)33--45, 51(2)4--5, 51(3)5--6, 51(4)4--5,
51(4)15--17, 52(1)7--8, 52(4)6--10, 52(4)74--75, 52(4)76--77
-
threshold, 0(0)xiii--228, 41(4)61--64, 43(1)62--81
-
thrill, 49(4)60--63
-
thrilling, 27(1)2--13
-
throaty, 35(3)69--71
-
throne, 0(0)xiv--223
-
through, 0(0)xii--372, 0(0)xvi--205, 0(0)xx--195, 15(2)58--62,
28(2)20--23, 28(2)24--31, 31(4)10--12, 31(4)13--15, 32(1)12--16,
34(2)42--57, 35(2)36--59, 35(4)18--19, 37(1)33--46, 37(1)66--81,
38(1)7--8, 38(3)100--105, 39(2)10--28, 41(0)x--141, 41(1)100--128,
43(4)70--89, 46(1)13--14, 47(2)18--20, 48(3)83--86, 48(4)43--56,
49(2)4--6, 49(2)10--13, 49(4)60--63, 50(3)6--11, 50(3)35--50,
51(2)58--58, 51(2)59--88, 52(1)41--46, 52(1)47--69
-
throughout, 0(0)xiv--223, 4(14)7--14, 30(2)12--14, 34(2)42--57
-
throughput, high-, 47(3)15--18
-
Thue, semi-, 3(9)10--10
-
Thulasiraman, 50(3)4--5
-
Thurimella, Ramki, 21(3)z--z
-
Thurimella:1990:RWW, 21(3)z--z
-
Thurston, Andreev-, 24(1)59
-
thus, 0(0)xi--504, 2(7)9--10, 4(14)104--109, 17(2)44--51, 17(2)52--63,
18(4)54--61, 20(4)17--23, 25(2)83--85, 28(4)90--93, 31(4)13--15,
32(2)45--63, 33(2)60--73, 35(4)11--14, 36(2)25--42, 37(1)33--46,
37(2)47--49, 37(3)97--104, 38(1)53--61
-
Tic-Tac-Toe, 43(3)19--21
-
tic-tac-toe, 114(0)xiv--732
-
Ticket, 44(3)35--37
-
Tidy, 48(3)14--19
-
tidyverse, 49(4)13--16
-
tie, 0(0)xiv--223
-
tied, 33(2)60--73
-
Tiede, Hans-Jörg, 35(1)8--12, see Moss, Lawrence S.
-
Tielmann, Andreas, 40(4)75--79
-
Tielmann:2009:RD, 40(4)75--79
-
tight, 10(2)42--47, 24(1)58, 32(2)45--63, 43(1)62--81, 45(3)82--104,
46(2)41--64
-
tighter, 25(3)106--113
-
tile, 37(2)47--49, 49(3)35--47
-
Tilh, 0(0)269
-
tilings, 49(3)35--47
-
Till, 33(2)34--47
-
Tim, 0(0)xxi--754, 41(4)21--24, 46(4)12--13, 49(2)18--28, 52(3)60--60
-
time, linear-, 10(1)22--24, 22(1)57--61, 30(2)61--61
-
time, not-ready-for-prime-, 25(2)5--10
-
time, polynomial-, 8(1)33--37, 13(1)30--34, 23(3)107--117,
30(1)17--27, 33(1)32--45, 34(1)101--108, 35(3)94--97, 37(1)47--65,
38(1)31--45, 38(4)65--66, 46(4)69--78, 49(3)48--50
-
Time, Real-, 35(2)4--12
-
time, Real-, 0(0)xv--510, 0(0)xvi--453
-
time, real-, 7(4)26--30, 38(3)76--76, 43(2)85--107
-
time, space-, 2(4)12--18, 28(2)14--19
-
time, sublinear-, 42(1)59--80
-
time,so, 35(2)36--59
-
time-compression, 29(3)104--111
-
time-efficient, 18(4)54--61
-
time-memory, 15(1)40--44
-
Time-memory-processor, 15(1)18--19
-
time-space, 11(2)24--24
-
time-varying, 23(2)72--75
-
time., 30(2)61--61
-
timed, 38(4)65--66
-
timelike, 36(1)30--52
-
timely, 35(3)58--66, 49(2)57--57, 49(3)62--62
-
timing, 36(4)70--71, 37(1)66--81, 43(3)88--110
-
Timnat, Shahar, 44(4)87--90
-
Timnat:2013:DR, 44(4)87--90
-
Timothy, 41(1)21--24, 41(1)41--43
-
tip-over, 24(1)57
-
tips, 8(3)21--24
-
title, 36(2)131--143, 49(2)4--6, 50(1)9--13, 51(3)10--13
-
titled, 36(1)53--70, 49(3)34--34, 49(4)28--28, 50(3)24--24, 52(3)25--25
-
Tiuryn, 32(4)9--17
-
Tiuryn, Jerzy, 0(0)xv--459, 32(1)66--69
-
Tiuryn, Jerzy, see Harel, David
-
TM, 3(12)14--24, 39(1)48--58
-
To, Anthony Widjaja, 37(2)22--27
-
to, raised-, 33(1)32--45
-
to-be-announced, 31(4)39--51
-
to-cover, cover-, 36(2)14--19
-
to-date, up-, 21(1)21, 21(2)21
-
to-interference, signal-, 41(2)74--84
-
to-obtain, hard-, 24(4)82--89
-
to-one, 28(2)14--19
-
to-peer, peer-, 39(2)82--83
-
to-point, point-, 51(1)58--104
-
to-read, difficult-, 0(0)xii--372
-
to-state, easy-, 35(3)58--66
-
To:2006:BRB, 37(2)22--27
-
toast, 32(4)34--58
-
Tobias, 31(3)24--26
-
TOC, 28(3)65--74, 43(1)43--60
-
today, 0(0)xiii--228, 0(0)xx--254, 14(4)38--57, 20(4)17--23, 27(3)13--24,
30(2)33--42, 35(1)74--79, 36(1)15--20, 37(1)66--81, 39(2)111--124,
43(1)62--81, 44(1)89--105, 46(2)96--104, 49(4)60--63, 50(1)14--16,
52(2)92--110
-
Toe, Tic-Tac-, 43(3)19--21
-
toe, tic-tac-, 114(0)xiv--732
-
Tofte, 32(1)12--16
-
together, 0(0)xiv--223, 0(0)xxiii--502, 2(4)12--18, 5(2)24--25,
15(4)59--59, 16(1)59--59, 22(3)38--40, 35(3)25--41, 35(4)5--11,
36(2)131--143, 38(4)16--18, 40(2)68--80, 41(4)65--72, 45(4)59--75,
48(2)87--94, 48(3)60--67, 51(1)58--104, 51(4)4--5, 51(4)85--88,
52(2)72--84, 7611(0)xvi--450
-
token, 43(2)85--107
-
told, 0(0)xiv--223, 38(4)16--18
-
tolerance, 33(2)51--59, 39(2)84--91, 40(4)82--86, 41(3)105--111,
42(2)68--68
-
tolerance, fault-, 39(2)82--83, 40(4)82--86, 43(2)85--107,
44(1)89--105
-
tolerance?, fault-, 50(3)35--50
-
Tolerance, Partition-, 49(1)73--81
-
tolerant, 38(1)53--61, 44(3)78--84, 46(3)57--71
-
tolerant, Fault-, 47(3)69--69, 47(3)70--91
-
tolerant, fault-, 32(2)45--63, 34(1)47--67, 34(2)42--57,
36(1)53--70, 42(3)80--101, 43(2)85--107
-
Tolerant, Partition-, 33(2)48--51
-
tolerant, partition-, 33(2)51--59
-
tolerate, 32(2)45--63
-
tolerating, 44(2)92--112
-
Tollis, 24(1)60
-
Tollis, Ioannis G., 24(1)57--58, 26(1)87--91
-
Tollis, Ioannis G., see Tamassia, Roberto
-
Tollis:1993:VRP, 24(1)57--58
-
Tom, 36(4)111--114
-
tomb, 0(0)xii--372
-
tombstone, 0(0)xiv--223
-
Tomescu, 47(3)15--18
-
tomorrow, 39(1)59--61
-
Tompa, M., 20(1)62--71
-
Tompa, Martin, 11(2)24--24, 21(4)78--81
-
Tompa, Martin, see Borodin, Allan
-
Tompa:1989:FM, 20(1)62--71
-
Tompa:1990:FMS, 21(4)78--81
-
tones, 35(3)69--71
-
tongue-in-cheek, 23(4)77--80
-
too, 22(4)63--63, 26(2)78--87, 26(4)5--15, 28(2)40--52, 34(1)101--108,
38(1)53--61, 38(4)54--63, 40(2)50--66, 42(3)80--101
-
took, 0(0)xiv--223, 27(3)13--24, 31(4)10--12, 37(4)56--57, 39(1)77--79,
40(4)82--86, 43(4)116--122, 45(3)75--81, 48(1)91--100, 49(3)74--77,
49(4)55--57, 49(4)89--95, 50(1)61--64, 50(4)46--47, 50(4)48--55,
50(4)93--94, 51(4)82--84
-
TOOL, 15(1)23--27
-
tool, 0(0)xii--616, 0(0)xiv--478, 0(0)xix--372, 0(0)xix--688,
4(14)208--211, 12(3)36--44, 14(3)21--22, 15(1)23--27, 17(3)35--44,
24(1)57, 24(1)57--58, 24(1)60, 28(4)24--27, 29(4)20--27,
31(3)37--42, 32(1)3--5, 34(4)26--31, 35(2)111--112, 36(2)14--19,
38(3)56--75, 40(2)81--86, 42(2)43--46, 43(2)85--107, 43(2)108--123,
44(2)47--79, 45(1)48--65, 46(2)41--64, 46(3)57--71, 51(1)38--56,
134(0)xviii--759
-
Toolbox, 0(0)xii--300, 42(4)26--29
-
top, 22(3)38--40, 24(1)58, 36(2)25--42, 39(0)xiii--136, 42(1)38--42,
45(3)105--111, 49(2)58--76, 52(2)10--17
-
topic, 0(0)xii--451, 0(0)xiv--465, 0(0)xv--414, 0(0)99999999,
25(3)12--23, 27(2)20--29, 27(3)13--24, 28(2)20--23, 29(4)58--62,
30(2)12--14, 31(4)10--12, 31(4)39--51, 33(2)14--16, 33(2)16--18,
35(3)5--8, 35(4)15--18, 35(4)18--19, 35(4)118--118, 36(1)21--24,
36(1)53--70, 36(1)86--99, 36(2)8--13, 36(2)45--62, 36(3)82--84,
37(2)57--57, 38(3)106--106, 39(2)84--91, 40(1)51--57, 40(2)68--80,
41(0)x--141, 45(3)105--111, 45(4)59--75, 46(2)65--77, 47(2)34--39,
48(1)46--53, 48(2)68--85, 48(3)60--67, 48(3)83--86, 49(2)32--32,
49(4)7--10, 49(4)11--12, 49(4)36--45, 50(1)14--16, 51(4)4--5,
52(2)85--90, 134(0)xviii--759
-
topical, 7611(0)xvi--450
-
topological, 10(1)30--30, 16(2)50--56, 35(3)46--57, 44(2)47--79,
50(2)62--79
-
topology, 33(2)48--51, 33(2)60--73, 35(3)46--57, 43(3)88--110,
44(2)47--79, 47(2)18--20, 48(3)32--36, 48(3)60--67, 50(2)62--79,
50(3)35--50, 51(1)105--117, 52(4)11--14
-
Torán, 45(4)45--47
-
Torenvliet, 35(2)16--18
-
Torenvliet, Leen, 0(0)x--148, 25(3)12--23
-
Torenvliet, Leen, see Denny-Brown, Derek,
see Hemaspaandra, Lane A.
-
TORIX, 1(0)z, 11(2)6--6
-
Toronto, 50(4)33--45
-
total, 15(2)77--77, 24(2)88--93, 26(2)78--87, 27(3)13--24, 31(4)15--18,
32(4)9--17, 37(1)33--46, 42(1)97--131, 44(2)80--87, 49(2)18--28,
53(1)59--82
-
Tóth, Csaba D., 43(4)90--97, 45(2)68--72, 46(2)65--77,
see Dumitrescu, Adrian,
see Ábrego, Bernardo
-
touch, 37(4)85--114, 44(2)47--79, 49(2)33--56
-
Toueg, 36(1)53--70
-
tough, 25(3)49--52
-
Touitou, 43(4)116--122
-
tour, 0(0)xii--372, 0(0)xviii--391, 0(0)xx--195, 42(3)34--36,
42(3)54--76
-
tourism, 49(4)83--88
-
toward, 4(14)110--115, 4(14)208--211, 35(3)46--57, 36(1)21--24,
36(1)86--99, 36(2)14--19, 37(3)59--66, 37(4)22--26, 40(2)68--80,
40(3)53--59, 49(1)55--65, 52(3)61--68
-
tower, 10(3)49--49, 18(1)80--87, 18(3)61--64, 40(3)32--37, 45(3)34--36
-
Toynbee, Claire, 24(2)18--21
-
Toynbee:1993:OWC, 24(2)18--21
-
toys, 33(1)32--45
-
TR, 22(4)63--63
-
TR-657, 29(3)10--22
-
TR05-022, 36(2)25--42
-
TR18-001, 49(2)18--28
-
TR18-002, 49(2)18--28
-
TR18-003, 49(2)18--28
-
TR18-004, 49(2)18--28
-
TR18-005, 49(2)18--28
-
TR18-006, 49(2)18--28
-
TR19-067, 50(3)12--23
-
TR19-068, 50(3)12--23
-
TR19-069, 50(3)12--23
-
trace, 0(0)xiii--228, 23(1)44--46, 23(4)77--80, 28(3)65--74, 45(3)47--52,
49(4)58--59
-
traced, 52(3)6--10
-
track, 28(1)2, 32(1)12--16, 50(1)60--60
-
tractability, 28(2)40--52, 49(3)34--34
-
tractible, 30(2)14--16
-
tracts, 34(2)15--19, 42(4)21--23
-
trade, 22(3)38--40
-
trade-off, 37(1)33--46, 49(1)73--81, 49(3)9--13
-
trade-offs, 40(1)51--57, 49(1)73--81
-
trade-unionism, 23(1)44--46
-
tradeoff, 11(2)24--24, 15(1)18--19, 15(1)40--44, 28(2)14--19
-
Trading-off, 28(2)40--52
-
tradition, 32(1)12--16, 36(4)111--114, 52(4)74--75
-
traditional, 0(0)xi--184, 0(0)xi--504, 26(2)78--87, 31(4)15--18,
32(1)8--12, 32(1)12--16, 32(1)111--114, 33(2)60--73, 34(1)101--108,
38(3)56--75, 41(0)x--141, 43(2)85--107, 52(4)74--75
-
traditionally, 37(4)22--26, 39(2)84--91
-
traffic, 0(0)xi--473, 38(3)106--129, 89(0)xi--184
-
tragic, 35(3)13--17
-
trail, 0(0)xiii--228
-
training, 31(4)10--12, 34(3)68--74, 43(4)116--122, 45(3)75--81
-
transaction, 36(3)24--38, 39(1)48--58, 39(2)84--91, 41(4)109--115,
44(3)72--72, 44(3)73--77, 44(3)78--84, 49(2)57--57
-
transactional, 39(1)48--58, 39(1)59--61, 40(4)79--81, 41(4)109--115,
43(1)86--86, 43(1)87--92, 43(4)101--103, 43(4)116--122, 45(2)73--73,
45(2)74--103, 45(3)75--81, 46(2)96--104
-
transcendental, 0(0)xiv--223
-
transcript, 36(4)111--114
-
transdichotomous, 40(4)98--123
-
Transdisciplinary, 50(3)91--95
-
transfinite, 20(1)184--208, 36(2)126--130
-
TransForm, 43(4)116--122, 45(3)75--81
-
transform, 0(0)xxii--351, 28(2)70--79, 29(4)98--110, 30(2)33--42,
32(4)9--17, 41(1)21--24, 43(2)85--107, 48(3)14--19
-
transformation, 4(14)7--14, 15(1)61--66, 18(3)29--30, 27(0)xii--223,
43(2)85--107, 44(4)53--72
-
Transformation, Predicate-, 27(0)xii--223
-
transformative, 49(3)78--79
-
transformed, 7(4)26--30
-
Transformer, 24(4)36--38, 33(0)223
-
transforming, 28(2)70--79
-
transient, 38(1)53--61
-
transition, 0(0)xiii--568, 0(0)xvii--272, 2(4)19--19, 4(14)128--141,
28(2)70--79, 29(4)98--110, 33(2)10--14, 37(2)57--57, 43(4)34--37,
50(4)31--32
-
transitive, 9(4)18--21, 10(1)30--30
-
transitivity, 35(3)98--101
-
translated, 4(14)104--109, 5(0)xx--159, 10(0)xiv--74, 27(0)viii--174,
49(1)20--28
-
translating, 0(0)120, 4(14)83--96, 29(3)10--22
-
translation, 0(0)0--0, 4(14)1--6, 4(14)83--96, 44(4)35--37
-
translational, 49(3)35--47
-
Translator, 43(3)45--47
-
transmission, 41(1)100--128
-
transmit, 33(3)110--112, 41(1)100--128
-
transmitted, 41(1)100--128
-
transmitters, 43(1)82--85
-
transportation, 37(1)33--46
-
Trapped, 0(0)x--265
-
traps, 15(1)50--55
-
travel, 0(0)ix--593, 0(0)xiii--228, 0(0)392
-
traveling, 0(0)ix--593, 0(0)xiii--228, 33(2)14--16, 40(2)30--32,
43(3)51--53, 45(1)48--65
-
Travelling, 37(1)66--81
-
Travers, 36(3)41--50
-
traversal, 24(2)88--93
-
treasure, 25(4)2--11, 37(2)31--31
-
Treasurer, 27(2)5--6
-
treat, 31(4)10--12, 39(2)50--50, 49(4)7--10, 53(1)6--8
-
treatment, 0(0)xi--504, 4(14)7--14, 8(1)29--33, 31(4)15--18, 32(4)9--17,
36(2)14--19, 36(3)82--84, 40(1)27--44, 49(1)73--81, 49(3)20--22,
50(2)9--11, 52(1)47--69
-
tree, 0(0)xvi--205, 0(0)xvii--272, 0(0)xvii--831, 0(0)xviii--534,
7(2)19--19, 7(4)33--36, 10(2)60--62, 15(3)36--44, 17(1)65--77,
18(2)64--64, 19(2)48--50, 22(3)55--62, 23(3)31--32,
24(1)57, 24(1)58, 24(1)60, 24(2)88--93, 24(4)82--89, 28(4)41--60,
29(3)43--46, 33(2)14--16, 35(2)60--70, 43(4)34--37, 43(4)90--97,
44(3)42--55, 49(3)9--13, 50(4)33--45, 52(2)45--45, 52(2)46--70,
7611(0)xvi--450
-
treewidth, 31(4)13--15
-
Treks, 0(0)x--170, 41(3)29--30, 45(4)36--38
-
tremendous, 39(2)50--50, 52(1)9--11
-
trend, 23(1)44--46, 35(3)46--57, 36(1)21--24, 36(2)14--19, 37(3)19--26,
38(4)54--63, 39(3)96--121, 40(1)51--57, 46(2)89--95, 49(2)4--6,
49(2)14--17, 49(4)11--12
-
Trevisan, 38(2)23--25
-
Trevisan, Luca, 40(2)50--66
-
Trevisan-Vadhan's, Reingold-, 36(2)25--42
-
Trevisan:2009:GCA, 40(2)50--66
-
TRI, 50(3)91--95
-
trial, 0(0)269
-
triangle, 44(4)73--78, 48(2)68--85
-
triangular, 10(1)30--30
-
triangulate, 39(3)58--62
-
triangulated, 39(3)58--62
-
triangulation, 26(4)19--21, 31(4)62--73, 43(4)90--97, 44(2)26--28
-
triangulations, pseudo-, 33(1)58--60
-
Tribute, 0(0)x--266, 42(1)16--22
-
trick, 4(14)83--96, 38(3)100--105
-
Trickey, Howard, 19(2)55--57
-
Trickey:1988:UL, 19(2)55--57
-
triconnected, 24(1)60
-
tried, 32(1)111--114, 39(3)96--121, 43(4)123--129, 44(2)47--79
-
Trifonov, 36(4)111--114
-
trinucleotide, 41(4)61--64
-
Tripakis, Stavros, 48(1)55--90
-
Tripakis, Stavros, see Alur, Rajeev
-
triplets, 37(3)27--32
-
TRIPODS, 50(3)91--95
-
trivial, 36(1)122--131, 43(4)57--59
-
trivial, non-, 32(4)9--17, 36(1)122--131, 43(2)108--123
-
trivialize, 36(1)122--131
-
Troelstra, 32(2)15--19
-
Troelstra, A. S. (Anne Sjerp), 43(0)xi--343, 43(0)xii--417
-
Troelstra:1996:BPT, 32(2)15--19, 43(0)xi--343
-
Troelstra:2000:BPT, 32(2)15--19, 43(0)xii--417
-
trojan, 0(0)xxi--368
-
trove, 37(2)31--31
-
true, 4(14)83--96, 4(14)104--109, 32(4)9--17, 36(2)14--19, 49(2)10--13,
53(1)13--24
-
truly, 29(2)50--57, 36(4)24--35
-
truncation, 4(14)66--73
-
trust, 33(1)61--66, 41(1)75--98, 44(2)92--112, 49(4)64--65
-
trust-related, 41(1)75--98
-
trusted, 37(3)67--92, 41(1)75--98, 44(2)88--88, 44(2)92--112
-
Trusting, 40(2)81--86
-
truth, 0(0)347, 11(1)36--43, 11(2)30--35, 28(4)20--23, 32(1)111--114,
35(3)8--12, 38(4)65--66, 45(1)48--65, 47(1)21--24
-
truth-functional, 38(4)65--66
-
truth-table, 31(3)37--42
-
try, 0(0)xx--195, 4(14)74--82, 21(3)9--18, 24(4)2--13, 29(4)98--110,
36(2)63--76, 38(1)31--45, 39(1)48--58
-
trying, 0(0)xiii--228, 36(3)82--84, 37(2)50--56, 37(3)97--104,
37(4)47--55, 42(3)54--76, 44(1)89--105, 48(3)83--86
-
Tse, 23(3)30
-
Tse, T. H., 11(0)xi--179
-
Tse:1991:UFS, 11(0)xi--179, 23(3)30
-
Tseitin, 50(3)12--23
-
Tseng, Lewis, 46(4)94--102, 47(3)70--91, 48(1)91--100
-
Tseng:2015:PR, 46(4)94--102
-
Tseng:2016:NFT, 47(3)70--91
-
Tseng:2017:SR, 48(1)91--100
-
Tsou, Don-Min, 14(3)23--29
-
Tsou:1982:DRS, 14(3)23--29
-
TSP, 40(0)xiii--461, 45(1)48--65
-
TTP, 44(2)92--112
-
TTPs, 41(1)75--98, 44(2)92--112
-
TU, 50(1)61--64
-
Tuchman, Barbara W., 0(0)xii--244
-
Tuchman:1966:ZT, 0(0)xii--244, 0(0)xviii--1181
-
tugging, soul-, 35(3)69--71
-
tune, 22(1)65
-
tuned, 49(2)32--32
-
tuple, 0(0)xix--688, 21(3)9--18, 34(1)32--46
-
Turing, 0(0)xi--184, 0(0)xii--372, 0(0)xxiv--606, 1(3)7--8, 3(9)11--12,
3(12)14--24, 6(1)19--24, 6(2)23--26, 7(4)26--30, 17(3)35--44,
23(1)37--43, 23(3)100--106, 23(3)107--117, 26(3)2--12, 28(2)24--31,
28(4)24--27, 33(1)90--94, 33(2)34--47, 35(4)72--83, 36(4)109--110,
39(1)62--72, 40(4)68--70, 41(2)22--26, 45(3)29--31, 45(4)17--20,
46(3)37--55, 47(4)6--8, 50(1)65--78, 51(1)9--11
-
Turing, Church-, 36(3)113--114
-
Turing-complete, 33(1)32--45
-
Turing-computable, 36(3)113--114
-
Turing/Fields/Nobel-laureate, then-, 33(2)34--47
-
turks, 22(3)38--40
-
turn, 10(1)30--30, 20(4)17--23, 33(2)34--47, 36(1)21--24, 36(1)122--131,
37(2)57--57, 42(1)59--80, 44(2)47--79, 47(1)42--67, 49(2)10--13,
50(3)6--11, 50(4)4--6
-
turned, 33(1)32--45, 49(4)66--82
-
Turner, Jonathan S., 15(4)59--59, 16(1)59--59
-
turner, page-, 28(2)2--13
-
Turner:1984:GGEa, 15(4)59--59
-
Turner:1984:GGEb, 16(1)59--59
-
turning, 18(1)52--52, 29(1)21--31, 32(4)24--33
-
tutorial, 4(14)110--115, 35(3)102--108, 35(4)118--118, 37(3)67--92,
37(3)93--96, 37(4)58--84, 40(2)94--95, 42(2)83--97, 42(3)80--101,
43(3)88--110, 50(4)46--47
-
tutorial, mini-, 49(3)51--61
-
tutorial,\Analytic, 51(1)37--37
-
Tutte, 24(1)58, 31(4)15--18
-
TV, 37(3)17--19
-
twelve, 50(1)14--16, 51(2)11--14
-
Twenty-First, 46(2)19--20
-
twice, 36(3)24--38
-
twilight, 30(2)43--46
-
twin, 16(3)49--53
-
twist, 31(4)15--18
-
Two-Party, 0(0)xiii--263, 43(1)21--23
-
two-party, 44(2)92--112
-
Two-Source, 51(2)38--57
-
two-way, 25(3)102--105
-
Tycho, Klaus-, 50(2)61--61
-
type, 0(0)viii--235, 0(0)xxi--623, 0(0)148, 4(14)1--6, 4(14)203--207,
11(2)25--29, 15(2)76--76, 21(0)viii--124, 22(3)55--62, 24(1)57,
24(1)57--58, 24(1)60, 28(4)24--27, 29(1)5--8, 29(4)39--50,
32(1)12--16, 33(4)8--9, 36(1)15--20, 36(1)21--24, 37(4)29--34,
38(1)53--61, 38(4)65--66, 41(4)61--64, 42(0)xi--186, 45(3)82--104,
49(3)35--47, 50(3)6--11, 51(0)xxv--384, 51(2)11--14, 52(4)56--73
-
type, Ramsey-, 51(4)30--46
-
Type-Logical, 34(1)6--17
-
Type-logical, 0(0)xxi--575
-
type-safe, 28(4)24--27
-
typed, 0(0)xxi--575, 4(14)1--6, 15(2)76--76, 28(4)24--27
-
typical, 6(3)23--32, 15(4)59--59, 16(1)59--59, 17(2)52--63,
29(3)104--111, 41(1)100--128, 51(3)55--58
-
typical-case, 43(4)70--89
-
typically, 37(1)33--46, 40(2)50--66, 41(3)105--111, 43(2)85--107,
46(4)69--78, 51(1)58--104
-
Typically-correct, 41(2)57--72
-
typing, 50(3)6--11
-
typo, 51(1)105--117
-
typographical, 24(1)68--74
-
typography, 35(4)11--14