Index file section U for actainfo.bib
Last update: Wed Oct 2 02:00:11 MDT 2024
Return to index directory
U
-
u, Petr Jirk\ocirc, 24(4)381--393
-
Über, 3(2)171--186, 14(1)87--106
-
über, 3(1)75--100, 7(4)395--398
-
Überdeckungsprobleme, 4(4)321--336
-
Ueno, Atsushi, 54(7)655--692
-
Ueno, Atsushi, see Tomita, Takashi
-
Uffmann, Jens-W., Schicke-, 57(3)313--320
-
Ukkonen, 18(2)171--179
-
Ukkonen, Esko, 12(4)339--369
-
Ukkonen, Esko, see Soisalon-Soininen, Eljas
-
Ullman, Jeffrey D., 2(3)191--213, 7(3)305--317
-
Ullman, Jeffrey D., see Kam, John B.
-
Ullman:1973:FAE, 2(3)191--213
-
Ultimate, 10(1)79--84
-
ultimately, 46(5)331--360
-
Ultralinear, 15(2)129--139
-
Umbrico, Alessandro, 53(6)649--680
-
Umbrico, Alessandro, see Mayer, Marta Cialdea
-
Umeo, Hiroshi, 58(4)427--450
-
Umeo:2021:NCS, 58(4)427--450
-
unary, 51(8)553--569
-
Unavoidable, 24(4)433--445, 30(4)385--395
-
unbalanced, 26(3)193--211, 26(4)349--362, 29(5)443--460
-
unbounded, 30(5)467--487, 37(4)329--354, 44(5)323--344, 47(5)279--311
-
uncertainty, 39(3)211--231, 53(2)89--147, 53(6)723--752
-
Unconditional, 34(11)837--857
-
unconstrained, 60(2)179--208
-
unconstructibility, 52(2)207--234
-
undecidability, 24(2)157--171, 33(5)463--475, 44(3)191--205,
50(5)331--341, 60(3)257--278
-
undecidable, 55(8)649--668
-
Undefinedness, 21(3)251--269
-
underlying, 8(3)221--242, 8(3)243--266
-
understand, 6(1)41--60
-
undesired, 8(4)325--334
-
undirected, 59(1)163--181
-
unfoldability, 27(6)505--517
-
unfolding, 40(2)95--118, 46(6)433--474
-
Unification, 7(3)319--323, 22(1)67--83, 24(2)157--171, 27(1)61--71
-
Unified, 3(2)123--133, 9(4)377--390, 28(2)121--163
-
unifies, 30(6)569--607
-
uniform, 21(5)485--500, 27(5)381--397, 33(5)463--475, 35(8)665--672,
40(5)367--383, 42(8)603--616, 49(6)361--379
-
uniform, DLOGTIME-, 44(5)345--359
-
uniform, non-, 40(4)235--263, 58(4)319--333
-
uniformization, 43(6)395--417
-
Unifying, 33(2)153--176
-
Uniquely, 34(5)389--410
-
uniqueness, 39(6)391--449
-
Unit, 9(2)31--59, 15(4)319--328, 15(4)447--470
-
units, 29(8)689--736
-
UNITY, 35(2)91--129
-
univalent, 38(6)409--436
-
universal, 13(3)269--285, 19(3)269--296, 42(8)639--671, 43(5)331--339,
47(2)133--146
-
universality, 22(4)347--377, 35(5)401--420, 53(5)509--543
-
Universe, 19(1)85--96
-
University, 13(3)229--256, 14(4)337--357, 19(3)255--268, 21(2)125--169,
23(4)393--427, 26(3)213--239, 32(8)705--778, 33(1)69--97
-
unknown, 26(7)615--642
-
Unnecessary, 8(3)221--242
-
unnesting, 28(6)603--605, 28(6)607--610
-
Unrestricted, 19(1)85--96, 24(2)191--209, 25(2)155--178
-
unrevealed, 60(1)59--78
-
unsafe, 26(5)421--438
-
unsatisfiable, 53(3)247--299
-
unspecified, 56(2)161--203
-
Unterauer, Karl, 11(4)341--362
-
Unterauer:1979:DWB, 11(4)341--362
-
untyped, 35(8)637--643
-
up, bottom-, 8(2)193--199, 46(8)561--590
-
up-to, 54(2)127--190
-
update, 26(3)269--277, 31(6)573--600, 38(8)565--586, 47(1)1--31,
56(5)391--404
-
Updating, 22(1)85--100, 34(12)905--925
-
updating, 35(6)541--541
-
upon, 8(4)303--314, 34(10)737--772
-
upper, 1(z)307--310, 8(1)21--36, 8(2)153--175, 26(4)349--362
-
Upsequence, 18(1)1--15
-
Urano, Akira, 19(2)167--182
-
Urano, Akira, see Tsuda, Takao
-
urgent, 40(5)317--347
-
urn, 38(11)813--838, 41(1)63--63
-
Úry, L., 17(1)1--20, see Gergely, T.
-
Urzyczyn, Pawe{\l}, 22(4)347--377, see Kfoury, A. J.
-
use, 1(2)115--138, 6(1)41--60, 7(2)137--152, 8(1)21--36, 8(1)61--73,
8(2)125--144, 8(3)201--220, 8(3)221--242, 12(3)209--225,
16(1)15--30, 17(1)43--61, 18(3)299--318, 18(4)411--430,
21(3)239--250, 22(1)47--66, 24(1)57--77, 24(3)353--362,
25(2)203--231, 26(4)349--362, 28(6)539--558, 34(12)905--925,
35(6)541--541
-
used, 2(2)143--161, 7(2)137--152, 7(2)183--195, 8(1)21--36, 8(3)201--220,
8(4)359--370, 17(1)43--61, 26(4)349--362, 27(6)505--517,
28(6)539--558, 30(3)215--231, 31(5)399--430
-
useful, 8(2)97--112, 11(4)373--386, 27(6)505--517, 59(6)709--724
-
usefulness, 8(3)201--220
-
user, 6(3)227--249, 7(1)35--60, 8(4)341--357, 43(3)147--164,
48(4)243--269
-
using, 3(3)203--216, 4(1)11--47, 6(1)41--60, 8(1)21--36, 8(2)125--144,
8(3)221--242, 13(1)1--8, 13(2)141--154, 13(4)379--382, 15(1)83--98,
15(4)447--470, 18(2)181--206, 20(4)345--369, 21(3)239--250,
22(2)171--186, 26(4)349--362, 26(7)615--642, 27(3)195--215,
28(8)801--815, 30(2)131--146, 30(3)215--231, 31(8)729--740,
32(1)79--92, 32(3)271--284, 32(8)705--778, 33(2)131--152,
34(3)191--209, 34(5)367--388, 34(9)667--686, 35(10)859--874,
38(1)45--88, 38(7)437--488, 38(8)531--564, 44(1)41--71,
44(7)509--523, 47(3)179--207, 48(7)409--415, 49(1)15--28,
52(4)337--392, 55(1)17--56, 55(3)213--225, 56(4)321--383,
56(7)619--648, 57(1)245--269, 57(6)801--827, 60(3)317--329
-
usual, 26(7)597--614
-
usually, 8(1)21--36
-
utilization, 7(2)167--182, 8(4)341--357, 19(1)35--55
-
Utting, Mark, 37(6)385--448
-
Utting, Mark, see Hayes, Ian J.