Index file section T for tois.bib
Last update: Wed Jun 5 02:02:29 MDT 2024
Return to index directory
T
-
tactics, 7(3)246--270
-
tailored, 7(1)3--29
-
telecommuting, 7(4)317--338
-
testbed, 7(1)1--2
-
Text, Full-, 7(3)230--245
-
text, Full-, 7(3)230--245
-
text, full-, 7(3)230--245
-
theorem, 7(2)103--122
-
theory, 7(1)3--29, 7(2)103--122, 7(2)123--157, 7(3)183--204,
7(3)205--229, 7(3)230--245, 7(4)292--316
-
there, 7(3)205--229
-
therefore, 7(2)123--157
-
three, 7(2)158--180
-
thus, 7(1)1--2
-
tie, 7(1)3--29
-
time, set-at-a-, 7(1)85--100
-
together, 7(1)1--2, 7(1)3--29
-
TOIS, 7(1)1--2, 7(3)181--182
-
Tompa, Frank Wm, 7(1)85--100
-
Tompa:1989:DMF, 7(1)85--100
-
tool, 7(1)58--84
-
traditional, 7(4)317--338
-
traditionally, 7(1)85--100
-
transaction, 7(1)1--2
-
traversal, 7(1)3--29
-
treated, 7(2)103--122, 7(2)123--157
-
tree, 7(4)292--316
-
Trellis, 7(1)3--29
-
Trésor, 7(3)230--245
-
tuple, 7(2)123--157
-
tutoring, 7(1)1--2
-
type-level, 7(2)103--122
-
typically, 7(2)103--122