Last update: Thu Jun 29 02:46:00 MDT 2023
Return to index directory
U
-
Uçkun, Mustafa, 133(4)433--448,
see Öztürk, Mehmet Ali
-
Ultimately, 116(1)175--187
-
Umadevi, D., 126(1)83--101
-
Umadevi, D., see Nagarajan, E. K. R.
-
Umadevi, Dwaraganathan, 137(3)413--424, 152(2)167--183
-
Umadevi:2015:CRS, 137(3)413--424
-
Umadevi:2017:CRA, 152(2)167--183
-
UML, 115(4)327--356
-
Unambiguous, 98(2)143--166, 114(2)129--147, 162(1)43--72
-
Unary, 104(1)1--15, 112(2)119--135, 123(1)97--106
-
Uncertain, 133(1)19--34
-
Uncertainty, 108(3)287--304, 123(4)401--416, 129(1)69--84,
142(1)161--181, 163(3)253--266, 166(3)273--296
-
Unconventional, 134(1)97--110
-
Uncovering, 113(2)97--115
-
Undecidability, 115(1)75--85, 131(2)217--240, 164(1)1--15,
164(4)375--386, 170(1)93--110
-
Undecidable, 110(1)197--200, 154(1)37--46
-
Underlying, 119(1)61--86
-
Understand, 157(4)463--475
-
Understanding, 131(3)425--440
-
Unfoldings, 128(1)97--111
-
Unified, 120(3)359--374, 129(1)177--192, 135(3)331--340, 145(4)429--470,
162(4)311--359
-
Uniform, 109(2)179--188, 136(3)285--296
-
Uniformity, 134(1)129--152
-
Uniformity, Semi-, 134(1)129--152
-
Unifying, 119(3)357--372, 127(1)413--428
-
union, 105(1)163--187, 109(2)161--178, 110(1)231--239, 116(1)79--92,
121(1)1--41, 121(1)227--252, 121(1)275--302, 170(1)39--92
-
Union/Find, 169(1)57--84
-
Unique, 110(1)183--195, 110(1)197--200
-
Uniqueness, 155(4)407--423
-
Unit, 119(2)149--162
-
Univariate, 104(4)329--348
-
Universal, 126(2)247--261, 129(1)177--192, 134(1)167--182, 138(1)17--29,
138(1)227--250, 138(1)251--258, 139(4)329--346, 149(4)451--470,
165(2)139--156, 167(4)287--321
-
Universality, 110(1)329--342, 116(1)223--236, 138(1)77--84,
138(1)113--125, 144(2)205--212, 153(1)87--103, 155(1)163--185
-
Universe, 108(3)337--369, 166(3)227--249
-
unknown, 149(1)61--100, 160(1)81--100
-
Unranked, 109(4)405--424, 136(1)37--58
-
Unreliable, 104(3)219--225
-
Unsatisfiability, 109(1)83--119
-
unstable, 100(1)159--180, 110(1)45--57
-
Unsupervised, 106(1)45--73, 119(1)61--86, 119(3)319--336, 124(1)63--90,
130(2)201--218, 146(4)379--402
-
Untrusted, 149(1)61--100
-
Up, Bottom-, 109(4)405--424
-
up, Bottom-, 103(1)247--287
-
update, 102(1)35--48, 119(3)337--355
-
Uplinks, 103(1)247--287
-
Upper, 130(3)317--342, 143(1)89--100, 163(4)351--374, 166(3)273--296
-
Urban, Roman, 168(1)79--88
-
Urban:2019:NDC, 168(1)79--88
-
Urbanowicz, Jerzy, 114(3)345--357, 114(3)z--z
-
Urbanowicz, Jerzy, see Jaworski, Jerzy,
see Spie{\.z}, Stanis{\l}aw
-
Urzyczyn, Pawe{\l}, 103(1)303--322, 103(1)z--z,
see Gambin, Anna
-
Urzyczyn:2010:LPI, 103(1)303--322
-
Usage, 102(2)145--176
-
Use, 105(4)435--466, 115(4)327--356
-
Used, 108(3)287--304, 127(1)177--191
-
Useful, 102(3)391--427
-
User, 162(4)283--309
-
using, 98(1)49--70, 98(2)321--336, 99(2)147--168, 101(4)305--320,
102(2)145--176, 103(1)235--246, 107(1)85--104, 112(1)19--37,
113(1)79--96, 113(2)97--115, 114(3)221--237, 114(3)359--373,
115(2)141--156, 115(2)219--232, 119(1)1--27, 119(2)187--231,
119(3)393--406, 120(3)205--229, 125(1)1--20, 125(3)313--328,
127(1)135--149, 127(1)307--323, 127(1)545--560, 128(1)97--111,
129(4)341--364, 130(4)467--490, 131(1)103--138, 131(1)139--166,
131(2)187--203, 132(2)153--176, 133(1)35--53, 134(1)167--182,
135(3)211--228, 135(3)309--329, 136(4)405--431, 137(1)117--142,
137(2)237--252, 138(3)373--386, 139(4)369--401, 140(2)123--127,
141(2)207--231, 142(1)87--104, 143(1)101--112, 146(3)231--254,
150(1)73--117, 153(1)1--28, 154(1)1--13, 155(4)449--480,
157(4)443--461, 158(1)93--120, 159(3)257--277, 160(1)81--100,
160(1)143--165, 162(1)17--36, 165(1)43--73, 169(3)211--235
-
Utility, 158(1)41--61
-
Utilizing, 127(1)479--494
-
Uustalu, Tarmo, 102(2)z--z
-
Uustalu, Tarmo, see Altenkirch, Thorsten