Index file section U for jsymcomp.bib
Last update: Wed Mar 6 02:01:19 MST 2024
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
-
uncertainty, 17(5)421--455
-
unconditional, 20(1)1--42
-
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
-
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
-
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
-
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
-
Uray:2024:ANF, 121(z)z
-
Urbain, Xavier, 38(1)873--897
-
Urbain, Xavier, see Marché, Claude
-
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
-
Ushakov, Alexander, see Frenkel, Elizaveta,
see Nikolaev, Andrey
-
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