Last update: Sun Oct 15 02:15:49 MDT 2017
Return to index directory
T
-
table, 27(1)57--76, 27(2)255--271, 28(3)353--376, 30(3)383--399
-
Tableaux, 32(3)281--297, 40(4)317--333
-
Taentzer, Gabriele, 26(3)287--313, 26(3)387--406
-
Taentzer, Gabriele, see Habel, Annegret
-
Taentzer:1996:TSA, 26(3)387--406
-
Takeuti, Izumi, 33(4)397--432
-
Takeuti:1998:ASP, 33(4)397--432
-
Tanaka, Hideo, 37(1)71--87
-
Tanaka, Hiroshi, 27(2)273--288
-
Tanaka, Hiroshi, see Tsumoto, Shusaku
-
Tanaka:1999:IRA, 37(1)71--87
-
Tannen, Val, Breazu-, 19(1)1--49
-
Tasks, 40(2)199--219
-
Teams, 23(1)67--89
-
Technique, 21(3)237--253, 29(3)257--303, 30(2)151--160, 33(1)85--103,
40(2)221--250
-
temporal, 14(2)261--281, 16(1)39--57, 17(4)369--397, 21(4)257--305,
24(4)387--405, 25(2)183--200, 36(1)1--21
-
Tendera, Lidia, 20(4)277--285
-
Tendera:1994:NAP, 20(4)277--285
-
Teng, Shang-Hua, 22(4)309--329
-
Teng, Shang-Hua, see Eppstein, David
-
Tennenbaum, 28(1)141--152
-
Tentative, 22(4)353--370
-
Terlutte, A., 25(3)285--293
-
Terlutte, A., see Derencourt, D.
-
term, 13(2)211--226, 14(3)367--385, 19(3)371--382, 24(1)89--105,
25(2)99--121, 26(2)141--166, 26(3)207--240, 36(4)367--413,
39(3)273--304
-
Term-Rewriting, 39(1)85--104
-
Terminally, 23(1)1--32
-
Termination, 24(1)3--23, 24(1)89--105, 33(2)201--209
-
test, 14(2)185--219
-
Tetrahedralizations, 22(4)371--384
-
Text, 25(3)353--380
-
theorem, 16(1)39--57, 21(3)221--235, 28(1)101--122, 38(1)1--15,
38(1)119--133, 39(1)39--57, 39(1)85--104
-
Theoretic, 30(3)345--358, 34(3)295--321
-
theoretic, Domain-, 32(3)251--266
-
Theoretic, Information-, 33(2)105--120
-
Theoretical, 28(3)423--430
-
theory, 13(2)171--210, 13(3)245--262, 14(2)147--183, 16(1)59--92,
17(4)333--362, 19(1)1--49, 21(1)89--101, 22(3)227--255,
22(3)257--288, 23(2)145--148, 23(2)247--262, 25(3)217--239,
25(3)327--352, 27(2)273--288, 30(1)109--123, 32(2)107--120,
32(2)183--191, 39(1)1--20, 39(1)21--38, 39(4)389--409, 40(1)79--102
-
Thomason, Richmond H., 15(3)301--323
-
Thomason, Richmond H., see Horty, John F.
-
Thompson, B. C., 25(2)123--174
-
Thompson, B. C., see Stephens, R.
-
Three, 20(1)113--131
-
three-valued, 13(1)19--33, 13(4)445--463
-
Through, 28(3)211--221, 30(3)373--382
-
Thue, 30(1)31--44, 39(3)305--325
-
Tilson, 31(3)379--400
-
time, 19(3)403--416, 22(4)309--329, 29(1)51--76, 31(2)157--184,
32(1)91--105, 33(1)1--16, 34(1)103--128, 35(1)91--111,
37(3)311--327, 38(1)1--15, 39(4)337--357, 40(2)199--219
-
time, poly-, 19(1)167--184
-
Time, Real-, 23(2)371--394, 29(1)77--96, 29(1)135--163
-
timed, 13(2)141--170, 15(3)211--234, 29(1)27--50, 32(3)329--340,
36(2)145--182, 36(2)235--263, 38(1)61--77, 38(4)377--395
-
Tini, Simone, 40(2)221--250
-
Tini, Simone, see Maggiolo-Schettini, Andrea
-
{\c{T}}iplea, Ferucio Lauren{\c{t}}iu, 30(2)183--191, 32(3)373--392,
see Mäkinen, Erkki
-
Tiplea:1997:JPN, 32(3)373--392
-
Tison, Sophie, 24(1)157--175
-
Tison, Sophie, see Gilleron, Rémy
-
Tiuryn, Jerzy, 28(1)165--182
-
Tiuryn, Jerzy, see Pratt, Vaughan
-
Token, 32(3)313--328
-
Tolerance, 27(2)245--253
-
Toni, Francesca, 34(3)203--224
-
Toni, Francesca, see Kowalski, Robert A.
-
Tool, 37(3)201--211
-
tools, 15(3)357--380
-
Top-Down, 20(4)285--332
-
Top-down, 39(1)123--143
-
Topology, 24(4)359--386
-
Topos, 32(1)27--45
-
Torre, Salvatore, La, 27(1)27--36, 34(1)103--128
-
total, 30(2)193--226
-
Totality, 27(4)413--415
-
tour, 35(1)67--89
-
Towards, 13(2)171--210, 13(3)387--399, 16(2)127--147, 25(3)217--239,
26(3)387--406
-
Trace, 25(2)183--200, 37(4)413--422
-
Trakhtenbrot, B. A., 20(1)231--275, 28(1)183--195, 30(1)83--95
-
Trakhtenbrot:1994:CPN, 20(1)231--275
-
Trakhtenbrot:1996:PCP, 28(1)183--195
-
Trakhtenbrot:1997:PCP, 30(1)83--95
-
Transactional, 30(3)325--344
-
Transducer, 26(3)267--285, 34(1)175--201
-
transformation, 26(3)387--406, 26(3)407--431, 29(1)165--201,
39(1)59--83
-
Transformer, 25(2)123--174
-
Transforming, 31(3)337--355
-
transition, 14(1)109--128, 36(2)145--182, 38(1)61--77, 40(2)165--197
-
Transition-optimal, 32(3)313--328
-
Traps, 38(1)51--60
-
tree, 13(2)211--226, 21(4)367--389, 21(4)391--401, 22(3)203--215,
23(1)1--32, 24(1)157--175, 25(2)201--214, 26(3)267--285,
27(2)197--203, 29(4)325--339, 30(1)59--81, 30(2)125--149,
31(2)145--156, 31(2)157--184, 32(1)27--45, 34(1)145--174,
34(1)175--201, 36(1)57--69, 38(1)79--91, 38(1)119--133,
39(3)259--272, 39(4)337--357
-
Tree, -, 29(4)325--339
-
Tree-Based, 29(4)305--324
-
Trends, 35(1)211--230
-
Triangulated, 25(3)241--246
-
Truszczynski, Miroslaw, 14(3)355--366
-
Truszczy{\'n}ski, Miros{\l}aw, 17(1)99--116, 28(1)123--128,
39(4)389--409, see Gottlob, Georg,
see Marek, V. Wiktor
-
Truszczynski:1991:MNL, 14(3)355--366
-
Truth, 36(2)235--263, 38(3)281--324
-
TSP, 35(1)197--209
-
Tsumoto, Shusaku, 27(2)273--288
-
Tsumoto:1996:CAF, 27(2)273--288
-
Tulipani, Sauro, 19(3)371--382
-
Tulipani, Sauro, see Marongiu, Gabriele
-
Turakainen, Paavo, 38(1)209--221
-
Turakainen:1999:DSP, 38(1)209--221
-
Two, 25(3)271--284
-
Two-Dimensional, 25(3)399--422
-
Two-Letter, 30(1)31--44
-
Two-Stage, 28(3)377--402
-
type, 16(2)127--147, 19(1)87--125, 19(1)127--165, 19(1)185--199,
19(1)201--222, 26(2)115--131, 26(2)141--166, 28(1)197--209,
33(4)309--338, 40(1)53--77
-
Type-Dependent, 22(1)69--92
-
typed, 19(1)1--49
-
Tyszkiewicz, Jerzy, 32(1)91--105
-
Tyszkiewicz:1997:QAC, 32(1)91--105