Index file section T for lncs1992.bib
Last update: Fri Mar 23 02:19:00 MDT 2018
Return to index directory
T
-
t, 634(0)349--z
-
T, DELTA-, 634(0)67--z
-
Tabandeh, A. S., 604(0)614--z
-
Tabandeh:1992:IUU, 604(0)614--z
-
table, 607(0)786--z, 628(0)123--143, 641(0)66--z
-
Table, Truth-, 652(0)140--z
-
Tableau-Based, 607(0)758--z, 633(0)262--z
-
Tableaux, 607(0)507--z
-
Taboury, J., 605(0)231--z
-
Taboury, J., see Chavel, P.
-
Tactic-Based, 607(0)552--z
-
Tagging, 597(0)67--82, 597(0)83--96
-
Taha, Khaled K., Al-, 639(0)196--z
-
tail, 623(0)427--z
-
Tail-Recursive, 607(0)310--z
-
Tailoring, 604(0)604--z
-
Taitslin, M. A., 620(0)1--z
-
Taitslin, M. A., see Archangelsky, D. A.
-
Takada, Y., 654(0)274--z
-
Takada, Yuji, 642(0)305--z
-
Takada:1992:IDS, 642(0)305--z
-
Takada:1992:LEE, 654(0)274--z
-
Takahashi, J., 650(0)400--z
-
Takahashi:1992:AFN, 650(0)400--z
-
Takanami, I., 654(0)133--z, 654(0)144--z
-
Takanami, I., see Inoue, K., \see{Ito, A.
-
Takaoka, T., 570(0)209--z
-
Takaoka:1992:NUB, 570(0)209--z
-
Takeuchi, A., 608(0)124--z
-
Takeuchi, Keiichi, 639(0)97--z
-
Takeuchi:1992:CLP, 639(0)97--z
-
Takeuchi:1992:EEE, 608(0)124--z
-
Talbi, E. G., 634(0)835--z
-
Talbi, M., 608(0)483--z
-
Talbi:1992:DCA, 608(0)483--z
-
Talbi:1992:PRM, 634(0)835--z
-
Talcott, C., 630(0)565--z, 637(0)134--z
-
Talcott, C., see Agha, G.,
see Venkatasubramanian, N.
-
Tale, 614(0)57--z
-
talk, 630(0)162--z, 630(0)237--z, 630(0)317--z, 630(0)401--z, 632(0)1--z,
632(0)158--z, 632(0)364--z
-
Tally, 650(0)249--z
-
Tamassia, R., 621(0)272--z
-
Tamassia, R., see Bertolazzi, P.
-
Tan, G., 634(0)801--z
-
Tan:1992:LBN, 634(0)801--z
-
Tanaka, H., 605(0)685--z
-
Tanaka, H., see Hidaka, Y.
-
Tanaka, T., 634(0)25--z
-
Tanaka, T., see Hamanaka, N.
-
Taniguchi, R. I., 634(0)743--z
-
Taniguchi, R. I., see Kusakabe, S.
-
Tannen, Val, Breazu-, 646(0)140--z
-
Taoka, S., 650(0)31--z
-
Taoka, S., see Watanabe, T.
-
Tarah, Anas, 648(0)175--z
-
Tarah:1992:AMC, 648(0)175--z
-
Tarau, P., 631(0)479--z, 637(0)344--z
-
Tarau, Paul, 592(0)462--z
-
Tarau:1992:BCP, 631(0)479--z
-
Tarau:1992:EMM, 637(0)344--z
-
Tarau:1992:PTW, 592(0)462--z
-
Tari, Z., 645(0)340--z, 645(0)389--z
-
Tari, Z., see Auddino, A.
-
Tari:1992:DOO, 645(0)389--z
-
Tarlecki, A., 623(0)656--z
-
Tarlecki, A., see Sannella, D.
-
Tarnvik, E., 634(0)485--z
-
Tarnvik:1992:DPT, 634(0)485--z
-
Tarui, J., 650(0)420--z
-
Tarui, J., see Beigel, R.
-
Task, 589(0)152--z, 589(0)266--z, 591(0)252--z, 591(0)412--z,
592(0)193--z, 599(0)133--z, 599(0)353--z, 602(0)405--z,
603(0)150--z, 603(0)275--z, 605(0)965--z, 608(0)294--z,
608(0)499--z, 617(0)238--z, 634(0)653--z, 634(0)799--z,
637(0)165--z
-
Task-Level, 622(0)59--z
-
Task-Switching, 634(0)725--z
-
Tassart, G., 635(0)215--z
-
Tassart, G., see Arbaoui, S.
-
Tattersall, C., 608(0)302--z
-
Tattersall:1992:NAI, 608(0)302--z
-
Taulbee, George M., 640(0)194--z
-
Taulbee:1992:SEP, 640(0)194--z
-
Taylor, F., 605(0)497--z
-
Taylor, F., see Cox, S.
-
Taylor, I. C., 635(0)237--z
-
Taylor, John, Shawe-, 644(0)41--z
-
Taylor:1992:USM, 635(0)237--z
-
TBLL, 626(0)53--z
-
TC2000, 591(0)65--z, 605(0)603--z, 634(0)319--330
-
TCB, 648(0)57--z
-
TCCS, 623(0)559--z
-
Teacher, 608(0)593--z
-
Teaching, 602(0)34--z, 602(0)100--z, 602(0)294--z, 602(0)466--z,
624(0)463--z, 640(0)44--z, 640(0)65--z, 640(0)143--z, 640(0)159--z,
640(0)167--z
-
Team, 640(0)417--z
-
technical, 604(0)556--z, 653(0)253--z
-
Technical, Socio-, 608(0)21--z
-
technique, 592(0)294--z, 593(0)164--z, 594(0)104--z, 594(0)309--z,
596(0)1--z, 600(0)149--z, 602(0)212--z, 604(0)594--z, 605(0)449--z,
605(0)465--z, 609(0)352--z, 612(0)119--z, 617(0)161--z,
625(0)75--130, 625(0)131--182, 628(0)112--122, 631(0)39--z,
631(0)202--z, 631(0)311--z, 634(0)217--z, 637(0)1--z, 639(0)379--z,
646(0)171--z
-
Technology, 591(0)13--z, 604(0)154--z, 604(0)636--z, 622(0)23--z,
640(0)380--z, 653(0)51--z
-
Telecommunication, 604(0)79--z, 614(0)57--z
-
Teleconferencing, 614(0)358--z
-
Template, 644(0)109--z, 654(0)240--z
-
Temporal, 592(0)391--z, 592(0)442--z, 601(0)32--z, 604(0)401--z,
604(0)572--z, 607(0)355--z, 607(0)370--z, 620(0)269--z,
620(0)382--z, 620(0)430--z, 623(0)474--z, 624(0)369--z,
627(0)185--z, 630(0)207--z, 630(0)222--z, 633(0)36--z, 639(0)22--z,
645(0)79--z, 645(0)375--z, 651(0)1--z, 652(0)1--z
-
Temporal, Non-, 627(0)185--z
-
Temporal, Spatio-, 639(0)368--z
-
Ten, 645(0)3--z
-
Tenseash, 627(0)269--z
-
Tensi, Thomas, 594(0)289--z
-
Tensi, Thomas, see Kunde, Manfred
-
tensor, 582(0)327--354
-
tentative, 607(0)461--z
-
Tenter, 604(0)266--z
-
ter Hofstede, A. H. M., 593(0)364--z
-
Teradata, 618(0)115--z
-
terHofstede:1992:DMC, 593(0)364--z
-
Terlutte, A., 629(0)236--z
-
Terlutte, A., see Derencourt, D.
-
term, 592(0)271--z, 592(0)338--z, 596(0)135--z, 598(0)272--z,
607(0)109--z, 623(0)380--z, 624(0)285--z, 624(0)409--z,
626(0)419--z, 627(0)75--z, 632(0)128--z, 633(0)279--z, 641(0)258--z,
650(0)309--z
-
Term, Long-, 602(0)405--z
-
Term, Set-, 646(0)436--z
-
termination, 605(0)363--z, 607(0)582--z, 624(0)285--z, 626(0)213--z,
626(0)419--z, 631(0)187--z, 632(0)21--z, 632(0)37--z, 632(0)53--z,
649(0)70--z
-
Terminological, 596(0)221--z, 604(0)515--z, 633(0)84--z
-
Terminology, 627(0)21--z
-
Terminology--Oriented, 627(0)21--z
-
Terminology-Intensive, 627(0)21--z
-
Terms, Lambda-, 633(0)262--z
-
Terrain, 639(0)236--z
-
test, 603(0)214--z, 604(0)123--z, 623(0)53--z, 628(0)123--143,
629(0)142--z, 634(0)527--z, 650(0)459--z
-
Testclasses, 619(0)56--z
-
Testing, 601(0)195--z, 602(0)238--z, 604(0)215--z, 604(0)236--z,
604(0)481--z, 608(0)559--z, 621(0)292--z, 623(0)342--z,
623(0)708--z, 630(0)2--z, 630(0)17--z, 630(0)94--z, 641(0)163--z,
648(0)209--z
-
Teunissen, B., 614(0)94--z
-
Teunissen, B., see Leydekkers, P.
-
Tewari, Raj, 640(0)270--z
-
Tewari:1992:IOO, 640(0)270--z
-
Texas, 640(0)315--z
-
Text, 597(0)1--4, 602(0)21--z, 602(0)74--z, 604(0)529--z, 627(0)255--z,
627(0)289--z, 644(0)190--z
-
Thalheim, B., 645(0)7--z
-
Thalheim:1992:FCC, 645(0)7--z
-
than, 602(0)283--z
-
Thang, G. V., 654(0)290--z
-
Thang:1992:PDP, 654(0)290--z
-
Thanh-Nu, Do, 603(0)230--z
-
Thanh-Nu:1992:CIS, 603(0)230--z
-
Thapar, M., 591(0)1--z
-
Thapar:1992:SCC, 591(0)1--z
-
Thayer, F. Javier, 607(0)567--z, 607(0)701--z
-
Thayer, F. Javier, see Farmer, William M.
-
theme, 606(0)1--z
-
then-else, if-, 598(0)446--z
-
theorem, 568-0-x, 598(0)221--z, 607(0)224--z, 607(0)400--z,
607(0)431--z, 607(0)477--z, 607(0)552--z, 607(0)648--z,
607(0)668--z, 607(0)686--z, 607(0)706--z, 607(0)726--z,
607(0)731--z, 607(0)740--z, 607(0)758--z, 607(0)761--765,
607(0)776--z, 607(0)786--z, 624(0)96--z, 624(0)226--z, 624(0)460--z,
624(0)475--z, 624(0)481--z, 632(0)420--z, 633(0)262--z,
636(0)313--z, 641(0)125--z, 643(0)67--68, 643(0)94--95,
643(0)139--140, 650(0)309--z, 652(0)302--z
-
Theoretic, 591(0)359--z, 611(0)204--z, 620(0)258--z, 624(0)320--z,
649(0)220--z
-
Theoretic, Automata-, 652(0)51--z, 652(0)176--z
-
Theoretic, Graph-, 643(0)117--127, 643(0)136--138,
643(0)141--141, 643(0)142--142, 643(0)145--155
-
Theoretic, Model-, 572(0)181--z, 623(0)656--z
-
Theoretical, 604(0)441--z, 607(0)281--z, 627(0)171--z, 627(0)255--z,
634(0)817--z, 644(0)172--z
-
theory, 570(0)169--z, 572(0)151--z, 572(0)247--z, 582(0)197--230,
582(0)231--256, 592(0)302--z, 596(0)73--z, 598(0)168--z,
598(0)457--z, 600(0)45--z, 600(0)640--z, 601(0)43--z, 601(0)195--z,
607(0)50--z, 607(0)461--z, 607(0)567--z, 608(0)244--z, 608(0)491--z,
613(0)22--z, 613(0)33--z, 613(0)46--z, 613(0)58--z, 613(0)89--z,
619(0)56--z, 620(0)258--z, 620(0)293--z, 620(0)336--z, 623(0)487--z,
624(0)119--z, 624(0)261--z, 624(0)421--z, 626(0)96--z, 626(0)111--z,
626(0)382--z, 627(0)87--z, 628(0)1--4, 628(0)51--66, 629(0)50--z,
629(0)62--z, 630(0)108--z, 630(0)565--z, 632(0)69--z, 632(0)420--z,
632(0)446--z, 633(0)1--z, 633(0)65--z, 633(0)174--z, 633(0)339--z,
634(0)545--z, 636(0)1--z, 638(0)1--z, 639(0)110--z, 639(0)328--z,
641(0)258--z, 645(0)262--z, 646(0)51--z, 646(0)276--z, 646(0)312--z,
648(0)103--z, 650(0)175--z, 653(0)105--z
-
Theory, Meta-, 596(0)299--z, 607(0)537--z
-
Theory, Proof-, 649(0)235--z
-
Theory-Guided, 608(0)294--z
-
There, 639(0)288--z
-
Thermodynamics, 637(0)507--z
-
thesis, 628(0)1--4, 628(0)45--50
-
Thiagarajan, P. S., 623(0)595--z
-
Thiagarajan, P. S., see Hoogers, P. W.
-
Thiemann, P., 631(0)481--z
-
Thiemann:1992:LLT, 631(0)481--z
-
Thierauf, T., 623(0)162--z
-
Thierauf, T., see Arvind, V.
-
Thinking, 599(0)264--z
-
Thinning, 634(0)595--z
-
Thistle, J. G., 626(0)367--z
-
Thistle:1992:COA, 626(0)367--z
-
Thoben, J., 622(0)115--z
-
Thoben, J., see Schmalhofer, F.
-
Thomas, L., 605(0)261--z
-
Thomas, S. J., 634(0)379--z
-
Thomas, W. M., 603(0)80--z
-
Thomas:1992:BAO, 634(0)379--z
-
Thomas:1992:EAS, 603(0)80--z
-
Thomas:1992:ERO, 605(0)261--z
-
Thompson, Simon, 613(0)46--z
-
Thompson:1992:SNM, 613(0)46--z
-
Thomson, T., 604(0)69--z
-
Thomson, T., see Clark, G.
-
Thrash, W., 589(0)328--z
-
Thrash, W., see Ferrante, J.
-
Thrashing, 589(0)313--z, 605(0)465--z
-
Threaded, Multi-, 591(0)369--z, 637(0)179--z
-
Threads, 634(0)731--z
-
Three, 635(0)84--z, 644(0)211--z, 650(0)279--z
-
Three-Dimensional, 621(0)352--z, 654(0)305--z
-
Three-Level, 618(0)78--z
-
Threshold, 621(0)42--z
-
Threshold, Exact-, 650(0)420--z
-
Through, 602(0)238--z, 603(0)60--z, 605(0)967--z, 607(0)446--z,
608(0)50--z, 624(0)96--z, 624(0)496--z, 640(0)415--z, 649(0)11--z,
652(0)279--z
-
Thue, 572(0)231--z, 572(0)237--z
-
Thurimella, R., 623(0)330--z
-
Thurimella, R., see Khuller, S.
-
Thurmel, S., 591(0)266--z
-
Thurmel, S., see Ilmberger, H.
-
Tichy, W. F., 591(0)169--z
-
Tichy, W. F., see Philippsen, M.
-
Tick, E., 637(0)264--z
-
Tick, E., see Duvvuru, S.
-
Tight, 570(0)105--z
-
Tightly, 605(0)735--z
-
TIMash, 600(0)573--z
-
time, 570(0)226--z, 592(0)442--z, 598(0)403--z, 600(0)1--z, 600(0)74--z,
600(0)107--z, 600(0)149--z, 600(0)291--z, 600(0)325--z,
600(0)353--z, 600(0)618--z, 601(0)67--z, 602(0)21--z, 603(0)9--z,
604(0)461--z, 614(0)197--z, 629(0)392--z, 630(0)237--z,
630(0)401--z, 630(0)421--z, 634(0)613--z, 634(0)833--z, 639(0)78--z,
641(0)271--z, 650(0)21--z, 650(0)135--z, 650(0)370--z, 650(0)410--z,
653(0)129--z
-
time, Branching-, 625(0)9--32
-
Time, Compile-, 637(0)264--z, 641(0)236--z
-
time, Compile-, 589(0)389--z
-
Time, Elaboration-, 603(0)165--z
-
time, linear-, 625(0)131--182
-
Time, Real-, 592(0)1--z, 600(0)28--z, 600(0)176--z,
600(0)252--z, 600(0)315--z, 600(0)371--z, 600(0)485--z,
600(0)502--z, 603(0)92--z, 603(0)104--z, 603(0)116--z, 603(0)165--z,
604(0)1--z, 604(0)594--z, 604(0)636--z, 605(0)551--z, 614(0)148--z,
614(0)160--z, 614(0)171--z, 620(0)81--z, 624(0)250--z, 630(0)370--z,
652(0)302--z
-
Time, Run-, 589(0)266--z
-
Time-Bounded, 634(0)725--z
-
Time-Critical, 614(0)4--z, 614(0)242--z, 651(0)1--z
-
Time-Dependent, 591(0)401--z, 605(0)635--z
-
Time-Lapse, 601(0)154--z
-
Time-Parallel, 591(0)401--z, 634(0)205--z
-
Timed, 600(0)45--z, 600(0)124--z, 600(0)226--z, 600(0)447--z,
600(0)526--z, 600(0)549--z, 600(0)603--z, 600(0)640--z,
600(0)687--z, 630(0)340--z, 630(0)355--z, 630(0)370--z,
630(0)436--z
-
Timely, 648(0)293--z
-
Timestamping, 601(0)171--z
-
Timing, 623(0)571--z, 630(0)162--z
-
Timing-Based, 600(0)397--z
-
Timing-Channel, 648(0)57--z
-
Timmerman, M., 603(0)128--z
-
Timmerman, M., see Gobin, M.
-
Timpf, Sabine, 639(0)348--z
-
Timpf:1992:CMW, 639(0)348--z
-
Tiuryn, J., 620(0)480--z
-
Tiuryn:1992:SEC, 620(0)480--z
-
Tiwari, P., 621(0)326--z
-
Tiwari, P., see Joseph, D.
-
Tjiang, S., 589(0)137--z
-
Tjiang:1992:ISO, 589(0)137--z
-
TK, 592(0)215--z
-
to, 630(0)32--z
-
to-, Generalization-, 642(0)140--z
-
To-Database, Front-End-, 604(0)622--z
-
to-End, End-, 614(0)84--z
-
Toda, S., 650(0)420--z
-
Toda, S., see Beigel, R.
-
Toeplitz, 601(0)137--z
-
Toetenel, Hans, 603(0)182--z
-
Toetenel, Hans, see Ottens, Arlet
-
Tofts, Ch., 623(0)559--z
-
Tofts, Ch., see Moller, F.
-
Toi, H., Wong-, 630(0)340--z
-
Token, 614(0)375--z, 623(0)308--z
-
tokens, 609(0)70--z, 634(0)737--z
-
Tokoro, 612(0)257--z
-
Tokoro, Mario, 612(0)21--z, 612(0)141--z
-
Tokoro, Mario, see Honda, Kohei,
see Vasconcelos, Vasco
-
Tokuda, H., 614(0)22--z
-
Tokuda, H., see Mercer, C. W.
-
Tokyo, 639(0)97--z
-
tolerance, 570(0)169--z, 648(0)193--z
-
Tolerant, Fault-, 605(0)177--z, 634(0)821--z, 637(0)116--z,
650(0)145--z
-
Tolerating, 634(0)1--z
-
Tollis, I. G., 621(0)272--z
-
Tollis, I. G., see Bertolazzi, P.
-
Tollu, Christophe, 646(0)124--z
-
Tollu, Christophe, see Grumbach, Stephane
-
Tomita, S., 654(0)179--z
-
Tomita, S., see Kobara, K.
-
Tonelli, B., 634(0)103--z
-
Tonelli, B., see Hersch, R. D.
-
Too, 642(0)72--z
-
Tool, 591(0)102--z, 593(0)187--z, 593(0)278--z, 593(0)546--z,
594(0)186--z, 601(0)184--z, 602(0)391--z, 602(0)568--z, 603(0)60--z,
603(0)300--z, 608(0)601--z, 617(0)338--z, 624(0)487--z, 627(0)21--z,
634(0)55--z, 634(0)485--z, 634(0)665--z, 634(0)689--z, 648(0)57--z
-
Toolkit, 614(0)230--z, 631(0)481--z
-
tools, 593(0)481--z, 599(0)14--z, 599(0)264--z, 599(0)318--z,
602(0)555--z, 604(0)676--z, 608(0)39--z, 608(0)593--z, 614(0)271--z,
620(0)452--z, 627(0)21--z, 635(0)138--z, 636(0)242--z, 645(0)3--z,
653(0)301--z
-
toolset, 603(0)214--z, 632(0)335--z
-
Top-Down, 641(0)37--z
-
Topham, N. P., 634(0)399--z
-
Topham, N. P., see Bird, P. L.
-
topics, 594(0)25--z, 628(0)51--66, 629(0)82--z
-
TOPMUSS-System, 604(0)676--z
-
Topological, 639(0)196--z, 639(0)252--z
-
Topologically, 650(0)209--z
-
Topology, 613(0)159--z, 634(0)777--z
-
Topor, Rodney, 646(0)282--z
-
Topor, Rodney, see Dong, Guozhu
-
Topsy, 605(0)97--z
-
Torres, J., 589(0)298--z
-
Torres, J., see Labarta, J.
-
Torus, 621(0)118--z
-
Total, 642(0)99--z, 650(0)400--z
-
Toth, P., 650(0)351--z
-
Toth, P., see Martello, S.
-
Touch, 602(0)417--z
-
Tour, Thierry, Boy de la, 624(0)202--z
-
Tourancheau, B., 634(0)817--z
-
Tourancheau, B., see Desprez, F.
-
Toursel, B., 634(0)725--z
-
Toursel, B., see Bourzoufi, H.
-
Tourtier, P.-A., 599(0)298--z
-
Tourtier, P.-A., see Dieng, R.
-
Toussaint, Marie-Jeanne, 648(0)77--z
-
Toussaint:1992:SSI, 648(0)77--z
-
Tout, K. R., 634(0)713--z
-
Tout:1992:PES, 634(0)713--z
-
TOVE, 604(0)25--z
-
Toward, 623(0)656--z, 639(0)110--z, 640(0)3--z
-
towards, 599(0)133--z, 604(0)25--z, 604(0)154--z, 604(0)361--z,
604(0)546--z, 608(0)92--z, 608(0)183--z, 608(0)294--z, 612(0)1--z,
617(0)50--z, 624(0)66--z, 624(0)250--z, 626(0)242--z, 627(0)39--z,
630(0)565--z, 634(0)831--z, 635(0)3--z, 639(0)368--z, 645(0)178--z,
648(0)3--z, 654(0)1--z
-
Townsend, P., 605(0)3--z
-
Townsend, P., see Skelton, C. J.
-
Toyoda, J., 608(0)76--z
-
Toyoda, J., see Hirashima, T.
-
traçage, 608(0)421--z
-
Trace, 591(0)102--z, 591(0)266--z, 623(0)595--z, 630(0)302--z,
630(0)504--z, 631(0)400--z
-
Trace-Rewriting, 629(0)511--z
-
traces, 598(0)350--z, 609(0)392--z, 612(0)141--z, 623(0)583--z,
629(0)255--z
-
Tracing, 594(0)124--z
-
Track, 650(0)449--z
-
Tracking, 604(0)195--z, 604(0)666--z
-
Trade-Offs, 598(0)350--z
-
Tradeoffs, 640(0)131--z
-
traditional, 628(0)67--87, 648(0)125--z
-
Traditions, 627(0)39--z
-
Traff, J. L., 649(0)280--z
-
Traff:1992:MPR, 649(0)280--z
-
Traffic, 614(0)120--z
-
Tragoudas, S., 650(0)188--z
-
Tragoudas, S., see Symvonis, A.
-
Trail, 648(0)435--z
-
training, 608(0)559--z, 628(0)123--143, 640(0)301--z, 640(0)308--z,
640(0)351--z
-
Tran, N. Q., 623(0)126--z
-
Tran, N. Q., see Ibarra, O. H.
-
transaction, 605(0)295--z, 646(0)216--z, 648(0)329--z
-
Transducers, 630(0)436--z
-
Transductions, 629(0)181--z
-
transfer, 608(0)395--z, 628(0)67--87, 640(0)380--z
-
transformation, 589(0)344--z, 592(0)79--z, 592(0)349--z, 592(0)462--z,
593(0)378--z, 603(0)287--z, 605(0)347--z, 607(0)446--z, 613(0)58--z,
624(0)445--z, 628(0)5--34, 628(0)123--143, 628(0)144--162,
631(0)187--z, 631(0)202--z, 634(0)571--z, 634(0)755--z,
634(0)761--z, 641(0)1--z
-
transformational, 626(0)213--z
-
transformations, graph-, 570(0)63--z
-
Transforming, 622(0)139--z, 631(0)202--z, 645(0)280--z, 649(0)265--z
-
Transforms, 605(0)959--z
-
Transition, 600(0)226--z, 605(0)951--z, 630(0)340--z, 633(0)232--z,
652(0)328--z
-
transitions, 623(0)605--z, 625(0)75--130
-
transitive, 620(0)57--z, 626(0)1--z, 626(0)149--z, 626(0)396--z
-
Transivity, 607(0)786--z
-
Translating, 605(0)515--z
-
Translation, 611(0)148--z, 627(0)269--z, 641(0)30--z
-
translations, 626(0)353--z
-
transmission, 592(0)452--z, 614(0)328--z, 614(0)375--z
-
Transparent, 611(0)223--z
-
Transport, 614(0)33--z, 614(0)171--z, 650(0)489--z
-
Transport-Triggered, 641(0)219--z
-
Transputer, 634(0)791--z, 634(0)825--z
-
Transputer, Multi-, 591(0)277--z, 634(0)67--z
-
Transputer-Based, 620(0)418--z
-
Trappl, R., 617(0)1--z
-
Trappl:1992:AIP, 617(0)1--z
-
Traversal, 607(0)148--z
-
Treating, 592(0)263--z
-
Treatment, 604(0)324--z, 639(0)418--z
-
tree, 570(0)1--z, 570(0)25--z, 570(0)85--z, 594(0)186--z, 594(0)233--z,
594(0)270--z, 601(0)24--z, 608(0)140--z, 620(0)174--z, 620(0)441--z,
621(0)140--z, 621(0)151--z, 621(0)165--z, 621(0)192--z,
623(0)150--z, 623(0)223--z, 623(0)629--z, 626(0)367--z, 628(0)5--34,
628(0)35--44, 628(0)45--50, 628(0)88--111, 628(0)144--162,
629(0)383--z, 631(0)458--z, 632(0)143--z, 634(0)527--z,
634(0)783--z, 634(0)843--z, 641(0)1--z, 643(0)51--52, 644(0)1--z,
644(0)148--z, 644(0)159--z, 645(0)62--z, 646(0)421--z, 650(0)88--z,
650(0)106--z, 650(0)332--z, 650(0)499--z, 654(0)231--z
-
tree-decomposable, 570(0)13--z
-
Tree-Width, 621(0)304--z
-
Trees:, GKD-, 621(0)192--z
-
Trees, kappa-, 621(0)292--z
-
treewidth, 570(0)1--z, 650(0)116--z
-
Trejo, L., 634(0)115--z, 634(0)841--z
-
Trejo, L., see Adamo, J. M.
-
Trellis, 629(0)472--z
-
Trends, 599(0)7--z, 617(0)198--z
-
Tresch, M., 645(0)299--z
-
Tresch:1992:MOM, 645(0)299--z
-
Treshold, 629(0)264--z
-
Treur, J., 599(0)133--z
-
Treur, J., see Geelen, P.
-
Treurniet, W., 603(0)214--z
-
Treurniet:1992:SAT, 603(0)214--z
-
Triangle-Based, 639(0)236--z
-
Triangular, 634(0)307--z
-
Triangulating, 621(0)258--z
-
Triangulation, 629(0)442--z, 652(0)104--z
-
triangulations, 606(0)1--z, 652(0)104--z
-
Triconnected, 623(0)354--z
-
Tridiagonal, 634(0)271--z
-
Trig, 624(0)454--z
-
Triggered, Operation-, 641(0)219--z
-
Triggered, Transport-, 641(0)219--z
-
Trilling, L., 608(0)325--z
-
Trilling, L., see Allen, R.
-
Tripathi, S. K., 591(0)208--z
-
Tripathi:1992:PSM, 591(0)208--z
-
triple, 600(0)252--z, 606(0)1--z
-
Troelstra, A. S., 626(0)382--z
-
Troelstra:1992:CTR, 626(0)382--z
-
Tropical, 623(0)101--z
-
Troubleshooting, 604(0)59--z
-
True, 598(0)350--z
-
Truth-Table, 652(0)140--z
-
Tryfona, Nectaria, 639(0)252--z
-
Tryfona, Nectaria, see Hadzilacos, Thanasis
-
Tsai, J. J.-P., 611(0)271--z
-
Tsai:1992:DCA, 611(0)271--z
-
Tsakalidis, Athanasios, 594(0)25--z
-
Tsakalidis, Athanasios, see Fleischer, Rudolf
-
Tsalenko, Michail Sh., 646(0)51--z
-
Tsalenko:1992:DTR, 646(0)51--z
-
Tsao, N.-K., 634(0)307--z
-
Tsao:1992:AST, 634(0)307--z
-
Tschaitschian, B., 599(0)406--z
-
Tschaitschian, B., see Schmalhofer, F.
-
Tseng, C.-W., 589(0)18--34
-
Tseng, C.-W., see Hiranandani, S.
-
Tsichritzis, D., 614(0)265--z, 645(0)322--z
-
Tsichritzis, D., see Breiteneder, C.,
see Gibbs, S.
-
TSLs, 627(0)75--z
-
Tsudik, Gene, 648(0)155--z, 648(0)229--z
-
Tsudik, Gene, see Molva, Refik
-
Tsudik:1992:PES, 648(0)229--z
-
Tsujino, K., 599(0)153--z
-
Tsujino:1992:KAD, 599(0)153--z
-
Tsur, Shalom, 636(0)64--z
-
Tsur:1992:GID, 636(0)64--z
-
Tucker, J. V., 613(0)179--z, 629(0)62--z
-
Tucker:1992:ESS, 613(0)179--z
-
Tucker:1992:TCS, 629(0)62--z
-
Tuijn, Chris, 646(0)99--z
-
Tuijn:1992:VDD, 646(0)99--z
-
Tung, D., 622(0)6--z
-
Tung, D., see Dallemagne, G.
-
Tuning, 604(0)351--z
-
Tupailo, S., 620(0)493--z
-
Tupailo:1992:GSN, 620(0)493--z
-
Tuples, 646(0)71--z
-
Turdik, P., 634(0)13--z
-
Turdik:1992:IH, 634(0)13--z
-
Turi, Daniele, 624(0)297--z
-
Turi, Daniele, see Gabbrielli, Maurizio
-
Turing, 620(0)186--z, 654(0)144--z
-
Turini, F., 649(0)105--z
-
Turini, F., see Brogi, A.
-
turn, 606(0)1--z
-
Tuteurs, 608(0)325--z
-
Tutor, 602(0)46--z, 602(0)258--z, 608(0)39--z, 608(0)84--z, 608(0)317--z,
608(0)343--z, 608(0)413--z, 608(0)625--z, 608(0)677--z
-
tutorial, 597-0-viii, 602(0)238--z, 608(0)507--z, 608(0)575--z,
636(0)252--z, 649(0)70--z
-
tutoriel, 608(0)58--z, 608(0)277--z
-
tutorielle, 608(0)156--z
-
Tutoring, 602(0)225--z, 602(0)247--z, 602(0)380--z, 602(0)391--z,
602(0)428--z, 602(0)491--z, 608(0)1--z, 608(0)92--z, 608(0)132--z,
608(0)140--z, 608(0)164--z, 608(0)217--z, 608(0)351--z,
608(0)395--z, 608(0)523--z, 608(0)531--z, 608(0)615--z,
608(0)625--z
-
Tuv, E., 618(0)59--z
-
Tuv:1992:SMH, 618(0)59--z
-
TV, Post-, 602(0)39--z
-
Two, 572(0)85--z, 591(0)157--z, 594(0)330--z, 598(0)102--z, 614(0)57--z,
621(0)352--z, 622(0)190--z, 623(0)273--z, 624(0)297--z, 627(0)5--z,
628(0)67--87, 629(0)451--z, 631(0)311--z, 634(0)271--z,
634(0)399--z, 644(0)211--z, 650(0)279--z
-
Two-Dimensional, 621(0)317--z, 654(0)100--z, 654(0)144--z
-
Two-Level, 605(0)751--z, 624(0)78--z, 627(0)185--z, 627(0)269--z,
631(0)158--z
-
type, 582(0)231--256, 582(0)257--282, 597-0-viii, 598(0)1--z,
598(0)125--z, 598(0)221--z, 605(0)893--z, 607(0)20--z, 613(0)22--z,
613(0)33--z, 613(0)46--z, 613(0)58--z, 613(0)89--z, 613(0)218--z,
620(0)269--z, 620(0)293--z, 620(0)347--z, 620(0)480--z,
624(0)421--z, 626(0)15--z, 626(0)79--z, 626(0)257--z, 627(0)201--z,
632(0)1--z, 633(0)279--z, 637(0)404--z, 646(0)201--z
-
type, {Gentzen}-, 592(0)381--z
-
Type, {Kleene}-, 643(0)63--66
-
Type-Level, 648(0)21--z
-
Typechecking, 637(0)218--z
-
Typed, 598(0)144--z, 598(0)207--z, 620(0)246--z
-
types, Formulas-as-, 619(0)125--z
-
typing, 582(0)197--230, 652(0)217--z
-
Tyszkiewicz, J., 626(0)396--z
-
Tyszkiewicz:1992:IQT, 626(0)396--z