Last update: Tue Dec 17 02:02:04 MST 2019
Return to index directory
U
-
Uchino, Hiroki, 87(2)155--164
-
Uchino, Hiroki, see Umeo, Hiroshi
-
Ultraproducts, 55(3)321--348
-
Umeo, Hiroshi, 52(1)257--275, 58(3)421--435, 58(3)z--z, 74(4)603--623,
78(3)449--465, 87(2)155--164, 91(1)161--178
-
Umeo, Hiroshi, see Kutrib, Martin
-
Umeo:2002:DRT, 52(1)257--275
-
Umeo:2003:RTG, 58(3)421--435
-
Umeo:2006:SEM, 74(4)603--623
-
Umeo:2007:SEO, 78(3)449--465
-
Umeo:2008:NTO, 87(2)155--164
-
Umeo:2009:SFS, 91(1)161--178
-
UMFFs, 97(3)295--309
-
UML, 93(1)289--303
-
Unambiguous, 91(2)231--249
-
Unary, 78(3)343--368, 91(2)231--249, 96(1)71--88
-
Unavoidable, 81(1)173--181
-
Unbounded, 63(2)221--240, 85(1)425--440
-
Uncertain, 71(1)27--36
-
Uncertainty, 82(3)265--288
-
Undecidability, 54(2)213--220, 73(1)119--125, 82(1)171--184,
89(2)307--312, 92(1)1--25
-
Undecidable, 91(2)305--323, 94(1)63--99
-
understanding, 55(3)387--403, 62(1)69--121
-
Unequal, 73(1)107--117
-
Unfolding, 47(3)231--245, 47(3)259--270, 53(3)281--314, 62(2)221--241,
66(4)415--439, 70(1)49--73, 86(3)299--323, 94(3)331--360,
94(3)439--471, 95(1)219--244
-
Unification, 41(4)393--414, 49(4)313--324, 55(2)115--128, 62(3)395--407,
75(1)107--121, 81(4)473--484
-
Uniform, 45(3)231--235, 64(1)341--351, 80(1)169--197, 84(1)61--79
-
uniform, non-, 53(2)105--129
-
Unifying, 54(1)67--88, 78(4)543--559, 80(1)91--110
-
Unique, 53(1)79--104, 97(3)295--309
-
Unit, 74(4)391--408, 92(3)233--257
-
Universal, 43(1)245--267, 49(1)103--122, 50(3)325--359, 51(1)135--156,
58(3)295--320, 64(1)353--367, 67(1)287--301, 83(1)177--196,
87(1)117--136, 91(1)123--144, 91(1)179--195, 91(2)197--230,
91(2)357--394
-
Universality, 49(1)1--15, 52(1)81--132, 74(4)463--490, 74(4)563--578,
74(4)z--z, 82(1)171--184, 89(4)419--450, 91(1)53--77
-
Unordered, 66(1)33--52
-
Unorthodox, 56(3)211--242
-
Unranked, 92(1)103--130
-
Unsoundness, 81(1)173--181
-
Unsupervised, 86(4)411--428, 87(3)465--481, 91(3)547--562,
96(1)153--179
-
Until, 82(1)127--140
-
Untraceable, 55(3)307--320
-
Untyped, 77(4)345--395
-
Up, Look-, 68(3)207--220
-
up, Pick-, 71(1)27--36
-
up, Speeding-, 56(1)89--103
-
update, 44(1)95--131, 49(4)301--312, 62(3)377--393, 72(1)347--361,
94(1)49--61
-
Updating, 89(2)313--329
-
Upper, 69(3)331--342
-
UPSILON, 50(3)325--359
-
Urban, C., 45(1)123--155
-
Urban:2001:SNC, 45(1)123--155
-
Urbig, Diemo, 67(1)187--201, 67(1)271--285
-
Urbig, Diemo, see Schröter, Kay
-
Urbig:2005:WBN, 67(1)271--285
-
Urzyczyn, Pawe{\l}, 45(1)z--z, 65(1)z--z,
see Girard, Jean-Yves,
see Hofmann, Martin
-
Use, 41(4)415--431, 60(1)173--186, 78(4)575--594, 81(1)165--172,
89(1)45--67, 89(4)479--510
-
Used, 51(1)201--214
-
Useful, 88(4)469--495
-
User, 47(1)137--154, 87(3)483--492, 89(2)189--206
-
User-Level, 89(2)189--206
-
Userash, 78(4)487--505
-
using, 41(4)433--447, 42(2)129--148, 47(1)1--13, 47(1)119--135,
47(3)295--306, 47(3)325--335, 48(1)1--7, 48(4)295--314,
50(2)155--174, 55(2)187--202, 55(2)203--221, 57(2)345--370,
58(2)189--202, 60(1)143--157, 61(3)379--388, 62(2)221--241,
63(1)17--39, 63(1)41--63, 63(4)385--410, 65(4)291--305,
67(1)233--247, 67(1)287--301, 68(3)207--220, 69(1)219--249,
70(3)171--184, 70(4)317--331, 71(1)63--82, 72(1)109--122,
73(4)583--598, 75(1)483--504, 76(1)25--37, 76(1)75--89, 78(1)1--33,
78(2)239--255, 78(3)369--396, 78(4)561--573, 80(4)475--496,
82(1)105--112, 84(3)291--303, 85(1)465--479, 86(1)93--111,
86(1)175--189, 87(3)269--285, 87(3)313--329, 87(3)447--463,
91(3)507--522, 93(1)111--125, 93(1)273--288, 94(2)133--146,
94(3)387--412, 94(3)413--437, 94(3)439--471, 95(1)103--128,
95(2)245--262, 96(1)49--59, 96(1)195--209, 97(1)199--214,
97(4)381--403
-
Utilities, 67(1)271--285