Last update: Wed Feb  5 04:57:35 MST 2014
              
Return to index directory
T
  - 
{T}-Smart, 1251(0)244--z
 
  - 
T3D, 1215(0)168--z
 
  - 
T3E, 1291(0)117--z
 
  - 
Tableau, 1249(0)408--z
 
  - 
Tableaux, 1257(0)371--z, 1289(0)219--z
 
  - 
Taboch, C., 1298(0)31--z
 
  - 
Taboch, C.,  see Codish, M.
 
  - 
Tabular, 1293(0)171--z
 
  - 
Tactics, 1249(0)366--z
 
  - 
Tadepalli, P., 1297(0)243--z
 
  - 
Tadepalli, P.,  see Reddy, C.
 
  - 
Taft, S. Tucker, 1261-0-x
 
  - 
Tagged, 1230(0)313--z, 1230(0)327--z
 
  - 
Tagging, 1297(0)93--z
 
  - 
Tags, 1230(0)327--z
 
  - 
Taimina, D., 1276(0)422--z
 
  - 
Taimina, D.,  see Geidmanis, D.
 
  - 
Taitslin, M. A., 1234(0)21--z
 
  - 
Taitslin, M. A.,  see Belegradek, O. V.
 
  - 
Tajima, K., 1274(0)210--z
 
  - 
Tajima, K.,  see Kamiura, M.
 
  - 
Takagi, Tsuyoshi, 1294(0)372--z
 
  - 
Takagi:1997:FRT, 1294(0)372--z
 
  - 
Takahashi, Yasutake, 1204(0)316--z
 
  - 
Takahashi, Yasutake,  see Suzuki, Sho'ji
 
  - 
Takashibu, M., 1285(0)81--z
 
  - 
Takashibu, M.,  see Nakao, Z.
 
  - 
Takeda, K., 1206(0)253--z
 
  - 
Takeda, K.,  see Hayakawa, S.
 
  - 
Takenaga, Y., 1276(0)91--z
 
  - 
Takenaga:1997:SVO, 1276(0)91--z
 
  - 
Takeuchi, F., 1276(0)470--z
 
  - 
Takeuchi, I., 1285(0)187--z
 
  - 
Takeuchi, T., 1274(0)334--z
 
  - 
Takeuchi, T.,  see Iwasaki, M.
 
  - 
Takeuchi:1997:ETP, 1276(0)470--z
 
  - 
Takeuchi:1997:IMU, 1285(0)187--z
 
  - 
Takeyama, M., 1281(0)191--z
 
  - 
Takeyama, M.,  see Kinoshita, Y.
 
  - 
Taking, 1212(0)89--z
 
  - 
Takkella, S., 1199(0)144--z
 
  - 
Takkella, S.,  see Bonney, J.
 
  - 
Talamo, M., 1203(0)100--z
 
  - 
Talamo, M.,  see D'Amore, F.
 
  - 
Talcott, C. L., 1281(0)321--z
 
  - 
Talcott:1997:CSM, 1281(0)321--z
 
  - 
Tally, 1276(0)422--z
 
  - 
Talukdar, S. N., 1237(0)177--z
 
  - 
Talukdar, S. N.,  see Baerentzen, L.
 
  - 
Tamassia, R., 1190(0)45--z, 1190(0)63--z, 1190(0)193--z, 1190(0)201--z, 
		1272(0)186--z
 
  - 
