Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
T
-
Ta, Quang-Trung, 51(3)325--356
-
Ta, Quang-Trung, see Lynch, Christopher
-
Tabareau, Nicolas, 63(2)157--158, 64(5)947--999
-
Tabareau, Nicolas, see Lumsdaine, Peter Lefanu,
see Sozeau, Matthieu
-
table, 2(2)127--153
-
tableau, 13(3)297--337, 13(3)375--390, 38(1)79--126, 38(1)227--259,
39(3)249--276, 49(4)551--582, 51(2)197--239
-
Tableau-Based, 34(1)49--72, 52(3)331--360
-
tableau-based, 4(1)69--100, 13(2)223--242, 13(3)409--421, 15(3)339--358
-
TABLEAUX, 7(4)489--510
-
tableaux, 3(3)225--246, 4(2)191--213, 9(1)99--139, 10(2)265--281,
13(2)173--173, 13(2)175--188, 13(2)211--221, 13(3)391--407,
24(3)319--364, 25(1)35--82, 29(1)17--57, 38(1)31--56, 38(1)127--153,
40(2)179--194, 41(1)61--98, 47(4)451--479, 50(4)355--381,
64(1)21--52, 65(2)287--320, 65(5)647--690
-
TACAS, 64(7)1331--1332
-
Tacchella, Armando, 28(2)143--171
-
Tacchella, Armando, see Giunchiglia, Enrico
-
Tactic, 44(1)z--99999999
-
tacticals, 11(1)43--81
-
tactics, 11(1)43--81, 65(2)257--286
-
TacticToe, 65(2)257--286
-
Tahar, Sofiène, 41(3)295--323, 42(1)1--33,
see Hasan, Osman
-
Tail-Recursive, 23(1)43--62
-
Tailed, Heavy-, 24(1)67--100
-
Talcott, C., 26(3)291--331
-
Talcott, C., see Giunchiglia, F.
-
Tammet, Tanel, 7(4)587--596, 12(3)273--304, 18(2)199--204
-
Tammet, Tanel, see Mints, Grigori
-
Tammet:1994:PSL, 12(3)273--304
-
Tammet:1997:G, 18(2)199--204
-
Tan, Gang, 60(3)257--277
-
Tan, Yong Kiam, 64(7)1287--1306
-
Tan, Yong Kiam, see Abrahamsson, Oskar
-
Tan:2018:BGM, 60(3)257--277
-
Tang, Tong Gao, 5(1)49--65, 7(3)383--401
-
Tang:1989:TLC, 5(1)49--65
-
Tang:1991:PTN, 7(3)383--401
-
Tao, Jia, 49(4)551--582, 63(3)539--555
-
Tao:2012:PPT, 49(4)551--582
-
Tao:2019:PAA, 63(3)539--555
-
TAP, 15(3)339--358
-
Tappler, Martin, 63(4)1103--1134
-
Tappler, Martin, see Aichernig, Bernhard K.
-
Tarski, 5(1)97--118, 54(4)285--326, 58(2)209--230
-
Tarskian, 58(1)181--207
-
Tassi, Enrico, 39(2)109--139, 49(3)427--451
-
Tassi, Enrico, see Asperti, Andrea
-
TBoxes, 38(1)227--259
-
Teaching, 32(3)227--258
-
technical, 8(1)39--44
-
technique, 2(2)127--153, 19(3)277--318, 19(3)347--376, 20(3)337--364,
23(3)265--298, 28(4)397--415, 35(1)25--50, 35(4)391--427,
37(3)153--154, 40(4)327--356, 56(3)283--308, 58(4)413--481,
64(8)1611--1662
-
technology, 4(4)353--380
-
Tellez, Gadi, 64(3)555--578
-
Tellez:2020:AVT, 64(3)555--578
-
temporal, 2(2)171--190, 5(1)49--65, 13(3)391--407, 30(2)205--232,
34(3)295--321, 50(1)1--49, 60(1)43--62, 60(2)177--220,
64(3)555--578, 64(8)1553--1610, 64(8)1663--1684, 66(4)861--904
-
temporal-nonmonotonic, 7(3)383--401
-
tenth, 9(2)169--178
-
term, 2(4)391--418, 3(3)301--317, 4(2)173--190, 6(2)115--145,
9(2)147--167, 9(3)391--406, 10(1)95--113, 16(1)3--37, 18(3)399--442,
21(2)233--275, 31(1)1--9, 32(2)103--120, 33(2)89--132,
33(3)341--383, 40(2)195--220, 44(1)z--99999999, 47(1)57--105,
49(2)141--159, 51(1)27--56, 52(2)155--190, 58(2)231--251,
59(1)121--163, 65(7)971--999, 66(4)667--688
-
terminating, 11(1)1--22, 52(1)67--97
-
termination, 2(1)63--74, 13(1)83--115, 14(2)293--316, 16(1)147--180,
19(1)1--29, 32(4)z--99999999, 34(2)105--139, 34(2)141--177,
34(2)179--207, 34(4)365--385, 34(4)z--z, 35(4)391--427,
37(3)153--154, 40(2)195--220, 47(2)133--160, 47(4)481--501,
49(1)53--93, 50(3)279--315, 50(3)317--354, 58(1)3--31, 58(1)33--65,
58(3)391--411, 59(1)47--85, 60(1)23--42, 64(2)167--195,
66(4)667--688
-
terminological, 14(1)149--180, 15(1)41--68, 39(3)277--316
-
Terminologies, 39(3)317--349
-
test, 4(3)269--286, 10(3)389--397, 45(4)327--329, 45(4)437--473,
60(4)385--419
-
testing, 2(2)191--216, 21(1)23--38, 28(2)205--232, 45(4)331--358,
45(4)415--435, 63(4)1103--1134, 66(4)905--952
-
Teucke, Andreas, 64(3)611--640
-
Teucke:2020:SAF, 64(3)611--640
-
Tews, Hendrik, 42(2)189--227
-
Tews:2009:FMM, 42(2)189--227
-
Text, 64(6)1093--1121
-
textbook, 43(1)1--18
-
than, 7(1)105--107
-
Thangarajah, John, 47(1)17--56
-
Thangarajah:2011:CER, 47(1)17--56
-
Thayer, F. Javier, 11(2)213--248
-
Thayer, F. Javier, see Farmer, William M.
-
Theiß, Frank, 55(4)389--404,
see Benzmüller, Christoph
-
theorem-proving, 12(2)241--264, 13(2)189--210, 16(3)321--353
-
theoretic, 17(2)145--169, 17(2)171--197
-
Theoretic, Automata-, 63(4)1077--1101
-
Theoretic, Model-, 22(3)263--309, 33(3)221--249
-
theoretic, set-, 15(3)317--337
-
theoretic, type-, 16(3)369--425
-
theory, 1(4)333--355, 2(2)171--190, 2(3)283--286, 2(3)287--327,
3(2)211--221, 3(4)343--377, 3(4)379--381, 3(4)437--451,
4(3)269--286, 5(1)93--95, 5(3)309--337, 6(2)189--201, 6(3)251--286,
7(2)193--230, 7(2)231--256, 7(2)257--270, 7(2)271--284,
7(2)287--300, 8(1)91--147, 8(3)345--366, 10(1)15--58, 11(3)353--389,
14(2)189--235, 15(2)167--215, 16(3)241--319, 16(3)321--353,
16(3)369--425, 17(1)131--143, 17(3)291--323, 19(1)87--115,
21(2)233--275, 22(3)311--339, 22(3)341--378, 23(3)373--409,
23(3)411--444, 26(2)161--203, 26(3)269--289, 26(3)291--331,
27(1)61--87, 29(3)253--275, 30(1)1--31, 33(1)29--49, 33(3)251--269,
34(1)49--72, 34(3)209--238, 35(4)373--390, 38(4)273--301,
39(1)1--47, 43(3)289--304, 45(1)39--59, 46(3)325--352,
47(3)251--289, 48(2)197--217, 48(2)219--262, 48(3)293--362,
49(2)111--114, 50(2)173--190, 50(2)211--216, 52(2)123--153,
52(4)361--378, 52(4)379--405, 56(3)343--365, 57(2)157--185,
59(2)267--286, 60(2)221--236, 60(4)465--501, 61(1)423--453,
61(1)521--553, 63(2)157--158, 63(2)173--210, 63(2)211--253,
63(2)255--284, 63(2)415--438, 63(2)517--538, 63(4)857--885,
64(1)53--72, 64(1)97--134, 64(3)423--460, 64(3)579--609,
64(4)641--675, 64(5)795--825, 64(5)857--877, 64(6)1001--1050,
65(7)1071--1096, 65(8)1231--1263, 66(1)43--91, 66(3)357--407,
66(4)585--610, 66(4)1031--1063, 67(2)z--99999999, 67(2)z--z,
67(3)z--99999999, 67(4)z--99999999
-
Théry, L., 21(3)279--294, see Harrison, John
-
Théry, Laurent, 26(2)107--137, 54(1)1--29, 61(1)33--71,
see Bertot, Yves,
see Martin-Dorel, Érik
-
Thery:2001:MCI, 26(2)107--137
-
Thiele, Ruediger, 29(1)67--89
-
Thiele:2002:HTF, 29(1)67--89
-
Thielscher, Michael, 15(1)1--40, 17(2)199--214
-
Thielscher:1995:DRD, 15(1)1--40
-
Thielscher:1996:CSR, 17(2)199--214
-
Thiemann, René, 37(3)155--203, 49(1)53--93, 58(1)3--31,
64(3)363--389, 64(4)699--735, 64(5)827--856, 66(4)1065--1095,
66(4)1097--1097, see Codish, Michael,
see Divasón, Jose,
see Giesl, Jürgen,
see Joosten, Sebastiaan J. C.
-
Thiemann:2020:FLB, 64(5)827--856
-
thing, 36(4)289--310
-
Third, 37(3)153--154
-
Thistlewaite, Paul B., 7(4)635--637
-
Thistlewaite:1991:AHN, 7(4)635--637
-
Thornton, John, 35(1)97--142
-
Thornton:2005:CWL, 35(1)97--142
-
Threads, 42(2)301--347
-
Three, 53(2)105--127, 59(2)267--286
-
three-valued, 12(1)47--87
-
through, 12(1)89--102, 22(1)65--115, 51(3)241--280, 53(4)351--405,
64(2)331--360
-
Thue, 28(4)337--369
-
Thue, Semi-, 26(4)409--431
-
Tight, 35(1)265--293, 57(3)187--217
-
Tilting, 40(4)307--326
-
time, 30(2)205--232, 35(1)51--72, 58(2)293--310, 62(3)331--365
-
time, compile-, 1(1)75--101
-
Time, Constant-, 63(1)1--51, 64(8)1685--1729
-
Time, Real-, 60(1)63--84
-
Time, Unbounded-, 65(2)157--203
-
Tinelli, Cesare, 30(1)1--31, 34(3)209--238, 64(3)361--362,
65(7)1001--1025, 67(2)z--99999999, 67(3)z--99999999,
67(4)z--99999999
-
Tinelli, Cesare, see Abate, Alessandro,
see Biere, Armin, \see{Niemetz, Aina,
see Sheng, Ying
-
Tinelli:2003:CBR, 30(1)1--31
-
Tinelli:2005:CNI, 34(3)209--238
-
Tiwari, Ashish, 31(2)129--168, 51(3)281--324
-
Tiwari, Ashish, see Bachmair, Leo,
see Creus, Carles
-
Tkachuk, Oksana, 60(1)1--2
-
Tkachuk, Oksana, see Muñoz, César A.
-
Tlili, Syrine, 42(2)265--300
-
Tlili:2009:IFS, 42(2)265--300
-
TMPR, 12(1)47--87
-
to-JVM, Java-, 30(3)323--361
-
to-Round, Hardest-, 54(1)1--29
-
Tokeneer, 65(8)1125--1151
-
Tolerant, Fault-, 65(3)425--460
-
Toman, David, 40(2)117--132, 53(3)215--243
-
Toman, David, see Wu, Jiewen
-
Toman:2008:KFD, 40(2)117--132
-
Tomás, Ana Paula, 34(4)z--z, see Contejean, Evelyne
-
Tomescu, Alexandru I., 52(1)1--29
-
Tomescu, Alexandru I., see Omodeo, Eugenio G.
-
Tong, Valérie Viet Triem, 33(3)341--383,
see Feuillade, Guillaume
-
Tonin, Isabel, 27(4)353--389
-
Tonin, Isabel, see Bittencourt, Guilherme
-
Tool, 20(1)167--190, 23(3)319--346, 47(1)1--16, 50(3)317--354,
54(1)31--68, 61(1)367--422, 64(3)423--460
-
Tool-Assisted, 35(4)295--354
-
Top-Down, 32(2)167--184
-
top-down, 7(3)337--358
-
Topics, 64(7)1269--1286
-
topology, 5(2)239--255, 14(3)353--381
-
Topor, Rodney W., 4(4)397--424
-
Topor, Rodney W., see Ross, Kenneth A.
-
Total, 18(1)85--104
-
Totla, Nishant, 57(1)37--65
-
Totla:2016:CIB, 57(1)37--65
-
Toupie, 19(2)143--171
-
Tour, Thierry, Boy de la, 57(3)245--280
-
Tour, Thierry Boy de la, 33(3)271--317
-
Tourret, Sophie, 66(4)499--539, 66(4)541--564, 66(4)575--584,
67(1)z--99999999, 67(2)z--99999999
-
Tourret, Sophie, see Bentkamp, Alexander,
see Ebner, Gabriel,
see Vukmirovi{\'c}, Petar,
see Waldmann, Uwe
-
Tourret:2022:PCL, 66(4)575--584
-
Toward, 1(4)407--434, 11(1)1--22, 35(4)355--371, 44(3)207--243,
60(1)85--105, 61(1)141--189, 65(7)1001--1025, 66(4)953--988,
67(1)z--99999999
-
TPS, 16(3)321--353
-
TPTP, 21(2)177--203, 43(4)z--99999999, 59(4)483--502
-
Tractability, 12(1)89--102
-
Tractable, 39(3)385--429, 47(4)427--450, 66(3)357--407
-
Tradeoff, 64(7)1483--1522
-
Tradition, 27(2)97--122
-
traditional, 14(2)257--291
-
Tran, Duc-Khanh, 51(3)325--356
-
Tran, Duc-Khanh, see Lynch, Christopher
-
Transcendental, 6(4)403--417
-
transformation, 7(3)325--336, 8(1)77--90, 11(2)149--184, 22(1)65--115,
27(4)353--389, 37(3)205--229, 41(1)1--31
-
Transformer, 66(1)93--139
-
Transition, 9(3)iii--iii, 28(4)337--369, 64(3)579--609
-
Transitive, 52(1)1--29, 65(8)1097--1124, 67(3)z--99999999
-
Transitivity, 64(1)135--165
-
Translating, 40(1)35--60
-
translation, 15(3)317--337, 28(4)397--415, 50(2)191--202, 60(1)63--84,
64(5)911--945, 64(8)1553--1610
-
Traut, Christoph, 62(2)215--236
-
Traut, Christoph, see Immler, Fabian
-
Traytel, Dmitriy, 58(1)149--179, 64(7)1169--1195, 65(7)1027--1070
-
Traytel, Dmitriy, see Blanchette, Jasmin Christian,
see Popescu, Andrei,
see Schlichtkrull, Anders
-
treating, 15(1)41--68
-
treatment, 8(2)213--274
-
tree, 9(2)145--146, 13(1)117--143, 19(1)31--85, 20(1)5--25,
32(2)103--120, 37(4)323--349, 39(4)z--z, 51(4)371--400, 57(1)67--95,
62(3)393--430, 64(4)767--791, 64(5)879--910
-
tree, discrimination-, 9(2)147--167
-
tree-structured, 12(1)47--87
-
Treewidth, 64(5)795--825
-
Treinen, Ralf, 48(2)197--217
-
Treinen, Ralf, see Kremer, Steve
-
Treitel, Richard, 3(4)395--431
-
Treitel:1987:CDR, 3(4)395--431
-
Tremaine, David, 60(1)63--84
-
Tremaine, David, see Newell, Josh
-
Trends, 27(1)1--2
-
Trentin, Patrick, 64(3)423--460, 65(7)1071--1096
-
Trentin, Patrick, see Sebastiani, Roberto
-
Trentin:2021:OMT, 65(7)1071--1096
-
triangle, 62(2)171--192
-
Tribute, 18(1)1--4
-
trick, 1(4)435--440
-
Tries, 38(1)155--172, 67(1)z--99999999
-
Trifonov, Valery, 31(3)191--229
-
Trifonov, Valery, see Hamid, Nadeem A.
-
Triggers, 56(4)387--457
-
triple, 22(3)223--239, 63(3)695--722
-
Tripp, Omer, 64(7)1333--1359
-
Tripp, Omer, see Bansal, Kshitij
-
trivial, Non-, 67(2)z--99999999
-
Triviality, 20(3)365--385
-
Truderung, Tomasz, 46(3)325--352
-
Truderung, Tomasz, see Küsters, Ralf
-
True, 64(7)1269--1286
-
Truemper, Klaus, 34(1)31--47
-
Truemper, Klaus, see Remshagen, Anja
-
Trust, 31(3)335--370
-
Trustworthy, 31(3)231--260
-
Truth, 46(2)205--221
-
Trybulec, 55(3)187--190
-
Trybulec, Andrzej, 23(3)197--234, 50(2)119--121
-
Trybulec, Andrzej, see Rudnicki, Piotr
-
Trybulec:2013:FMM, 50(2)119--121
-
Tsai, Jing-Pha, 10(1)59--78
-
Tsai, Jing-Pha, see Weigert, Thomas J.
-
Tsang, Edward, 24(1)205--223
-
Tsang, Edward, see Mills, Patrick
-
Tsarkov, Dmitry, 39(3)277--316
-
Tsarkov:2007:OTR, 39(3)277--316
-
Tseng, Shian-Shyong, 18(1)5--24
-
Tseng, Shian-Shyong, see Hou, Rong-Huei
-
Tsivtsivadze, Evgeni, 52(2)191--213
-
Tsivtsivadze, Evgeni, see Alama, Jesse
-
TSO, 64(7)1307--1330, 65(4)569--598
-
Tsun, Wen-, 2(3)219--220
-
Tsun, Wu, Wen-, 7(2)171--191
-
Tsyban, Alexandra, 42(2)389--454
-
Tsyban, Alexandra, see Alkassar, Eyad
-
Tuch, Harvey, 42(2)125--187
-
Tuch:2009:FVC, 42(2)125--187
-
Tuning, 55(2)91--116
-
Tuple, 37(4)323--349, 66(4)667--688
-
Turing, 66(4)1031--1063
-
tutorial, 16(1)181--222
-
Tutoring, 32(3)187--226
-
Twenty-Fourth, 29(1)67--89
-
two, 4(1)15--27, 4(2)219--231, 24(1)225--275, 26(2)205--221,
48(4)441--487, 63(1)53--94
-
Two-Level, 33(3)251--269, 49(2)241--273
-
Two-Valued, 50(4)383--421
-
type, 2(3)277--281, 2(3)283--286, 7(3)435--438, 9(2)169--178,
16(3)321--353, 23(3)299--318, 23(3)319--346, 23(3)373--409,
29(2)171--182, 29(3)253--275, 30(3)271--321, 33(1)29--49,
39(1)1--47, 42(2)265--300, 55(3)211--221, 56(3)205--219,
56(3)343--365, 57(4)281--318, 61(1)423--453, 61(1)521--553,
62(2)237--260, 63(2)157--158, 63(2)173--210, 63(2)211--253,
63(2)255--284, 63(2)415--438, 64(7)1393--1418, 67(3)z--99999999,
67(4)z--99999999
-
type, Gentzen-, 10(2)265--281
-
Type, Loop-, 64(8)1663--1684
-
Type-Based, 59(1)87--120
-
Type-Safe, 61(1)243--332
-
type-theoretic, 16(3)369--425
-
typed, 4(2)173--190, 9(3)309--354, 35(4)295--354, 49(2)141--159
-
Typing, 31(3)335--370, 52(2)215--239