Index file section T for lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
Return to index directory
T
-
T, 815(0)239--z, 818(0)14--z
-
T, ITU-, 882(0)322--z
-
{T}-node, 796(0)416--z
-
T.120, 882(0)322--z
-
T3D, 797(0)150--z, 853(0)281--z, 879(0)304--311
-
table, 775(0)723--z, 829(0)97--z, 861(0)94--z, 869(0)346--z
-
Table, Truth-, 775(0)427--z
-
Table-Lookup, 849(0)274--z
-
tableau-based, 814(0)793--z
-
tableaux, 814(0)708--z, 814(0)723--z, 827(0)535--z, 861(0)296--z
-
Tabu, 779(0)309--322
-
Tabuchi, A., 811(0)66--79
-
Tabuchi, A., see Tarumi, H.
-
Tabulated, 775(0)723--z
-
Tabulation, 844(0)465--z
-
TabVer, 861(0)94--z
-
Tactic, 780(0)400--413, 806(0)291--312, 814(0)605--z, 822(0)1--z,
822(0)16--z
-
Taentzer, G., 776(0)153--z, 776(0)380--z
-
Taentzer, G., see Ehrig, H.
-
Taentzer:1994:AGT, 776(0)380--z
-
Tahar, S., 780(0)281--294, 859(0)424--z
-
Tahar:1994:IIV, 859(0)424--z
-
Tahar:1994:IMF, 780(0)281--294
-
Tahir, J. M., 852(0)439--z
-
Tahir:1994:CED, 852(0)439--z
-
Tailoring, 820(0)118--z
-
Tajika, I., 872(0)547--z
-
Tajika, I., see Takimoto, E.
-
Takada, Y., 862(0)16--z
-
Takada:1994:HLF, 862(0)16--z
-
Takagi, T., 833(0)109--z
-
Takagi, T., see Yokogawa, T.
-
Takahashi, E., 817(0)761--z
-
Takahashi, E., see Kusakabe, S.
-
Takahashi, Masako, 789(0)465--z, 792(0)117--z
-
Takahashi, S., 874(0)51--z
-
Takahashi, S., see Hosobe, H.
-
Takahashi:1994:NPT, 789(0)465--z
-
Takahashi:1994:SPG, 792(0)117--z
-
Takaoka, T., 834(0)234--z
-
Takaoka:1994:APM, 834(0)234--z
-
Takashio, K., 791(0)93--z
-
Takashio, K., see Tokoro, M.
-
Takayama, Yukihide, 792(0)1--z
-
Takayama, Yukihide, see Hayashi, Susumu
-
Takenaga, Y., 834(0)584--z
-
Takenaga, Y., see Hosaka, K.
-
Takeuchi, J., 872(0)500--z
-
Takeuchi, J., see Nakamura, A.
-
Takeuchi, K., 817(0)398--z
-
Takeuchi:1994:IBL, 817(0)398--z
-
Takimoto, E., 774(0)265--z, 872(0)547--z
-
Takimoto:1994:MIG, 872(0)547--z
-
Takimoto:1994:SCC, 774(0)265--z
-
Talamo, M., 831(0)117--z, 831(0)186--z
-
Talamo, M., see Franciosa, P. G.
-
Talamo:1994:FLB, 831(0)186--z
-
Talbi, E.-G., 854(0)866--z
-
Talbi, E.-G., see Elleuch, A.
-
Talcott, Carolyn, 792(0)119--z, 792(0)225--z
-
Talcott, Carolyn, see Mason, Ian A.,
see Weyhrauch, Richard W.
-
Talking, 860(0)262--z
-
Tally, 841(0)403--z
-
Tamaki, H., 834(0)29--z
-
Tamaki, H., see Iwano, K.
-
Tamarack-3, 780(0)253--266
-
Tamassia, R., 778(0)12--z, 855(0)12--z, 855(0)266--z
-
Tamassia, R., see Chiang, Y.-J., \see{Garg, A.
-
Tamer Oezsu, M., 823(0)34--z, 823(0)110--z
-
Tamer Oezsu, M., see Goralwalla, I. A.,
see Peters, R. J.
-
Taming, 821(0)432--z
-
Tamir, T., 857(0)194--z
-
Tamir, T., see Attiya, H.
-
Tan, Chew Lim, 811(0)269--282
-
Tan, Chew Lim, see Jarzabek, S.
-
Tan, Kian Lee, 819(0)95--z
-
Tan, Kian Lee, see Lu, H.
-
Tan, S., 834(0)65--z
-
Tan, S., see Santha, M.
-
Tan, T. N., 800(0)501--506
-
Tan, X., 834(0)523--z
-
Tan:1994:PDR, 800(0)501--506
-
Tan:1994:SSR, 834(0)523--z
-
Tanada, Kazuo, 839(0)50--55
-
Tanada, Kazuo, see Chao, Jinhui
-
Tanaka, H., 774(0)410--z
-
Tanaka, H., see Tsumoto, S.
-
Tanaka, Y., 854(0)337--z
-
Tanaka:1994:PMG, 854(0)337--z
-
Tanamy, R., 819(0)204--z
-
Tanamy, R., see Cochinwala, M.
-
Tang, A. Y.-C., 866(0)180--z
-
Tang, S., 807(0)250--258
-
Tang:1994:MER, 866(0)180--z
-
Tang:1994:MMN, 807(0)250--258
-
Tangen, U., 796(0)238--z
-
Tangen:1994:SBE, 796(0)238--z
-
Tani, S., 774(0)328--z, 834(0)575--z
-
Tani, S., see Ishigami, Y.
-
Tani:1994:ROO, 834(0)575--z
-
Tanida, N., 872(0)560--z
-
Tanida:1994:IIM, 872(0)560--z
-
Taniguchi, R.-I., 817(0)761--z, 817(0)781--z
-
Taniguchi, R.-I., see Kawano, T.,
see Kusakabe, S.
-
Tanik, Murat M., 750(0)543--z
-
Tanik, Murat M., see Coyle, Frank P.
-
Tanizawa, M., 837(0)261--z
-
Tanizawa, M., see Uehara, K.
-
Tankoano, J., 772(0)177--z
-
Tankoano:1994:SPD, 772(0)177--z
-
Tannenbaum, A., 800(0)449--458
-
Tannenbaum, A., see Sapiro, G.
-
Tano, S., 872(0)137--z
-
Tano, S., see Iwatani, T.
-
Tao, R., 809(0)135--z
-
Tao:1994:FAO, 809(0)135--z
-
Taoka, S., 834(0)217--z
-
Taoka:1994:MAE, 834(0)217--z
-
Tape, 880(0)24--35
-
Tarau, P., 844(0)73--z
-
Tarau:1994:NTC, 844(0)73--z
-
Target, 771(0)1--z
-
Tari, Z., 856(0)135--z
-
Tari, Z., see Li, X.
-
Tarjan, R. E., 805(0)13--22
-
Tarjan, R. E., see Dixon, B.
-
Tarrio, M., 796(0)40--z
-
Tarrio, M., see Garcia, G. D.
-
Tarroux, P., 866(0)26--z
-
Tarroux, P., see Chiva, E.
-
Tarumi, H., 811(0)66--79
-
Tarumi:1994:IGD, 811(0)66--79
-
TAS, NIKS-, 839(0)294--307
-
TAS-D0+0+, 838(0)198--z
-
Task, 796(0)358--z, 797(0)363--z, 817(0)589--z, 824(0)290--z,
837(0)446--z, 854(0)53--z, 854(0)664--z
-
tasks, 796(0)408--z, 834(0)607--z, 837(0)182--z, 837(0)365--z,
854(0)533--z, 861(0)379--z, 862(0)93--z, 869(0)366--z
-
Tatsiopoulos, I. P., 856(0)204--z
-
Tatsiopoulos:1994:OOD, 856(0)204--z
-
TAU, 854(0)29--z
-
Taubin, F. A., 829(0)88--z
-
Taubin:1994:RSD, 829(0)88--z
-
Tausend, B., 784(0)383--z, 784(0)427--z, 784(0)431--z
-
Tausend, B., see Knoll, U.
-
Tausend:1994:BTE, 784(0)431--z
-
Tausend:1994:RBI, 784(0)427--z
-
Tautologies, 832(0)33--z
-
Tawil, K. M., Al-, 852(0)529--z
-
Taxonomic, 766(0)1--z
-
Taxonomy, 823(0)137--z
-
Taylor, D. P., 793(0)343--358
-
Taylor, D. P., see Ross, J. A. F.
-
Taylor, M. J., 800(0)25--34
-
Taylor, Richard, 773(0)40--z
-
Taylor:1994:GAC, 800(0)25--34
-
Taylor:1994:ICV, 773(0)40--z
-
TCM, PSK-, 783(0)121--z
-
TCS, 812(0)1--18, 812(0)19--29, 812(0)30--33, 812(0)34--43, 812(0)44--66,
812(0)67--84, 812(0)85--96, 812(0)97--123, 812(0)124--130,
812(0)131--139, 812(0)140--144, 812(0)145--158, 812(0)159--168,
812(0)169--182, 812(0)183--196, 812(0)197--212, 812(0)213--231,
812(0)232--250, 812(0)251--263, 812(0)264--278, 812(0)279--288,
812(0)289--306, 812(0)307--316, 812(0)317--324, 812(0)325--343,
812(0)344--357, 812(0)358--371, 812(0)372--385, 812(0)386--395,
812(0)396--409, 812(0)410--421, 812(0)422--424
-
TDGs, 864(0)363--z
-
TDMA, 783(0)33--z, 783(0)184--z, 783(0)365--z, 783(0)428--z,
793(0)173--190
-
TDMA, Enhanced-, 783(0)21--z
-
te Riele, H. J. J., 797(0)196--z
-
te Riele, H. J. J., see Booten, J. G. L.
-
Teach, 750(0)97--z
-
Teaching, 750(0)77--z, 750(0)227--z, 750(0)317--z, 750(0)389--z,
750(0)411--z, 750(0)517--z, 750(0)599--z, 841(0)393--z
-
Team, 774(0)150--z, 861(0)343--z, 872(0)211--z
-
Teasley, B., 876(0)226--z
-
Teasley, B., see Leventhal, L.
-
Technical, 763(0)399--z, 837(0)301--z, 837(0)392--z
-
technique, 750(0)303--z, 768(0)340--z, 771(0)1--z, 772(0)40--z,
774(0)159--z, 778(0)40--z, 780(0)267--280, 783(0)162--z,
783(0)476--z, 784(0)391--z, 784(0)399--z, 785(0)30--52,
788(0)120--z, 794(0)1--24, 794(0)25--51, 794(0)52--75, 794(0)76--88,
794(0)89--110, 794(0)111--122, 794(0)123--138, 794(0)139--158,
794(0)159--179, 794(0)180--192, 794(0)193--212, 794(0)213--230,
794(0)231--252, 794(0)253--265, 794(0)266--283, 794(0)284--304,
794(0)305--320, 794(0)321--334, 794(0)335--352, 794(0)353--368,
794(0)369--388, 794(0)389--405, 794(0)406--424, 794(0)425--444,
794(0)445--463, 796(0)84--z, 796(0)183--z, 797(0)401--z,
800(0)152--160, 803(0)375--z, 814(0)267--z, 814(0)816--820,
817(0)49--z, 817(0)109--z, 817(0)577--z, 817(0)749--z, 821(0)344--z,
823(0)190--z, 823(0)315--z, 827(0)1--z, 841(0)462--z, 844(0)147--z,
844(0)355--z, 849(0)89--z, 849(0)99--z, 849(0)135--z, 849(0)318--z,
851(0)367--z, 852(0)77--z, 852(0)309--z, 854(0)461--z, 856(0)57--z,
856(0)370--z, 858(0)171--z, 861(0)130--z, 861(0)226--z,
862(0)168--z, 873(0)83--z, 873(0)190--z, 873(0)639--z,
879(0)425--433, 882(0)145--z
-
Technological, 782(0)259--z
-
Tehrani, S., Nadjm-, 863(0)583--z
-
Teichler, H., 796(0)267--z
-
Teichler, H., see Robler, U. K.
-
Teisseire, M., 811(0)186--199, 856(0)300--z
-
Teisseire:1994:ALE, 856(0)300--z
-
Teisseire:1994:DME, 811(0)186--199
-
Tele-Cooperation, 868(0)328--z
-
Telecommunication, 774(0)229--z, 851(0)157--z, 851(0)407--z,
868(0)426--z
-
Teleconferencing, 882(0)69--z
-
Telecooperation, 882(0)334--z
-
Telek, M., 852(0)131--z
-
Telek, M., see Bobbio, A.
-
Teleservice, 819(0)281--z, 868(0)224--z, 868(0)237--z, 868(0)401--z,
868(0)435--z, 882(0)14--z, 882(0)35--z
-
Teletutoring, 868(0)315--z
-
television, 793(0)45--66, 868(0)44--z
-
Telework, 860(0)249--z
-
tell, 800(0)485--494
-
Telling, 779(0)393--406
-
Telmat, 796(0)416--z
-
temporal, 775(0)47--z, 777(0)104--z, 780(0)310--323, 789(0)726--z,
798(0)322--332, 803(0)273--z, 808(0)131--z, 810(0)53--z,
813(0)265--z, 818(0)247--z, 819(0)28--z, 822(0)333--z, 823(0)99--z,
823(0)110--z, 823(0)122--z, 823(0)475--z, 826(0)23--z, 826(0)38--z,
827(0)1--z, 827(0)48--z, 827(0)101--z, 827(0)133--z, 827(0)149--z,
827(0)283--z, 827(0)301--z, 827(0)317--z, 827(0)349--z,
827(0)365--z, 827(0)382--z, 827(0)398--z, 827(0)415--z,
827(0)430--z, 827(0)445--z, 827(0)506--z, 827(0)535--z, 835(0)45--z,
836(0)81--z, 838(0)279--z, 844(0)230--z, 856(0)225--z, 856(0)236--z,
856(0)246--z, 856(0)259--z, 856(0)270--z, 859(0)332--z,
863(0)211--z, 863(0)488--z, 863(0)567--z, 869(0)255--z,
869(0)275--z
-
ten, 800(0)507--512, 880(0)256--275
-
Ten Pas, P., 841(0)413--z
-
Ten Pas, P., see Hoogeboom, H. J.
-
Teng, S.-H., 834(0)451--z
-
Teng, S.-H., see Kao, M.-Y.
-
Tengwall, C. G., 879(0)483--492
-
Tengwall:1994:SAP, 879(0)483--492
-
Tenhunen, H., 849(0)138--z, 849(0)318--z
-
Tenhunen, H., see Isoaho, J.,
see Saluvere, T.
-
Tense, 792(0)188--z, 827(0)238--z, 835(0)45--z
-
tensor, 768(0)358--z
-
Teorey, T. J., 823(0)46--z
-
Teorey, T. J., see Behm, J. B.
-
Tepfenhart, W. M., 835(0)127--z
-
Tepfenhart:1994:AKP, 835(0)127--z
-
Ter Hofstede, A. H. M., 856(0)433--z
-
Terenziani, P., 869(0)255--z, 869(0)275--z
-
Terenziani, P., see Brusoni, V.
-
Terenziani:1994:DQQ, 869(0)275--z
-
TerHofstede:1994:SID, 856(0)433--z
-
term, 765(0)318--z, 774(0)300--z, 775(0)163--z, 784(0)183--z,
787(0)261--z, 788(0)150--z, 789(0)203--z, 789(0)425--z,
814(0)102--z, 815(0)239--z, 816(0)40--55, 816(0)76--95,
841(0)556--z, 844(0)73--z, 844(0)415--z, 845(0)253--z, 850(0)223--z,
861(0)331--z
-
Term, Single-, 773(0)292--z
-
termination, 789(0)203--z, 814(0)432--z, 814(0)451--z, 814(0)466--z,
816(0)305--325, 841(0)373--z, 850(0)186--z, 850(0)204--z,
850(0)269--z, 869(0)604--z
-
Terminological, 810(0)30--z, 861(0)142--z
-
Terminology, 777(0)44--z, 856(0)661--z
-
Ternary, 850(0)95--z
-
Ternovskaia, E., 861(0)400--z
-
Ternovskaia:1994:ISC, 861(0)400--z
-
Terpou, D., 856(0)290--z
-
Terpou, D., see Krotopoulou, A.
-
Terrain, 778(0)1--z
-
Teruel, E., 815(0)491--z
-
Teruel:1994:WFE, 815(0)491--z
-
Terwijn, S. A., 834(0)369--z, 841(0)221--z
-
Terwijn, S. A., see Ambos-Spies, K.
-
test, 782(0)137--z, 783(0)56--z, 796(0)105--z, 796(0)111--z,
800(0)152--160, 800(0)173--178, 800(0)305--315, 849(0)1--z,
849(0)11--z, 849(0)409--z, 852(0)151--z, 852(0)271--z, 874(0)173--z
-
Testability, 763(0)254--z, 817(0)85--z, 849(0)335--z
-
Testable, 872(0)407--z
-
Testable, Self-, 849(0)120--z
-
Testbed, 797(0)18--z
-
Testbench, 849(0)111--z
-
testing, 786(0)309--323, 818(0)132--z, 831(0)100--z, 836(0)497--z,
849(0)230--z, 852(0)235--z, 852(0)250--z, 854(0)196--z,
855(0)460--z, 858(0)205--z, 863(0)418--z
-
Testing, Equality-, 778(0)179--z
-
Testing-based, 836(0)417--z
-
Tetrahedralization, 834(0)532--z
-
Teusink, F., 850(0)150--z
-
Teusink:1994:TVC, 850(0)150--z
-
Texas, 750(0)245--z
-
Texier, M., 858(0)79--z
-
Texier, M., see Rouxel, C.
-
text, 779(0)379--392, 807(0)113--124, 814(0)816--820, 835(0)69--z,
835(0)84--z, 835(0)97--z, 835(0)196--z, 841(0)413--z, 855(0)10--z,
855(0)495--z, 856(0)339--348, 860(0)46--z, 872(0)395--z
-
Text, Free-, 796(0)430--z
-
Text, Full-, 779(0)365--378
-
Textash, 819(0)267--z
-
texture, 763(0)357--z, 800(0)165--172, 800(0)353--364
-
TFDL, 856(0)259--z
-
Thakar, A., 835(0)275--z
-
Thakar, A., see Cyre, W. R.
-
than, 775(0)137--z, 857(0)39--z, 877(0)60--z
-
Thanisch, P., 826(0)121--z
-
Thanisch, P., see Burger, A.
-
Thatcher, J. W., 860(0)76--z
-
Thatcher:1994:SRP, 860(0)76--z
-
Thayer, F., Javier, 814(0)356--z
-
the, 832(0)334--z, 841(0)296--z
-
The-Fly, On-, 768(0)461--z
-
the-Fly, On-, 818(0)377--z
-
the-fly, On-, 864(0)101--z
-
Themes, 834(0)92--z
-
Thennarangam, S., 874(0)78--z
-
Thennarangam:1994:IDC, 874(0)78--z
-
Theodoridis, Y., 856(0)173--z
-
Theodoridis, Y., see Papadias, D.
-
Theodoulidis, B., 856(0)270--z
-
Theodoulidis:1994:OTD, 856(0)270--z
-
Theologou, M., 851(0)445--z
-
Theologou, M., see Lioupas, Z.
-
theorem, 780(0)1--15, 780(0)16--28, 780(0)29--42, 780(0)43--58,
780(0)59--72, 780(0)73--86, 780(0)87--98, 780(0)99--112,
780(0)113--126, 780(0)127--139, 780(0)140--153, 780(0)154--161,
780(0)162--173, 780(0)174--184, 780(0)185--198, 780(0)199--212,
780(0)213--226, 780(0)227--238, 780(0)239--252, 780(0)253--266,
780(0)267--280, 780(0)281--294, 780(0)295--309, 780(0)310--323,
780(0)324--337, 780(0)338--351, 780(0)352--365, 780(0)366--371,
780(0)372--385, 780(0)386--399, 780(0)400--413, 780(0)414--426,
780(0)427--437, 780(0)438--450, 780(0)451--464, 780(0)465--475,
780(0)476--489, 780(0)490--501, 780(0)502--515, 780(0)516--517,
787(0)130--z, 792(0)133--z, 792(0)255--z, 802(0)83--102,
802(0)304--319, 812(0)19--29, 814(0)57--z, 814(0)192--z,
814(0)207--z, 814(0)386--z, 814(0)401--z, 814(0)605--z,
814(0)758--z, 814(0)774--z, 814(0)793--z, 814(0)841--z,
820(0)388--z, 828-0-xvii, 836(0)433--z, 838(0)198--z, 841(0)536--z,
850(0)41--z, 859(0)97--z, 861(0)343--z, 880(0)256--275
-
Theorem, HSP-, 798(0)24--36
-
Theorem-Prover, 780(0)185--198
-
theoretic, 763(0)427--z, 784(0)387--z, 808(0)147--z, 869(0)114--z,
877(0)291--z
-
Theoretic, Automata-, 818(0)142--z
-
Theoretic, Model-, 779(0)201--214, 844(0)432--z
-
Theoretic, Set-, 776(0)312--z
-
Theoretic, Type-, 775(0)251--z
-
theoretical, 763(0)111--z, 799-0-xxiii, 803(0)230--z, 812(0)1--18,
812(0)19--29, 812(0)30--33, 812(0)34--43, 812(0)44--66,
812(0)67--84, 812(0)85--96, 812(0)97--123, 812(0)124--130,
812(0)131--139, 812(0)140--144, 812(0)145--158, 812(0)159--168,
812(0)169--182, 812(0)183--196, 812(0)197--212, 812(0)213--231,
812(0)232--250, 812(0)251--263, 812(0)264--278, 812(0)279--288,
812(0)289--306, 812(0)307--316, 812(0)317--324, 812(0)325--343,
812(0)344--357, 812(0)358--371, 812(0)372--385, 812(0)386--395,
812(0)396--409, 812(0)410--421, 812(0)422--424, 837(0)65--z,
855(0)227--z, 880(0)1--11, 880(0)12--23, 880(0)24--35, 880(0)36--47,
880(0)48--59, 880(0)60--76, 880(0)77--88, 880(0)89--100,
880(0)101--112, 880(0)113--124, 880(0)125--136, 880(0)137--148,
880(0)149--158, 880(0)159--170, 880(0)171--180, 880(0)181--192,
880(0)193--204, 880(0)205--216, 880(0)217--230, 880(0)231--242,
880(0)243--255, 880(0)256--275, 880(0)276--287, 880(0)288--299,
880(0)300--317, 880(0)318--329, 880(0)330--341, 880(0)342--353,
880(0)354--365, 880(0)366--377, 880(0)378--389, 880(0)390--401,
880(0)402--413, 880(0)414--425, 880(0)426--437, 880(0)438--449
-
theoretical, Graph-, 861(0)399--z
-
Theoretical, Proof-, 822(0)44--z
-
Therapy, 872(0)40--z
-
Thery, L., 780(0)113--126, 780(0)174--184
-
Thery, L., see Harrison, J.
-
Thery, Laurent, 789(0)141--z
-
Thery, Laurent, see Bertot, Yves
-
Thery:1994:PDS, 780(0)113--126
-
Thesauri, 856(0)329--z
-
Thevenin, D., 796(0)125--z
-
Thevenin:1994:PSR, 796(0)125--z
-
Thevenod-Fosse, P., 852(0)250--z
-
Thevenod-Fosse:1994:SST, 852(0)250--z
-
Thiebaux, S., 869(0)305--z
-
Thiebaux, S., see Hertzberg, J.
-
Thiel, C., 877(0)234--z
-
Thiel, Christoph, 839(0)56--60
-
Thiel, Christoph, see Biehl, Ingrid
-
Thiel:1994:UAG, 877(0)234--z
-
Thielscher, M., 861(0)16--z, 872(0)2--z
-
Thielscher, M., see Bibel, W.,
see Bornscheuer, S.-E.
-
Thieme, C., 811(0)297--310
-
Thieme:1994:ASI, 811(0)297--310
-
Thierauf, Th., 775(0)427--z
-
Thierauf:1994:SBT, 775(0)427--z
-
Thierens, D., 866(0)119--z
-
Thierens:1994:CMG, 866(0)119--z
-
Thimm, H., 819(0)281--z, 882(0)14--z
-
Thimm:1994:DBM, 819(0)281--z
-
Thimm:1994:MBT, 882(0)14--z
-
Thinned, 768(0)477--z
-
Thinning, 805(0)137--152
-
third, 800(0)485--494
-
Thirty, 792(0)260--z
-
Thole, C.-A., 796(0)46--z
-
Thole, C.-A., see Colbrook, A.
-
Thomas, D. G., 774(0)314--z
-
Thomas, D. G., see Siromoney, R.
-
Thomas, H., Lloyd-, 862(0)246--z
-
Thomas, M., 873(0)83--z
-
Thomas, M., see Martin, U.
-
Thomas, O., 796(0)46--z
-
Thomas, O., see Colbrook, A.
-
Thomas, R. K., 875(0)403--z
-
Thomas, S., 868(0)237--z
-
Thomas, S., see Altenhofen, M.
-
Thomas, W., 775(0)365--z, 803(0)583--z, 880(0)149--158
-
Thomas, W., see Giammarresi, D.
-
Thomas:1994:FSS, 880(0)149--158
-
Thomas:1994:LSI, 803(0)583--z
-
Thomas:1994:SOB, 875(0)403--z
-
Thomason, Prior-, 827(0)265--z
-
Thomsen, P. G., 879(0)493--497
-
Thomsen:1994:RTS, 879(0)493--497
-
Thorelli, L.- E., 817(0)677--z
-
Thorelli, L.- E., see Smai, A.-H.
-
Thorp, J., 856(0)690--z
-
Thorp, J., see Van Dyne, M.
-
Thorson, G., 853(0)281--z
-
Thorson, G., see Scott, S.
-
Thorup, M., 824(0)350--z
-
Thorup:1994:EPS, 824(0)350--z
-
Thorwartl, P. C., 849(0)289--z
-
Thorwartl, P. C., see Cadek, G. R.
-
Threaded, Multi-, 779(0)351--364
-
Threads, 846(0)66--z, 846(0)114--z
-
three, 773(0)175--z, 800(0)24--35, 802(0)103--121, 807(0)125--135,
823(0)475--z, 852(0)473--z, 872(0)211--z, 873(0)55--z, 877(0)60--z,
879(0)383--391
-
Three-Dimensional, 796(0)99--z, 796(0)171--z, 825(0)47--z, 853(0)101--z
-
three-dimensional, 800(0)403--410
-
Three-Valued, 850(0)150--z
-
threshold, 765(0)118--z, 773(0)126--z, 773(0)126--z--1, 773(0)413--z,
774(0)251--z, 834(0)584--z, 852(0)165--z
-
through, 750(0)303--z, 768(0)586--z, 776(0)358--z, 789(0)822--z,
800(0)417--426, 811(0)172--185, 817(0)351--z, 823(0)85--z,
825(0)473--z, 826(0)13--z, 827(0)149--z, 827(0)225--z, 837(0)221--z,
850(0)269--z, 866(0)209--z, 866(0)239--z, 869(0)193--z,
869(0)406--z, 875(0)33--z, 875(0)75--z, 876(0)181--z
-
Throughput, 793(0)343--358, 841(0)72--z
-
Throw, 792(0)61--z
-
Thudichum Vasconcelos, V., 817(0)425--437
-
ThudichumVasconcelos:1994:PPC, 817(0)425--437
-
Thue, 774(0)314--z
-
Thuering, M., 851(0)109--z
-
Thuering, M., see Haake, J. M.
-
Thulasiraman, K., 834(0)351--z
-
Thulasiraman, K., see Kaufmann, M.
-
Thunkification, 864(0)162--z
-
Thuns, R., Mueller-, 818(0)391--z
-
Thurner, E. M., 763(0)190--z
-
Thurner:1994:FDB, 763(0)190--z
-
Tickets, 875(0)143--z
-
Tidal, 796(0)329--z
-
Tight, 820(0)47--z, 820(0)556--z, 824(0)131--z, 855(0)307--z,
855(0)391--z
-
Tightly-Coupled, 853(0)215--z
-
Tile, 854(0)701--z
-
Tiling, 775(0)365--z, 829(0)103--z
-
Tillich, Jean-Pierre, 839(0)40--49
-
Tillich:1994:HS, 839(0)40--49
-
time, 750(0)165--z, 770(0)1--z, 775(0)97--z, 783(0)242--z, 786(0)404--z,
794(0)111--122, 800(0)207--212, 802(0)160--176, 805(0)13--22,
805(0)219--234, 810(0)216--z, 815(0)219--z, 820(0)544--z,
823(0)475--z, 824(0)119--z, 827(0)30--z, 827(0)101--z, 827(0)117--z,
827(0)225--z, 827(0)238--z, 827(0)265--z, 834(0)11--z, 834(0)146--z,
837(0)65--z, 841(0)38--z, 841(0)221--z, 841(0)453--z, 844(0)453--z,
852(0)131--z, 854(0)689--z, 855(0)72--z, 855(0)130--z, 855(0)171--z,
857(0)340--z, 863(0)19--z, 863(0)476--z, 863(0)605--z, 866(0)88--z,
868(0)92--z, 869(0)458--z, 873(0)618--z, 877(0)209--z, 877(0)289--z,
879(0)493--497, 880(0)137--148, 880(0)171--180
-
time, binding-, 788(0)287--z
-
Time, Branching-, 818(0)142--z, 827(0)180--z
-
Time, Compile-, 768(0)273--z, 875(0)55--z
-
time, Compile-, 864(0)238--z
-
Time, Constant-, 805(0)169--180
-
Time, Lead-, 849(0)230--z
-
Time, Linear-, 834(0)315--z, 855(0)159--z
-
time, Linear-, 857(0)130--z
-
Time, Polynomial-, 807(0)274--288
-
Time, Real-, 750(0)341--z, 774(0)237--z--1, 774(0)250--z,
774(0)263--z, 786(0)294--z, 796(0)40--z, 802(0)215--229,
802(0)230--249, 803(0)375--z, 813(0)47--z, 817(0)809--z,
818(0)14--z, 819(0)26--z, 821(0)386--z, 846(0)21--z, 846(0)66--z,
846(0)114--z, 856(0)601--z, 856(0)611--z, 860(0)46--z, 863(0)211--z,
863(0)228--z, 863(0)268--z, 863(0)393--z, 863(0)455--z,
863(0)511--z, 863(0)680--z, 880(0)243--255
-
time, Real-, 865(0)277--z
-
Time, Run-, 768(0)430--z, 817(0)313--z
-
Time, Soft-Real-, 852(0)115--z
-
Time, Space-, 854(0)677--z
-
Time, Work-, 855(0)471--z
-
Time-Critical, 837(0)221--z
-
Time-Dependent, 796(0)119--z
-
Time-Message, 778(0)167--z
-
Time-Optimal, 817(0)134--z
-
Timeash, Compile-, 768(0)430--z
-
timed, 789(0)806--z, 794(0)425--444, 815(0)79--z, 815(0)219--z,
818(0)1--z, 818(0)27--z, 818(0)118--z, 818(0)468--z, 820(0)166--z,
827(0)365--z, 836(0)160--z, 836(0)178--z, 836(0)194--z,
863(0)193--z, 863(0)694--z, 880(0)243--255
-
Timed, Self-, 854(0)557--z
-
Timetable, 865(0)264--z, 866(0)566--z
-
Timetabling, 865(0)250--z, 866(0)556--z
-
Timewise, 802(0)177--214
-
Timing, 849(0)117--z, 864(0)116--z
-
Timpe, M., 815(0)454--z
-
Timpe, M., see Scheschonk, G.
-
Tin, T., 851(0)219--z
-
Tin, T., see Carr, A.
-
TINA-C, 851(0)273--z, 851(0)355--z
-
tiny, 788(0)439--z
-
TIP, 868(0)139--z
-
Tip, F., 844(0)415--z
-
Tip, F., see Field, J.
-
Tirri, H., 837(0)144--z
-
Tirri, H., see Myllymaeki, P.
-
Tishby, N., 800(0)24--35
-
Tishby, N., see Weinshall, D.
-
Tison, S., 845(0)336--z
-
Tison, S., see Gilleron, R.
-
Tistarelli, M., 800(0)61--70
-
Tistarelli:1994:MCO, 800(0)61--70
-
Tiusanen, M., 815(0)511--z
-
Tiusanen:1994:SSS, 815(0)511--z
-
Tjandra, I. A., 869(0)295--z
-
Tjandra, I. A., see Calmet, J.
-
Tjoa, A., Min, 823(0)166--z, 823(0)206--z
-
Tjoa, A. M., 856(0)83--z
-
Tjoa, A. M., see Burger, F.
-
TMN, 851(0)181--z, 851(0)193--z, 851(0)207--z, 851(0)219--z,
851(0)285--z, 851(0)295--z, 851(0)433--z
-
to-ASIC, FPGA-, 849(0)280--z
-
to-End, End-, 851(0)207--z, 851(0)305--z, 882(0)124--z
-
to-Function, Process-, 821(0)81--z
-
to-Use, Easy-, 860(0)65--z
-
Tobin, C., 860(0)214--z
-
Tobin, C., see Bauwens, B.
-
Toda, S., 775(0)427--z
-
Toda, S., see Thierauf, Th.
-
Toda, Yozo, 792(0)10--z
-
Toda, Yozo, see Hagiya, Masami
-
Toelg, S., 800(0)407--416
-
Toelg, S., see Shashua, A.
-
Toennby, I., 851(0)343--z
-
Toennby, I., see Prevedourou, D.
-
Toeplitz-plus-Hankel, 879(0)33--40
-
Toft, O., 879(0)358--361
-
Toft, O., see Madsen, K.
-
Tofte, M., 788(0)409--z
-
Tofte, M., see MacQueen, D. B.
-
Togashi, A., 872(0)379--394
-
Togashi, A., see Kimura, S.
-
Tokoro, M., 791(0)93--z
-
Tokoro:1994:TLF, 791(0)93--z
-
Tokuda, H., 846(0)66--z, 846(0)114--z
-
Tokuda, H., see Oikawa, S.
-
Tokuda:1994:DQC, 846(0)114--z
-
Tokura, N., 857(0)130--z
-
Tokura, N., see Inoue, M.
-
Tokuyama, T., 834(0)505--z, 855(0)215--z
-
Tokuyama, T., see Asano, T.
-
Tokuyama:1994:OQS, 834(0)505--z
-
Toledo, O., Bolivar-, 763(0)282--z
-
Tolerance, 774(0)3--z, 774(0)13--z, 774(0)66--z, 774(0)151--z,
774(0)182--z, 774(0)199--z, 774(0)237--z--1, 774(0)263--z,
852(0)97--z, 852(0)336--z, 852(0)563--z
-
Tolerance, Fault-, 797(0)401--z, 852(0)546--z
-
Tolerance, Noise-, 872(0)248--z
-
Tolerant, 774(0)21--z, 774(0)78--z, 774(0)117--z, 774(0)171--z,
774(0)218--z, 774(0)229--z, 774(0)285--z, 830(0)115--z,
834(0)342--z, 852(0)77--z, 852(0)511--z, 852(0)581--z, 863(0)476--z
-
Tolerant, Fault-, 805(0)207--218, 852(0)3--z, 852(0)39--z,
852(0)115--z, 852(0)421--z, 853(0)215--z, 853(0)226--z, 863(0)41--z,
863(0)110--z, 863(0)373--z, 863(0)529--z
-
Tomas, Gerald, 771(0)1--z
-
Tomas:1994:VSP, 771(0)1--z
-
Tombak, L., 765(0)12--z
-
Tombak, L., see Safavi-Naini, R.
-
Tomita, Kohji, 792(0)188--z
-
Tomita:1994:ASH, 792(0)188--z
-
Tommassi, M., 845(0)336--z
-
Tommassi, M., see Gilleron, R.
-
Tomorrow, 827(0)48--z
-
Tonietti, A., 794(0)159--179
-
Tonietti, A., see Ajmone Marsan, M.
-
Toniolo, L., 855(0)483--z
-
Toniolo, L., see Breslauer, D.
-
Tonneau, C., 823(0)364--z
-
Tonneau, C., see Hainaut, J.-L.
-
tool, 750(0)63--z, 750(0)65--z, 750(0)599--z, 763(0)203--z, 771(0)1--z,
777(0)201--z, 780(0)366--371, 784(0)138--z, 786(0)188--z,
794(0)1--24, 794(0)25--51, 794(0)52--75, 794(0)76--88,
794(0)89--110, 794(0)111--122, 794(0)123--138, 794(0)139--158,
794(0)159--179, 794(0)180--192, 794(0)193--212, 794(0)213--230,
794(0)231--252, 794(0)253--265, 794(0)266--283, 794(0)284--304,
794(0)305--320, 794(0)321--334, 794(0)335--352, 794(0)353--368,
794(0)369--388, 794(0)389--405, 794(0)406--424, 794(0)425--444,
794(0)445--463, 797(0)77--z, 797(0)324--z, 797(0)326--z,
797(0)350--z, 803(0)124--z, 811(0)283--296, 817(0)167--z,
817(0)749--z, 818(0)428--z, 819(0)27--z, 819(0)400--z, 825(0)145--z,
830(0)3--z, 836(0)64--z, 845(0)183--z, 849(0)271--z, 849(0)309--z,
851(0)407--z, 854(0)172--z, 854(0)196--z, 859(0)17--z, 859(0)113--z,
859(0)269--z, 861(0)226--z, 867(0)303--z, 868(0)92--z, 869(0)346--z,
878-0-xvi
-
Tool, CAST-, 763(0)137--z
-
Tool, QPN-, 794(0)321--334
-
Tool-Set, 849(0)306--z
-
toolkit, 814(0)807--z, 821(0)493--z
-
Toolset, 794(0)284--304
-
Toon, N., 849(0)283--z, 849(0)292--z
-
Toon:1994:CIP, 849(0)292--z
-
Toon:1994:RHP, 849(0)283--z
-
TOOPLE, 802(0)603--626
-
TOOSQL, 823(0)122--z
-
top, 774(0)3--z, 774(0)191--z, 811(0)42--52, 814(0)816--820, 822(0)84--z,
856(0)531--z, 858(0)189--z
-
Top-Context-Free, 787(0)157--z
-
top-down, 814(0)774--z, 856(0)47--z
-
TOP02, 854(0)196--z
-
Topics, 764(0)1--z
-
Topological, 800(0)36--50, 802(0)122--142, 808(0)147--z
-
topology, 775(0)389--z, 802(0)544--553, 820(0)424--z, 834(0)128--z,
853(0)101--z, 869(0)65--z
-
topology-independent, 800(0)3--13
-
Torasso, P., 837(0)325--z
-
Torasso, P., see Portinale, L.
-
Torenvliet, L., 820(0)263--z
-
Torenvliet, L., see Buhrman, H.
-
Torgersson, O., 798(0)120--151
-
Torgersson, O., see Falkman, G.
-
TORI:, C-, 856(0)103--z
-
Torkelson, M., 783(0)510--z
-
Torkelson, M., see Nilsson, P.
-
Torlone, R., 856(0)390--z, 858(0)171--z
-
Torlone, R., see Montesi, D.,
see Palopoli, L.
-
Toroidal, 820(0)544--z
-
Torr, P. H. S., 800(0)328--337
-
Torr:1994:SMC, 800(0)328--337
-
Torre, V., 800(0)146--151
-
Torre, V., see Giachetti, A.
-
Torres, Jordi, 768(0)321--z
-
Torres, L., 849(0)34--z
-
Torres, L., see Robert, M.
-
Torres:1994:ADB, 768(0)321--z
-
Torus, 854(0)808--z
-
total, 775(0)723--z, 814(0)435--z, 850(0)204--z, 851(0)445--z,
872(0)10--z, 872(0)100--z
-
Totality, 864(0)408--z
-
Totally-Perfect, 834(0)541--z
-
Toto, E., 869(0)366--z
-
Toto, E., see Eick, C. F.
-
Toulouse, M., 817(0)753--z
-
Toulouse, M., see Desbiens, J.
-
tour, 855(0)254--z
-
Tourtier, P.-A., 867(0)303--z
-
Tourtier:1994:VES, 867(0)303--z
-
Toussaint, G., 834(0)20--z
-
Toussaint, G., see Bose, P.
-
Toval, A., 856(0)310--z
-
Toval:1994:POO, 856(0)310--z
-
toward, 763(0)52--z, 768(0)273--z, 768(0)586--z, 772(0)90--z,
774(0)19--z, 774(0)45--z, 774(0)59--z, 775(0)633--z, 777(0)64--z,
780(0)400--413, 782(0)191--207, 782(0)259--z, 785(0)1--29,
785(0)310--320, 786(0)68--z, 786(0)294--z, 788(0)485--z,
791(0)93--z, 811(0)14--27, 815(0)298--z, 817(0)73--z, 821(0)474--z,
822(0)174--z, 823(0)492--z, 830(0)133--z, 838(0)379--z,
839(0)271--281, 841(0)143--z, 844(0)132--z, 844(0)455--z,
844(0)463--z, 846(0)66--z, 854(0)124--z, 854(0)605--z, 856(0)475--z,
858(0)108--z, 859(0)49--z, 859(0)362--z, 860(0)195--z, 861(0)1--z,
861(0)166--z, 861(0)392--z, 863(0)660--z, 865(0)277--z, 866(0)58--z,
869(0)203--z, 869(0)315--z, 869(0)427--z, 872(0)1--z, 872(0)187--z,
873(0)134--z, 874(0)151--z, 879(0)177--189, 882(0)1--z
-
Toxvaerd, S., 879(0)498--504
-
Toxvaerd:1994:PCM, 879(0)498--504
-
TPS, 780(0)366--371
-
TPTP, 814(0)252--z
-
Trabelsi, C., 793(0)191--202
-
Trabelsi:1994:PPS, 793(0)191--202
-
Trace, 768(0)617--z, 771(0)1--z, 794(0)445--463, 802(0)530--543,
836(0)367--z, 841(0)577--z
-
Trace-and-Replay, 768(0)617--z
-
traces, 775(0)353--z, 788(0)363--z, 819(0)123--z
-
Tracing, 839(0)257--270, 856(0)420--z
-
tracking, 800(0)35--46, 800(0)181--188, 800(0)189--198, 816(0)76--95,
856(0)410--z, 859(0)177--z, 861(0)63--z
-
Tractable, 859(0)65--z
-
Trade, 750(0)63--z
-
Trade-Off, 849(0)292--z
-
trade-off, 836(0)242--z
-
Trade-Offs, 778(0)167--z
-
Trademark, 819(0)109--z
-
Tradeoff, 817(0)214--z, 839(0)397--410
-
Trading, 846(0)259--z
-
traffic, 768(0)273--z, 783(0)21--z, 783(0)33--z, 783(0)476--z,
793(0)325--342, 800(0)501--506, 809(0)64--z, 815(0)2--z,
817(0)363--z, 819(0)28--z, 853(0)116--z, 868(0)1--z, 868(0)203--z,
882(0)294--z
-
train, 873(0)602--z
-
Training, 784(0)31--z, 851(0)109--z, 856(0)540--z, 860(0)25--z,
860(0)185--z, 860(0)189--z, 862(0)246--z, 866(0)312--z,
868(0)300--z
-
Traitors, 839(0)257--270
-
Trajectory, 818(0)273--z
-
Tran, K., Dang-, 797(0)94--z
-
Tran, N. Q., 834(0)469--z
-
Tran, N. Q., see Ibarra, O. H.
-
Trans-European, 868(0)315--z
-
transaction, 779(0)123--130, 779(0)131--144, 791(0)122--z,
794(0)305--320, 811(0)2--13, 811(0)311--324, 826(0)121--z,
827(0)67--z, 851(0)377--z
-
Transaction-Level, 859(0)205--z
-
Transactional, 791(0)111--z, 791(0)240--z
-
transceiver, 793(0)109--124
-
Transducers, 775(0)607--z, 787(0)15--z, 787(0)308--z, 807(0)151--163
-
Transductions, 787(0)100--z, 787(0)187--z, 812(0)140--144
-
transfer, 793(0)359--367, 856(0)359--z, 859(0)316--z, 861(0)391--z,
867(0)244--z, 868(0)387--z, 882(0)241--z
-
Transferring, 873(0)190--z
-
Transfinitely, 792(0)31--z
-
transform, 793(0)310--324, 800(0)95--100, 800(0)151--158,
800(0)159--164, 800(0)351--360, 839(0)332--340, 855(0)94--z,
865(0)38--z, 879(0)67--79, 879(0)534--546
-
transformation, 763(0)220--z, 768(0)290--z, 768(0)321--z, 768(0)374--z,
768(0)449--z, 768(0)522--z, 776(0)234--z, 776(0)380--z,
785(0)268--279, 786(0)16--z, 792(0)206--z, 792(0)225--z,
800(0)165--172, 802(0)627--648, 811(0)228--241, 811(0)297--310,
812(0)1--18, 813(0)81--z, 814(0)207--z, 814(0)575--z, 816(0)40--55,
823(0)206--z, 832(0)305--z, 834(0)74--z, 838(0)198--z, 844(0)5--z,
844(0)340--z, 844(0)453--z, 844(0)459--z, 850(0)5--z, 854(0)148--z,
862(0)119--z, 863(0)373--z, 863(0)605--z, 875(0)301--z,
880(0)390--401
-
Transformation-Based, 823(0)364--z
-
Transformational, 822(0)84--z
-
Transformers, 789(0)822--z, 864(0)432--z
-
Transforming, 775(0)33--z, 869(0)154--z
-
Transient, 774(0)159--z, 796(0)78--z, 839(0)425--438
-
Transis, 774(0)125--z
-
transition, 775(0)569--z, 789(0)806--z, 815(0)16--z, 815(0)99--z,
815(0)278--z, 818(0)299--z, 820(0)59--z, 820(0)376--z, 836(0)2--z,
852(0)131--z, 861(0)393--z
-
Transitive, 831(0)59--z
-
translate, 824(0)107--z
-
Translating, 785(0)173--187, 810(0)133--z, 825(0)297--z
-
Translation, 862(0)93--z
-
Translation, CPS-, 787(0)85--z
-
translations, 788(0)454--z
-
transmission, 783(0)76--z, 783(0)261--z, 793(0)310--324, 797(0)142--z,
882(0)310--z
-
Transmitter, 783(0)501--z
-
Transparent, 868(0)78--z
-
Transport, 796(0)329--z, 796(0)335--z, 812(0)30--33, 846(0)124--z,
868(0)139--z, 868(0)203--z
-
Transport-Triggering, 786(0)435--z
-
Transputer, 798(0)62--76
-
Transputer-Based, 796(0)390--z, 797(0)324--z
-
Transversal, 834(0)625--z
-
trapezoid, 824(0)143--z
-
TRAPPER, 797(0)328--z
-
Trapping, 786(0)158--z
-
Traps, 869(0)376--z
-
Traveling, 834(0)29--z, 840-0-viii, 866(0)68--z, 879(0)229--235
-
Travelling, 866(0)180--z
-
Traverso, P., 822(0)16--z
-
Traverso, P., see Giunchiglia, F.
-
Traylor, B., 813(0)341--z
-
Traylor:1994:RNV, 813(0)341--z
-
Trcek, S., 869(0)315--z
-
Trcek, S., see Komorowski, J.
-
Treanor, C., 851(0)27--z
-
Treanor, C., see Keane, D.
-
Treatment, 774(0)263--z, 879(0)80--88
-
Trebaticky, P., 849(0)126--z
-
Trebaticky, P., see Gramata, P.
-
tree, 768(0)21--z, 775(0)487--z, 778(0)152--z, 780(0)140--153,
784(0)367--z, 784(0)383--z, 787(0)1--z, 787(0)15--z, 787(0)100--z,
787(0)157--z, 787(0)234--z, 788(0)225--z, 789(0)440--z,
805(0)13--22, 807(0)75--86, 807(0)198--212, 812(0)131--139,
817(0)109--z, 817(0)122--z, 820(0)178--z, 820(0)227--z,
820(0)251--z, 824(0)172--z, 824(0)359--z, 834(0)20--z, 834(0)351--z,
834(0)414--z, 834(0)428--z, 834(0)487--z, 837(0)167--z,
838(0)198--z, 838(0)300--z, 841(0)266--z, 841(0)453--z,
845(0)217--z, 846(0)259--z, 855(0)60--z, 855(0)118--z, 856(0)163--z,
863(0)110--z, 872(0)317--z, 879(0)17--32, 880(0)193--204,
880(0)276--287
-
tree, interpretation-, 800(0)507--512
-
tree, refinement-, 814(0)605--z
-
Tree-Structured, 807(0)213--225
-
Tree-Walking, 787(0)308--z
-
Tree-Width, 776(0)138--z, 824(0)155--z
-
Trees, {B}-, 824(0)49--z
-
Trees, Fat-, 855(0)413--z
-
trees, {R}-, 856(0)173--z
-
Treewidth, 842-0-ix
-
Treinen, R., 787(0)1--z, 845(0)320--z
-
Treinen, R., see Backofen, R., \see{Comon, H.
-
Trelles-Salazar, O., 796(0)197--z, 866(0)534--z
-
Trelles-Salazar, O., see Marin, F. J.
-
Trelles-Salazar:1994:MSS, 796(0)197--z
-
trellis, 783(0)529--z, 793(0)241--252, 829(0)88--z, 829(0)115--z
-
Trellis-based, 793(0)270--286
-
trellis-coded, 793(0)241--252, 793(0)253--269
-
Tremolet, Y., 796(0)317--z
-
Tremolet:1994:PSA, 796(0)317--z
-
Tresch, M., 777(0)64--z
-
Tresch, M., see Scholl, M. H.
-
Treur, J., 838(0)279--z, 867(0)283--z
-
Treur, J., see Brazier, F. M. T.,
see Engelfriet, J.
-
Trevisan, L., 880(0)330--341
-
Trevisan, L., see Crescenzi, P.
-
trial, 877(0)18--z
-
triangle, 831(0)128--z, 834(0)505--z
-
Triangular, 805(0)181--196
-
Triangulating, 824(0)83--z
-
Triangulations, 834(0)172--z, 834(0)423--z, 855(0)36--z
-
Tridiagonal, 854(0)229--z
-
Tries, 855(0)82--z
-
Triggering, Operation-, 786(0)435--z
-
Triggering, Transport-, 786(0)435--z
-
Trigram, 862(0)78--z
-
Trilinearity, 800(0)479--484
-
Trinchero, U., 784(0)359--z
-
Trinchero, U., see Gunetti, D.
-
Trinder, P. W., 826(0)55--z
-
Trinder, P. W., see Chan, D. K. C.
-
Trint, K., 866(0)492--z
-
Trint, K., see Utecht, U.
-
Tritsch, B., 868(0)300--z
-
Tritsch, B., see Velez, J. M.
-
Tritscher, S., 797(0)330--z
-
Tritscher:1994:LLP, 797(0)330--z
-
Trivedi, K. S., 794(0)1--24
-
Trivedi:1994:TTR, 794(0)1--24
-
Trobec, R., 854(0)761--z
-
Trobec:1994:ODE, 854(0)761--z
-
Troff, B., 797(0)94--z
-
Troff, B., see Roux, F. X.
-
TROLL, 785(0)158--172, 785(0)173--187
-
Tron, C., 794(0)406--424
-
Tron:1994:MCC, 794(0)406--424
-
Tronconi, A., 860(0)59--z
-
Tronconi:1994:ISC, 860(0)59--z
-
Trouessin, G., 875(0)447--z
-
Trouessin, G., see Cuppens, F.
-
Troxel, M., 869(0)437--z
-
Troxel:1994:CHR, 869(0)437--z
-
True-concurrency, 789(0)405--z
-
Truly, 789(0)886--z
-
Trung, Tran van, 839(0)108--113
-
Trung, Tran van, see Horváth, Tamás
-
Trunz, P., 831(0)59--z
-
Trunz, P., see Simon, K.
-
Trust, 765(0)448--z, 830(0)94--z, 875(0)3--z
-
Trustworthy, 859(0)269--z
-
Truszczynski, M., 838(0)122--z
-
Truszczynski, M., see Marek, V. W.
-
Truth, 833(0)15--z
-
Truth-Table, 775(0)427--z
-
Trybulec, A., 814(0)237--z
-
Trybulec, A., see Boyer, R. S.
-
Trying, 770(0)1--z
-
Trystram, D., 796(0)317--z, 817(0)122--z
-
Trystram, D., see Bampis, E.,
see Tremolet, Y.
-
Tsai, K.-H., 834(0)550--z
-
Tsai:1994:BCC, 834(0)550--z
-
Tsakalidis, A., 856(0)290--z
-
Tsakalidis, A., see Krotopoulou, A.
-
Tsalgatidov, A., 856(0)540--z
-
Tsalgatidov:1994:SSB, 856(0)540--z
-
Tsatalos, O. G., 856(0)183--z
-
Tsatalos:1994:UFI, 856(0)183--z
-
Tsatsoulis, C., 856(0)690--z
-
Tsatsoulis, C., see Van Dyne, M.
-
Tsay, Y.-K., 857(0)296--z
-
Tsay:1994:AOF, 857(0)296--z
-
Tscheligi, M., 860(0)106--z
-
Tscheligi, M., see Kerstner, W.
-
Tschichholz, M., 851(0)193--z
-
Tschichholz, M., see Bjerring, L. H.
-
Tsichritzis, D., 856(0)1--z
-
Tsichritzis:1994:RCI, 856(0)1--z
-
Tsigas, P., 824(0)267--z, 834(0)83--z, 841(0)546--z
-
Tsigas, P., see Panconesi, A.,
see Papatriantafilou, M.
-
Tsotsos, J. K., 800(0)3--14
-
Tsotsos, J. K., see Dickinson, S. J.
-
TSP, 840-0-viii, 840(0)200--z
-
TSPLIB, 840(0)211--z
-
TSPs, 840(0)187--z
-
Tsudik, G., 875(0)107--z
-
Tsudik, G., see Hauser, R.
-
Tsuiki, H., 880(0)101--112
-
Tsuiki, Hideki, 789(0)273--z
-
Tsuiki:1994:NCO, 789(0)273--z
-
Tsuiki:1994:TCM, 880(0)101--112
-
Tsuji, S., 800(0)513--520
-
Tsuji, S., see Matsuno, K.
-
Tsuji, Takashi, 792(0)173--z, 792(0)188--z
-
Tsuji, Takashi, see Igarashi, Shigeru,
see Tomita, Kohji
-
Tsujii, Shigeo, 765(0)126--z, 765(0)461--z, 773(0)61--z, 839(0)50--55
-
Tsujii, Shigeo, see Chao, Jinhui,
see Itoh, Toshiya, \see{Kurosawa, Kaoru,
see Park, Choonsik
-
Tsumoto, S., 774(0)410--z
-
Tsumoto:1994:IPR, 774(0)410--z
-
Tsunoo, Yukiyasu, 839(0)369--382
-
Tsunoo:1994:COA, 839(0)369--382
-
Tsutsui, A., 849(0)89--z
-
Tsutsui, A., see Miyazaki, T.
-
Tsutsumi, F., 845(0)170--z
-
Tsutsumi:1994:EAL, 845(0)170--z
-
Tsybakov, B. S., 783(0)464--z
-
Tsybakov, B. S., see Vvedenskaya, N. D.
-
TTI:, k-, 862(0)180--z
-
Tudor, L. G., 876(0)56--z
-
Tudor:1994:GIS, 876(0)56--z
-
Tuned, Event-, 823(0)230--z
-
Tuning, 817(0)749--z, 837(0)313--z, 872(0)532--z
-
Tunley, H., 800(0)132--137
-
Tunley:1994:FOO, 800(0)132--137
-
Tupailo, S., 822(0)44--z
-
Tupailo:1994:PTA, 822(0)44--z
-
Tuplespace, 854(0)581--z
-
Turakainen, P., 812(0)410--421
-
Turakainen:1994:PME, 812(0)410--421
-
Turau, Volker, 821(0)408--z
-
Turau, Volker, see Chen, Weimin
-
Turbulence, 839(0)114--120
-
Turi, D., 803(0)530--z
-
Turi, D., see Rutten, J.
-
Turing, 813(0)114--z, 843-0-viii
-
Turning, 869(0)305--z
-
Tuson, A. L., 865(0)277--z
-
Tuson, A. L., see Cartwright, H. M.
-
Tutorial, 750(0)599--z, 750(0)601--z, 836(0)64--z, 836(0)160--z
-
Tutoring, 856(0)477--z
-
Tuttle, M. R., 857(0)74--z
-
Tuttle, M. R., see Chaudhuri, S.
-
Twisted, Multiply-, 805(0)267--278
-
two, 750(0)151--z, 750(0)345--z, 764(0)1--z, 765(0)77--z, 765(0)443--z,
765(0)443--z--1, 772(0)152--z, 774(0)159--z, 775(0)71--z,
775(0)439--z, 775(0)669--z, 784(0)198--z, 800(0)485--494,
809(0)51--z, 817(0)713--z, 817(0)831--z, 825(0)107--z, 834(0)164--z,
838(0)231--z, 841(0)326--z, 841(0)423--z, 851(0)61--z, 852(0)289--z,
854(0)359--z, 858(0)158--z, 865(0)238--z, 867(0)46--z,
879(0)296--303
-
Two-Dimensional, 820(0)215--z, 827(0)149--z, 829(0)53--z
-
Two-Semester, 750(0)5--z
-
Tyftash, 789(0)440--z
-
type, 765(0)398--z, 775(0)543--z, 776(0)358--z, 779(0)7--z,
780(0)140--153, 780(0)366--371, 780(0)490--501, 782(0)137--z,
782(0)208--z, 782(0)298--z, 785(0)1--29, 785(0)30--52, 785(0)53--78,
785(0)79--97, 785(0)98--112, 785(0)113--127, 785(0)128--143,
785(0)144--157, 785(0)158--172, 785(0)173--187, 785(0)188--206,
785(0)207--219, 785(0)220--234, 785(0)235--251, 785(0)252--267,
785(0)268--279, 785(0)280--294, 785(0)295--309, 785(0)310--320,
785(0)321--336, 785(0)337--350, 787(0)37--z, 788(0)43--z,
788(0)241--z, 788(0)257--z, 788(0)302--z, 788(0)348--z, 789(0)56--z,
789(0)76--z, 789(0)347--z, 789(0)555--z, 789(0)667--z, 789(0)687--z,
789(0)707--z, 792(0)31--z, 792(0)95--z, 802(0)474--512,
806(0)19--61, 806(0)62--78, 806(0)108--126, 806(0)166--190,
806(0)238--262, 806(0)352--365, 811(0)256--268, 813(0)227--z,
813(0)316--z, 814(0)590--z, 816(0)96--123, 820(0)83--z,
832(0)280--z, 835(0)185--z, 845(0)219--z, 852(0)453--z,
860(0)115--z, 864(0)43--z, 864(0)78--z, 864(0)281--z, 867(0)118--z,
872(0)365--z, 875(0)75--z, 880(0)60--76, 880(0)390--401
-
Type, {Benes}-, 797(0)363--z
-
Type, FIN-, 774(0)173--z
-
Type-Based, 864(0)395--z
-
Type-based, 864(0)380--z
-
Type-labeled, 835(0)293--z
-
Type-Theoretic, 775(0)251--z
-
Typeable, 816(0)20--39
-
typed, 774(0)73--z, 789(0)844--885, 806(0)79--107, 813(0)129--z,
813(0)142--z, 813(0)164--z, 816(0)146--168, 821(0)100--z,
821(0)432--z, 826(0)73--z, 832(0)295--z, 872(0)301--z, 875(0)319--z,
880(0)101--112
-
Typed, Dynamically-, 820(0)450--z
-
Typed, Simply-, 864(0)131--z
-
Typed, Statically-, 802(0)603--626
-
Typeflow, 782(0)137--z
-
TYPES, 806(0)3--18, 806(0)19--61, 806(0)62--78, 806(0)79--107,
806(0)108--126, 806(0)127--165, 806(0)166--190, 806(0)191--212,
806(0)213--237, 806(0)238--262, 806(0)263--290, 806(0)291--312,
806(0)313--332, 806(0)333--351, 806(0)352--365, 806(0)366--383
-
Types, Pattern-, 860(0)206--z
-
Typical, 783(0)219--z
-
Typicality, 766(0)1--z
-
Typing, 789(0)56--z, 817(0)398--z
-
Tyxt, 789(0)440--z