Index file section T for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
T
-
T, 10(4)26--26, 14(1)7--7, 16(3)20--20
-
t, 19(3)18--18
-
T-satisfiability, 10(1)4--4
-
T., 10(4)26--26
-
TA, 21(3)26--26
-
table, 10(3)16--16
-
tableau, 10(2)13--13, 10(3)18--18, 10(3)21--21, 14(2)15--15, 15(1)7--7,
15(4)28--28, 17(1)4--4, 23(2)11--11
-
tableau-based, 2(2)182--215, 11(1)3--3, 17(1)4--4
-
tableaux, 10(3)18--18, 10(3)21--21, 13(2)14--14
-
tabled, 2(1)57--92, 14(2)16--16
-
tables, hash-, 15(4)31--31
-
tabling, 2(1)57--92, 13(4)32--32, 15(4)32--32
-
Tabuada, Paulo, 23(2)8--8
-
Tabuada, Paulo, see Anevlavis, Tzanis
-
tackle, 10(1)3--3, 14(4)26--26, 18(3)24--24, 19(3)19--19
-
tackled, 12(1)1--1
-
tailored, 15(3)20--20, 15(4)31--31, 18(1)6--6
-
Takagi, Tsubasa, 24(3)19--19
-
Takagi:2023:SAL, 24(3)19--19
-
take, 1(2)208--246, 13(4)32--32, 14(1)4--4, 14(2)12--12, 15(4)31--31,
15(4)34--34, 16(3)23--23, 17(1)1--1, 18(1)3--3, 18(4)27--27,
18(4)28--28, 19(3)20--20, 19(4)28--28, 20(2)10--10, 21(4)30--30,
21(4)33--33
-
taken, 15(3)19--19, 15(4)34--34, 18(1)3--3, 18(4)28--28
-
taking, 12(3)21--21, 15(2)13--13, 17(4)25--25, 18(1)5--5, 18(2)16--16,
18(3)21--21, 20(1)3--3, 23(1)4--4, 24(1)3--3
-
Tamaki, 15(4)32--32
-
taming, 16(1)5--5, 17(4)28--28
-
Tan, Tony, 14(3)19--19, 15(1)8--8, 16(2)17--17, 19(2)14--14
-
Tan, Tony, see Kopczy{\'n}ski, Eryk,
see Neven, Frank
-
Tan:2013:GRP, 14(3)19--19
-
Tan:2014:ETV, 15(1)8--8
-
tangled, 15(1)4--4
-
Tantau, Till, 17(4)25--25
-
Tantau, Till, see Elberfeld, Michael
-
Tao, Jia, 16(1)3--3, 18(4)32--32
-
Tao, Jia, see Naumov, Pavel
-
Tao:2015:CFS, 16(1)3--3
-
tape, 2(2)216--254
-
target, 10(2)12--12, 13(1)4--4, 14(2)9--9, 15(2)16--16, 20(4)19--19,
21(1)5--5, 23(3)17--17
-
targeting, 19(4)31--31
-
Tarski, 23(2)13--13
-
Tarski-style, 19(3)17--17
-
task, 2(3)289--339, 9(1)7--7, 9(3)22--22, 10(1)5--5, 10(2)13--13,
13(1)3--3, 13(4)33--33, 14(2)16--16, 15(1)8--8, 15(3)19--19,
15(3)20--20, 16(4)34--34, 17(2)11--11, 18(2)16--16, 19(4)31--31,
20(4)21--21, 24(4)33--33
-
task-given, 16(4)31--31
-
taste, 20(1)4--4
-
Tatsuta, Makoto, 11(4)25--25
-
Tatsuta, Makoto, see Dezani-Ciancaglini, Mariangiola
-
tautologies, 10(2)14--14, 17(4)26--26
-
TBox, 13(3)21--21, 14(1)2--2, 15(3)25--25, 16(4)31--31
-
TBoxes, 13(3)21--21, 16(4)31--31, 23(2)11--11
-
TCTL, 9(2)12--12
-
TDLs, 15(3)25--25
-
team, 12(1)6--6, 19(1)2--2, 19(3)16--16, 23(1)3--3, 23(2)13--13
-
technical, 10(3)22--22, 12(2)9--9, 15(3)20--20, 16(1)6--6, 19(3)22--22,
20(4)22--22, 22(3)17--17
-
Technically, 16(1)6--6, 19(1)1--1
-
technique, 1(1)33--59, 1(1)60--76, 1(1)171--174, 2(1)57--92,
2(2)182--215, 2(3)289--339, 6(1)102--123, 8(3)14--14, 8(4)21--21,
8(4)23--23, 9(1)7--7, 9(4)28--28, 10(3)20--20, 11(4)25--25,
12(1)2--2, 12(4)23--23, 13(1)1--1, 13(2)14--14, 14(2)8--8,
14(2)14--14, 14(3)20--20, 14(3)22--22, 14(4)33--33, 15(2)17--17,
15(3)22--22, 15(3)23--23, 15(4)31--31, 15(4)32--32, 15(4)35--35,
16(1)8--8, 16(1)9--9, 16(2)12--12, 16(2)16--16, 16(3)22--22,
16(3)27--27, 16(4)28--28, 17(2)12--12, 17(4)26--26, 17(4)30--30,
17(4)32--32, 18(1)4--4, 18(3)23--23, 18(4)28--28, 18(4)33--33,
19(1)1--1, 19(2)10--10, 19(4)28--28, 19(4)29--29, 20(3)17--17,
20(4)19--19, 20(4)22--22, 20(4)25--25, 21(1)2--2, 21(1)6--6,
21(3)18--18, 21(3)22--22, 22(1)3--3, 24(1)7--7
-
technology, 19(4)28--28, 20(4)25--25
-
TeDiLog, 14(4)28--28
-
tedious, 15(3)21--21
-
template, 10(1)3--3, 11(3)20--20
-
temporal, spatio-, 9(2)13--13
-
Temporal--Epistemic, 21(4)32--32
-
temporal-like, 16(3)25--25
-
temporalized, 13(3)21--21
-
Ten Cate, Balder, 17(2)8--8, 22(2)13--13
-
Ten Cate, Balder, see Benedikt, Michael
-
tend, 14(2)8--8, 14(4)30--30, 19(1)4--4
-
Tendera, Lidia, 19(2)8--8
-
Tendera, Lidia, see Kiero{\'n}ski, Emanuel
-
tense, 17(3)17--17, 22(3)20--20
-
term-depth, 13(4)32--32
-
term-formers, 13(3)20--20
-
term-generated, 11(4)27--27
-
term-size, 15(4)32--32
-
terminate, 2(1)57--92, 10(1)4--4, 15(4)32--32, 15(4)33--33, 17(4)23--23,
18(4)28--28
-
terminated, 18(2)12--12
-
terminating, 9(2)8--8, 10(2)10--10, 10(4)27--27, 15(1)7--7, 15(1)10--10,
15(4)32--32, 16(1)8--8, 18(4)28--28
-
terminating, non-, 23(3)20--20
-
termination, 2(1)57--92, 4(2)207--259, 4(4)417--430, 5(3)470--507,
8(4)19--19, 9(3)18--18, 9(4)29--29, 10(1)4--4, 10(2)10--10,
10(4)29--29, 11(1)2--2, 12(3)22--22, 15(1)7--7, 15(4)32--32,
15(4)33--33, 16(1)8--8, 16(2)13--13, 17(2)11--11, 17(3)16--16,
18(1)3--3, 18(2)12--12, 19(4)25--25, 23(2)9--9
-
termination, LG-, 2(1)57--92
-
termination, quasi-, 2(1)57--92
-
terminologies, 20(4)20--20
-
terms'', ``p-, 2(1)93--134
-
terms, lambda-, 13(2)10--10
-
terms, p-, 2(1)93--134
-
Ternovska, Eugenia, 9(2)14--14, 24(4)33--33
-
Ternovska, Eugenia, see Aamer, Heba,
see Denecker, Marc
-
Terracina, Giorgio, 20(2)12--12
-
Terracina, Giorgio, see Leone, Nicola
-
Terwijn, Sebastiaan A., 8(2)z--99999999
-
Terwijn, Sebastiaan A., see Hitchcock, John M.
-
test, 1(1)60--76, 8(4)20--20, 10(1)4--4, 10(2)12--12, 10(3)20--20,
12(4)27--27, 13(4)34--34, 15(1)8--8, 17(2)13--13, 20(1)6--6,
21(3)24--24, 24(1)3--3, 24(1)6--6
-
test-bed, 15(4)35--35
-
tested, 17(4)23--23
-
tester, 21(3)24--24
-
Testers, 24(3)25--25
-
testing, 2(1)135--153, 8(4)20--20, 17(1)4--4, 21(3)24--24, 24(2)17--17,
24(3)25--25
-
testing, satisfiability-, 16(2)16--16
-
Teutsch, Jason, 13(3)24--24
-
Teutsch, Jason, see Kjos-Hanssen, Bj{\o}rn
-
text, 17(1)6--6
-
than, 1(1)33--59, 2(1)57--92, 2(3)289--339, 2(3)340--387, 2(3)408--429,
8(3)15--15, 8(3)16--16, 8(3)17--17, 8(4)19--19, 10(1)7--7,
10(3)17--17, 11(3)19--19, 11(4)26--26, 12(3)21--21, 13(2)16--16,
13(3)25--25, 13(4)30--30, 14(1)2--2, 14(2)13--13, 14(3)24--24,
14(4)34--34, 15(1)8--8, 15(4)33--33, 15(4)34--34, 16(1)7--7,
16(3)23--23, 16(3)27--27, 16(4)29--29, 16(4)31--31, 16(4)33--33,
16(4)34--34, 17(1)1--1, 17(1)5--5, 17(1)7--7, 17(4)31--31,
18(2)12--12, 18(2)13--13, 19(2)7--7, 19(2)12--12, 19(2)14--14,
19(4)25--25, 19(4)30--30, 20(1)2--2, 20(2)9--9, 21(1)2--2, 24(1)8--8
-
thanks, 11(4)28--28, 13(2)18--18, 18(3)25--25, 20(4)24--24
-
Thapen, Neil, 7(4)749--764, 15(2)17--17
-
Thapen, Neil, see Beckmann, Arnold,
see Cook, Stephen
-
Thapper, Johan, 14(4)30--30
-
Thapper, Johan, see Bodirsky, Manuel
-
that, algebras-, 21(1)4--4
-
that, meta-logic-, 19(4)24--24
-
that, user-, 22(2)13--13
-
the, 11(4)26--26
-
the, criterion-, 19(4)25--25
-
the, property-, 16(2)11--11
-
the, semantics-, 19(3)22--22
-
the-art, state-of-, 2(2)182--215, 12(1)7--7, 15(4)33--33,
16(2)12--12, 17(1)6--6, 19(2)12--12
-
the-fly, on-, 9(3)19--19
-
the-shelf, off-, 8(3)18--18, 14(2)14--14
-
themselves, 20(1)4--4
-
then, 1(1)3--32, 1(1)77--111, 1(2)175--207, 2(1)12--56, 2(1)135--153,
2(3)289--339, 8(4)21--21, 8(4)24--24, 9(1)3--3, 9(3)18--18,
10(1)5--5, 10(3)16--16, 10(3)20--20, 10(4)25--25, 10(4)29--29,
11(3)18--18, 11(4)22--22, 11(4)28--28, 12(1)1--1, 12(1)3--3,
12(1)4--4, 12(1)5--5, 12(2)9--9, 12(2)13--13, 12(2)14--14,
12(3)21--21, 12(4)25--25, 13(1)6--6, 13(2)16--16, 13(4)33--33,
14(2)8--8, 14(2)10--10, 14(2)12--12, 14(3)24--24, 14(4)29--29,
15(1)5--5, 15(1)8--8, 15(1)9--9, 15(2)17--17, 15(3)18--18,
15(3)22--22, 15(4)33--33, 16(1)7--7, 16(3)19--19, 16(3)24--24,
16(3)27--27, 16(4)33--33, 16(4)35--35, 17(1)3--3, 17(2)14--14,
17(3)22--22, 18(1)3--3, 18(2)8--8, 18(2)14--14, 18(3)23--23,
18(4)29--29, 19(1)3--3, 19(1)6--6, 19(2)7--7, 19(2)13--13,
19(3)18--18, 19(4)27--27, 19(4)31--31, 20(1)1--1, 20(2)12--12,
20(3)16--16, 20(3)18--18, 20(4)19--19, 21(1)1--1, 21(1)3--3,
21(1)6--6
-
then-conjoin'', ``forget-, 14(3)24--24
-
theorem, 1(1)77--111, 1(1)131--161, 1(2)175--207, 1(2)208--246,
2(1)12--56, 2(1)93--134, 2(1)135--153, 2(2)155--181, 2(2)182--215,
2(3)289--339, 2(3)340--387, 8(4)19--19, 8(4)22--22, 8(4)23--23,
9(1)2--2, 9(2)8--8, 9(4)28--28, 10(1)4--4, 10(4)25--25, 11(4)22--22,
11(4)27--27, 11(4)28--28, 12(1)3--3, 12(1)6--6, 12(2)15--15,
12(4)23--23, 13(1)9--9, 13(4)31--31, 14(1)5--5, 14(3)19--19,
14(4)25--25, 14(4)26--26, 14(4)27--27, 14(4)30--30, 15(1)2--2,
15(1)9--9, 16(3)23--23, 17(1)5--5, 17(2)8--8, 17(3)17--17,
17(3)22--22, 17(4)25--25, 17(4)26--26, 18(1)1--1, 18(1)4--4,
18(1)6--6, 18(3)23--23, 19(1)5--5, 19(3)23--23, 19(4)24--24,
19(4)27--27, 20(1)1--1, 20(1)3--3, 20(3)13--13, 20(4)20--20,
21(1)2--2, 21(2)9--9, 21(2)15--15, 22(4)23--23
-
theorem-proving, 10(1)4--4, 21(3)22--22
-
theorems, meta-, 14(4)32--32
-
theoretic, 8(4)24--24, 13(1)2--2, 22(2)8--8, 23(4)25--25
-
theoretic, automata-, 13(3)25--25, 17(4)30--30, 18(3)20--20
-
theoretic, complexity-, 17(1)7--7, 18(1)2--2
-
Theoretic, Game-, 19(3)17--17
-
theoretic, game-, 11(3)17--17, 16(3)25--25, 19(3)17--17,
19(4)26--26
-
theoretic, graph-, 18(4)29--29
-
theoretic, homotopy-, 13(1)3--3, 16(3)23--23
-
theoretic, information-, 14(3)20--20, 19(4)26--26
-
Theoretic, Model-, 14(2)14--14
-
theoretic, model-, 8(4)21--21, 8(4)24--24, 14(4)30--30,
16(3)25--25
-
theoretic, proof-, 10(2)13--13, 15(1)2--2
-
theoretic, set-, 17(4)28--28
-
theoretic, type-, 9(3)23--23, 17(4)29--29
-
theoretical, 2(2)255--287, 10(1)1--1, 10(2)11--11, 12(1)6--6,
13(4)29--29, 13(4)33--33, 14(3)21--21, 16(1)1--1, 16(4)33--33,
19(3)22--22, 19(4)24--24, 20(1)6--6, 20(2)12--12
-
theoretical, number-, 22(4)25--25, 24(2)11--11
-
theoretical, proof-, 2(3)340--387, 23(4)26--26
-
theoretical, set-, 15(4)35--35
-
theoretically, 16(1)1--1, 16(4)33--33, 18(2)13--13, 20(1)6--6
-
theoretically, model-, 12(2)17--17
-
theoreticians, 14(4)29--29
-
theory, Meta-, 23(3)20--20
-
theory, meta-, 11(4)28--28
-
theory, proof-, 19(4)25--25
-
theory-, 22(2)13--13
-
there, 1(1)33--59, 1(2)175--207, 1(2)208--246, 2(1)1--11, 2(3)340--387,
7(2)261--268, 9(1)3--3, 9(3)20--20, 9(4)25--25, 10(2)9--9,
10(2)11--11, 10(2)14--14, 10(3)20--20, 10(4)28--28, 11(3)16--16,
11(3)18--18, 12(1)4--4, 12(2)12--12, 12(2)14--14, 13(1)1--1,
13(2)15--15, 13(2)16--16, 13(3)19--19, 13(3)24--24, 13(3)26--26,
14(2)10--10, 14(2)12--12, 14(3)19--19, 14(4)31--31, 15(1)6--6,
15(2)17--17, 15(3)18--18, 15(3)19--19, 15(3)24--24, 15(4)26--26,
15(4)27--27, 16(1)4--4, 16(1)6--6, 16(3)19--19, 16(3)27--27,
16(4)34--34, 17(1)3--3, 17(2)12--12, 17(3)19--19, 17(4)26--26,
18(3)18--18, 18(4)30--30, 18(4)31--31, 18(4)32--32, 18(4)33--33,
19(1)1--1, 19(1)3--3, 19(2)7--7, 19(2)14--14, 19(3)22--22, 20(1)4--4,
20(2)11--11, 20(4)20--20, 21(1)1--1, 21(1)2--2, 21(1)4--4, 21(2)9--9,
21(2)10--10
-
thereby, 9(1)7--7, 9(3)16--16, 9(4)25--25, 16(4)32--32, 20(1)5--5
-
therefore, 2(3)408--429, 9(3)17--17, 9(4)27--27, 10(2)9--9, 11(4)27--27,
13(2)16--16, 14(1)2--2, 14(4)29--29, 16(1)1--1, 16(3)25--25,
17(2)13--13, 17(4)23--23, 18(2)10--10, 18(2)13--13, 19(3)22--22,
21(1)1--1
-
therein, 9(1)7--7
-
thereof, 16(4)29--29, 21(3)20--20
-
These, 2(3)388--407
-
thesis, 1(1)77--111, 8(3)15--15, 8(3)16--16, 9(3)19--19
-
Thiagarajan, 20(3)17--17
-
Thiemann, Peter, 4(1)1--32
-
Thiemann, Peter, see Wadler, Philip
-
Thiemann, René, 11(1)2--2, see Schneider-Kamp, Peter
-
Thilikos, Dimitrios M., 23(3)17--17
-
Thilikos, Dimitrios M., see Fomin, Fedor V.
-
thing, 8(4)21--21
-
thinking, 13(1)1--1, 17(3)18--18
-
third, 1(1)33--59, 8(3)16--16, 13(3)24--24, 14(3)17--17, 14(4)29--29,
17(1)7--7, 18(3)20--20, 19(2)14--14, 21(2)9--9, 21(3)21--21
-
Thomas, Michael, 13(2)17--17
-
Thomas, Michael, see Creignou, Nadia
-
thoroughly, 9(1)7--7
-
Thost, Veronika, 21(4)30--30
-
Thost, Veronika, see Baader, Franz
-
though, 14(4)30--30, 16(1)6--6, 19(3)23--23, 22(1)3--3
-
thought, 9(4)29--29, 11(4)25--25, 14(2)14--14
-
Thought--Rational, 19(3)22--22
-
thousands, 20(3)15--15, 21(1)5--5
-
thread, 12(2)14--14, 13(2)15--15, 18(1)3--3
-
three, 1(1)33--59, 2(1)1--11, 8(3)15--15, 8(3)16--16, 10(1)1--1,
12(3)20--20, 13(1)5--5, 13(2)17--17, 14(4)29--29, 15(3)19--19,
15(3)25--25, 16(1)6--6, 16(2)17--17, 17(1)7--7, 17(4)24--24,
18(3)20--20, 19(2)14--14, 19(4)29--29, 19(4)31--31, 20(1)4--4,
22(2)12--12
-
three-coloring, 20(1)1--1
-
Three-Valued, 15(4)32--32
-
three-valued, 14(3)17--17, 21(1)5--5
-
three-variable, 16(1)9--9, 17(1)2--2
-
threshold, 2(3)388--407, 10(1)5--5, 13(2)13--13, 14(2)12--12,
14(3)20--20, 17(4)26--26
-
through, 1(1)3--32, 2(1)93--134, 8(4)23--23, 12(3)22--22, 13(1)5--5,
13(1)8--8, 13(2)11--11, 14(2)9--9, 14(2)10--10, 15(3)20--20,
16(2)11--11, 16(4)29--29, 16(4)30--30, 17(1)3--3, 18(1)3--3,
19(1)3--3, 19(3)22--22, 20(3)15--15, 20(4)20--20, 24(1)2--2
-
throughout, 16(3)23--23, 17(1)6--6
-
thus, 1(1)60--76, 1(1)131--161, 1(2)208--246, 2(1)12--56, 2(3)289--339,
8(3)14--14, 8(3)17--17, 9(2)14--14, 9(3)22--22, 9(4)27--27,
10(2)13--13, 10(4)28--28, 10(4)29--29, 11(3)17--17, 11(4)22--22,
11(4)24--24, 11(4)26--26, 11(4)27--27, 12(1)5--5, 13(2)13--13,
13(4)34--34, 14(1)1--1, 14(1)6--6, 14(4)29--29, 14(4)32--32,
15(2)16--16, 15(4)31--31, 15(4)34--34, 15(4)35--35, 16(1)1--1,
16(4)33--33, 16(4)35--35, 17(2)10--10, 17(3)17--17, 18(2)14--14,
18(4)33--33, 19(2)13--13, 19(3)17--17, 19(3)23--23, 19(4)24--24,
20(2)10--10, 20(3)17--17
-
tie, 15(1)7--7, 19(2)10--10
-
tight, 2(3)289--339, 9(2)11--11, 9(3)18--18, 10(2)13--13, 11(4)22--22,
13(1)4--4, 13(2)16--16, 13(4)29--29, 14(3)22--22, 15(3)24--24,
16(3)21--21, 16(3)24--24, 16(4)31--31, 17(3)19--19, 18(4)26--26,
18(4)27--27, 20(2)9--9, 21(1)6--6, 24(2)10--10
-
tighter, 21(1)4--4, 21(1)6--6
-
tightest, 1(1)33--59
-
tightly, 14(2)16--16, 24(1)4--4
-
tightness, 17(1)7--7, 17(2)10--10
-
tiling, 16(3)27--27
-
Time, Alternating-, 17(1)4--4, 19(3)17--17
-
time, alternating-, 17(1)4--4, 19(1)4--4, 20(2)10--10
-
time, branching-, 13(3)25--25, 15(1)10--10, 15(4)27--27,
16(3)25--25, 24(3)24--24
-
time, continuous-, 1(1)162--170, 12(1)8--8, 14(4)33--33,
18(3)19--19, 20(4)19--19
-
Time, Discrete-, 23(2)9--9
-
time, discrete-, 1(1)162--170, 12(1)8--8, 18(3)19--19,
20(4)19--19, 21(4)32--32
-
time, exponential-, 10(4)24--24, 15(1)2--2, 19(1)2--2
-
time, future-, 10(3)16--16
-
time, fuzzy-, 15(4)30--30
-
Time, Linear-, 15(3)22--22
-
time, Linear-, 14(4)28--28
-
time, linear-, 9(1)5--5, 15(3)22--22
-
time, p-, 22(2)11--11
-
time, past-, 10(3)16--16
-
time, Polynomial-, 3(4)521--541
-
time, polynomial-, 10(2)8--8, 10(4)24--24, 12(2)12--12,
13(2)15--15, 14(3)17--17, 14(4)30--30, 16(3)22--22, 17(2)10--10,
18(3)23--23, 18(4)26--26, 19(2)7--7, 20(2)8--8
-
time, real-, 10(3)15--15, 12(1)8--8, 16(4)29--29, 17(1)3--3,
17(3)15--15, 17(3)16--16, 21(1)5--5
-
time, sequential-, 1(1)77--111
-
time, set-at-a-, 13(4)32--32
-
TIME-complete, 5(4)669--705
-
time-consuming, 20(4)19--19
-
time-dependent, 9(2)13--13
-
time-inhomogeneous, 20(4)19--19
-
time-invariant, 9(2)13--13
-
time-series, 9(1)7--7
-
time-space, 13(2)16--16
-
time., 9(2)13--13
-
timed, 5(4)706--731, 9(2)10--10, 9(2)12--12, 10(3)15--15, 12(4)27--27,
14(4)33--33, 17(3)16--16, 20(3)14--14, 21(2)12--12, 21(3)17--17,
21(3)26--26
-
timed, dense-, 20(3)14--14
-
timed, real-, 21(2)12--12
-
timed-register, 20(3)14--14
-
timelines, 16(3)27--27
-
times, run-, 14(2)15--15
-
timestep, 16(4)32--32
-
timid, 9(3)19--19
-
timing, 19(3)22--22
-
Tini, Simone, 10(2)9--9
-
Tini, Simone, see Lanotte, Ruggero
-
Tishkovsky, Dmitry, 15(1)7--7
-
Tishkovsky, Dmitry, see Schmidt, Renate A.
-
TISs, 24(1)2--2
-
title, 1(1)77--111
-
Tiu, Alwen, 6(4)749--783, 11(2)13--13, 19(2)13--13, 20(4)22--22,
22(3)20--20
-
Tiu, Alwen, see Ciabattoni, Agata,
see Horne, Ross, \see{H{\'o}u, Zh{\'e},
see Miller, Dale
-
Tiu, Miller-, 20(4)22--22
-
Tiu:2010:PSS, 11(2)13--13
-
Tiuryn, Jerzy, 4(3)355--378
-
Tiuryn, Jerzy, see Kozen, Dexter
-
Tiwari, Ashish, 5(2)321--331
-
Tiwari, Ashish, see Godoy, Guillem
-
TLCGA, 23(4)21--21
-
to, 16(3)27--27
-
to'', up-, 18(1)4--4
-
To, Anthony Widjaja, 11(2)8--8
-
To, Anthony Widjaja, see Bailey, James
-
to, ``up-, 18(1)4--4
-
to-be-verified, 19(4)27--27
-
to-right, left-, 15(2)15--15
-
to-station, station-, 21(1)2--2
-
to-string, string-, 2(2)216--254
-
tock, 24(2)17--17
-
today, 16(1)7--7, 19(1)1--1
-
together, 2(1)1--11, 9(4)27--27, 10(1)3--3, 12(1)4--4, 14(4)26--26,
14(4)33--33, 16(4)32--32, 17(3)15--15, 19(1)1--1, 19(2)10--10
-
toggling, 19(4)25--25
-
tokens, 18(3)24--24
-
Tomasi, Silvia, 16(2)12--12
-
Tomasi, Silvia, see Sebastiani, Roberto
-
Tomovi{\'c}, S., 21(2)16--16
-
Tomovic:2020:FOL, 21(2)16--16
-
Tompits, Hans, 2(3)340--387, 6(2)389--440, 12(3)20--20, 14(2)14--14,
22(1)2--2
-
Tompits, Hans, see De Bruijn, Jos,
see Delgrande, James, \see{Egly, Uwe,
see Eiter, Thomas, \see{Oetsch, Johannes
-
too, 9(3)19--19, 10(3)22--22, 13(1)1--1, 20(1)2--2
-
took, 13(2)13--13
-
tool, 1(1)60--76, 1(1)171--174, 2(1)1--11, 2(2)255--287, 8(3)17--17,
9(1)4--4, 10(2)8--8, 10(2)11--11, 10(3)15--15, 10(3)19--19,
10(4)27--27, 10(4)29--29, 11(3)17--17, 11(3)19--19, 12(1)5--5,
12(3)22--22, 13(2)16--16, 13(3)27--27, 14(1)4--4, 14(4)26--26,
15(1)9--9, 15(3)19--19, 16(2)12--12, 17(1)3--3, 17(4)23--23,
17(4)25--25, 18(2)8--8, 19(3)22--22, 19(4)28--28, 20(4)24--24,
21(2)13--13, 22(1)3--3, 22(4)23--23
-
top, 1(2)208--246, 9(1)7--7, 12(4)25--25, 13(1)3--3
-
top-down, 15(3)24--24
-
top-of-stack, 20(3)14--14
-
topic, 15(3)23--23, 16(4)31--31, 22(1)2--2
-
topological, 3(3)336--358, 4(3)379--401, 13(1)3--3, 14(2)13--13,
15(1)4--4, 15(2)13--13, 17(3)21--21
-
topology, 14(4)26--26, 15(1)2--2, 15(2)13--13, 15(3)23--23, 18(3)23--23,
20(3)16--16
-
Topor, Rodney, 16(4)31--31
-
Topor, Rodney, see Wang, Zhe
-
Torán, Jacobo, 24(3)23--23
-
Toran:2023:NVG, 24(3)23--23
-
Torre, Salvatore, La, 2(3)388--407, 5(1)1--25
-
Torroni, Paolo, 9(4)29--29
-
Torroni, Paolo, see Alberti, Marco
-
Toru{\'n}czyk, Szymon, 21(4)29--29,
see Gajarský, Jakub
-
torus, 17(4)29--29
-
total, 8(4)21--21, 14(4)31--31, 14(4)33--33, 15(1)2--2, 17(1)7--7,
18(2)11--11
-
totality, 9(2)14--14
-
totally, 11(4)26--26, 18(4)26--26, 20(3)16--16
-
tournament, 23(3)14--14
-
Toward, 21(3)23--23
-
towards, 10(2)13--13, 13(2)13--13
-
tower, 15(1)6--6, 16(1)9--9
-
Tower-completeness, 16(3)20--20
-
tower-type, 15(1)6--6
-
TPTL, 21(2)12--12
-
trace, 2(2)182--215, 5(1)26--78, 17(4)23--23, 21(1)2--2, 21(1)3--3,
24(2)17--17
-
trace-based, 20(1)4--4
-
trace-regular, 20(3)17--17
-
track, 18(2)15--15
-
tractability, 2(3)289--339, 12(1)3--3, 12(2)12--12, 12(2)13--13,
14(4)30--30, 15(1)9--9, 17(2)10--10, 18(3)21--21, 20(2)10--10,
23(1)3--3
-
tractability/intractability, 23(1)3--3
-
tractable, 1(1)131--161, 11(3)15--15, 12(2)13--13, 12(4)24--24,
14(1)2--2, 14(2)16--16, 14(3)18--18, 15(1)9--9, 16(1)7--7, 17(1)7--7,
17(2)10--10, 18(1)1--1, 18(2)10--10, 18(3)21--21, 18(3)22--22,
20(4)21--21, 21(4)29--29, 23(2)11--11
-
trade, 19(1)4--4
-
trade-off, 13(2)16--16, 17(1)5--5
-
trade-offs, 13(2)16--16
-
Tradeoff, 12(1)4--4
-
tradeoffs, 12(1)4--4
-
traditional, 1(2)285--320, 13(4)28--28, 16(1)1--1, 18(1)7--7,
18(2)10--10, 24(3)21--21
-
traditionally, 18(2)15--15, 19(1)4--4
-
trajectories, 17(3)15--15
-
Trakhtenbrot, 2(2)216--254
-
Tran, Nam, 7(4)613--657
-
Tran, Nam, see Son, Tran Cao
-
Tran, Thanh-Tung, 21(3)17--17
-
Tran, Thanh-Tung, see Herbreteau, Frédéric
-
transcendental, 1(1)162--170, 10(3)22--22, 19(3)19--19
-
transcendentally, 10(3)22--22
-
transducer, 2(2)216--254, 12(1)2--2, 19(2)14--14
-
transductions, 2(2)216--254, 21(4)28--28
-
transfer, 9(2)8--8, 16(4)35--35, 21(2)9--9
-
Transfer-Level, Register-, 2(1)93--134
-
transferred, 18(1)4--4
-
transfinitely, 17(1)1--1
-
transform, 9(1)7--7, 14(3)22--22, 17(1)7--7, 24(1)7--7
-
transformation, 1(1)60--76, 2(2)255--287, 2(4)458--494, 9(2)13--13,
14(1)1--1, 14(1)2--2, 14(1)5--5, 16(4)29--29, 17(1)7--7, 18(2)14--14,
18(3)25--25, 19(2)14--14, 19(3)22--22, 21(4)33--33, 22(1)3--3
-
transformed, 11(3)16--16, 15(3)21--21, 19(2)14--14
-
transforming, 12(1)3--3, 17(1)7--7, 17(3)17--17, 18(4)28--28,
20(4)24--24
-
transition, 6(1)1--32, 8(4)20--20, 8(4)22--22, 9(1)6--6, 10(1)5--5,
10(2)9--9, 10(3)19--19, 11(4)23--23, 12(1)2--2, 12(3)18--18,
13(4)30--30, 15(3)24--24, 15(4)35--35, 16(1)2--2, 16(1)6--6,
16(4)29--29, 17(3)22--22, 18(2)12--12, 18(2)13--13, 18(3)24--24,
18(3)25--25, 19(3)19--19, 19(3)22--22, 19(3)23--23, 20(3)14--14,
21(2)14--14, 24(1)3--3
-
transition, phase-, 17(3)22--22
-
transitions, epsilon-, 9(2)10--10
-
transitive, 9(3)18--18, 9(4)25--25, 11(4)26--26, 14(3)18--18,
15(2)15--15, 17(2)10--10, 19(2)8--8, 21(4)31--31
-
transitively, 17(2)11--11
-
transitivity, 3(4)604--627, 8(4)19--19, 20(4)22--22
-
translate, 2(1)93--134, 9(4)26--26, 12(1)5--5, 13(4)30--30, 15(2)17--17,
19(2)12--12
-
translated, 2(1)12--56
-
translating, 13(4)29--29, 21(1)2--2
-
translation, 2(3)408--429, 8(4)19--19, 9(2)14--14, 9(4)26--26,
9(4)28--28, 10(2)12--12, 10(3)16--16, 10(4)26--26, 13(2)10--10,
13(2)11--11, 13(4)29--29, 15(1)9--9, 15(1)10--10, 17(1)3--3,
17(1)5--5, 18(2)9--9, 18(4)33--33, 19(3)18--18, 19(3)22--22,
22(3)20--20
-
transmission, 16(4)35--35
-
traversal, 15(4)33--33
-
traverse, 15(4)33--33
-
traversed, 15(4)33--33, 16(1)6--6
-
traversing, 15(4)33--33
-
treat, 1(1)77--111
-
treated, 14(2)10--10, 15(4)31--31
-
treatment, 1(2)175--207, 18(4)29--29, 19(1)5--5, 20(1)6--6
-
tree, SLD-, 17(3)18--18
-
tree-based, computation-, 20(1)4--4
-
tree-depth, 18(4)33--33
-
tree-like, 5(2)316--320, 14(3)20--20, 15(1)8--8, 19(1)1--1, 21(1)6--6,
24(1)8--8, 24(3)20--20
-
treelike, 19(4)29--29
-
trees, G3i-, 16(1)8--8
-
treewidth, 12(1)3--3, 12(2)12--12, 14(3)18--18, 18(1)1--1, 20(3)17--17
-
Trefler, Richard, 13(1)7--7
-
Trefler, Richard, see Ghafari, Naghmeh
-
Trefler, Richard J., 11(3)16--16
-
Trefler, Richard J., see Namjoshi, Kedar S.
-
tremendously, 15(4)31--31
-
trend, 14(4)33--33, 18(1)6--6
-
triangular, 8(4)19--19
-
trichotomous, 15(3)19--19
-
trichotomy, 18(1)2--2
-
trigonometric, 19(3)19--19
-
trimodal, 22(3)17--17
-
Tripakis, 10(3)15--15
-
Tripakis, Stavros, 10(3)15--15
-
Tripakis:2009:CTB, 10(3)15--15
-
triple, 18(1)3--3, 18(3)23--23
-
trivial, 14(1)6--6, 17(1)2--2, 21(1)4--4
-
trivial, non-, 8(4)19--19, 17(4)26--26, 18(3)21--21
-
trivialises, 16(4)33--33
-
trivialize, 17(4)24--24
-
trivially, non-, 19(2)13--13
-
tropical, 16(1)1--1
-
TRS, 14(4)31--31
-
TRSs, 14(4)31--31
-
Trubitsyna, Irina, 18(4)28--28
-
Trubitsyna, Irina, see Calautti, Marco
-
true, 9(4)27--27, 12(2)14--14, 13(2)13--13, 13(2)16--16, 14(1)3--3,
15(3)18--18, 16(4)35--35, 17(2)10--10, 19(4)31--31, 20(3)17--17,
21(2)11--11, 21(4)34--34, 22(2)11--11, 23(1)4--4, 23(3)19--19
-
true/false, 1(2)208--246
-
Truffaut, Julien, 14(4)34--34
-
Truffaut, Julien, see Dyckhoff, Roy
-
Truly, 20(2)10--10
-
truly, 20(2)10--10
-
truncation, 16(2)18--18
-
trust, 20(4)21--21
-
trusted, 9(3)16--16, 19(4)28--28
-
Truszczy{\'n}ski, Miroslaw, 4(1)91--119, 7(1)38--83,
see East, Deborah, \see{Lonc, Zbigniew
-
truth, 9(3)23--23, 11(3)18--18, 12(2)9--9, 12(2)14--14, 14(2)16--16,
19(3)17--17, 19(3)18--18
-
truthful, 16(1)3--3, 23(2)10--10
-
truthfully, 16(1)3--3
-
try, 12(1)1--1, 13(2)14--14, 14(2)10--10, 15(2)16--16
-
Trybus, Adam, 17(3)21--21
-
Trybus:2016:RRB, 17(3)21--21
-
trying, 14(2)12--12
-
Tseitin, 10(2)14--14
-
Tubella, Andrea Aler, 19(1)5--5
-
Tubella:2018:SPS, 19(1)5--5
-
Tucker, J. V., 3(2)279--333, 5(4)611--668
-
Tucker, John V., 24(3)22--22
-
Tucker, John V., see Bergstra, Jan A.
-
Tucker:2002:ACA, 3(2)279--333
-
Tucker:2004:AVC, 5(4)611--668
-
tuning, fine-, 10(2)8--8
-
tuple, 1(1)112--130, 8(4)21--21, 14(3)21--21, 19(2)7--7
-
Turing, 1(1)77--111, 9(3)19--19, 13(1)6--6, 13(2)18--18, 16(3)27--27,
18(3)18--18, 21(3)23--23
-
Turing-complete, 17(1)5--5
-
turn, 2(3)289--339, 10(2)8--8, 10(3)22--22, 11(4)25--25, 12(1)4--4,
12(2)9--9, 13(1)3--3, 13(3)25--25, 13(4)30--30, 15(3)21--21,
15(3)25--25, 15(4)34--34, 16(3)25--25, 17(1)2--2, 17(1)3--3,
18(3)21--21, 19(2)14--14, 19(3)20--20, 20(4)21--21, 21(1)7--7
-
turn-based, 22(3)16--16
-
turned, 9(3)19--19, 12(1)3--3, 12(4)25--25
-
turned-based, 15(4)34--34
-
Turner, 14(4)29--29
-
Turuani, Mathieu, 9(4)24--24
-
Turuani, Mathieu, see Chevalier, Yannick
-
Tweety, 1(2)175--207
-
Twelf, 9(3)16--16, 14(4)32--32
-
twenty, 11(4)25--25
-
two,, 11(4)26--26
-
two, type-, 3(3)402--417
-
two-agents, 15(4)34--34
-
two-dimensional, 16(1)9--9
-
two-element, 20(2)8--8
-
two-fold:, 10(4)26--26
-
two-literal, 17(3)22--22
-
two-player, 12(4)28--28, 15(2)16--16, 19(3)20--20, 22(3)16--16
-
two-process, 1(1)3--32
-
two-sided, 15(2)16--16
-
Two-Variable, 16(2)15--15, 17(4)31--31, 17(4)32--32, 18(4)30--30,
19(2)8--8
-
two-variable, 12(4)27--27, 15(1)7--7, 15(1)8--8, 16(1)9--9, 16(2)15--15,
16(3)27--27, 17(4)31--31, 17(4)32--32, 18(4)27--27, 18(4)30--30,
19(2)8--8, 23(1)1--1
-
two-way, 2(2)216--254, 15(2)15--15
-
twofold, 1(1)131--161
-
typability, 9(1)3--3
-
Typal, 21(3)25--25
-
type, Feferman-Vaught-, 17(4)25--25
-
type, intersection-, 4(1)120--147
-
type, tower-, 15(1)6--6
-
type-checker, 14(4)32--32
-
type-theoretic, 9(3)23--23, 17(4)29--29
-
type-two, 3(3)402--417
-
typeable, 19(1)3--3, 19(1)6--6
-
Typechecking, 4(3)315--354
-
typed, 3(4)562--603, 9(3)16--16, 11(4)25--25, 11(4)28--28, 16(2)13--13,
16(2)18--18, 16(4)32--32, 17(1)5--5, 18(3)25--25, 19(1)6--6,
23(1)2--2, 23(4)25--25
-
typed, well-, 9(1)3--3, 19(1)6--6, 21(1)1--1
-
typical, 13(2)16--16, 16(2)11--11, 20(1)6--6, 24(4)29--29
-
typically, 1(1)3--32, 10(3)17--17, 11(3)16--16, 13(3)21--21, 14(1)4--4,
15(3)24--24, 16(1)4--4, 20(3)13--13, 21(1)1--1, 24(3)20--20
-
typing, 11(4)28--28, 17(1)5--5, 20(1)5--5, 21(1)1--1
-
Tzameret, Iddo, 11(3)18--18
-
Tzameret, Iddo, see Dershowitz, Nachum
-
Tzimoulis, Apostolos, 20(4)24--24, 23(4)23--23
-
Tzimoulis, Apostolos, see Chen, Jinsheng,
see Conradie, Willem