Index file section U for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
U
-
UCT, UET-, 162(2)323--340
-
Uehara, Ryuhei, 215(1)89--98
-
Uehara:1999:FRN, 215(1)89--98
-
Uemura, Yasuo, 210(2)277--303
-
Uemura:1999:TAG, 210(2)277--303
-
Ueno, Shuichi, 137(2)253--268
-
Ueno, Shuichi, see Takahashi, Atsushi
-
UET--UCT, 162(2)323--340
-
UET-UCT, 162(2)323--340
-
Ukkonen, Esko, 186(1)231--248
-
Ukkonen, Esko, see Ohlebusch, Enno
-
UL-event, 153(1)129--170
-
Ulam, 182(1)217--232
-
Ullman, J. D., 146(1)269--310
-
Ullman, J. D., see Naughton, J. F.
-
Ulmer, Felix, 187(1)3--6
-
Ulmer, Felix, see Geiselman, Willi
-
ultimate, 215(1)31--49
-
ultimement, 215(1)31--49
-
ultrametric, 151(1)29--36, 170(1)349--381, 193(1)113--127
-
un, 204(1)87--98
-
unambiguous, 161(1)141--156, 194(1)137--161
-
unary, 146(1)243--268, 160(1)305--320, 167(1)171--192, 180(1)181--201,
184(1)145--193, 206(1)317--329, 216(1)311--362, 216(1)363--373
-
unavoidable, 201(1)151--170
-
unbalanced, 162(2)283--296
-
Unbordered, 205(1)337--344
-
unbounded, 138(2)273--314, 161(1)141--156, 174(1)217--230,
179(1)217--250
-
unbounded-state, 179(1)333--351
-
uncertain, 171(1)247--280, 197(1)243--z
-
uncertainty, 140(2)301--317, 161(1)235--261, 171(1)3--24,
171(1)221--246, 171(1)247--280, 197(1)243--z
-
unconditional, 192(2)259--286
-
uncountable, 179(1)319--331
-
uncrossing, 157(2)215--225
-
undecidability, 138(1)35--65, 139(1)131--162, 148(2)281--301,
160(1)185--216, 164(1)29--40, 164(1)123--140, 166(1)291--300,
168(2)z--z, 174(1)217--230, 174(1)269--274, 180(1)203--215,
197(1)245--z, 207(1)43--72
-
undecidable, 142(2)257--276, 160(1)145--184, 174(1)217--230,
176(1)67--87, 180(1)203--215, 204(1)29--34, 208(1)179--190
-
undefinedness, 175(1)93--125
-
underdiagonal, 218(2)249--262
-
underlining, 142(2)277--297
-
underlying, 138(2)273--314
-
understanding, 173(1)209--233
-
undirected, 159(1)65--79, 161(1)289--300, 162(2)297--322,
169(2)147--160, 172(1)121--134, 180(1)169--180, 181(1)107--118,
192(1)3--29
-
(un)directed, 159(1)65--79
-
unequal, 144(1)161--197
-
unfaithful, 154(1)23--39
-
unfold, 169(1)113--121
-
unfold/fold, 142(1)89--124
-
unfolding, 152(2)285--303, 153(1)171--210, 184(1)105--143, 190(1)61--85
-
Unfolding--definition--folding, 142(1)89--124
-
unfolding-definition-folding, 142(1)89--124
-
unicité, 159(1)105--128
-
unidirectional, 177(2)459--486
-
unification, 142(1)27--57, 142(2)229--255, 167(1)95--130, 169(1)81--112,
176(1)111--158, 185(1)47--62, 185(2)393--410, 194(1)243--z--1,
198(1)1--47, 198(1)49--98, 206(1)1--50, 208(1)111--148,
222(1)133--152, 224(1)319--352
-
unification;, AC-, 142(2)209--227
-
unification, -, 222(1)133--152, 224(1)319--352
-
unification, {E}-, 139(1)207--242, 166(1)291--300
-
unification;, E-, 139(1)207--242, 166(1)291--300
-
unified, 150(1)1--55, 156(1)217--261, 176(1)337--345, 190(2)363--396
-
uniform, 142(2)257--276, 144(1)67--99, 144(1)161--197, 145(1)111--145,
145(1)381--390, 147(1)149--163, 151(1)277--294, 163(1)117--144,
180(1)17--45, 180(1)229--241, 183(2)187--214, 184(1)237--245,
188(1)231--240, 194(1)163--182, 196(1)259--288, 196(1)395--415,
203(1)69--90, 206(1)219--256, 218(2)233--248, 219(1)301--318,
220(1)67--91, 221(1)457--493
-
uniform, Non-, 218(2)263--271
-
uniform, non-, 217(1)81--98
-
uniform;, non-, 180(1)229--241
-
uniform, q-, 180(1)81--113
-
uniforme, 159(1)43--63
-
uniformities, 151(1)277--294
-
uniformizing, 141(1)69--107
-
uniformly, 142(2)257--276, 154(2)247--282, 159(1)43--63, 185(1)129--157
-
unifying, 149(1)101--128, 176(1)337--345, 184(1)1--59, 190(2)363--396
-
unimodal, 155(2)321--347
-
union, 137(2)237--251, 145(1)71--93, 154(2)165--181, 160(1)1--85,
161(1)191--203, 170(1)83--128, 173(2)485--511, 179(1)251--271,
185(1)47--62, 192(2)287--314
-
union;, Omega-, 173(2)485--511
-
Union-Find, 154(2)165--181, 203(1)123--141
-
uniprocessor, 169(1)39--65
-
unique, 145(1)329--344, 147(1)69--85, 172(1)309--321, 176(1)205--234
-
uniquely, 145(1)147--157
-
uniqueness, 139(1)69--113, 145(1)71--93, 146(1)311--320, 155(1)267--276,
159(1)105--128, 194(1)240--z--1, 216(1)395--397
-
unit, 151(1)257--276, 155(2)291--319, 159(1)105--128, 174(1)23--65,
175(2)349--372, 178(1)119--127, 217(1)3--30, 219(1)421--437
-
unit-communication-time, 162(2)323--340
-
unit-square, 140(2)231--247
-
unital, 184(1)61--104
-
unitary, 138(1)211--239, 178(1)119--127, 187(1)123--145
-
UNITY, 139(1)27--67, 183(2)253--279
-
univariate, 157(2)259--266, 191(1)1--36
-
universal, 138(1)67--100, 140(1)5--52, 152(1)67--89, 155(2)349--363,
163(1)1--54, 166(1)263--290, 168(2)215--240, 168(2)241--255,
168(2)257--266, 168(2)267--301, 168(2)405--416, 168(2)473--480,
168(2)z--z, 177(1)217--283, 179(1)421--425, 181(2)289--306,
193(1)113--127, 201(1)137--150, 210(1)217--223
-
universality, 168(2)267--301, 168(2)303--320, 172(1)121--134,
175(1)3--13, 190(2)167--210
-
universally, 165(1)57--74, 171(1)147--177, 194(1)247--z--1
-
universe, 142(1)27--57
-
universelles, 201(1)137--150
-
University, 197(1)z--z
-
unknown, 157(1)79--90, 178(1)225--236
-
unknown, duration-, 174(1)193--202
-
unknown-terrain, 140(2)249--263
-
unlabeled, 143(2)319--333
-
unmatched, 155(1)85--109
-
unnecessary, 142(1)89--124
-
unnested, 149(1)67--99
-
unordered, 192(2)201--231
-
unpredictable, 190(1)61--85
-
unreliable, 209(1)331--345
-
unrestrained, 160(1)185--216
-
unrestricted, 147(1)31--54, 176(1)39--65, 180(1)203--215
-
unsatisfied, 209(1)237--260
-
unstable, 141(1)53--67
-
unstratified, 146(1)145--184
-
unstructured, 140(2)319--331
-
until, 160(1)271--281
-
untimed, 138(2)243--271, 138(2)273--314, 170(1)1--46
-
untyped, 140(1)5--52, 155(1)221--264, 179(1)137--202
-
unwinding, 177(1)27--58
-
up, Bottom-, 146(1)145--184
-
up, bottom-, 137(1)3--23, 142(1)125--138, 146(1)145--184,
156(1)71--97
-
up;, bottom-, 156(1)71--97
-
up, speed-, 188(1)45--57
-
up;, speed-, 188(1)45--57, 188(1)59--78
-
update, 144(1)125--159, 149(1)179--199, 154(2)165--181, 155(1)111--140,
160(1)217--239, 168(2)405--416, 174(1)123--136, 192(2)259--286,
197(1)95--109, 197(1)243--z
-
update-in-place, 149(1)179--199
-
updating, 172(1)121--134, 201(1)85--97, 201(1)249--262
-
upgrades, 196(1)319--345
-
upgrading, 221(1)139--155
-
upon, 195(2)155--182
-
upper, 140(2)265--289, 145(1)45--69, 145(1)271--290, 148(1)141--156,
151(1)163--193, 156(1)315--325, 157(2)161--183, 158(1)143--159,
163(1)177--192, 165(2)483--490, 168(1)105--119, 175(2)283--292,
181(1)119--139, 184(1)61--104, 193(1)1--51, 194(1)163--182
-
upward, Strictly-, 203(1)51--67
-
upward-closure, 151(1)37--78
-
urn, 144(1)221--249
-
Urquhart, 198(1)201--209
-
Urrutia, Jorge, 175(2)239--255
-
Urrutia, Jorge, see Bauernöppel, Frank
-
use, 157(2)215--225, 181(1)3--15, 194(1)242--z--1, 219(1)451--465
-
useful, 155(1)85--109
-
user, 145(1)159--187, 170(1)245--276, 171(1)281--302, 192(2)315--351
-
USF, 139(1)1--25
-
using, 140(1)95--138, 142(2)299--368, 145(1)189--228, 148(1)57--65,
158(1)1--33, 170(1)245--276, 173(1)253--281, 178(1)1--36,
178(1)119--127, 185(1)47--62, 187(1)249--262, 194(1)241--z,
194(1)246--z, 196(1)241--258, 199(1)145--166, 200(1)261--287,
205(1)307--316, 210(2)305--325, 218(2)233--248, 220(1)3--30,
220(1)31--65, 220(2)377--408, 222(1)153--179
-
Uspensky, Vladimir A., 207(2)263--317
-
Uspensky, Vladimir A., see Muchnik, Andrei A.
-
Utard, Gil, 189(1)71--107
-
Utard, Gil, see Bougé, Luc
-
utility, 187(1)221--230
-
UTM(10,3), 168(2)215--240
-
UTM(2,18), 168(2)215--240
-
UTM(24,2), 168(2)215--240
-
UTM(3,10), 168(2)215--240
-
UTM(4,6), 168(2)215--240
-
UTM(5,5), 168(2)215--240
-
UTM(7,4), 168(2)215--240