Index file section U for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
U
-
über, 61(2)279--282
-
Ukkonen, Esko, 57(1)131--145
-
Ukkonen, Esko, see Tarhio, Jorma
-
ultimate, 46(1)83--89
-
unambiguous, 41(1)51--59, 47(1)107--110, 51(1)215--220, 52(1)59--75,
60(3)285--296
-
unary, 47(2)149--158, 53(2)243--255, 302(1)497--498
-
unavoidable, 47(2)159--168
-
unbounded, 38(1)99--116, 40(2)211--235, 52(1)91--143, 59(3)211--234,
63(2)185--202, 68(3)277--302
-
undecidability, 44(2)237--245, 47(2)225--232, 59(3)287--296
-
undecidable, 59(3)287--296, 64(3)305--329, 67(2)143--172, 68(3)319--332
-
undirected, 47(2)205--218, 47(3)277--298
-
unfailing, 67(2)203--260
-
unfolding, 42(1)1--122
-
unification, 43(2)189--200, 56(3)277--288, 56(3)345--353, 59(0)3--209,
59(1)3--23, 59(1)181--209
-
unification, E-, 59(1)3--23, 67(2)203--260
-
unification, E-, 67(2)203--260
-
unified, 37(1)31--50, 42(1)1--122, 48(1)75--94, 63(1)91--111
-
unifiers, 43(2)189--200
-
uniform, 39(2)135--153, 43(2)169--188, 46(1)101--106, 49(2)87--112,
49(2)z--z, 57(2)251--282, 61(1)1--16, 62(3)251--266, 68(3)319--332
-
uniform, k-, 61(1)1--16
-
unifying, 40(2)149--162
-
union, 38(1)55--68, 38(2)223--247, 39(2)327--332, 46(1)47--51,
61(2)103--119, 61(2)199--224, 63(3)303--331
-
union, set-, 68(1)57--70
-
unique, 38(1)35--53, 40(1)3--11, 47(1)85--93, 67(2)173--201,
68(3)253--265
-
uniqueness, 39(2)327--332
-
unit, 51(3)309--324
-
unit, multi-, 52(1)155--163
-
unit-cost, 39(2)89--106
-
unitary, 56(3)345--353
-
Units, 49(1)13--22
-
univariate, 44(1)1--16, 47(1)99--105, 52(1)77--89
-
universal, 41(2)305--318, 41(2)331--339, 45(2)159--192, 48(1)127--132,
51(1)229--238, 55(2)291--348
-
universally, 44(2)127--153
-
universe, 36(1)1--19
-
unprovable, 35(2)345--348
-
unrelativized, 35(2)245--260
-
unrepetitive, 56(2)233--241
-
unrestricted, 35(2)313--327, 39(2)327--332
-
unrollings, 37(2)183--216
-
unsolvable, 48(1)95--100
-
unstable, 52(3)269--280
-
Untermonoiden, 61(2)279--282
-
until, 57(2)317--325
-
untyped, 45(2)121--157, 65(3)291--342
-
unwind, 39(2)189--206
-
up, blow-, 49(2)217--237
-
up, bottom-, 37(2)123--150, 52(1)91--143
-
update, 58(1)57--68, 58(1)379--397, 62(1)67--104
-
updating, 58(1)379--397
-
Upfal, E., 53(2)281--293
-
Upfal, E., see Peleg, D.
-
Upfal, Eli, 58(1)57--68
-
Upfal, Eli, see Borodin, Allan
-
upper, 41(2)247--269, 46(2)107--140, 47(2)149--158, 49(2)217--237,
56(2)211--222, 58(1)263--324, 60(3)285--296, 61(2)149--174,
66(1)1--14, 67(1)55--63
-
Urbanek, F. J., 40(2)315--317, 44(2)229--236
-
Urbanek:1985:GNF, 40(2)315--317
-
Urbanek:1986:GNF, 44(2)229--236
-
Urquhart, A., 66(1)87--97
-
Urquhart:1989:CGS, 66(1)87--97
-
Urrutia, J., 53(2)345--352
-
Urrutia, J., see Santoro, N.
-
Urzyczyn, P., 60(1)83--108
-
Urzyczyn, P., see Tiuryn, J.
-
usable, re-, 52(1)155--163
-
use, 48(2)201--228
-
using, 38(2)269--291, 45(2)193--260, 54(1)3--28
-
usual, 45(1)1--61
-
utilized, 35(2)245--260