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