Index file section U for tcs2000.bib

Last update: Fri Oct 18 02:03:45 MDT 2024               

Return to index directory

U

• Uehara, Ryuhei, 230(1)131--147
• Uehara:2000:IPD, 230(1)131--147
• Uiterwijk, J. W. H. M., 230(1)195--206
• Uiterwijk, J. W. H. M., see Breuker, D. M.
• Uiterwijk, Jos W. H. M., 252(1)83--104, 252(1)121--149, 313(3)511--525
• Uiterwijk, Jos W. H. M., see Breuker, Dennis M., see Gao, Xinbo, \see{Winands, Mark H. M.
• ukasiewicz, 307(2)221--239
• Ukkonen, Esko, 328(1)135--149
• Ukkonen, Esko, see Tamm, Hellis
• Ulam, 230(1)149--166
• Ulam, Renyi-, 314(1)45--55
• Ulidowski, Irek, 239(1)97--139
• Ulidowski:2000:FAS, 239(1)97--139
• Ullman, Jeffrey D., 239(2)189--210
• Ullman:2000:IIU, 239(2)189--210
• ultimate, 261(2)267--295, 326(1)419--429
• unambiguity, 327(3)349--373
• Unambiguous, 297(1)37--81
• unary, 47(2)149--158, 266(1)59--79, 295(1)189--203, 302(1)497--498, 314(1)1--43, 324(1)87--105
• unbounded, 241(1)191--209, 243(1)307--338, 320(2)199--212
• uncaught, 277(1)185--217
• uncompletable, 255(1)151--162
• uncomputability, 317(1)105--114, 317(1)227--249
• Uncomputably, 235(1)145--162
• unconditionally, 320(2)269--291
• uncountably, 321(2)271--281
• undecidability, 231(2)217--251, 233(1)51--74, 256(1)23--30, 270(1)969--976, 310(1)393--456
• undecidable, 258(1)453--490, 275(1)463--479, 297(1)337--354, 301(1)79--101, 303(2)417--430, 306(1)101--112, 314(3)445--449, 319(1)127--143
• Underspecification, 266(1)935--950
• Understanding, 290(1)779--830
• Underwood, Judith, 232(1)55--90
• Underwood, Judith, see Caldwell, James L.
• Unger, Walter, 264(1)1--2, 285(1)3--24, 285(1)89--99, 326(1)137--153
• Unger, Walter, see Böckenhauer, Hans-Joachim, see Freivalds, R{\=u}si{\c{n}}{\v{s}}, see Seibert, Sebastian
• Uni-transitional, 281(1)537--553
• unification, 243(1)167--184, 254(1)187--223, 275(1)463--479, 302(1)275--294, 323(1)473--497
• unification, ACI-, 238(1)131--159
• unification, -, 243(1)167--184
• unified, 238(1)81--130, 281(1)499--536
• uniform, 232(1)273--298, 263(1)145--158, 266(1)631--652, 276(1)147--181, 281(1)471--498, 284(2)199--206, 289(2)879--895, 292(1)299--316, 292(2)377--385, 297(1)385--397, 307(2)241--256, 313(2)229--265
• uniformément, 250(1)265--332
• uniformly, 255(1)163--191, 298(2)303--315, 299(1)1--36
• unifying, 298(1)253--272, 308(1)429--447
• unilateral, quasi-, 257(1)153--166
• union, 241(1)191--209, 263(1)247--254, 272(1)197--221, 272(1)341--398, 288(2)237--254, 290(1)291--353, 307(3)493--502
• unipolar, 318(1)181--196
• unique, 238(1)483--488, 255(1)641--648, 258(1)169--208, 273(1)47--67, 305(1)433--455, 319(1)455--482
• uniquely, 304(1)185--200, 305(1)187--219, 329(1)271--284
• Unit, 294(1)269--305
• unity, 237(1)447--454
• universal, 249(1)3--80, 254(1)273--296, 257(1)153--166, 264(1)3--23, 289(1)485--501, 296(1)117--144, 296(2)269--293, 296(2)327--364, 316(1)297--321
• universal, computation-, 231(2)181--191
• universality, 231(2)157--170, 231(2)275--296, 292(3)711--721
• universally, 304(1)471--476
• universe, 290(1)1021--1056
• unknown, 302(1)337--364
• unpredictability, 304(1)431--441
• unreliable, 270(1)877--893, 297(1)337--354
• unsatisfiable, 289(1)503--516
• Unsupervised, 287(1)187--207
• untyped, 269(1)23--46, 272(1)247--292
• Updatable, 321(2)291--345
• update, 254(1)591--661, 266(1)819--838, 268(1)3--16, 287(2)393--418, 299(1)289--306
• updated, 297(1)425--445
• updating, 233(1)191--199
• upper, 47(2)149--158, 233(1)19--32, 234(1)109--133, 235(2)219--223, 265(1)187--197, 271(1)69--95
• upward, 298(1)5--19
• Urban, Christian, 323(1)473--497
• Urban:2004:NU, 323(1)473--497
• urgency, 258(1)393--407
• Uribe, Tomás E., 253(1)27--60, see Bj{\o}rner, Nikolaj S.
• Urso, Pascal, 323(1)443--471
• Urso:2004:SGM, 323(1)443--471
• used, 315(2)405--417
• used, Least-recently-, 326(1)293--327
• Ushakov, M., 304(1)1--33
• Ushakov, M., see Muchnik, An.
• using, 231(1)103--111, 231(2)193--203, 236(1)133--178, 238(1)131--159, 239(2)189--210, 240(2)487--494, 249(2)305--311, 252(1)83--104, 253(1)27--60, 262(1)569--582, 267(1)83--104, 267(1)141--155, 270(1)843--856, 281(1)369--421, 282(1)53--99, 283(2)381--418, 284(2)373--396, 291(2)203--218, 299(1)495--508, 302(1)475--480, 303(1)187--213, 306(1)69--84, 311(1)1--70, 313(1)133--144, 313(2)267--294, 315(2)469--510, 322(1)41--67
• Uustalu, Tarmo, 272(1)315--339, 327(1)155--174
• Uustalu, Tarmo, see Matthes, Ralph
• Uustalu:2002:LGF, 272(1)315--339