Index file section U for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
U
-
Ukkonen, E., 92(1)191--211
-
Ukkonen:1992:ASM, 92(1)191--211
-
Ulam, 95(2)307--321
-
Ullman, Daniel, 112(2)371--382, 119(2)311--321
-
Ullman, Daniel, see Fraenkel, Aviezri S.,
see Stromquist, Walter
-
ultimate, 82(1)19--33
-
ultra, 99(1)121--140
-
ultralinear, 88(2)351--363
-
ultrametric, 87(1)1--24
-
umbral, 117(1)z--z
-
unambiguity, 107(1)77--94, 120(2)197--213
-
unambiguous, 79(1)25--35, 81(2)311--316, 99(2)291--299, 107(1)77--94,
120(2)197--213
-
unary, 82(1)151--155, 115(2)261--275, 120(1)123--155, 129(2)337--367,
131(2)441--448, 134(1)225--251
-
unavailability, 128(1)179--210
-
unavoidable, 73(1)81--89
-
unbounded, 74(3)313--323, 78(2)357--362, 85(1)155--170, 92(1)87--105,
93(2)265--277, 99(1)105--119, 100(2)365--383, 104(1)109--128,
116(2)415--419, 124(2)273--295, 125(1)91--109, 127(1)53--67
-
unboundedness, 113(1)93--117
-
uncountable, 129(2)385--396
-
undecidability, 86(2)377--389, 87(1)25--41, 87(2)287--313, 93(1)1--41,
103(2)205--234, 103(2)409--420, 107(2)349--356, 116(2)317--337,
123(2)397--406, 132(1)85--112, 132(1)395--401
-
undecidable, 71(2)265--279, 71(3)281--346, 83(2)169--188, 87(1)25--41,
106(2)337--349, 121(1)71--88, 127(2)229--254, 132(1)85--112,
132(1)129--150, 134(1)79--86, 134(2)311--328, 134(2)365--385
-
underlined, 72(2)203--223
-
underlying, 84(2)281--292, 116(1)195--226, 125(2)345--353,
132(1)415--425
-
undirected, 106(2)265--281, 112(2)371--382
-
unfoldash, 75(1)139--156, 86(1)107--139, 105(1)57--84
-
unfold/fold, 75(1)139--156, 75(1)z--z, 86(1)107--139, 86(1)z--z,
105(1)57--84
-
unfolding, 75(1)157--215, 82(2)403--408, 105(1)57--84, 105(1)85--128,
122(1)97--117
-
unifiable, 113(1)3--34
-
unification, 72(2)133--146, 73(2)155--175, 75(1)157--215, 81(2)223--235,
85(2)231--251, 86(1)3--33, 87(1)25--41, 104(1)109--128,
112(1)99--143, 113(1)3--34, 114(2)273--298, 119(1)23--38,
120(1)1--44, 126(2)237--257, 131(1)139--179
-
unification, E-, 72(2)133--146
-
unification, Q-, 81(2)223--235
-
unification, Semi-, 81(2)169--187
-
unification, semi-, 81(2)169--187
-
unified, 77(1)131--159, 96(1)73--155, 96(1)z--z, 136(1)183--216
-
unifier, 75(1)85--110
-
unifiers, E-, 72(2)133--146
-
uniform, 73(1)91--100, 75(1)15--43, 78(2)357--362, 79(1)25--35,
85(2)305--331, 92(1)165--179, 98(2)289--319, 104(2)263--283,
118(2)231--262, 120(1)69--81, 129(2)207--262, 129(2)263--278,
130(1)85--99, 132(1)243--258, 134(1)107--117, 134(2)403--413,
134(2)529--536, 136(2)333--360
-
uniform, P-, 79(1)25--35
-
uniformity, 78(2)357--362, 79(2)323--339, 134(2)529--536
-
uniformly, 91(2)239--264
-
unifying, 107(2)277--303
-
unimodal, 133(1)49--64
-
unimodal, S-, 133(1)49--64
-
union, 74(3)325--328, 76(1)53--91, 76(2)273--284, 76(2)309--322,
77(3)291--308, 79(1)137--150, 88(2)351--363, 91(2)239--264,
97(2)217--231, 99(2)177--211, 110(1)99--129, 113(2)293--348,
116(1)33--57, 124(2)195--219, 126(1)31--52, 126(2)183--235,
131(2)311--330, 132(1)71--84, 134(1)225--251, 136(2)333--360
-
unique, 81(2)237--256, 107(2)357--363, 110(1)79--98, 127(1)53--67,
134(1)63--78
-
unique, non-, 134(2)287--309
-
unique-typed, 134(2)287--309
-
uniquely, 123(1)167--181
-
uniqueness, 78(1)159--187, 83(1)71--96, 94(2)175--197, 107(2)253--276
-
unit, 80(1)105--115, 81(2)289--294, 84(1)127--150, 92(1)191--211,
108(2)357--363, 123(1)61--87
-
unit-cost, 100(1)1--44, 132(1)377--385
-
universal, 70(1)3--34, 70(1)35--64, 77(1)131--159, 77(3)291--308,
79(1)227--239, 82(2)303--327, 89(2)207--343, 91(1)23--55,
93(1)43--74, 94(1)37--62, 96(2)411--419, 97(1)157--173,
98(1)115--133, 100(1)137--156, 100(2)385--417, 107(1)121--133,
108(2)331--344, 110(1)53--78, 111(1)89--101, 111(1)211--252,
114(1)63--91, 115(1)151--189, 121(1)441--448, 122(1)263--283,
123(2)199--237, 124(2)297--328, 132(1)113--128
-
universal, 1/-, 119(1)223--232
-
universality, 119(1)223--232, 126(2)183--235, 129(2)419--424
-
universality, -, 119(1)223--232
-
universally, 93(1)1--41
-
universe, 89(1)107--136, 124(1)93--125
-
unknown, 76(2)223--242, 130(1)17--47, 130(1)49--72, 130(1)125--138
-
unlabelled, 76(2)223--242
-
unordered, 85(1)75--95
-
unrestricted, 93(1)159--167, 103(2)283--309, 131(2)311--330,
132(1)71--84
-
unsatisfiability, 122(1)263--283
-
unsolvability, 100(2)267--302, 108(1)17--24, 121(1)89--112
-
unsorted, 93(2)201--225, 108(2)371--384
-
unstratifiable, 78(1)85--112, 78(1)z--z
-
unstructured, 131(1)219--241
-
untopological, 85(2)353--357
-
untyped, 83(1)29--56, 121(1)169--178, 122(1)119--136, 129(1)39--77
-
up, Bottom-, 124(1)93--125, 127(1)69--98
-
up, bottom-, 74(3)273--298, 84(2)165--177, 105(1)27--56,
106(1)21--60, 106(1)135--181, 124(1)93--125, 127(1)69--98
-
up, look-, 92(1)107--117
-
up, speed-, 101(1)59--98, 118(1)49--65, 132(1)387--394
-
UP-HEAPSORT, BOTTOM-, 118(1)81--98
-
up-heapsort, bottom-, 118(1)81--98
-
update, 76(1)93--114, 95(1)1--42, 108(2)371--384, 118(2)231--262,
130(1)101--123, 130(1)139--161, 133(2)205--265
-
upper, 72(2)251--264, 74(2)121--162, 74(3)329--340, 82(1)113--129,
86(2)267--275, 91(2)265--284, 98(2)289--319, 100(1)185--204,
100(1)223--241, 102(2)253--281, 103(2)311--334, 106(2)221--241,
106(2)351--360, 108(2)251--270, 108(2)311--329, 110(1)1--51,
111(1)59--88, 112(2)355--369, 112(2)419--420, 116(2)305--316,
119(2)267--291, 120(2)169--195, 123(1)95--115, 123(1)145--149,
129(1)193--206, 129(2)263--278, 129(2)279--291, 130(1)17--47,
130(1)73--84, 130(1)85--99, 133(1)105--140, 134(1)253--262
-
upright, 108(2)311--329
-
upside, 108(2)311--329
-
Upsilon-Omega, Lambda-, 79(1)37--109
-
upward, 81(1)127--135
-
urn, 131(2)375--414
-
Urzyczyn, P., 93(1)1--41
-
Urzyczyn, P., see Kfoury, A. J.
-
use, 79(1)241--256, 124(2)297--328
-
used, 79(1)111--135, 117(1)199--202
-
useful, 71(3)419--424, 98(1)65--76, 120(2)197--213
-
Usefulness, 88(1)59--82
-
user, 71(2)209--226, 130(1)175--201
-
user-defined, 116(1)59--94
-
using, 71(3)347--380, 77(3)331--343, 79(1)209--226, 82(1)165--176,
90(2)309--353, 91(1)23--55, 99(2)213--230, 100(1)253--265,
101(2)337--359, 105(1)141--166, 116(2)291--303, 117(1)99--112,
129(2)407--417, 131(1)29--94, 135(2)405--422
-
Uspensky, 130(2)237--z
-
Uspensky, Vladimir A., 130(2)239--319
-
Uspensky:1994:GIT, 130(2)239--319