Index file section T for toct.bib
Last update: Wed Aug 21 02:05:35 MDT 2024
Return to index directory
T
-
T, 8(4)15--15, 9(1)2--2, 11(4)21--21, 14(1)4--4
-
t, 11(4)21--21, 14(1)4--4
-
Ta-Shma, Amnon, 11(3)15--15
-
Ta-Shma, Amnon, see Aviv, Nir
-
table, 5(4)13--13, 8(3)11--11, 12(2)12--12, 12(3)21--21
-
tail, 10(3)11--11
-
tailored, 9(4)17--17
-
take, 5(3)12--12, 6(3)14--14, 10(1)1--1, 10(2)8--8, 10(3)12--12,
11(1)4--4, 11(2)11--11, 12(1)1--1, 13(2)13--13, 14(1)1--1
-
Takeda, 16(1)3--3
-
taken, 5(2)4--4, 9(1)1--1
-
taking, 4(2)5--5, 8(1)1--1
-
Tale, Prafullkumar, 13(4)27--27
-
Tale, Prafullkumar, see Gunda, Spoorthy
-
Talebanfard, Navid, 12(2)9--9
-
Talebanfard, Navid, see Galesi, Nicola
-
talk, 4(2)5--5, 7(2)6--6
-
Tamuz, 8(3)10--10
-
Tan, Li-Yang, 6(1)2--2
-
Tan, Li-Yang, see Austrin, Per
-
Tanaka, Hidetoki, 5(2)5--5
-
Tanaka, Hidetoki, see Bogdanov, Andrej
-
Tani, Seiichiro, 4(1)1--1
-
Tani:2012:EQA, 4(1)1--1
-
Tao, 7(1)1--1
-
Tao, Biaoshuai, 11(3)12--12
-
Tao, Biaoshuai, see Schoenebeck, Grant
-
tape, 10(1)1--1
-
target, 5(3)11--11, 11(3)13--13, 14(3)13--13
-
task, 4(2)5--5, 4(4)9--9, 5(2)7--7, 5(3)12--12, 7(4)17--17, 8(1)1--1,
11(1)5--5, 11(3)13--13
-
TAUT, 6(2)7--7
-
tautologies, 5(2)6--6, 6(2)7--7
-
Tavenas, Sébastien, 11(1)2--2, see Kayal, Neeraj
-
TC, 10(4)15--15, 11(1)1--1, 11(4)19--19
-
technical, 5(2)5--5, 5(3)11--11, 6(4)15--15, 8(1)4--4, 10(1)4--4,
10(2)8--8, 10(4)17--17
-
technique, 1(1)2--2, 4(1)2--2, 4(3)7--7, 5(2)5--5, 5(2)6--6, 5(4)18--18,
6(3)13--13, 6(4)15--15, 7(2)8--8, 8(3)8--8, 8(4)14--14, 8(4)16--16,
9(1)2--2, 9(1)4--4, 9(2)10--10, 9(4)16--16, 9(4)18--18, 10(1)1--1,
10(1)2--2, 10(3)11--11, 10(4)16--16, 10(4)17--17, 10(4)19--19,
11(2)8--8, 11(2)10--10, 11(3)14--14, 11(4)26--26, 11(4)27--27
-
tell, 10(1)1--1
-
Temme, 5(3)11--11
-
Temperley, Fisher-Kasteleyn-, 11(2)7--7
-
Teng, 7(2)6--6
-
tensor, 11(3)17--17, 16(1)2--2
-
TEP, 11(1)5--5
-
term, 4(1)2--2, 4(4)11--11, 5(3)12--12, 7(1)3--3, 9(2)7--7, 9(2)9--9,
9(4)17--17, 10(2)5--5, 11(1)1--1, 11(2)6--6, 12(2)9--9, 13(3)14--14
-
terminal, 6(2)6--6, 10(3)13--13, 12(1)6--6
-
terms/contexts, 11(1)1--1
-
test, 5(2)5--5, 6(4)16--16, 8(2)5--5, 9(4)16--16, 10(3)14--14, 11(1)2--2,
11(1)3--3, 11(3)17--17, 11(4)21--21, 12(1)7--7
-
test, 1/4-, 8(2)5--5
-
testability, 8(2)5--5, 9(4)16--16, 11(3)17--17, 12(1)7--7
-
testable, 9(2)7--7, 9(4)16--16, 11(3)17--17
-
tested, 8(2)7--7
-
tester, 8(2)7--7, 9(2)7--7, 9(4)16--16, 9(4)17--17, 10(4)16--16,
11(3)17--17, 12(4)28--28
-
testing, 5(2)7--7, 6(2)9--9, 8(2)5--5, 8(2)7--7, 8(3)10--10, 9(2)10--10,
9(4)16--16, 9(4)17--17, 10(1)3--3, 10(3)10--10, 10(3)11--11,
10(4)16--16, 11(2)6--6, 11(3)17--17, 11(4)24--24, 12(1)7--7,
12(3)16--16, 12(4)28--28, 14(1)4--4
-
testing, property-, 8(1)2--2
-
Teutsch, Jason, 7(4)17--17
-
Teutsch:2015:ADM, 7(4)17--17
-
Tewari, Raghunath, 1(1)4--4, 9(4)19--19
-
Tewari, Raghunath, see Bourke, Chris,
see Chakraborty, Diptarka
-
text, 14(1)4--4
-
th, 3(2)6--6, 12(1)7--7, 16(1)3--3
-
th, 1-, 11(1)2--2
-
Thaler, Justin, 13(4)24--24
-
Thaler, Justin, see Bun, Mark
-
than, 3(2)5--5, 4(2)5--5, 4(3)8--8, 4(4)9--9, 5(2)4--4, 5(2)7--7,
5(4)13--13, 5(4)18--18, 6(1)4--4, 8(1)2--2, 8(1)4--4, 8(2)6--6,
8(3)11--11, 8(3)12--12, 9(1)4--4, 9(1)5--5, 9(3)14--14, 10(1)2--2,
11(3)18--18, 11(4)19--19, 11(4)22--22, 12(1)3--3
-
Thapper, Johan, 10(3)12--12
-
Thapper:2018:LSR, 10(3)12--12
-
that, free-, 10(2)9--9
-
the, polymorphisms-, 9(3)11--11
-
the-forehead, number-on-, 12(4)26--26
-
then, 4(4)9--9, 5(1)1--1, 5(2)4--4, 5(2)5--5, 5(3)9--9, 5(4)13--13,
5(4)18--18, 6(1)3--3, 6(2)7--7, 6(2)8--8, 6(2)9--9, 6(4)15--15,
7(1)2--2, 7(2)8--8, 7(3)12--12, 7(4)16--16, 8(1)4--4, 8(4)15--15,
9(1)2--2, 9(2)7--7, 9(2)9--9, 9(2)10--10, 9(3)13--13, 10(1)1--1,
10(2)6--6, 10(2)7--7, 10(2)9--9, 10(3)11--11, 10(3)12--12,
10(4)15--15, 10(4)18--18, 11(1)3--3, 11(1)5--5, 11(2)11--11,
11(3)14--14, 11(4)19--19, 11(4)25--25, 12(1)1--1
-
then-else, if-, 12(3)17--17
-
theorem, 1(1)3--3, 4(3)7--7, 4(4)10--10, 5(2)6--6, 6(1)4--4, 7(1)1--1,
7(1)4--4, 7(3)12--12, 8(3)12--12, 8(4)17--17, 9(1)3--3, 9(2)7--7,
10(2)7--7, 10(3)11--11, 11(1)1--1, 11(1)4--4, 11(2)7--7, 11(4)22--22,
12(1)7--7, 12(4)27--27, 13(2)11--11
-
theorem?, 12(1)7--7
-
Theorem, Meta-, 14(3)13--13
-
theorem-proof, 9(1)2--2
-
theoretic, complexity-, 11(1)3--3, 16(1)2--2
-
theoretic, graph-, 6(4)17--17, 9(2)9--9
-
theoretic, information-, 6(1)1--1, 10(2)7--7, 11(2)9--9
-
theoretical, 5(3)8--8, 5(3)9--9, 5(3)10--10, 5(3)11--11, 5(3)12--12,
6(1)4--4, 6(3)10--10, 10(3)11--11, 11(3)18--18, 11(4)26--26,
12(1)3--3
-
theoretically-proved-computable, 6(1)4--4
-
theory, 1(1)2--2, 4(2)5--5, 6(2)9--9, 6(4)16--16, 7(2)6--6, 9(1)3--3,
9(4)19--19, 10(2)5--5, 10(2)7--7, 10(2)8--8, 10(3)11--11,
10(4)16--16, 11(1)4--4, 11(2)6--6, 11(2)7--7, 11(3)14--14,
11(3)18--18, 11(4)20--20, 12(1)4--4, 12(4)26--26, 13(4)27--27,
16(2)10--10
-
theory., 1(1)2--2
-
there, 1(1)2--2, 3(2)5--5, 3(2)6--6, 4(1)2--2, 4(2)4--4, 4(2)5--5,
4(3)7--7, 4(3)8--8, 5(1)1--1, 5(2)4--4, 5(4)14--14, 5(4)18--18,
6(1)4--4, 6(2)7--7, 6(2)8--8, 6(3)11--11, 6(3)12--12, 7(1)1--1,
7(1)4--4, 7(2)6--6, 7(2)7--7, 7(2)9--9, 7(4)17--17, 8(2)5--5,
8(3)8--8, 8(3)11--11, 8(4)14--14, 8(4)16--16, 8(4)17--17, 9(1)1--1,
9(1)3--3, 9(2)6--6, 9(2)9--9, 9(2)10--10, 9(3)11--11, 9(3)13--13,
9(3)14--14, 9(4)19--19, 10(1)2--2, 10(2)6--6, 10(2)8--8, 10(2)9--9,
11(1)4--4, 11(2)7--7, 11(2)8--8, 11(2)11--11, 11(3)18--18,
11(4)21--21, 11(4)25--25, 12(1)1--1, 12(1)2--2, 12(1)5--5, 12(1)7--7,
12(2)14--14, 12(3)15--15, 12(3)19--19, 12(4)23--23, 13(1)6--6,
14(1)4--4, 14(2)6--6, 14(2)7--7, 16(1)1--1
-
there, essential-, 11(4)23--23
-
therefore, 3(2)6--6, 12(1)1--1
-
thereof, 10(4)19--19
-
thesis, 7(2)9--9
-
\Theta, 10(1)2--2, 10(3)14--14, 11(4)21--21
-
thickness, 1(1)4--4
-
Thierauf, Thomas, 8(4)14--14, 9(2)8--8, 14(2)8--8
-
Thierauf, Thomas, see Datta, Samir,
see Gurjar, Rohit
-
Thilikos, Dimitrios M., 14(3)13--13
-
Thilikos, Dimitrios M., see Fomin, Fedor V.
-
third, 1(1)2--2, 6(2)6--6, 10(3)12--12
-
Thomas, 12(2)9--9
-
Thomas, Michael, 5(1)2--2
-
Thomas, Michael, see Beyersdorff, Olaf
-
though, 6(2)8--8
-
three, 3(2)5--5, 5(3)11--11, 5(4)15--15, 7(2)7--7, 8(2)6--6, 8(3)11--11,
8(4)13--13, 10(3)13--13, 11(1)1--1
-
three, Depth-, 12(1)2--2
-
three, depth-, 12(1)2--2
-
Three-Query, 3(2)5--5
-
threshold, 4(1)2--2, 5(4)17--17, 7(1)3--3, 7(4)14--14, 10(4)17--17,
11(3)12--12
-
thrifty, 3(2)4--4, 7(2)8--8, 11(1)5--5
-
through, 1(1)2--2, 4(2)5--5, 13(1)3--3
-
thus, 5(3)12--12, 6(2)8--8, 6(4)17--17, 7(2)8--8, 8(3)8--8, 8(3)12--12,
9(1)2--2, 9(3)14--14, 10(3)12--12, 11(1)4--4, 11(1)5--5, 13(2)8--8
-
tied, 10(1)1--1
-
tight, 3(2)4--4, 4(2)4--4, 5(3)11--11, 6(1)1--1, 7(1)3--3, 7(2)8--8,
8(3)10--10, 9(1)2--2, 9(1)4--4, 9(2)7--7, 10(2)6--6, 10(2)8--8,
10(4)17--17, 10(4)19--19, 11(3)13--13, 11(3)15--15, 11(3)18--18,
11(4)20--20, 12(3)19--19, 13(1)3--3, 13(2)10--10, 16(1)3--3
-
tight, non-, 11(3)15--15
-
tightly, 10(2)9--9
-
tiling, 7(2)6--6
-
time, 4(1)1--1, 4(2)5--5, 5(2)4--4, 5(2)6--6, 5(3)9--9, 5(3)10--10,
5(3)12--12, 5(4)16--16, 6(1)5--5, 6(2)7--7, 6(2)9--9, 6(3)11--11,
6(3)14--14, 6(4)15--15, 6(4)17--17, 7(1)2--2, 7(1)4--4, 7(2)6--6,
7(2)7--7, 7(4)14--14, 8(1)1--1, 8(2)7--7, 8(3)11--11, 8(3)12--12,
8(4)16--16, 9(2)9--9, 9(3)14--14, 9(4)18--18, 9(4)19--19, 9(4)20--20,
10(1)3--3, 10(2)5--5, 10(2)6--6, 10(2)9--9, 10(4)18--18, 11(1)2--2,
11(2)7--7, 11(3)12--12, 11(3)13--13, 11(3)18--18, 11(4)23--23,
12(2)14--14, 12(4)27--27, 13(1)2--2, 13(2)10--10, 14(1)2--2,
15(3)6--6, 16(2)8--8
-
time, -, 10(2)5--5, 11(3)13--13
-
time, -, 15(3)6--6
-
time, exponential-, 9(3)13--13, 9(4)18--18, 13(1)2--2,
14(1)2--2
-
time, Linear-, 5(3)10--10
-
TIME, MA-, 12(2)14--14
-
TIME, P-, 12(2)14--14
-
time, P-, 6(2)9--9
-
time, poly-, 9(2)6--6
-
Time, Polynomial-, 13(1)1--1, 16(1)4--4
-
time, polynomial-, 4(3)8--8, 5(2)6--6, 6(2)6--6, 8(1)1--1,
8(3)11--11, 8(4)16--16, 9(1)1--1, 9(3)11--11, 9(4)18--18,
10(3)10--10, 10(4)17--17, 11(1)4--4, 11(4)24--24, 11(4)28--28,
12(2)13--13, 13(1)1--1
-
time, subexponential-, 10(1)3--3, 12(4)22--22, 16(2)8--8
-
Time, Sublinear-, 14(1)1--1
-
time, sublinear-, 9(4)17--17, 14(1)1--1
-
time-bounded, 11(4)27--27
-
time-interval, 5(3)12--12
-
Time-Space, 15(1)3--3
-
timeash, 5(3)9--9
-
timelike, 10(2)5--5
-
tiny, 6(1)5--5
-
title, 12(3)17--17
-
\to, 11(2)7--7
-
to-1, 2-, 6(1)2--2
-
to-Decision, Counting-, 16(1)2--2
-
to-Decision, Search-, 16(1)2--2
-
to-peer, peer-, 11(2)9--9
-
to-set, point-, 10(2)7--7
-
together, 9(4)18--18, 10(2)7--7
-
ToH, 8(3)12--12
-
told, 8(4)15--15
-
tolerance, 11(4)24--24
-
tolerant, 11(4)24--24
-
tool, 6(4)15--15, 10(2)8--8, 11(2)9--9, 11(3)13--13
-
top, 12(1)5--5
-
topic, 10(2)5--5, 13(2)11--11
-
topological, 11(3)14--14
-
topology, 4(1)1--1, 11(3)12--12
-
Torán, Jacobo, 2(2)4--4, 5(4)13--13, 12(2)9--9,
see Arvind, Vikraman,
see Chattopadhyay, Arkadev,
see Galesi, Nicola
-
total, 4(4)11--11, 5(2)4--4, 7(1)3--3, 9(3)14--14, 10(1)2--2, 12(4)25--25,
13(1)7--7
-
tournament, 11(1)3--3
-
toward, 6(3)12--12, 7(2)8--8, 7(3)13--13, 9(4)19--19, 11(1)5--5,
12(1)7--7
-
tower, 8(1)3--3
-
TQBF, 12(3)18--18
-
tractability, 7(2)6--6, 9(3)11--11, 9(3)13--13, 11(1)4--4, 12(1)1--1
-
tractable, 5(1)3--3, 5(4)16--16, 6(4)16--16, 6(4)17--17, 7(1)3--3,
7(2)7--7, 8(1)1--1, 8(2)6--6, 8(3)12--12, 9(3)11--11, 9(4)16--16,
10(3)13--13, 10(4)18--18, 11(1)4--4, 11(3)18--18, 12(2)13--13
-
trade-off, 5(3)9--9
-
trade-offs, 3(2)5--5, 6(1)1--1
-
tradeoff, 2(1)2--2, 8(1)4--4, 9(2)7--7, 10(4)19--19, 11(4)24--24,
15(1)3--3
-
trading, 5(2)6--6
-
Trading, Alternation-, 5(2)6--6
-
traditional, 4(2)4--4, 10(4)16--16
-
transcendence, 15(1)1--1
-
transfer, 11(4)26--26
-
transform, 5(3)9--9, 7(3)12--12, 8(1)4--4
-
transformation, 7(1)4--4, 7(2)5--5, 7(3)13--13, 8(1)4--4, 9(2)7--7
-
transformed, 11(1)1--1, 11(2)7--7
-
transitive, 11(1)3--3
-
translators, 7(4)17--17
-
Transversal, 9(4)16--16, 10(4)18--18
-
Travers, Stephan, 6(1)3--3
-
Travers, Stephan, see Glaßer, Christian
-
Traversal, 10(2)8--8
-
traverse, 10(2)8--8
-
tree, 3(2)4--4, 5(4)16--16, 6(2)8--8, 6(4)17--17, 7(1)3--3, 7(2)7--7,
7(2)8--8, 8(1)2--2, 8(3)12--12, 9(3)12--12, 9(4)18--18, 10(3)10--10,
11(1)1--1, 11(1)5--5, 11(3)12--12, 13(1)3--3, 16(2)9--9
-
tree, decision-, 11(3)14--14
-
tree-depth, 9(4)18--18
-
tree-like, 4(3)7--7, 8(3)12--12, 15(1)2--2
-
tree-width, 8(3)12--12, 12(2)9--9
-
tree-width-2, 8(3)12--12
-
treelike, 9(3)15--15
-
treewidth, 7(2)7--7, 8(2)6--6, 9(4)18--18, 12(1)1--1
-
Trevisan, 7(1)1--1, 9(2)6--6
-
Trevisan, Luca, 6(3)14--14
-
Trevisan, Luca, see Cook, James
-
triangle, 11(4)20--20
-
trichotomy, 6(2)8--8, 9(2)9--9
-
Tripathi, Utkarsh, 12(4)25--25
-
Tripathi, Utkarsh, see Srinivasan, Srikanth
-
triple, 9(2)10--10
-
trival, non-, 12(2)13--13
-
trivial, 6(4)16--16, 9(4)16--16, 11(1)4--4
-
trivial, endo-, 11(1)3--3
-
trivial, non-, 11(2)10--10, 12(2)13--13, 14(1)2--2
-
triviality, endo-, 11(1)3--3
-
trivially, 7(1)4--4, 7(4)14--14, 9(2)9--9
-
true, 4(4)9--9
-
truly, 7(2)5--5
-
truth, 1(1)2--2, 8(3)11--11, 12(3)18--18, 12(3)21--21
-
truthful, 4(2)6--6
-
trying, 4(1)3--3, 12(1)1--1
-
Tseitin, 12(2)9--9
-
Tsur, Gilad, 5(2)7--7, 8(4)15--15
-
Tsur, Gilad, see Ron, Dana
-
Tulsiani, 7(1)1--1
-
tuples, 7(3)11--11
-
Turing, 6(2)9--9, 10(1)1--1, 13(4)24--24
-
turn, 5(1)1--1, 5(4)16--16, 6(2)8--8, 7(2)5--5, 9(1)3--3, 9(4)16--16,
11(2)6--6, 11(4)25--25, 12(3)18--18
-
turned, 5(2)6--6
-
two, 1(1)2--2, 1(1)4--4, 4(2)4--4, 5(4)16--16, 6(2)6--6, 6(2)8--8,
6(2)9--9, 6(3)14--14, 7(1)2--2, 7(1)4--4, 7(2)7--7, 7(3)10--10,
7(3)11--11, 7(3)12--12, 7(4)14--14, 7(4)15--15, 8(1)4--4, 8(2)6--6,
8(4)15--15, 9(1)4--4, 9(2)9--9, 9(3)12--12, 9(3)14--14, 9(4)19--19,
10(1)1--1, 10(2)7--7, 10(2)8--8, 10(2)9--9, 10(3)11--11, 10(3)13--13,
10(4)16--16, 11(1)5--5, 11(2)8--8, 11(2)11--11, 11(4)23--23,
11(4)24--24, 11(4)26--26, 12(1)1--1, 12(1)2--2, 12(2)9--9,
12(2)10--10, 12(3)18--18, 13(1)1--1
-
two-dimensional, 9(3)14--14, 10(2)7--7
-
two-level, 13(1)3--3
-
two-party, 11(2)11--11
-
two-pass, 8(4)16--16
-
two-player, 7(4)15--15
-
two-sided, 13(1)6--6
-
two-sorted, 11(1)1--1
-
two-source, 11(3)15--15
-
twofold, 6(1)5--5, 7(1)4--4
-
type, 6(3)14--14, 7(1)1--1, 7(1)3--3, 8(2)7--7, 9(3)11--11, 10(1)1--1,
11(4)26--26, 11(4)28--28, 13(2)11--11
-
type, higher-, 4(2)5--5
-
typical, 11(4)19--19
-
typically, 6(1)5--5, 11(4)26--26, 14(3)13--13