Index file section U for jacm.bib

Last update: Sun Jun 15 02:01:37 MDT 2025               

Return to index directory

U

• U, 21(1)140--156
• U-closure, 32(4)774--803
• U.S.S.R, 3(3)129--133
• UCLA-ENG-CSL-8108, 30(3)389--396
• Ukkonen, Esko, 29(4)1166--1181, 30(2)259--270
• Ukkonen, Esko, see Sippu, Seppo
• Ukkonen:1982:EPS, 29(4)1166--1181
• Ulam, 0(0)xxvi--375
• Ulam, S., 4(2)174--177
• Ulam, S., see Kister, J.
• Ullian, Joseph, 13(1)62--89, 13(3)364--368, 13(4)588--593
• Ullian, Joseph, see Ginsburg, Seymour, see Hibbard, Thomas N.
• Ullman, 19(4)613--640, 32(3)687--693
• Ullman, J. D., 15(2)317--324, 16(1)168--177, 16(4)550--563, 17(4)715--728, 19(2)225--243, 19(3)569--575, 21(3)367--375, 23(1)1--12, 24(1)146--160
• Ullman, J. D., see Aho, A. V., see Hecht, M. S., \see{Hopcroft, J. E., see Sethi, Ravi
• Ullman, Jeffrey D., 15(3)414--427, 18(1)80--93, 23(1)158--171, 27(1)128--145, 29(2)363--372, 29(3)603--622, 35(2)345--373
• Ullman, Jeffrey D., see Aho, Alfred V., see Floyd, Robert W., see Hopcroft, John E., \see{Kam, John B., see Kaplan, Marc A., see Sadri, Fereidoon
• Ullman:1969:HSA, 16(4)550--563
• Ullman:1972:NEH, 19(3)569--575
• Ullman:1988:ETT, 35(2)345--373
• Ullmann, J. R., 23(1)31--42
• Ullmann:1976:ASI, 23(1)31--42
• ultimate, 16(2)226--234
• Ultimate-Definite, 12(3)399--410
• ultimately, 28(4)769--779
• ultracomputer, 34(1)116--127
• Ultraconcurrent, 28(2)393--410
• Unambiguity, 13(3)364--368
• unambiguous, 16(3)423--431
• unary, 30(2)259--270, 37(1)15--46
• unate, 22(2)195--201, 23(4)700--709, 25(3)481--498
• unbounded, 22(4)463--468, 26(2)250--258, 33(4)724--767, 34(4)765--801, 36(3)573--590
• Unbounded-action, 32(2)484--502, 34(1)98--115, 35(1)231--264, 35(4)941--952, 36(4)738--757, 36(4)826--840, 37(1)144--174
• uncertain, 26(3)441--456
• uncertainty, 21(1)103--113, 21(1)114--123
• unchallenged, 30(4)729--735
• uncorrelated, 25(4)675--686
• uncoupled, 32(3)702--719
• undecidability, 21(4)586--589, 31(2)299--318, 33(1)224--248, 37(1)1--14
• undecidable, 15(2)317--324, 16(1)160--167, 21(2)207--212, 21(4)586--589, 27(1)191--205, 27(2)338--355, 28(3)535--560, 29(3)863--873, 33(1)224--248, 34(2)492--510, 36(1)69--91, 37(1)1--14
• underflow, 29(2)492--513, 31(2)319--328
• undergoing, 31(4)855--878
• underlies, 31(1)1--12
• underlying, 22(2)291--308, 26(1)119--128, 26(1)129--147, 27(2)235--249, 27(3)474--483, 34(3)513--531, 34(3)626--645, 36(1)142--149, 36(2)362--382
• underpinned, 31(3)600--627
• understand, 14(1)100--119, 22(3)309--328, 30(3)595--611
• understanding, 16(1)145--159, 33(4)658--686, 34(3)661--685, 35(4)941--952
• understood, 34(1)1--27, 35(3)523--534
• undesirable, 34(3)544--577
• undetectable, 30(2)300--322
• undirected, 13(2)205--210, 16(4)564--568, 21(4)576--580, 23(1)58--73, 23(3)544--554, 27(3)445--456, 30(3)514--550, 31(3)649--667, 32(4)774--803, 34(4)950--967, 36(3)540--572
• unequal, 22(2)202--214, 23(1)1--12, 27(3)412--427, 27(3)519--532
• unexpectedly, 30(3)612--636
• unforced, 35(4)832--844
• Unfortunately, 29(3)907--927, 33(4)706--711
• unicyclic, 22(3)352--360
• unidimensional, 21(2)277--292
• unidirectional, 30(1)22--32
• unification, 12(1)23--41, 21(4)606--621, 28(2)423--434, 32(2)280--295, 33(2)253--289, 35(1)1--17, 37(1)47--85
• unified, 25(1)67--80, 28(1)150--165, 28(3)577--593, 29(3)623--641, 30(4)852--865, 32(1)130--136, 32(3)720--732, 33(3)533--550, 34(3)626--645, 36(1)20--45
• unifier, 35(1)1--17
• uniform, 5(3)266--280, 12(1)83--89, 14(1)100--119, 14(2)337--340, 14(3)563--590, 23(2)287--297, 25(1)92--101, 25(4)544--555, 26(1)103--118, 27(3)550--563, 29(1)228--249, 29(3)812--829, 30(3)389--396, 30(4)805--819, 31(1)1--12, 32(3)618--651, 32(3)687--693, 34(4)1004--1015, 35(2)433--446, 35(3)564--578, 35(3)675--696, 36(4)790--825, 36(4)912--928, 37(2)224--237
• uniform-cost, 34(3)578--595
• uniformity, 20(3)469--481, 30(3)612--636, 36(2)209--229, 36(3)643--670, 36(4)912--928
• uniformly, 23(2)287--297, 26(4)716--730, 30(3)612--636, 31(4)826--838
• unify, 31(1)150--162
• unifying, 19(2)366--384, 30(2)300--322
• Unimodal, 12(3)395--398
• uninterpolated, 36(2)349--361
• uninterpreted, 26(2)351--360
• UNION, 22(2)215--225
• union, 21(4)622--642, 22(2)215--225, 27(4)633--655, 29(1)171--182, 31(2)245--281, 31(4)761--791, 33(3)603--617, 34(1)128--143, 34(4)765--801, 37(2)335--372
• UNIONs, 22(2)215--225
• uniprogramming, 23(4)619--635
• unique, 21(3)367--375, 21(4)671--679, 22(2)215--225, 22(2)248--260, 26(4)603--610, 31(2)392--400, 32(3)702--719, 33(2)349--370, 33(3)489--498, 35(2)324--344, 36(3)573--590
• uniquely, 27(1)1--2, 28(3)502--520, 30(4)820--833, 31(2)392--400, 35(3)740--747
• uniqueness, 32(4)938--949, 34(4)921--938, 35(2)345--373
• unit, 15(4)490--492, 17(4)698--707, 18(1)186--198, 19(1)136--157, 19(4)590--607, 20(4)589--603, 21(1)124--139, 21(2)201--206, 21(4)590--605, 22(1)83--105, 22(3)397--412, 22(4)477--492, 23(1)97--102, 23(3)534--543, 23(3)544--554, 23(4)680--690, 25(1)67--80, 26(4)761--778, 27(1)6--29, 27(1)42--59, 27(2)270--280, 28(1)166--180, 28(4)662--679, 30(4)736--751, 31(1)47--85, 31(4)826--838, 32(3)702--719, 33(1)86--104, 33(1)130--150, 35(3)564--578, 37(3)439--463
• unit, strictly-, 21(4)590--605
• unit-capacity, 27(2)207--227
• unit-execution-time, 29(3)781--811
• unit-length, 29(3)766--780
• unitary, 5(4)339--342, 7(1)78--79, 7(2)185--186, 21(4)581--585
• United, 26(2)351--360
• unity, 33(1)130--150
• univariate, 34(3)646--660
• universal, 4(3)254--273, 4(4)511--519, 8(4)476--483, 15(3)447--464, 18(3)339--353, 28(4)680--695, 29(3)874--897, 29(4)1073--1086, 30(2)360--387, 31(4)761--791, 33(1)105--129, 33(1)151--178, 34(2)492--510, 35(4)876--892, 37(1)1--14
• Universal, Computation-, 18(3)339--353
• universality, 11(1)15--20
• universe, 21(2)191--200, 22(2)215--225, 25(1)116--133, 31(3)538--544, 35(1)1--17
• University, 0(0)xix--388, 3(2)65--72, 35(4)965--984
• unknown, 12(3)383--387, 18(4)603--610, 25(4)526--535, 26(2)227--238, 31(1)163--188, 33(2)349--370, 35(2)288--323
• unless, 23(1)1--12, 23(1)43--49, 27(2)338--355, 29(4)1023--1048, 30(1)133--145, 33(3)533--550, 35(4)965--984
• unlike, 14(2)337--340, 22(3)329--340, 29(3)781--811, 30(3)514--550, 30(3)668--676, 33(1)179--206
• unlimited, 21(1)18--30, 33(4)712--723, 36(3)671--680
• unlock, lock-, 29(4)998--1006
• unnecessary, 21(2)311--313, 33(3)517--532
• unnest, 36(4)790--825
• unnesting, 36(4)790--825
• Unnormalized, 6(3)415--428, 11(2)168--187
• unnumbered, 21(3)525--526
• unquantified, 27(1)191--205, 31(1)1--12
• unrealistic, 30(1)33--35
• Unrecognizable, 13(2)281--286
• unrelated, 25(4)612--619, 28(4)721--736
• unreliable, 32(2)374--382, 36(3)531--539
• unrestricted, 29(3)863--873, 30(3)397--416
• unsatisfactory, 11(1)31--40
• unsatisfiable, 21(2)191--200
• unsolvability, 13(4)582--587, 15(3)409--413, 15(4)680--692, 16(2)324--327, 31(3)441--458
• unsolvable, 10(1)29--47, 21(2)207--212, 36(4)758--789
• unsolved, 34(3)532--543
• unstable, 6(2)196--203
• unsuccessful, 34(2)397--410
• untagged, 22(1)145--154
• until, 24(1)98--120, 24(2)222--240, 25(2)283--303, 25(2)304--311, 26(4)603--610, 34(1)179--199
• unwanted, 6(2)196--203
• up, blow-, 36(3)474--509
• Up, Look-, 4(4)456--458
• up, pile-, 25(4)544--555
• Up-and-Down, 18(3)381--399
• up-and-down, 18(3)381--399
• update, 23(2)262--272, 26(1)6--27, 26(4)631--653, 29(2)394--403, 29(3)718--740, 30(1)55--79, 31(3)474--485, 31(4)742--760, 32(3)618--651, 34(1)28--59, 35(1)70--120, 36(1)46--68
• updated, 25(4)652--666, 36(1)46--68, 36(4)758--789
• updating, 12(4)603--603, 26(1)6--27, 26(4)654--667, 33(3)551--567
• Upfal, Eli, 31(3)507--517, 34(1)116--127, 35(4)876--892, 36(3)510--530
• Upfal, Eli, see Karlin, Anna R., see Peleg, David
• Upfal:1984:ESP, 31(3)507--517
• Upfal:1987:HSM, 34(1)116--127
• upon, 9(4)512--521, 17(4)661--674, 18(3)381--399, 19(4)641--648, 19(4)727--733, 22(2)231--247, 22(4)450--462, 22(4)512--521, 23(2)287--297, 23(4)619--635, 26(1)82--94, 26(1)119--128, 28(2)265--269, 28(2)270--288, 28(3)477--486, 30(3)668--676, 34(2)225--254, 34(2)326--348, 34(3)513--531, 35(3)579--602, 36(2)362--382
• upper-bound, 21(1)140--156
• ups, look-, 34(1)163--178
• UR-resolution, 34(2)225--254
• URAL, 4(4)511--519
• Uretsky, Jack L., 6(3)366--375
• Uretsky, Jack L., see Corbató, Fernando J.
• urn, 34(2)397--410
• Urquhart, Alasdair, 34(1)209--219
• Urquhart:1987:HER, 34(1)209--219
• usable, 32(2)314--326, 35(1)185--220, 36(3)591--614
• usage, 14(2)242--261, 15(4)535--548, 31(2)346--360
• used, commonly-, 12(1)83--89
• useful, 9(2)259--267, 21(1)1--5, 21(1)6--17, 21(3)356--366, 22(3)352--360, 23(2)235--241, 23(4)619--635, 24(3)397--417, 26(3)401--414, 27(1)96--117, 29(3)863--873, 30(4)852--865, 31(1)163--188, 31(2)346--360, 31(3)560--599, 33(3)568--592, 34(3)661--685, 34(4)985--1003, 36(1)69--91
• usefully, 23(4)733--742
• usefulness, 28(2)270--288
• useless, 25(1)52--66, 29(2)394--403, 35(4)832--844
• user, 8(1)87--96, 13(3)386--403, 14(2)242--261, 22(2)231--247, 23(1)76--88, 24(3)375--386, 26(4)631--653, 29(1)127--151, 29(1)152--170, 31(2)210--226, 31(3)518--537, 33(1)179--206, 34(2)349--375
• user-dependent, 29(1)152--170
• user-oriented, 26(4)761--778
• user-provided, 24(1)121--145
• Usmani, Riaz A., 13(2)287--295
• Usmani:1966:BVT, 13(2)287--295
• USSR, 8(2)240--251
• usual, 6(3)415--428, 12(1)83--89, 16(1)3--12, 19(4)742--764, 21(2)277--292, 21(4)590--605, 22(4)512--521, 23(2)242--251, 23(2)252--261, 26(2)271--282, 27(2)228--234, 27(2)235--249, 28(2)289--304, 28(4)633--645, 31(4)761--791, 35(1)231--264
• usually, 12(1)83--89, 14(4)785--792, 21(3)459--469, 23(1)172--202, 25(2)304--311, 29(3)718--740, 30(1)55--79, 31(1)163--188, 31(3)628--648, 31(4)839--854, 33(1)86--104, 34(1)179--199
• uti-lization, 16(1)73--90
• utility, 1(4)173--176, 33(1)151--178, 35(3)727--739
• Utility-Theoretic, 25(1)67--80
• utility-theoretic, 25(1)67--80
• utilization, 8(2)240--251, 18(1)199--220, 21(3)459--469, 22(2)270--290, 23(2)342--346, 29(2)478--491, 31(2)346--360
• utilize, 23(3)475--487, 35(4)876--892, 36(3)435--473
• utilized, 30(3)417--427, 31(2)346--360
• utilizing, 23(3)475--487, 25(4)675--686, 28(2)351--357, 29(1)206--227, 31(4)839--854, 36(1)97--128