Index file section T for stoc1970.bib
Last update: Tue Sep 5 02:25:20 MDT 2023
Return to index directory
T
-
table, 0(0)185--205
-
Tang, A., 0(0)95--104
-
Tang, A., see Sciore, E.
-
tape, 0(0)10--19, 0(0)92--99, 0(0)208--217, 0(0)239--248
-
Tarjan, R. Endre, 0(0)66--71, 0(0)185--193, 0(0)245--254
-
Tarjan, R. Endre, see Even, Shimon,
see Rose, Donald J.
-
Tarjan, Robert, 0(0)96--107
-
Tarjan, Robert E., 0(0)1--12, 0(0)19--29, 0(0)119--124
-
Tarjan, Robert E., see Blum, Manuel,
see Brown, Mark R., \see{Valdes, Jacobo
-
Tarjan, Robert Endre, 0(0)18--29, 0(0)149--160, 0(0)237--248,
0(0)262--277
-
Tarjan, Robert Endre, see Gilbert, John R.,
see Lengauer, Thomas,
see Paul, Wolfgang J.
-
Tarjan:1973:TFG, 0(0)96--107
-
Tarjan:1974:TGC, 0(0)185--193
-
Tarjan:1977:RMR, 0(0)18--29
-
technique, 0(0)51--58, 0(0)113--121, 0(0)119--132, 0(0)160--166,
0(0)240--244, 0(0)251--263
-
Teitelbaum, Ray, 0(0)196--199
-
Teitelbaum:1973:CFE, 0(0)196--199
-
Tenney, Richard L., 0(0)61--76
-
Tenney, Richard L., see Sacerdote, George S.
-
tenth, 0(0)iv--346
-
Terrine, Gérard, 0(0)185--205
-
Terrine:1971:AGD, 0(0)185--205
-
test, 0(0)168--176, 0(0)234--239, 0(0)255--265
-
testers, 0(0)59--65
-
Testing, 0(0)96--107, 0(0)185--193
-
Texas, 0(0)iv--277
-
than, 0(0)112--120
-
Thatcher, James W., 0(0)119--132
-
Thatcher:1978:DTS, 0(0)119--132
-
theorem, 0(0)109--116, 0(0)116--120, 0(0)117--127, 0(0)122--131,
0(0)126--136, 0(0)169--179, 0(0)176--188, 0(0)180--183,
0(0)226--230
-
theorem-proving, 0(0)151--158
-
theoretic, number-, 0(0)205--215
-
theory, 0(0)iv--246, 0(0)iv--277, 0(0)iv--346, 0(0)iv--347, 0(0)vii--368,
0(0)12--23, 0(0)50--62, 0(0)95--104, 0(0)149--160, 0(0)153--159,
0(0)158--168, 0(0)161--171, 0(0)219--243, 0(0)233--239,
0(0)269--285, 0(0)295--305, 0(0)v--230, 0(0)v--263,
0(0)v--265, 0(0)v--266, 0(0)v--314
-
thinking, 0(0)80--83
-
third, 0(0)v--266
-
Thompson, C. D., 0(0)58--64, 0(0)81--88
-
Thompson:1976:SMC, 0(0)58--64
-
Thompson:1979:ATC, 0(0)81--88
-
Three, 0(0)226--230
-
time, 0(0)1--9, 0(0)10--19, 0(0)18--29, 0(0)20--28, 0(0)33--39,
0(0)40--46, 0(0)62--69, 0(0)112--120, 0(0)119--124, 0(0)122--129,
0(0)145--152, 0(0)172--184, 0(0)187--192, 0(0)218--222,
0(0)278--287, 0(0)338--345
-
time, Area-, 0(0)81--88
-
time, polynomial-, 0(0)110--121
-
time, Real-, 0(0)161--173, 0(0)346--351
-
time, real-, 0(0)239--248
-
time-bounded, 0(0)73--80, 0(0)92--99
-
time-space, 0(0)196--204, 0(0)224--230, 0(0)233--239, 0(0)262--277
-
time-storage, 0(0)29--33
-
to-String, String-, 0(0)218--223
-
Tompa, Martin, 0(0)196--204
-
Tompa:1978:TST, 0(0)196--204
-
toroidal, 0(0)133--142
-
Toueg, Sam, 0(0)89--98
-
Toueg:1979:DFP, 0(0)89--98
-
tour, 0(0)207--213
-
Toward, 0(0)50--58
-
tracing, 0(0)172--181
-
trade, 0(0)29--33
-
trade-offs, 0(0)224--230
-
tradeoffs, 0(0)196--204, 0(0)262--277
-
transducer, 0(0)66--74, 0(0)126--136, 0(0)129--135, 0(0)132--137,
0(0)198--206
-
transduction, 0(0)129--135, 0(0)200--206
-
transform, 0(0)88--93
-
transformation, 0(0)136--148, 0(0)266--275
-
transition, 0(0)73--80
-
transitive, 0(0)55--57
-
translatability, 0(0)1--12
-
Translating, 0(0)184--197
-
translations, 0(0)160--171, 0(0)236--243, 0(0)244--250
-
traveling, 0(0)1--9, 0(0)207--213
-
tree, 0(0)50--62, 0(0)66--74, 0(0)78--85, 0(0)125--136, 0(0)126--136,
0(0)129--135, 0(0)137--142, 0(0)198--205, 0(0)198--206,
0(0)200--206, 0(0)207--217, 0(0)240--244, 0(0)253--265
-
tree-like, 0(0)99--107
-
Tree-manipulating, 0(0)117--127
-
Tree-oriented, 0(0)109--116
-
Tree-size, 0(0)352--359
-
trie, 0(0)211--219
-
Turing, 0(0)91--95, 0(0)92--99, 0(0)157--167
-
turn, finite-, 0(0)27--32
-
two, 0(0)108--121, 0(0)240--244, 0(0)275--286
-
two-dimensional, 0(0)206--216
-
two-person, 0(0)41--49
-
two-way, 0(0)66--74, 0(0)132--137
-
type, 0(0)62--66, 0(0)108--121, 0(0)119--132