Index file section U for lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
Return to index directory
U
-
U, 827(0)117--z
-
Ubar, R., 852(0)151--z
-
Ubar:1994:TGD, 852(0)151--z
-
Ubeda, S., 805(0)137--152, 854(0)359--z
-
Ubeda, S., see Dion, M.
-
Ubeda:1994:WOT, 805(0)137--152
-
UCD, 780(0)239--252
-
Uceda-Sosa, R., 832(0)78--z
-
Uceda-Sosa, R., see Compton, K. J.
-
Ueberhuber, C. W., 848-0-xiii
-
Ueberhuber, C. W., see Krommer, A. R.
-
Ueberhuber, Christoph W., 771(0)1--z
-
Ueberhuber, Christoph W., see Tomas, Gerald
-
Uehara, K., 837(0)261--z
-
Uehara:1994:PPB, 837(0)261--z
-
Uhl, James S., 786(0)203--z
-
Uhl:1994:FGF, 786(0)203--z
-
Uiard, G., 854(0)100--z
-
Uiard, G., see Bouge, L.
-
UIS, 797(0)5--z
-
Ukkonen, E., 784(0)351--z, 784(0)375--z
-
Ukkonen, E., see Elomaa, T., \see{Kivinen, J.
-
Ullman, J. D., 874(0)173--z
-
Ullman, J. D., see Gupta, A.
-
Ullman, S., 800(0)286--298
-
Ullman, S., see Moses, Y.
-
Ullmann, K., 797(0)13--z
-
Ullmann:1994:HSN, 797(0)13--z
-
Ultimately, 802(0)554--566
-
Ultrasonic, 860(0)129--z
-
Ulusoy, O., 856(0)611--z
-
Ulusoy:1994:ADT, 856(0)611--z
-
UMTS, 783(0)417--z, 783(0)428--z
-
Unacceptable, 846(0)41--z
-
Unambiguity, 820(0)11--z
-
Unary, 875(0)301--z
-
Unbounded, 807(0)184--197
-
uncalibrated, 800(0)459--470, 800(0)463--470, 800(0)567--576,
825(0)237--z
-
Uncaught, 864(0)238--z
-
Uncertain, 863(0)680--z
-
Uncertainty, 770(0)1--z, 808(0)57--z, 833(0)45--z, 856(0)320--z,
856(0)703--z, 856(0)724--z, 866(0)598--z, 880(0)89--100
-
Unconstrained, 769(0)1--z
-
uncountable, 836(0)130--z
-
Undecidable, 789(0)454--z, 820(0)316--z, 832(0)223--z
-
Undefined, 789(0)543--z
-
Underdetermined, 873(0)233--z
-
undergraduate, 750(0)3--z, 750(0)5--z, 750(0)23--z, 750(0)345--z,
750(0)583--z
-
Underlying, 837(0)132--z
-
Understand, 856(0)15--z
-
understanding, 837(0)3--z, 869(0)13--z, 869(0)265--z
-
Underwood, I., 869(0)326--z
-
Underwood, I., see Lowry, M.
-
Undirected, 834(0)190--z, 855(0)130--z, 859(0)144--z
-
Unequal, 820(0)605--z
-
Unexpected, 820(0)1--z, 860(0)115--z
-
Unfoldash, 844(0)340--z, 844(0)459--z, 850(0)269--z
-
Unfolding, 844(0)324--z
-
Unforgeable, 839(0)234--246
-
Unger, W., 805(0)81--94, 805(0)235--250, 824(0)219--z
-
Unger, W., see Hromkovic, J.,
see Roettger, M.
-
unification, 774(0)11--z, 780(0)438--450, 788(0)272--z, 814(0)282--z,
814(0)620--z, 814(0)635--z, 814(0)650--z, 814(0)678--z,
838(0)217--z, 861(0)319--z, 861(0)331--z, 880(0)276--287,
880(0)288--299
-
Unification, AC-, 845(0)105--z, 845(0)136--z
-
Unification, {E}-, 822(0)129--z, 838(0)152--z
-
unification, {E}-, 814(0)665--z
-
Unification-Based, 862(0)260--z
-
unified, 769(0)1--z, 778(0)125--z, 779(0)123--130, 782(0)191--207,
785(0)280--294, 793(0)125--135, 827(0)238--z, 833(0)123--z,
846(0)252--z, 855(0)215--z, 855(0)424--z, 856(0)183--z,
865(0)131--z, 868(0)153--z, 872(0)210--z
-
unifiers, AC-, 814(0)545--z
-
Uniform, 765(0)55--z, 774(0)197--z, 820(0)412--z, 823(0)34--z,
823(0)110--z, 850(0)133--z, 857(0)265--z, 860(0)51--z
-
Uniform-Length, 807(0)184--197
-
Uniform-Modelling, 776(0)296--z
-
unifying, 774(0)342--z, 775(0)251--z, 788(0)485--z, 823(0)492--z,
834(0)92--z, 836(0)267--z, 837(0)182--z
-
Unimonotone, 802(0)333--358
-
union, 775(0)649--z, 789(0)687--z, 831(0)143--z
-
Uniprocessor, 844(0)40--z
-
Uniquely, 834(0)56--z
-
uniqueness, 776(0)358--z, 800(0)259--268, 864(0)193--z
-
Unison, 778(0)167--z
-
unit, 793(0)67--77, 807(0)136--145, 829(0)69--z, 829(0)74--z,
854(0)616--z, 877(0)194--z
-
UNITY, 859(0)17--z, 880(0)378--389
-
UNITY, HOL-, 780(0)1--15
-
universal, 802(0)454--473, 814(0)678--z, 829(0)6--z, 835(0)230--z,
850(0)269--z, 868(0)426--z
-
Universes, 802(0)1--28
-
University, 750(0)473--z, 860(0)222--z
-
UNIX, 774(0)285--z, 846(0)41--z
-
Unix-Based, 797(0)373--z
-
unknown, 763(0)268--z, 820(0)630--z
-
Unpredictable, 765(0)424--z
-
Unrecognizable, 784(0)355--z
-
Unreliable, 820(0)316--z
-
Unstructured, 796(0)131--z
-
Unsupervised, 784(0)395--z, 800(0)207--212
-
Untimed, 820(0)166--z
-
Untraceable, 773(0)302--z
-
Untransferable, 765(0)260--z
-
Untyped, 789(0)296--z, 813(0)129--z
-
Up, Bottom-, 784(0)154--z, 844(0)147--z
-
up, Bottom-, 774(0)73--z, 779(0)59--72, 788(0)317--z,
814(0)311--z, 822(0)230--z
-
up, bottom-, 814(0)774--z
-
Up, Look-, 821(0)408--z
-
up, Look-, 821(0)432--z
-
Up, Speed-, 849(0)89--z
-
up, Write-, 875(0)403--z
-
update, 776(0)358--z, 810(0)250--z, 827(0)543--z, 841(0)201--z,
861(0)393--z
-
Update-Based, 817(0)363--z, 817(0)805--z
-
updating, 847(0)62--z, 855(0)171--z, 855(0)331--z, 861(0)237--z,
869(0)95--z
-
Upfal, E., 820(0)473--z
-
Upfal:1994:TIN, 820(0)473--z
-
upkeep, 800(0)207--212
-
Upper, 775(0)669--z, 783(0)230--z, 807(0)136--145, 820(0)1--z,
834(0)119--z, 880(0)24--35
-
Upset, 852(0)217--z
-
Upstill, C., 796(0)62--z, 796(0)223--z, 796(0)422--z
-
Upstill, C., see Boston, I., \see{Cramb, I.,
see O'Toole, E.
-
UPT, 851(0)479--z, 851(0)513--z
-
Upward, 831(0)53--z
-
Uras, C., 825(0)215--z
-
Uras, C., see Verri, A.
-
urban, 815(0)2--z
-
Urban, J.-P., 796(0)390--z
-
Urban, J.-P., see Hagmann, S.
-
Uribe, T. E., 845(0)34--z
-
Uribe:1994:OBD, 845(0)34--z
-
Urzyczyn, P., 813(0)353--z
-
Urzyczyn, P., see Van Bakel, S.
-
Usability, 876(0)95--z
-
Usano, R. R., 856(0)193--z
-
Usano, R. R., see Macedo, J.
-
USD, 835(0)230--z
-
use, 750(0)65--z, 750(0)429--z, 774(0)173--z, 776(0)380--z,
793(0)241--252, 796(0)1--z, 797(0)129--z, 800(0)146--151,
825(0)107--z, 825(0)359--z, 838(0)365--z, 849(0)277--z,
851(0)295--z, 851(0)493--z, 852(0)417--z, 860(0)16--z, 860(0)25--z,
866(0)189--z, 876(0)19--z, 876(0)181--z, 882(0)1--z
-
Use, Easy-to-, 860(0)65--z
-
used, 839(0)202--215, 861(0)154--z, 873(0)154--z
-
Uselton, A. C., 836(0)2--z
-
Uselton:1994:CSS, 836(0)2--z
-
User, 819(0)27--z, 821(0)493--z, 851(0)75--z, 851(0)89--z, 851(0)235--z,
854(0)725--z, 860(0)16--z, 860(0)25--z, 860(0)162--z, 867(0)283--z,
871(0)94--z, 871(0)173--z, 871(0)194--z, 876(0)1--z, 876(0)45--z,
876(0)56--z, 876(0)107--z, 876(0)121--z, 876(0)140--z
-
User, End-, 871(0)138--z
-
User, Multi-, 750(0)565--z
-
User-Adapted, 876(0)45--z
-
User-Level, 846(0)66--z, 853(0)256--z
-
User-Oriented, 811(0)380--393
-
users, 814(0)816--820, 860(0)16--z, 860(0)144--z
-
Ushatinsky, I. I., 879(0)190--193
-
Ushatinsky, I. I., see Elinov, V. D.
-
Ushijima, K., 856(0)145--z
-
Ushijima, K., see Sakamoto, N.
-
usual, 814(0)816--820
-
Uszok, A., 797(0)140--z
-
Uszok:1994:CMS, 797(0)140--z
-
Utecht, U., 866(0)492--z
-
Utecht:1994:MOS, 866(0)492--z
-
Utility, 770(0)1--z, 784(0)272--z, 830(0)164--z
-
Utilization, 868(0)92--z
-
Utilizing, 797(0)30--z, 800(0)403--410, 811(0)325--338, 861(0)39--z
-
Utting, M., 863(0)455--z
-
Utting, M., see Kearney, P.
-
Uyematsu, Tomohiko, 839(0)369--382
-
Uyematsu, Tomohiko, see Tsunoo, Yukiyasu
-
Uzilevsky, G., 876(0)1--z
-
Uzilevsky:1994:EUI, 876(0)1--z