Index file section U for lncs1993.bib
Last update: Sat Jan 22 02:09:38 MST 2022
Return to index directory
U
-
U.S.ash, 748(0)1--z
-
Udink, Rob T., 715(0)339--z
-
Udink:1993:TFA, 715(0)339--z
-
Ueda, K., 743(0)171--z
-
Ueda:1993:IHP, 743(0)171--z
-
Uehara, Tetsuzo, 730(0)271--z
-
Uehara, Tetsuzo, see Shimada, Shigeru
-
UIMS, 733(0)279--z
-
Ultra, 719(0)578--z
-
Ultra-High, 706(0)173--z
-
Ultrasonic, 719(0)657--z
-
Ultrasonography, 687(0)542--z
-
Ultrasound, 719(0)65--z
-
Ultrix-4.2, 712(0)321--z
-
Umilta, C., 745(0)137--z
-
Umilta, C., see Voltolina, M.
-
Unambiguity, 726(0)73--84
-
Unary, 710(0)396--z
-
unbalanced, 725(0)26--z
-
Uncertain, 682(0)321--z, 708(0)200--z, 723(0)300--z, 754(0)148--z
-
uncertainty, 682(0)129--z, 682(0)284--z, 682(0)294--z, 689(0)316--z,
689(0)622--z, 725(0)204--z, 747(0)85--z, 747(0)97--z, 747(0)304--z,
754(0)137--z, 762(0)1--10
-
Uncovering, 713(0)159--z
-
undecidability, 664(0)139--z, 665(0)58--z, 710(0)204--z, 713(0)63--z
-
undecidable, 664(0)418--z, 665(0)48--z, 679(0)17--z, 700(0)301--z
-
undeniable, 718(0)133--z
-
Understanding, 685(0)184--198, 689(0)466--z, 709(0)14--z, 732(0)203--z,
733(0)407--z, 753(0)196--z
-
Understandingash, 749(0)255--z
-
undirected, 657(0)212--z, 709(0)409--z
-
Undo, 733(0)213--z
-
unfolding, 715(0)278--z
-
Unforgeable, 740(0)1--14
-
Ungering, Ansgar, 705(0)124--z
-
Ungering, Ansgar, see Surmann, Hartmut
-
unification, 675(0)1--z, 677(0)79--z, 677(0)150--z, 677(0)177--z,
679(0)6--z, 696(0)23--z, 698(0)289--z, 698(0)301--z, 710(0)222--z,
710(0)418--z, 711(0)1--z, 722(0)164--z, 735(0)190--z, 742(0)220--z,
744(0)111--122, 748(0)155--z, 761(0)139--z
-
Unification, AC1-, 700(0)621--z
-
Unification, AX-, 677(0)23--z
-
Unification, D-, 700(0)621--z
-
Unification, E-, 656(0)468--z, 713(0)202--z
-
unified, 687(0)401--z, 689(0)152--z, 711(0)618--z, 727(0)226--z,
737(0)166--z
-
Unified-Algebra-Based, 722(0)122--z
-
uniform, 658(0)297--z, 702(0)115--z, 711(0)557--z, 719(0)183--z,
722(0)319--z, 727(0)357--z, 732(0)166--z, 732(0)180--z,
744(0)197--208
-
Uniform, Non-, 719(0)82--z
-
Unifying, 682(0)33--z, 720(0)68--z, 744(0)342--355, 747(0)113--z
-
union, 659(0)118--z, 709(0)452--z
-
Unique, 719(0)436--z, 735(0)267--z
-
Uniqueness, 761(0)41--z
-
unit, 698(0)289--z, 718(0)505--z
-
unit-times, 711(0)291--z
-
Uniting, 742(0)1--z
-
UNITY, 715(0)339--z
-
Unity, 754(0)148--z
-
universal, 700(0)682--z, 702(0)1--z, 710(0)222--z, 711(0)557--z
-
Universality, 710(0)375--z
-
Universally, 671(0)267--z, 740(0)183--195
-
Universes, 702(0)340--z
-
UNIX, 672(0)1--z, 711(0)252--z
-
Unix, 741(0)257--274
-
Unprovable, 713(0)187--z
-
Unreliable, 682(0)265--z
-
Unsatisfiable, 713(0)184--z
-
Unskolemization, 689(0)255--z
-
Unstructured, 708(0)94--z
-
Unsuccessful, 762(0)426--435
-
Unsupervised, 686(0)536--z
-
Untrained, 733(0)338--z
-
Up, Bottom-, 760(0)253--z
-
up, Bottom-, 714(0)75--z, 744(0)73--86
-
update, 660(0)80--z, 685(0)1--z, 701(0)60--z, 762(0)138--146
-
Updating, 689(0)235--z, 760(0)296--z, 760(0)310--z
-
Upfal, Eli, 678(0)156--z
-
Upfal, Eli, see Felperin, Sergio
-
upon, 719(0)90--z, 733(0)255--z
-
upper, 664(0)391--z, 689(0)306--z, 709(0)175--z, 730(0)197--z
-
Upperbound, 675(0)1--z
-
upward, 665(0)185--z, 726(0)37--z
-
URANO, 686(0)364--z
-
Urban, 686(0)611--z
-
Urzyczyn, P., 664(0)418--z
-
Urzyczyn:1993:TRU, 664(0)418--z
-
Usability, 749(0)16--z
-
Usage, 671(0)320--z, 724(0)254--z
-
use, 655(0)66--z, 655(0)144--z, 665(0)247--z, 686(0)536--z, 686(0)563--z,
687(0)33--z, 687(0)132--z, 689(0)558--z, 699(0)361--z, 706(0)111--z,
706(0)247--z, 709(0)471--z, 720(0)116--z, 727(0)271--z,
744(0)173--186, 745(0)85--z, 747(0)33--z, 753(0)260--z,
753(0)327--z
-
used, 689(0)486--z, 699(0)182--z
-
useful, 724(0)111--z
-
Usefulness, 675(0)1--z
-
Uselton, A. C., 665(0)418--z
-
Uselton:1993:SOS, 665(0)418--z
-
user, 671(0)334--z, 671(0)372--z, 712(0)399--z, 716(0)366--z,
718(0)531--z, 720(0)401--z, 720(0)733--z, 720(0)746--z, 730(0)35--z,
733(0)13--z, 733(0)63--z, 733(0)129--z, 733(0)141--z, 733(0)235--z,
733(0)291--z, 733(0)303--z, 733(0)413--z, 733(0)429--z, 737(0)96--z,
749(0)273--z, 753(0)53--z, 753(0)115--z, 759(0)191--z
-
User, End-, 733(0)141--z
-
User, Multi-, 733(0)213--z
-
User-Adapted, 733(0)91--z
-
User-Driven, 685(0)569--z
-
Users, End-, 723(0)340--z
-
Ushakov, I., 753(0)181--z
-
Ushakov:1993:VPR, 753(0)181--z
-
Utilisation, 705(0)11--z
-
Utility, 706(0)151--z
-
Utilizing, 757(0)563--z
-
Utter, J.-C., 685(0)221--z
-
Utter, J.-C., see Breu, M.
-
Utterance, 753(0)260--z
-
Uzilevsky, G., 753(0)115--z
-
Uzilevsky:1993:ISL, 753(0)115--z