Index file section U for jsymcomp.bib

Last update: Sun Sep 7 02:04:10 MDT 2025               

Return to index directory

U

• u, Petr Jirk\ocirc, 4(2)191--205, 8(3)277--296
• U-resultant, 5(3)303--320, 15(2)123--142
• U., Orlando Villamayor, 39(3)465--491
• U1, 15(5)641--672
• U2, 15(5)641--672
• U:2005:CD, 39(3)465--491
• über, 4(1)93--97
• Ucha, J. M., 37(5)629--639
• Ucha-Enríquez, J. M., 32(6)677--685, 40(3)1076--1086, 41(3)317--335, see Castro-Jiménez, F. J., see Gago-Vargas, J.
• Ucha:2004:CBS, 37(5)629--639
• Ueno, Carlos, 79(z)57--64
• Ueno, Carlos, see Fernando, José F.
• UFD, 13(5)473--484
• Ufnarovski, Victor, 40(3)1087--1105
• Ufnarovski, Victor, see Torstensson, Anna
• Ulas, M., 89(z)216--226
• Ulas, M., see Tengely, Sz.
• Ulmer, Felix, 16(1)9--36, 16(1)37--74, 18(4)385--401, 22(2)179--200, 28(4)589--609, 34(5)355--398, 36(6)855--889, 44(12)1644--1656, 60(z)47--61
• Ulmer, Felix, see Boucher, Delphine, see Cormier, Olivier, see Singer, Michael F., see Van Hoeij, Mark
• Ulmer:1994:ILD, 18(4)385--401
• Ulmer:1996:NKA, 22(2)179--200
• Ulmer:2003:LST, 36(6)855--889
• Umeno, Takaji, 8(6)581--588
• Umeno:1989:SCA, 8(6)581--588
• UML, 46(2)119--149
• unambiguous, 23(2)301--314
• unary, 13(4)441--461
• unavoidable, 8(4)335--382
• unbounded, 10(3)327--334, 120(z)z--99999999
• uncertainty, 17(5)421--455
• unconditional, 20(1)1--42
• Uncu, Ali K., 131(z)z--99999999
• Uncu, Ali K., see Mandlmayr, Michael
• Uncu, Ali Kemal, 107(z)145--166
• Uncu, Ali Kemal, see Ablinger, Jakob
• uncurried, 21(1)15--40
• undecidability, 8(1)3--50, 14(5)437--458, 17(1)23--50
• undecidable, 7(5)457--472, 8(4)415--422, 11(4)349--368, 12(3)255--274, 14(4)359--370, 18(6)585--593, 20(1)43--60, 22(1)27--48, 23(4)399--412
• undergraduate, 23(5)445--446, 23(5)577--588
• underlying, 47(5)536--551
• Unexpected, 109(z)510--519
• unfailing, 21(4)475--506
• unfaithfully, 19(6)527--544
• unfalsified, 21(2)155--168
• unfamiliar, 8(1)101--140
• Unfold, 15(5)495--522
• unfoldings, 2(4)383--388
• Unger, W. R., 41(8)847--862, 93(z)148--160
• Unger, William R., 35(4)421--439, 95(z)26--38
• Unger, William R., see Cannon, John J., see Roney-Dougal, Colva M.
• Unger:2006:CCT, 41(8)847--862
• Unger:2019:ACS, 93(z)148--160
• uniaxial, 12(2)221--231
• unifiability, 8(1)51--100
• unifiability, A-, 21(2)211--244
• unification, AC-, 14(1)51--70
• unification, AC1-, 16(5)493--521
• Unification, AC-, 14(1)51--70
• unification, -, 16(5)493--521
• unification, E-, 14(4)303--320
• unification, pre-, 8(1)101--140
• unification, semi-, 37(4)455--484
• unification, weak-, 16(5)478--492
• unified, 6(2)305--322, 21(1)101--131, 27(1)49--131, 39(2)209--255, 109(z)88--115
• unifier, 4(2)191--205
• unifiers, E-, 23(1)1--22
• unifiers, pre-, 14(4)321--358
• uniform, 2(4)363--381, 4(3)391--396, 21(2)245--252, 37(4)455--484, 96(z)22--61
• uniformity, 37(3)403--413
• unifying, 15(5)495--522, 21(3)289--292, 36(1)271--285
• unilateral, 8(6)581--588
• unimodal, 74(z)346--366, 99(z)250--282
• unimodular, 18(4)385--401, 39(6)707--717, 41(2)196--209
• union, 15(3)331--348, 21(2)211--244, 31(3)343--356, 38(2)1025--1042, 113(z)148--170
• unique, 10(2)165--178, 18(4)385--401, 46(5)609--621, 77(z)175--188
• uniqueness, 15(3)251--266, 22(2)143--154
• unirational, 29(4)515--526, 41(11)1222--1244, 104(z)539--562
• unirationality, 23(2)267--286
• unit, 3(1)183--202, 5(1)261--266, 10(3)327--334, 15(1)85--90, 21(3)367--374, 22(3)315--344, 24(3)433--442, 89(z)94--108, 104(z)236--255
• Unitals, 31(1)37--53
• unitary, 4(2)191--205, 10(5)411--436, 15(2)235--249, 47(4)492--502
• unity, 15(3)365--370
• univariate, 4(1)21--33, 7(1)31--48, 9(3)281--300, 9(4)429--456, 13(1)25--40, 13(1)47--58, 15(4)393--414, 17(3)277--282, 19(5)409--434, 20(3)299--314, 20(4)363--398, 21(3)313--328, 21(4)377--396, 22(1)83--103, 22(3)235--246, 26(6)653--666, 28(1)243--264, 32(3)191--209, 33(5)627--646, 33(5)701--733, 34(1)59--81, 40(3)1087--1105, 43(2)118--139, 43(11)811--844, 46(8)889--903, 47(4)410--421, 47(7)843--858, 50(z)409--430, 53(z)64--80, 60(z)15--28, 68(z)84--119, 74(z)181--204, 80(z)844--874, 92(z)31--51, 93(z)200--220, 104(z)523--538, 105(z)4--27, 110(z)24--65, 115(z)142--173, 115(z)248--265, 128(z)z--99999999
• univariate, multi-, 44(8)972--999
• universal, 2(4)383--388, 6(2)183--208, 12(6)585--606, 26(3)329--338, 36(6)891--924, 41(10)1091--1104, 43(1)27--45, 44(5)517--526, 84(z)95--112, 121(z)z--99999999, 128(z)z--99999999
• universal-continuation, 8(6)605--628
• universally, 17(1)51--90, 43(6)406--421
• Universe, 7(3)371--425
• universes, 15(5)641--672
• University, 8(4)383--414
• UNIX, 7(2)163--178
• Unix, 19(1)159--174
• unknown, 2(2)201--206, 19(6)507--526, 45(11)1163--1183, 125(z)z--99999999
• unlabelled, 20(5)595--602
• Unlike, 15(5)641--672
• unmixed, 36(3)289--315, 36(3)425--442, 38(2)915--958, 46(8)919--942
• Unmixed, Mixed-, 33(4)447--465
• Unmixed--Mixed, 33(4)467--478
• unmixed-dimensional, 15(2)143--168, 31(6)631--649
• unnecessary, 11(3)205--212, 40(4)1131--1149
• unrelated, 41(2)245--254
• unsatisfiability, 4(2)233--254
• unskolemization, 15(5)571--606, 15(5)705--744
• unsorted, 8(4)383--414
• untimed, 22(5)475--520
• untyped, 8(6)651--680
• unusual, 2(2)201--206
• unwinding, 105(z)97--117
• up, Bottom-, 67(z)93--121
• Upgraded, 50(z)263--290
• upon, 12(6)655--668
• upper, 2(3)261--292, 3(1)203--216, 4(2)207--232, 10(5)395--404, 13(3)231--234, 13(3)255--299, 13(6)605--612, 18(3)183--186, 18(5)463--488, 23(5)445--446, 39(2)201--207, 98(z)47--64
• upper-bound, 103(z)280--299
• upward, 15(5)775--806
• Uray, M. J., 121(z)z--99999999
• Uray:2024:ANF, 121(z)z--99999999
• Urbain, Xavier, 38(1)873--897
• Urbain, Xavier, see Marché, Claude
• Urban, Josef, 128(z)z--z
• Urban, Josef, see Piepenbrock, Jelle
• Urroz, Jorge Jiménez, 105(z)64--70, see Gutierrez, Jaime
• usability, 17(4)311--320
• usable, 17(4)297--310
• usage, 19(1)269--282, 21(3)293--312
• use, 10(5)499--508, 11(3)291--305, 11(5)579--594, 12(4)397--414, 14(5)523--534, 15(5)641--672, 17(4)295, 17(4)297--310, 17(4)311--320, 17(4)321--340, 17(4)341--350, 17(4)351--369, 18(3)199--206, 18(6)497--502, 23(5)453--458, 25(2)239--262, 29(2)299--341, 30(1)37--61, 32(1)55--70, 35(2)73--106, 46(5)550--560, 61(z)12--30, 95(z)26--38
• used, 1(1)69--100, 2(2)201--206, 8(1)101--140, 10(2)203--208, 10(6)657--664, 12(6)655--668, 14(5)523--534, 47(5)536--551
• user, 2(2)179--200, 4(3)365--380, 6(1)83--98, 7(2)163--178, 7(5)487--508, 11(3)275--290, 12(2)197--220, 17(4)297--310, 17(4)311--320, 19(1)133--143, 19(1)159--174, 19(1)245--268, 21(4)427--440, 21(4)593--614, 24(3)235--265, 25(2)125--125, 25(2)127--160, 25(2)161--194, 25(2)263--284, 46(2)207--217, 46(6)685--698, 47(2)123--130, 47(5)536--551
• user-supplied, 7(2)163--178
• Ushakov, Alexander, 74(z)96--108, 84(z)84--94, 129(z)z--99999999
• Ushakov, Alexander, see Frenkel, Elizaveta, see Nikolaev, Andrey
• Ushakov:2025:QEL, 129(z)z--99999999
• Uslu, E. Ö, 74(z)408--424
• Uslu, E. Ö., see Odabas, A.
• usual, 15(5)607--640
• Uteshev, A. Yu, 28(1)45--88
• Uteshev, A. Yu., see Bikker, P.
• Uteshev, Alexei Yu, 25(5)587--618, 68(z)287--315
• Uteshev:1998:SMP, 25(5)587--618
• Uteshev:2015:MPQ, 68(z)287--315
• utilization, 61(z)85--99
• UTOPIST, 5(3)359--376