Tamassia, R.,  see Bridgeman, S., \see{Chan, T., 
		 see Devillers, O., \see{Garg, A.
 
  - 
Tammet, T., 1289(0)65--z
 
  - 
Tammet:1997:RIM, 1289(0)65--z
 
  - 
Tamon, C., 1208(0)27--z, 1208(0)150--z
 
  - 
Tamon, C.,  see Bergadano, F., 
		 see Bshouty, N. H.
 
  - 
Tan, A. C., 1205(0)511--z
 
  - 
Tan, A. C.,  see Alusi, G.
 
  - 
Tan, L., 1276(0)192--z
 
  - 
Tan, L.,  see Kao, M.-Y.
 
  - 
Tan, T. C., 1262(0)339--z
 
  - 
Tan, T. C.,  see Ang, C. H.
 
  - 
Tan, X., 1276(0)311--z
 
  - 
Tan:1997:HRM, 1276(0)311--z
 
  - 
Tanaka, K., 1274(0)210--z
 
  - 
Tanaka, K.,  see Kamiura, M.
 
  - 
Tang, A., 1238(0)211--z
 
  - 
Tang, A.,  see Choi, Y. B.
 
  - 
Tang, Chuan Yi, 1276(0)232--z
 
  - 
Tang, Chuan Yi,  see Liang, Y. D.
 
  - 
Tangibility, 1289(0)319--z
 
  - 
TANGRAM-II, 1245(0)6--z
 
  - 
Tank, 1280(0)597--z
 
  - 
Tannen, V., 1290(0)261--z
 
  - 
Tannen, V.,  see Lellahi, K.
 
  - 
Tannhof, P., 1240(0)1374--z
 
  - 
Tannhof, P.,  see De Tremiolles, G.
 
  - 
TAPSOFT, 1214(0)6--z
 
  - 
Taraglio, S., 1225(0)21--z
 
  - 
Taraglio, S.,  see Falessi, R.
 
  - 
Tardieu, S., 1251(0)46--z
 
  - 
Tardieu, S.,  see Dupouy, B.
 
  - 
target, 1205(0)501--z, 1239(0)300--z, 1240(0)1144--z, 1297(0)213--z
 
  - 
target, Multi-, 1204(0)17--z
 
  - 
Tarlecki, A., 1290(0)177--z
 
  - 
Tarlecki, A.,  see Mossakowski, T.
 
  - 
Task, 1225(0)664--z, 1251(0)149--z, 1277(0)210--z, 1277(0)226--z, 
		1277(0)402--z
 
  - 
Task-Dependent, 1257(0)183--z
 
  - 
Task-Safe, 1251(0)244--z
 
  - 
tasks, 1224(0)337--z, 1259(0)359--z, 1284(0)1--z, 1296(0)154--z
 
  - 
Tawbi, N., 1268(0)247--z
 
  - 
Tawbi, N.,  see Debbabi, M.
 
  - 
Taxonomy, 1193(0)21--z, 1236(0)29--z, 1259(0)344--z
 
  - 
Taylor, C., 1242(0)277--z
 
  - 
Taylor, C.,  see Allan, R.
 
  - 
Taylor, C. J., 1230(0)483--z
 
  - 
Taylor, C. J.,  see Hill, A.
 
  - 
Taylor, R. H., 1205(0)319--z
 
  - 
Taylor, R. H.,  see Gorodia, T. M.
 
  - 
Teaching, 1248(0)290--z, 1251(0)35--z, 1292(0)323--z, 1292(0)335--z
 
  - 
Team, 1204(0)316--z, 1209(0)164--z, 1221(0)94--z, 1237(0)177--z, 
		1274(0)106--z
 
  - 
Teamwork, 1274(0)106--z
 
  - 
Technical, 1257(0)183--z, 1299(0)73--z
 
  - 
technique, 1188(0)69--z, 1190(0)401--z, 1196(0)46--z, 1196(0)200--z, 
		1205(0)151--z, 1205(0)565--z, 1205(0)639--z, 1214(0)550--z, 
		1215(0)247--z, 1225(0)644--z, 1225(0)1000--z, 1232(0)1--7, 
		1232(0)8--22, 1232(0)23--37, 1232(0)38--52, 1232(0)53--67, 
		1232(0)68--82, 1232(0)83--97, 1232(0)98--112, 1232(0)113--127, 
		1232(0)128--141, 1232(0)142--156, 1232(0)157--171, 1232(0)172--186, 
		1232(0)187--201, 1232(0)202--216, 1232(0)217--227, 1232(0)228--229, 
		1232(0)230--240, 1232(0)241--253, 1232(0)254--268, 1232(0)269--283, 
		1232(0)284--307, 1232(0)299--307, 1232(0)308--322, 1232(0)323--326, 
		1232(0)327--334, 1232(0)331--334, 1232(0)335--338, 1240(0)811--z, 
		1240(0)995--z, 1243(0)181--z, 1245(0)155--z, 1251(0)278--z, 
		1254(0)303--z, 1261-0-x, 1263(0)299--z, 1266(0)315--z, 
		1271(0)69--z, 1271(0)123--z, 1272(0)368--z, 1277(0)40--z, 
		1277(0)168--z, 1280(0)77--z, 1280(0)149--z, 1280(0)161--z, 
		1280(0)527--z, 1285(0)167--z, 1295(0)19--z, 1295(0)219--z, 
		1296(0)597--z, 1299(0)10--z, 1299(0)97--z
 
  - 
technology, 1215(0)24--34, 1219(0)39--z, 1222(0)263--z, 1238(0)447--z, 
		1270(0)314--z, 1274(0)1--z, 1274(0)58--z, 1277(0)115--z, 
		1277(0)383--z, 1299(0)1--z
 
  - 
Teckentrup, A., 1278(0)166--z
 
  - 
Teckentrup, A.,  see Schwab, C.
 
  - 
Teich, E., 1236(0)70--z
 
  - 
Teich, E.,  see Grote, B.
 
  - 
Teissier, P., 1240(0)872--z
 
  - 
Teissier, P.,  see Guerin-Dugue, A.
 
  - 
telecommunication, 1225(0)60--z, 1238(0)127--z, 1238(0)211--z, 
		1238(0)359--z, 1248(0)367--z, 1263(0)396--z
 
  - 
Telelearning, 1242(0)681--z
 
  - 
Telemedicine, 1242(0)693--z
 
  - 
telepresence, 1205(0)817--z
 
  - 
Telescript, 1222(0)295--z
 
  - 
Temme, K.-H., 1226(0)179--z
 
  - 
Temme, K.-H.,  see Igel, C.
 
  - 
Template, 1223(0)521--z, 1225(0)961--z, 1272(0)272--z, 1276(0)1--z
 
  - 
temporal, 1200(0)165--z, 1214(0)189--z, 1224(0)57--z, 1231(0)79--z, 
		1242(0)457--z, 1243(0)45--z, 1243(0)119--z, 1252(0)128--z, 
		1271(0)101--z, 1280(0)287--z, 1289(0)241--z, 1293(0)87--z, 
		1295(0)219--z
 
  - 
Temporal, Spatial-, 1230(0)85--z
 
  - 
Ten, S. V., 1277(0)262--z
 
  - 
Ten:1997:PAG, 1277(0)262--z
 
  - 
Teng, S.-H, 1276(0)515--z
 
  - 
Teng:1997:EEG, 1276(0)515--z
 
  - 
Ter Haar Romeny, B. M., 1252(0)77--z
 
  - 
Ter Haar Romeny, B. M.,  see Kalitzin, S. N.
 
  - 
Ter Hofstede, A. H. M., 1250(0)437--z
 
  - 
Ter Hofstede, A. H. M.,  see Barros, A. P.
 
  - 
Terada, M., 1274(0)394--z
 
  - 
Terada:1997:ACI, 1274(0)394--z
 
  - 
Teraflop, 1225(0)991--z
 
  - 
TerKonda, S., 1205(0)93--z
 
  - 
TerKonda, S.,  see Bite, U.
 
  - 
term, 1208(0)16--z, 1208(0)162--z, 1214(0)333--z, 1224(0)33--z, 
		1224(0)138--z, 1232(0)187--201, 1232(0)335--338, 1249(0)4--z, 
		1256(0)358--z, 1258(0)150--z, 1276(0)331--z, 1279(0)452--z, 
		1290(0)69--z, 1290(0)87--z, 1292(0)225--z, 1295(0)458--z, 
		1298(0)114--z, 1298(0)144--z
 
  - 
Term, Set-, 1276(0)321--z
 
  - 
Terminals, 1242(0)621--z
 
  - 
Terminating, 1295(0)448--z
 
  - 
termination, 1186(0)188--z, 1207(0)104--z, 1214(0)237--z, 1214(0)249--z, 
		1214(0)261--z, 1232(0)142--156, 1232(0)172--186, 1251(0)149--z, 
		1298(0)31--z, 1298(0)174--z
 
  - 
Terminology, 1299(0)73--z
 
  - 
Terrain, 1223(0)459--z, 1296(0)694--z
 
  - 
Terrestrial, 1242(0)277--z
 
  - 
Tervits, G., 1234(0)102--z
 
  - 
Tervits, G.,  see Freivalds, R.
 
  - 
Terwijn, S. A., 1279(0)441--z
 
  - 
Terwijn, S. A.,  see Stephan, F. C.
 
  - 
Teschner, M., 1296(0)726--z
 
  - 
Teschner, M.,  see Fellenz, W.
 
  - 
test, 1186(0)83--z, 1193(0)47--z, 1200(0)375--z, 1212(0)52--z, 
		1217(0)384--z, 1242(0)79--z, 1245(0)72--z, 1276(0)242--z, 
		1284(0)271--z
 
  - 
Testbed, 1257(0)505--z
 
  - 
Testing, 1192(0)320--z, 1203(0)205--z, 1214(0)833--z, 1231(0)353--z, 
		1240(0)628--z, 1249(0)264--z, 1251(0)278--z, 1296(0)535--z
 
  - 
Testing, Unit-, 1251(0)64--z
 
  - 
tests, MODp-, 1200(0)141--z
 
  - 
Text, 1202(0)171--z, 1211(0)349--z, 1257(0)244--z, 1257(0)607--z, 
		1264(0)40--z, 1266(0)200--z, 1280(0)409--z, 1293(0)103--z, 
		1299(0)97--z
 
  - 
Text-dependent, 1206(0)211--z
 
  - 
Text-independent, 1206(0)211--z
 
  - 
Text-Learners, 1279(0)441--z
 
  - 
Textual, 1202(0)42--z, 1266(0)303--z
 
  - 
Texture, 1223(0)213--z, 1223(0)279--z, 1240(0)1085--z, 1296(0)154--z, 
		1296(0)162--z, 1296(0)167--z, 1296(0)567--z, 1296(0)629--z
 
  - 
Tezuka, H., 1291(0)262--z
 
  - 
Tezuka, H.,  see Hori, A.
 
  - 
th, 1295(0)347--z
 
  - 
Thacker, N., 1296(0)559--z
 
  - 
Thacker, N.,  see Aherne, F.
 
  - 
than, 1256(0)347--z, 1284(0)284--z, 1295(0)37--z, 1297(0)165--z
 
  - 
The-Based, 1264(0)206--z
 
  - 
the-fly, On-, 1254(0)232--z
 
  - 
the-Middle, Man-in-, 1233(0)75--z
 
  - 
then, 1259(0)359--z
 
  - 
THEN, IF-, 1226(0)179--z
 
  - 
Theobald, T., 1295(0)408--z
 
  - 
Theobald, T.,  see Meinel, C.
 
  - 
theorem, 1232(0)38--52, 1237(0)128--z, 1249(0)53--z, 1249(0)57--z, 
		1249(0)146--z, 1249(0)176--z, 1249(0)351--z, 1255(0)329--z, 
		1275(0)1--z, 1275(0)33--z, 1275(0)89--z, 1289(0)114--z, 
		1290(0)49--z
 
  - 
Theorema, 1265(0)220--z
 
  - 
theoretic, 1186(0)173--z, 1256(0)225--z
 
  - 
Theoretic, Automata-, 1214(0)189--z
 
  - 
Theoretic, Information-, 1200(0)523--z
 
  - 
Theoretic, Knowledge-, 1193(0)357--z
 
  - 
Theoretic, Measurement-, 1188(0)252--z
 
  - 
Theoretic, Type-, 1281(0)295--z
 
  - 
Theoretical, 1211(0)145--z, 1214(0)3--z, 1223(0)197--z, 1240(0)556--z, 
		1256(0)325--z, 1289(0)278--z, 1295(0)159--z, 1297(0)173--z
 
  - 
Theoretically, Information-, 1233(0)209--z
 
  - 
theory, 1186(0)306--z, 1188(0)240--z, 1188(0)252--z, 1193(0)67--z, 
		1193(0)189--z, 1205(0)63--z, 1208(0)198--z, 1210(0)164--z, 
		1232(0)241--253, 1232(0)254--268, 1234(0)53--z, 1234(0)141--z, 
		1234(0)410--z, 1241(0)146--z, 1243(0)166--z, 1244(0)252--z, 
		1249(0)237--z, 1249(0)366--z, 1254(0)60--z, 1255(0)55--z, 
		1255(0)88--z, 1257(0)536--z, 1258(0)129--z, 1258(0)167--z, 
		1263(0)1--z, 1265(0)258--z, 1266(0)565--z, 1272(0)1--z, 
		1273(0)160--z, 1275(0)87--z, 1275(0)153--169, 1275(0)199--z, 
		1275(0)243--z, 1276(0)222--z, 1280(0)609--z, 1281(0)321--z, 
		1284(0)171--z, 1289(0)4--z, 1289(0)114--z, 1289(0)167--z, 
		1289(0)172--z, 1290(0)49--z, 1290(0)293--z, 1291(0)1--z, 
		1293(0)1--z, 1296(0)289--z
 
  - 
Theory-Based, 1193(0)67--z
 
  - 
Therapy, 1211(0)21--z, 1212(0)317--z
 
  - 
Therien, D., 1256(0)110--z
 
  - 
Therien, D.,  see Beaudry, M.
 
  - 
Thermal, 1196(0)90--z, 1225(0)1022--z, 1240(0)1270--z
 
  - 
Thermocapillary, 1196(0)176--z
 
  - 
theta-subsumption, 1224(0)73--z
 
  - 
theta0p2, 1279(0)1--z
 
  - 
Thiagarajan, P. S., 1243(0)45--z
 
  - 
Thiagarajan, P. S.,  see Henriksen, J. G.
 
  - 
Thiele, R., 1278(0)137--z
 
  - 
Thiele, R.,  see Zimmer, R.
 
  - 
Thielecke, H., 1281(0)391--z
 
  - 
Thielecke, H.,  see Power, J.
 
  - 
Thielke, T., 1248(0)447--z, 1279(0)105--z
 
  - 
Thielke, T.,  see Best, E.
 
  - 
Thiemann, P., 1281(0)165--z
 
  - 
Thiemann, P.,  see Lawall, J. L.
 
  - 
Thilikos, D. M., 1203(0)276--z, 1256(0)627--z
 
  - 
Thilikos, D. M.,  see Bodlaender, H. L., 
		 see Yamazaki, K.
 
  - 
Thin, 1252(0)361--z
 
  - 
Thing\ldots{}, 1195(0)74--z
 
  - 
Thinning, 1296(0)400--z, 1296(0)543--z
 
  - 
Thompson, A., 1259(0)406--z
 
  - 
Thompson, A.,  see Harvey, L.
 
  - 
Thompson, C. J., 1251(0)209--z
 
  - 
Thompson, C. J.,  see Celier, V. M.
 
  - 
Thompson, S., 1292(0)323--z
 
  - 
Thompson, S. G., 1280(0)527--z
 
  - 
Thompson, S. G.,  see Liu, W. Z.
 
  - 
Thompson:1997:WDB, 1292(0)323--z
 
  - 
Thomsen, B., 1192(0)345--z
 
  - 
Thomsen, B.,  see Degano, P.
 
  - 
Thornber, K., 1296(0)353--z
 
  - 
Thornber, K.,  see Williams, L.
 
  - 
Thornley, D. A., 1225(0)870--z
 
  - 
Thornley, D. A.,  see Haas, S.
 
  - 
Thorup, Kresten Krab, 1241(0)444--z
 
  - 
Thorup, M., 1256(0)270--z, 1272(0)45--z
 
  - 
Thorup, M.,  see Alstrup, S.
 
  - 
Thorup:1997:GJV, 1241(0)444--z
 
  - 
thought, 1254(0)226--z
 
  - 
threads, 1199(0)102--z, 1239(0)534--z, 1282(0)1--z
 
  - 
three, 1190(0)139--z, 1199(0)184--z, 1205(0)93--z, 1205(0)337--z, 
		1205(0)511--z, 1230(0)218--z, 1233(0)434--449, 1273(0)294--z, 
		1278(0)72--z, 1282(0)205--z
 
  - 
Three-Dimensional, 1296(0)114--z
 
  - 
three-dimensional, 1252(0)353--z, 1284(0)284--z
 
  - 
Three-Valued, 1276(0)343--z
 
  - 
Threshold, 1189(0)131--z, 1203(0)205--z, 1276(0)91--z, 1295(0)279--z
 
  - 
through, 1193(0)103--z, 1205(0)73--z, 1211(0)501--z, 1213(0)407--z, 
		1214(0)213--z, 1221(0)151--z, 1223(0)535--z, 1225(0)674--z, 
		1225(0)772--z, 1225(0)821--z, 1238(0)459--z, 1240(0)1364--z, 
		1242(0)277--z, 1242(0)681--z, 1250(0)33--z, 1252(0)284--z, 
		1259(0)406--z, 1272(0)450--z, 1274(0)182--z, 1280(0)199--z, 
		1280(0)199--z--1, 1280(0)287--z, 1296(0)702--z
 
  - 
Thumfart, W. L., 1205(0)817--z
 
  - 
Thumfart, W. L.,  see Freysinger, W.
 
  - 
Thurner, Veronika, 1241(0)344--z
 
  - 
Thurner, Veronika,  see Breu, Ruth
 
  - 
Tichy, W. F., 1235(0)161--z
 
  - 
Tichy, W. F.,  see Hunt, J. J.
 
  - 
Ticketing, 1238(0)255--z
 
  - 
Tidhar, G., 1209(0)152--z, 1274(0)106--z
 
  - 
Tidhar, G.,  see Cavedon, L.
 
  - 
Tight, 1240(0)743--z, 1277(0)7--z
 
  - 
Tilborg, Henk C. A. van, 1233(0)119--z
 
  - 
Tilborg, Henk C. A. van,  see Verheul, Eric R.
 
  - 
Tile-Based, 1295(0)52--z
 
  - 
Tileworld, 1209(0)164--z
 
  - 
Tiling, 1239(0)330--z, 1256(0)65--z
 
  - 
time, 1196(0)106--z, 1201(0)286--z, 1203(0)171--z, 1206(0)377--z, 
		1217(0)416--z, 1225(0)615--z, 1230(0)453--z, 1231(0)44--z, 
		1231(0)64--z, 1231(0)325--z, 1231(0)383--z, 1234(0)44--z, 
		1239(0)154--z, 1243(0)45--z, 1244(0)223--z, 1244(0)298--z, 
		1245(0)218--z, 1248(0)136--z, 1256(0)627--z, 1260(0)26--z, 
		1263(0)88--z, 1263(0)351--z, 1272(0)93--z, 1279(0)210--z, 
		1279(0)233--z, 1284(0)64--z, 1284(0)388--z, 1286(0)152--z, 
		1291(0)35--z, 1295(0)149--z, 1295(0)337--z, 1295(0)498--z, 
		1296(0)472--z
 
  - 
Time, Discrete-, 1256(0)582--z, 1296(0)255--z
 
  - 
Time, Just-in-, 1204(0)197--z
 
  - 
Time, Linear-, 1248(0)102--z, 1272(0)126--z, 1279(0)305--z, 
		1296(0)353--z
 
  - 
time, Linear-, 1284(0)459--z
 
  - 
time, Polynomial-, 1200(0)117--z
 
  - 
Time, Real-, 1195(0)58--z, 1231(0)22--z, 1231(0)111--z, 
		1231(0)156--z, 1231(0)310--z, 1237(0)36--z, 1274(0)318--z, 
		1281(0)562--z, 1295(0)358--z, 1296(0)42--z, 1296(0)448--z, 
		1296(0)718--z
 
  - 
time, real-, 1205(0)369--z, 1245(0)72--z, 1254(0)452--z, 
		1284(0)296--z
 
  - 
Time, Run-, 1241(0)243--z, 1242(0)245--z, 1277(0)13--z, 
		1292(0)423--z
 
  - 
Time, Space-, 1230(0)285--z
 
  - 
Time-Dependent, 1201(0)124--z
 
  - 
Time-Series, 1263(0)211--z, 1285(0)146--z
 
  - 
Time-Synchronised, 1242(0)79--z
 
  - 
Time-Varying, 1280(0)585--z
 
  - 
Time-Warping, 1280(0)275--z
 
  - 
timed, 1200(0)177--z, 1200(0)583--z, 1201(0)81--z, 1201(0)171--z, 
		1201(0)331--z, 1201(0)346--z, 1214(0)201--212, 1231(0)141--z, 
		1231(0)169--z, 1243(0)74--z, 1254(0)179--z, 1273(0)361--z
 
  - 
Timed, Probabilistic-, 1231(0)353--z
 
  - 
timing, 1254(0)155--z
 
  - 
Tin, T., 1238(0)263--z
 
  - 
Tin, T.,  see Griffin, D.
 
  - 
TINA, 1238(0)35--z, 1238(0)219--z, 1238(0)263--z
 
  - 
Tinelli, C., 1249(0)19--z
 
  - 
Tinelli, C.,  see Baader, F.
 
  - 
Ting, Kai Ming, 1224(0)250--z
 
  - 
Ting:1997:MCM, 1224(0)250--z
 
  - 
Tiountchik, A. A., 1277(0)60--z, 1277(0)404--z
 
  - 
Tiountchik, A. A.,  see Likhoded, N. A.
 
  - 
Tiountchik:1997:SME, 1277(0)404--z
 
  - 
Tisseur, F., 1215(0)140--z
 
  - 
Tisseur, F.,  see Domas, S.
 
  - 
Tissue, 1211(0)457--z, 1230(0)43--z, 1230(0)218--z
 
  - 
Tistarelli, M., 1206(0)369--z
 
  - 
Tistarelli, M.,  see Ferralasco, D.
 
  - 
Tiuryn, J., 1289(0)84--z
 
  - 
Tiuryn:1997:SL, 1289(0)84--z
 
  - 
Tiwari, A., 1232(0)113--127
 
  - 
Tiwari, A.,  see Bachmair, L.
 
  - 
TMN, 1238(0)255--z, 1238(0)275--z, 1238(0)339--z, 1238(0)417--z
 
  - 
TMN-like, 1238(0)263--z
 
  - 
To, Hing Wing, 1280(0)437--z
 
  - 
To, Hing Wing,  see Darlington, John
 
  - 
to-CL, lambda-, 1210(0)1--z
 
  - 
to-End, End-, 1236(0)195--z
 
  - 
to-LJ, LK-, 1249(0)116--z
 
  - 
to-One, Many-, 1276(0)11--z
 
  - 
to-Right, Left-, 1298(0)273--z
 
  - 
to-speech, Speech-, 1236(0)195--z
 
  - 
TOAS, 1263(0)323--z
 
  - 
Todorov, T. D., 1196(0)25--z
 
  - 
Todorov, T. D.,  see Andreev, A. B.
 
  - 
Todorova, P., 1242(0)19--z
 
  - 
Todorova, P.,  see Hussmann, H.
 
  - 
Toeplitz, 1196(0)126--z
 
  - 
Toi,  H., Wong-, 1254(0)460--z
 
  - 
Tokuda, H., 1274(0)318--z
 
  - 
Tokuda, H.,  see Moriai, S.
 
  - 
Tokuda, T., 1274(0)294--z
 
  - 
Tokuda, T.,  see Radoslavov, P. I.
 
  - 
Tolerant, 1203(0)37--z
 
  - 
Tolerant, Error-, 1276(0)242--z
 
  - 
Tolerant, Fault-, 1251(0)230--z
 
  - 
tolerant, Fault-, 1284(0)296--z
 
  - 
Tolerate, 1240(0)763--z
 
  - 
Tolksdorf, R., 1282(0)430--z
 
  - 
Tolksdorf:1997:BOO, 1282(0)430--z
 
  - 
Tollis, I. G., 1190(0)241--z, 1272(0)354--z
 
  - 
Tollis, I. G.,  see Kakoulis, K. G., 
		 see Papakostas, A.
 
  - 
Tolmie, C. J., 1211(0)122--z
 
  - 
Tolmie, C. J.,  see Du Plessis, J. P.
 
  - 
Tomas, A., 1240(0)1270--z
 
  - 
Tomas, A.,  see Bella, O.
 
  - 
Tomas, A. P., 1232(0)269--283
 
  - 
Tomas:1997:SLD, 1232(0)269--283
 
  - 
Tomlin, C., 1273(0)378--z
 
  - 
Tomlin:1997:HCM, 1273(0)378--z
 
  - 
Tomographic, 1230(0)85--z, 1230(0)447--z
 
  - 
tomography, 1196(0)90--z, 1205(0)817--z
 
  - 
Tompits, H., 1244(0)237--z, 1265(0)60--z
 
  - 
Tompits, H.,  see Egly, U.
 
  - 
Toni, F., 1207(0)313--z
 
  - 
Toni, F.,  see Dung, P. M.
 
  - 
tool, 1195(0)83--z, 1198(0)191--z, 1201(0)87--z, 1207(0)130--z, 
		1209(0)44--z, 1211(0)21--z, 1211(0)122--z, 1214(0)875--z, 
		1217(0)81--z, 1217(0)209--z, 1225(0)51--z, 1225(0)654--z, 
		1225(0)801--z, 1225(0)1010--z, 1230(0)393--z, 1235(0)175--z, 
		1235(0)222--z, 1240(0)825--z, 1240(0)861--z, 1241(0)472--z, 
		1242(0)261--z, 1245(0)6--z, 1245(0)58--z, 1245(0)83--z, 
		1245(0)155--z, 1250(0)217--z, 1251(0)100--z, 1254(0)7--z, 
		1254(0)440--z, 1254(0)448--z, 1254(0)452--z, 1254(0)476--z, 
		1257(0)589--z, 1257(0)607--z, 1263(0)243--z, 1267(0)230--z, 
		1277(0)268--z, 1277(0)409--z, 1278(0)99--z, 1280(0)89--z, 
		1296(0)191--z
 
  - 
Toolbox, 1273(0)18--z, 1280(0)53--z
 
  - 
Toolkit, 1190(0)92--z, 1240(0)313--z
 
  - 
Toolset, 1217(0)183--z, 1219(0)210--z, 1251(0)112--z, 1251(0)244--z, 
		1257(0)589--z
 
  - 
Top, 1268(0)141--z
 
  - 
Top-down, 1249(0)146--z, 1249(0)176--z
 
  - 
Top-Evolutionary, 1285(0)11--z
 
  - 
topographic, 1252(0)29--z
 
  - 
Topological, 1203(0)241--z, 1234(0)1--z
 
  - 
topology, 1226(0)92--z, 1240(0)932--z, 1273(0)248--z, 1276(0)373--z, 
		1284(0)500--z, 1295(0)179--z
 
  - 
Topology, Fixed-, 1264(0)130--z
 
  - 
TopVision, 1242(0)571--z
 
  - 
Torbjoernsen, O., 1271(0)23--z, 1271(0)38--z
 
  - 
Torbjoernsen, O.,  see Bratsberg, S. E., 
		 see Groevlen, O.
 
  - 
Torque, 1226(0)484--z
 
  - 
Torralba, A., 1240(0)811--z, 1240(0)825--z, 1240(0)834--z
 
  - 
Torralba, A.,  see Carvajal, R. G., 
		 see Colodro, F.
 
  - 
Torre,  S., La, 1279(0)293--z
 
  - 
Torres, C., 1280(0)247--z--1
 
  - 
Torres, C.,  see Van Someren, M.
 
  - 
Torres, Cristina, 1280(0)247--z
 
  - 
Torres, Cristina,  see Someren, Maarten van
 
  - 
Torresani, L., 1206(0)53--z
 
  - 
Torresani, L.,  see Coianiz, T.
 
  - 
Tortora De Falco, L., 1289(0)290--z
 
  - 
TortoraDeFalco:1997:DSP, 1289(0)290--z
 
  - 
Torus, 1276(0)451--z
 
  - 
Tosti, A., 1238(0)127--z
 
  - 
Tosti, A.,  see Dede, A.
 
  - 
total, 1186(0)113--z, 1196(0)212--z, 1205(0)573--z, 1205(0)619--z, 
		1232(0)142--156, 1256(0)849--z
 
  - 
Totality, 1281(0)138--z
 
  - 
Totally, 1273(0)342--z
 
  - 
tour, 1255(0)164--z, 1276(0)222--z
 
  - 
Toussaint, G., 1203(0)86--z
 
  - 
Toussaint, G.,  see Gomez, F.
 
  - 
Toutanova, K., 1257(0)603--z
 
  - 
Toutanova, K.,  see Angelova, G.
 
  - 
toward, 1188(0)197--z, 1188(0)240--z, 1193(0)309--z, 1195(0)43--z, 
		1205(0)337--z, 1214(0)201--212, 1225(0)654--z, 1234(0)33--z, 
		1234(0)141--z, 1235(0)1--z, 1236(0)29--z, 1238(0)219--z, 
		1238(0)255--z, 1238(0)303--z, 1238(0)371--z, 1241(0)344--z, 
		1242(0)309--z, 1244(0)614--z, 1245(0)83--z, 1249(0)252--z, 
		1250(0)437--z, 1251(0)173--z, 1254(0)131--z, 1263(0)243--z, 
		1263(0)299--z, 1265(0)222--z, 1265(0)341--z, 1273(0)329--z, 
		1274(0)154--z, 1275(0)215--z, 1278(0)88--z, 1279(0)364--z, 
		1279(0)411--z, 1293(0)1--z, 1293(0)103--z, 1294(0)455--z, 
		1294(0)470--z
 
  - 
Toxicity, 1240(0)576--z
 
  - 
Toyama, Y., 1298(0)114--z
 
  - 
Toyama, Y.,  see Aoto, T.
 
  - 
Trace, 1256(0)336--z
 
  - 
traced, 1210(0)196--z
 
  - 
Tracing, 1292(0)291--z
 
  - 
Tracked, 1257(0)617--z
 
  - 
Trackies, 1204(0)316--z
 
  - 
tracking, 1205(0)33--z, 1205(0)357--z, 1205(0)511--z, 1205(0)531--z, 
		1213(0)335--z, 1223(0)409--z, 1223(0)521--z, 1252(0)128--z, 
		1296(0)42--z, 1296(0)464--z
 
  - 
Tractable, 1186(0)461--z
 
  - 
Trade-Off, 1279(0)340--z
 
  - 
Trade-offs, 1256(0)177--z
 
  - 
trading, 1270(0)314--z
 
  - 
Traditional, 1225(0)898--z, 1230(0)393--z
 
  - 
Traeff, J. L., 1203(0)217--z
 
  - 
Traeff, J. L.,  see Katajainen, J.
 
  - 
Traffic, 1240(0)1288--z, 1242(0)523--z, 1266(0)291--z, 1273(0)378--z
 
  - 
traffic, heavy-, 1284(0)232--z
 
  - 
Trails, 1292(0)291--z
 
  - 
training, 1205(0)347--z, 1226(0)416--z, 1226(0)598--z, 1240(0)227--z
 
  - 
Trainito, G., 1244(0)58--z
 
  - 
Trainito, G.,  see Bison, P.
 
  - 
Trakhtenbrot, B. A., 1279(0)411--z
 
  - 
Trakhtenbrot, B. A.,  see Rabinovich, A.
 
  - 
TRAM, 1232(0)335--338
 
  - 
Trans-dichotomous, 1272(0)426--z
 
  - 
transaction, 1186(0)321--z, 1189(0)89--z, 1250(0)75--z, 1250(0)437--z, 
		1271(0)38--z, 1271(0)54--z, 1277(0)283--z
 
  - 
Transcopyright, 1274(0)7--z
 
  - 
transcranial, 1205(0)477--z
 
  - 
Transcription, 1278(0)99--z
 
  - 
Transducer, 1214(0)177--z, 1240(0)72--z, 1279(0)281--z, 1281(0)604--z
 
  - 
TRANSFAC, 1278(0)99--z
 
  - 
Transfer, 1189(0)177--z, 1196(0)38--z, 1233(0)334--z, 1274(0)334--z
 
  - 
Transfer, Heat-, 1196(0)589--z, 1196(0)596--z
 
  - 
Transform, 1196(0)126--z, 1206(0)3--z, 1267(0)210--z, 1277(0)358--z, 
		1296(0)472--z, 1296(0)567--z, 1296(0)575--z, 1296(0)621--z
 
  - 
Transform-Based, 1296(0)162--z
 
  - 
transformation, 1205(0)33--z, 1207(0)130--z, 1225(0)674--z, 
		1231(0)199--z, 1239(0)207--z, 1248(0)447--z, 1263(0)299--z, 
		1265(0)40--z, 1292(0)95--z, 1292(0)127--z, 1293(0)153--z, 
		1295(0)219--z, 1295(0)249--z, 1296(0)90--z
 
  - 
Transformation-Based, 1216(0)171--z
 
  - 
Transformers, 1241(0)60--z
 
  - 
Transforming, 1292(0)111--z
 
  - 
transient, 1245(0)72--z
 
  - 
transition, 1192(0)370--z, 1201(0)301--z, 1243(0)258--z, 1256(0)460--z, 
		1280(0)573--z, 1281(0)213--z, 1295(0)139--z, 1295(0)169--z, 
		1295(0)269--z
 
  - 
Transitions, epsilon-, 1200(0)583--z
 
  - 
Transitive, 1189(0)171--z, 1264(0)167--z
 
  - 
transitive-closure, 1254(0)291--z
 
  - 
Translating, 1200(0)55--z, 1289(0)278--z
 
  - 
translation, 1186(0)351--z, 1190(0)45--z, 1200(0)319--z, 1210(0)1--z, 
		1236(0)195--z, 1249(0)116--z, 1275(0)17--z, 1292(0)421--z, 
		1296(0)90--z
 
  - 
transmission, 1242(0)309--z, 1279(0)150--z
 
  - 
Transnational, 1242(0)19--z
 
  - 
Transparency, 1250(0)423--z
 
  - 
Transparent, 1199(0)115--z
 
  - 
Transputer, 1215(0)365--z, 1225(0)615--z
 
  - 
transverse, 1205(0)565--z
 
  - 
Trapdoor, 1267(0)139--z
 
  - 
trapezoid, 1276(0)232--z
 
  - 
Trapp, R., 1226(0)553--z
 
  - 
Trapp, R.,  see Englert, M.
 
  - 
Traveling, 1213(0)361--z
 
  - 
Traverso, C., 1255(0)39--z
 
  - 
Traverso, C.,  see Caboara, M.
 
  - 
Travois, 1267(0)205--z
 
  - 
Treating, 1211(0)98--z
 
  - 
treatment, 1196(0)66--z, 1199(0)115--z, 1200(0)523--z, 1205(0)705--z, 
		1226(0)478--z
 
  - 
tree, 1190(0)1--z, 1190(0)63--z, 1197(0)1--z, 1197(0)56--z, 
		1197(0)114--z, 1197(0)126--z, 1197(0)390--z, 1203(0)181--z, 
		1203(0)193--z, 1203(0)299--z, 1211(0)145--z, 1222(0)263--z, 
		1233(0)480--z, 1240(0)932--z, 1244(0)298--z, 1256(0)76--z, 
		1256(0)270--z, 1256(0)505--z, 1256(0)827--z, 1260(0)6--z, 
		1263(0)232--z, 1268(0)267--z, 1272(0)368--z, 1274(0)294--z, 
		1276(0)1--z, 1276(0)111--z, 1276(0)134--z, 1276(0)212--z, 
		1276(0)274--z, 1276(0)284--z, 1276(0)294--z, 1276(0)373--z, 
		1276(0)383--z, 1276(0)412--z, 1276(0)431--z, 1276(0)482--z, 
		1278(0)115--z, 1279(0)281--z, 1280(0)187--z, 1280(0)211--z, 
		1281(0)604--z, 1284(0)78--z, 1284(0)104--z, 1284(0)171--z, 
		1284(0)217--z, 1284(0)341--z, 1284(0)350--z, 1289(0)18--z, 
		1295(0)229--z, 1295(0)319--z, 1296(0)114--z, 1297(0)133--z, 
		1297(0)173--z
 
  - 
tree, {B}-, 1274(0)198--z
 
  - 
tree, Multi-, 1276(0)18--z
 
  - 
tree:, {S}-, 1262(0)350--z
 
  - 
treeNets, 1244(0)350--z
 
  - 
Trees, 3-, 1197(0)239--z
 
  - 
trees, {R}-, 1262(0)339--z
 
  - 
Trees, Word-into-, 1214(0)177--z
 
  - 
Treewidth, 1256(0)292--z, 1295(0)19--z
 
  - 
Trefler, R. J., 1214(0)189--z
 
  - 
Trefler, R. J.,  see Emerson, E. A.
 
  - 
TREMBL, 1278(0)44--z
 
  - 
Tremiolles,  G., De, 1240(0)1374--z
 
  - 
Trends, 1214(0)6--z, 1242(0)681--z
 
  - 
Tretmans, J., 1217(0)416--z
 
  - 
Tretmans, J.,  see D'Argenio, P. R.
 
  - 
Treur, J., 1193(0)141--z, 1237(0)210--z, 1244(0)252--z
 
  - 
Treur, J.,  see Brazier, F., 
		 see Engelfriet, J., \see{Jonker, C. M.
 
  - 
Trevisan, L., 1284(0)472--z
 
  - 
Trevisan:1997:ASS, 1284(0)472--z
 
  - 
Triadic, 1257(0)304--z
 
  - 
trial, 1242(0)571--z, 1242(0)609--z, 1242(0)739--z
 
  - 
Triangular, 1196(0)414--z
 
  - 
triangulations, 1272(0)321--z, 1276(0)52--z, 1276(0)470--z, 
		1284(0)459--z
 
  - 
Trichina, E., 1277(0)268--z
 
  - 
Trichina:1997:VTS, 1277(0)268--z
 
  - 
Tridiagonal, 1225(0)321--z
 
  - 
Trigo, J. A., 1240(0)124--z
 
  - 
Trigo, J. A.,  see Delgado-Garcia, J. M.
 
  - 
Tripathi, Anand, 1241(0)85--z
 
  - 
Tripathi, Anand,  see Miller, Robert
 
  - 
Triple-Free, 1256(0)760--z
 
  - 
trivial, Non-, 1295(0)179--z
 
  - 
Trobaugh, J., 1205(0)459--z
 
  - 
Trobaugh, J.,  see Bucholz, R. D.
 
  - 
Troccaz, J., 1205(0)285--z
 
  - 
Troccaz, J.,  see Chavanon, O.
 
  - 
Trott, K., 1226(0)560--z
 
  - 
Trott, K.,  see Izak, R.
 
  - 
Trouble, 1238(0)255--z
 
  - 
Trousse, B., 1266(0)541--z
 
  - 
Trousse, B.,  see Karacapilidis, N.
 
  - 
Troya, J. M., 1274(0)90--z
 
  - 
Troya, J. M.,  see Fuentes, L.
 
  - 
TrPTL, 1295(0)418--z
 
  - 
TRRD, 1278(0)99--z
 
  - 
true, 1231(0)383--z, 1232(0)217--227
 
  - 
Truffet, D., 1262(0)178--z
 
  - 
Truffet, D.,  see Zhou, X.
 
  - 
Truncating, 1224(0)57--z
 
  - 
Truppe, M. J., 1205(0)817--z
 
  - 
Truppe, M. J.,  see Freysinger, W.
 
  - 
trust, 1189(0)171--z, 1208(0)134--z, 1270(0)2--z
 
  - 
Tsai, K.-H., 1276(0)304--z
 
  - 
Tsai, W., 1235(0)108--z
 
  - 
Tsai, W.,  see Ci, J. X.
 
  - 
Tsai:1997:OAC, 1276(0)304--z
 
  - 
Tsalides, P., 1296(0)488--z
 
  - 
Tsalides, P.,  see Gasteratos, A.
 
  - 
Tschichholz, M., 1238(0)245--z
 
  - 
Tschichholz, M.,  see Wade, V.
 
  - 
Tschoeke, S., 1200(0)511--z
 
  - 
Tschoeke, S.,  see Feldmann, R.
 
  - 
Tsien, Christine L., 1280(0)111--121
 
  - 
Tsien:1997:ADC, 1280(0)111--121
 
  - 
Tsotsos, J. K., 1221(0)94--z
 
  - 
Tsotsos, J. K.,  see Ye, Y.
 
  - 
TSP, 1272(0)104--z, 1272(0)150--z
 
  - 
Tsui, E., 1257(0)589--z
 
  - 
Tsui, E.,  see Garner, B.
 
  - 
Tsui, K. C., 1198(0)191--z
 
  - 
Tsui, K. C.,  see Azvine, B.
 
  - 
Tsujimura, Y., 1285(0)106--z
 
  - 
Tsujimura:1997:GAS, 1285(0)106--z
 
  - 
Tsukamoto, M., 1274(0)74--z, 1274(0)237--z
 
  - 
Tsukamoto, M.,  see Nishio, S., 
		 see Nishioka, T.
 
  - 
Tsukamoto, Masahiko, 1274(0)363--378
 
  - 
Tsukamoto, Masahiko,  see Budiarto
 
  - 
Tsutsui, H., 1285(0)45--z
 
  - 
Tsutsui, H.,  see Matsushita, S.
 
  - 
tt(NP), R0S0N1-, 1203(0)49--z
 
  - 
{TTP}-based, 1270(0)261--z
 
  - 
Tuchschmid, N. S., 1225(0)293--z
 
  - 
Tuchschmid, N. S.,  see Breitler, M.
 
  - 
Tuerker, M., 1226(0)207--z
 
  - 
Tuerker, M.,  see Besli, N.
 
  - 
Tuerksen, I. B., 1188(0)252--z
 
  - 
Tuerksen, I. B.,  see Bilgic, T.
 
  - 
Tumorous, 1211(0)457--z
 
  - 
Tumors, 1188(0)167--z
 
  - 
Tuning, 1277(0)398--z
 
  - 
Tunnel, 1226(0)403--z
 
  - 
tuple, 1282(0)289--z
 
  - 
Tuple-Based, 1277(0)25--z
 
  - 
tuple-space, 1282(0)426--z
 
  - 
Turbak, F., 1214(0)757--z
 
  - 
Turbak, F.,  see Wells, J. B.
 
  - 
Turhan, Meltem, 1280(0)383--z
 
  - 
Turhan:1997:GFC, 1280(0)383--z
 
  - 
Turi, D., 1290(0)127--z
 
  - 
Turi:1997:CMS, 1290(0)127--z
 
  - 
Turing, 1203(0)49--z, 1295(0)91--z
 
  - 
Turini, F., 1265(0)273--z
 
  - 
Turini, F.,  see Brogi, A.
 
  - 
Turski, W. M., 1282(0)115--z
 
  - 
Turski, W. M.,  see Nunes, I.
 
  - 
Tutorial, 1201(0)2--z, 1263(0)395--z, 1277(0)424--z
 
  - 
Tuzikov, A., 1296(0)138--z
 
  - 
Tuzikov:1997:CCS, 1296(0)138--z
 
  - 
Twenty, 1223(0)197--z
 
  - 
Twin-Base, 1202(0)210--z
 
  - 
two, 1190(0)11--z, 1190(0)139--z, 1213(0)265--z, 1215(0)222--z, 
		1218(0)167--z, 1218(0)366--z, 1222(0)263--z, 1230(0)543--z, 
		1232(0)228--229, 1233(0)1--z, 1240(0)892--z, 1270(0)261--z, 
		1276(0)470--z, 1289(0)128--z, 1289(0)233--z, 1289(0)305--z, 
		1295(0)37--z
 
  - 
two-connectivity, 1284(0)326--z
 
  - 
Two-Dimensional, 1264(0)40--z, 1279(0)281--z
 
  - 
two-dimensional, 1186(0)409--z, 1205(0)263--z, 1284(0)217--z, 
		1284(0)284--z
 
  - 
Two-Letter, 1276(0)393--z
 
  - 
Two-Level, 1295(0)388--z
 
  - 
Two-Mass, 1226(0)553--z
 
  - 
Two-Phase, 1196(0)38--z
 
  - 
Two-Step, 1196(0)565--z
 
  - 
Two-Variable, 1200(0)249--z
 
  - 
Two-Way, 1225(0)321--z, 1255(0)78--z
 
  - 
two-way, 1245(0)108--z
 
  - 
Two-Wheeler, 1225(0)51--z
 
  - 
TWOPRIME, 1267(0)88--z
 
  - 
Tygliyan, A. V., 1196(0)176--z
 
  - 
Tygliyan, A. V.,  see Filippov, S. S.
 
  - 
type, 1192(0)126--z, 1196(0)414--z, 1204(0)67--z, 1204(0)112--z, 
		1210(0)30--z, 1210(0)63--z, 1210(0)112--z, 1210(0)164--z, 
		1214(0)453--z, 1224(0)124--z, 1226(0)363--z, 1231(0)263--z, 
		1232(0)38--52, 1234(0)9--z, 1240(0)932--z, 1241(0)32--z, 
		1241(0)128--z, 1241(0)367--z, 1241(0)389--z, 1241(0)444--z, 
		1256(0)121--z, 1258(0)34--z, 1258(0)167--z, 1275(0)87--z, 
		1275(0)307--z, 1281(0)47--z, 1281(0)107--z, 1281(0)458--z, 
		1281(0)530--z, 1281(0)583--z, 1288-0-xiii, 1289(0)278--z, 
		1290(0)197--z, 1298(0)159--z, 1298(0)174--z
 
  - 
Type, Phase-, 1248(0)175--z
 
  - 
Type, {Rabin}-, 1276(0)186--z
 
  - 
Type, {RSA}-, 1294(0)372--z
 
  - 
Type, {Steklov}-, 1196(0)557--z
 
  - 
Type-Based, 1214(0)607--z, 1222(0)277--z
 
  - 
Type-based, 1268(0)247--z
 
  - 
Type-consistency, 1186(0)364--z
 
  - 
Type-Theoretic, 1281(0)295--z
 
  - 
typed, 1210(0)11--z, 1210(0)390--z, 1214(0)757--z, 1293(0)135--z
 
  - 
Typelab, 1214(0)851--z
 
  - 
typing, 1243(0)196--z, 1249(0)321--z, 1281(0)611--z
 
  - 
Tyszkiewicz, J., 1295(0)498--z
 
  - 
Tyszkiewicz:1997:QAC, 1295(0)498--z