Index file section U for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
U
-
U, 14(2)12--12, 18(2)11--11
-
UCQs, 21(1)6--6
-
Udrea, Octavian, 11(2)10--10
-
Udrea:2010:AR, 11(2)10--10
-
UF-CMA, 21(1)2--2
-
ugly, 12(2)13--13
-
Ullman, 18(3)23--23
-
unable, 19(4)29--29
-
unary, 12(2)9--9, 14(2)13--13, 16(1)5--5, 17(4)32--32, 18(1)2--2,
18(4)28--28
-
unauthorized, 16(1)3--3
-
unbalanced, 17(4)26--26
-
unbounded, 9(1)5--5, 10(4)24--24, 12(1)2--2, 13(1)2--2, 13(1)7--7,
13(3)27--27, 16(3)27--27, 17(1)3--3, 18(2)12--12, 19(3)17--17,
20(3)14--14, 20(3)16--16
-
uncertain, 10(1)3--3, 18(2)15--15, 21(1)3--3
-
uncertainty, 1(2)208--246, 2(3)289--339, 8(3)18--18, 10(1)3--3,
10(1)5--5, 14(4)34--34, 15(4)30--30, 16(2)11--11, 16(3)22--22,
20(2)10--10, 21(1)3--3
-
uncolored, 16(3)21--21
-
uncomparable, 20(2)12--12
-
uncomputable, 2(1)1--11, 10(1)5--5
-
unconditional, 21(1)2--2
-
unconditionally, 24(3)27--27
-
uncontrollable, 14(2)9--9, 21(3)21--21
-
uncover, 9(4)24--24
-
undecidability, 6(4)701--726, 9(2)10--10, 9(4)25--25, 10(3)16--16,
11(2)12--12, 12(2)10--10, 12(3)19--19, 14(1)6--6, 14(2)9--9,
16(3)25--25, 17(1)2--2, 17(1)3--3
-
undecidable, 2(1)1--11, 2(3)388--407, 9(1)5--5, 9(2)10--10, 9(3)22--22,
9(4)25--25, 9(4)26--26, 13(3)21--21, 13(3)26--26, 13(3)27--27,
14(1)6--6, 14(2)13--13, 15(3)25--25, 15(4)26--26, 15(4)27--27,
16(1)6--6, 16(2)15--15, 16(3)27--27, 17(1)2--2, 17(1)3--3,
17(2)12--12, 17(3)16--16, 18(1)5--5, 18(2)10--10, 18(2)17--17,
18(3)22--22, 18(4)33--33, 19(2)13--13, 19(3)20--20, 20(2)11--11,
20(2)12--12, 20(3)16--16, 20(3)17--17, 20(4)21--21, 21(4)32--32,
22(1)5--5, 22(2)10--10, 24(4)29--29
-
underapproximations, 12(3)18--18
-
underdeveloped, 23(3)18--18
-
underexplored, 17(3)21--21
-
undergone, 15(4)28--28
-
underlines, 10(1)5--5
-
underlying, 8(3)18--18, 13(1)6--6, 13(2)16--16, 14(1)2--2, 14(2)16--16,
14(3)24--24, 14(4)26--26, 15(1)1--1, 15(1)2--2, 15(2)13--13,
15(4)35--35, 16(3)27--27, 18(3)22--22, 19(3)22--22, 24(4)31--31
-
underpin, 17(3)15--15
-
underscores, 17(2)12--12
-
understand, 15(2)11--11
-
understanding, 2(2)255--287, 9(1)6--6, 9(3)23--23, 14(2)8--8,
14(2)15--15, 14(3)20--20, 17(2)12--12
-
understood, 10(3)17--17, 14(2)8--8
-
undesirable, 18(4)27--27
-
unequal, 24(4)28--28
-
unexpectedly, 11(4)25--25, 13(2)16--16
-
unfolding, 7(1)1--37, 9(1)6--6, 14(2)8--8, 20(3)17--17
-
unfolds, 18(3)25--25, 20(3)17--17
-
unfortunate, 16(2)12--12
-
Unfortunately, 13(2)16--16
-
unicast, 12(1)5--5
-
unicast/multicast, 12(1)5--5
-
unidirectional, 9(2)13--13, 20(3)16--16
-
unification, 8(2)z--99999999, 9(3)15--15, 9(4)25--25, 12(4)26--26,
13(2)10--10
-
unification, Anti-, 21(2)10--10
-
unification, anti-, 21(2)10--10
-
unified, 10(2)13--13, 13(4)29--29, 14(4)27--27, 18(2)9--9, 19(4)27--27
-
unifiers, 13(2)10--10
-
uniform, 1(1)33--59, 8(3)17--17, 8(3)18--18, 8(4)22--22, 9(3)15--15,
9(3)23--23, 10(2)13--13, 10(3)21--21, 12(3)20--20, 14(1)7--7,
14(2)15--15, 14(4)27--27, 19(1)5--5, 21(1)4--4, 21(3)23--23,
21(4)29--29, 22(1)2--2, 23(1)5--5
-
uniform, non-, 18(1)2--2, 18(3)20--20
-
uniformisation, 14(4)33--33, 20(4)19--19
-
uniformly, 14(2)8--8, 20(3)13--13
-
unify, 19(3)17--17, 22(1)6--6
-
unifying, 10(1)3--3, 17(3)15--15, 18(4)29--29, 23(4)27--27
-
unimodal, 16(1)9--9
-
unimportant, 15(3)18--18
-
unintended, 9(3)17--17
-
uninteresting, 14(2)14--14
-
uninterpreted, 2(1)93--134, 19(3)19--19, 21(3)19--19
-
union, 1(1)3--32, 9(3)22--22, 15(3)24--24, 17(4)28--28, 18(1)5--5,
20(3)18--18, 21(1)6--6, 21(3)20--20, 24(2)16--16
-
unique, 11(3)20--20, 14(3)21--21, 16(2)15--15, 17(4)27--27, 18(1)4--4
-
uniqueness, 10(3)19--19, 18(2)17--17
-
unit, 12(2)14--14, 13(2)13--13, 14(1)3--3, 15(3)18--18, 17(2)11--11,
18(1)3--3, 19(2)13--13
-
unit-free, 6(4)784--842
-
unital, non-, 20(1)3--3
-
UNITY, 1(1)3--32
-
univalence, 19(2)15--15
-
univalent, 16(2)18--18, 19(2)15--15
-
universal, 2(1)57--92, 2(3)408--429, 9(4)25--25, 11(4)27--27,
12(4)26--26, 13(3)25--25, 13(4)31--31, 14(4)30--30, 15(1)3--3,
15(2)15--15, 16(3)27--27, 17(1)2--2, 17(1)7--7, 17(4)30--30,
18(3)18--18, 18(3)23--23, 19(3)16--16, 20(3)17--17, 22(2)11--11,
22(4)25--25, 23(1)2--2, 23(1)5--5, 24(2)11--11
-
universality, 9(2)10--10, 11(4)23--23, 17(3)15--15, 20(2)11--11
-
universally, 9(1)4--4, 17(1)7--7
-
universes, 16(2)18--18, 16(3)23--23
-
unknown, 16(1)3--3, 22(4)21--21
-
unlabeled, 15(4)35--35
-
unless, 14(2)10--10, 15(4)33--33
-
unlike, 11(3)15--15, 14(2)14--14, 14(4)30--30, 16(3)27--27, 17(1)1--1,
19(4)26--26, 20(1)2--2, 23(2)11--11
-
unlikely, 1(2)175--207, 16(4)28--28
-
unnormalized, 10(1)5--5
-
unordered, 17(2)14--14
-
unpredictable, 10(1)1--1, 21(3)21--21
-
unprovability, 9(3)21--21, 21(3)22--22
-
unprovable, 9(3)21--21
-
unranked, 8(2)z--z, 12(3)19--19, 15(1)8--8, 17(4)32--32
-
unreduced, 20(1)6--6
-
unreliable, 9(1)5--5, 21(1)5--5
-
unresolved, 9(3)20--20
-
unrestricted, 15(1)7--7, 15(2)15--15, 18(1)1--1, 21(3)19--19
-
unsatisfactory, 15(4)35--35
-
unsatisfiability, 11(3)18--18, 18(4)27--27, 20(1)1--1, 24(1)8--8
-
unsatisfiable, 11(3)18--18, 18(3)21--21, 19(3)18--18, 20(4)25--25
-
unsoundness, 11(3)16--16
-
unspecified, 11(4)26--26
-
until, 8(3)15--15, 8(3)16--16, 9(2)11--11, 9(3)17--17, 10(2)11--11,
12(1)1--1, 13(1)6--6, 16(1)8--8, 17(2)14--14, 20(3)15--15,
20(4)25--25, 21(2)14--14, 21(4)30--30
-
untraceability, 21(1)1--1
-
untrusted, 9(3)16--16
-
untyped, 11(4)28--28, 17(1)5--5
-
unusual, 9(3)17--17, 14(4)33--33
-
up, blow-, 2(1)93--134, 2(3)408--429, 13(4)29--29
-
up, bottom-, 2(2)182--215, 14(2)16--16, 14(4)28--28,
18(4)28--28
-
up, leaf-, 15(4)33--33
-
up, speed-, 2(3)340--387
-
up-to, 18(1)4--4
-
update, 1(1)131--161, 7(3)421--472, 12(4)29--29, 13(3)19--19,
14(3)24--24, 14(4)34--34, 17(2)12--12, 18(4)27--27, 20(4)24--24,
24(1)3--3
-
updated, 16(1)3--3, 20(4)24--24
-
updating, 14(3)24--24
-
upfront, 14(4)29--29
-
upon, 10(3)15--15, 12(3)18--18, 13(2)15--15, 14(2)14--14, 15(3)19--19,
18(2)13--13, 19(2)13--13
-
Uppaal, 10(3)15--15
-
upper, 9(2)11--11, 9(3)21--21, 9(4)28--28, 10(4)25--25, 10(4)27--27,
13(2)12--12, 13(2)15--15, 13(2)17--17, 13(4)29--29, 14(3)22--22,
14(4)31--31, 15(2)16--16, 16(1)9--9, 16(3)24--24, 16(4)28--28,
17(2)8--8, 17(3)19--19, 17(4)26--26, 18(2)17--17, 19(1)1--1,
19(2)8--8, 19(3)19--19, 20(4)25--25, 21(1)4--4, 21(1)6--6,
23(2)11--11, 24(1)3--3
-
upper-bound, 9(3)22--22, 13(4)29--29, 14(3)22--22
-
upward, 12(3)19--19, 17(2)14--14
-
Urban, Christian, 12(2)15--15
-
Urban:2011:MML, 12(2)15--15
-
Urba{\'n}ski, Mariusz, 15(4)28--28,
see Komosinski, Maciej
-
Urbat, Henning, 20(1)3--3, 22(4)23--23
-
Urbat, Henning, see Adámek, Jirí
-
Urzyczyn, Pawel, 17(4)30--30
-
Urzyczyn, Pawel, see Schubert, Aleksy
-
Urzyczyn, Pawe{\l}, 22(3)15--15, see Dudenhefner, Andrej
-
usage, 12(3)18--18, 14(3)22--22, 14(4)33--33, 21(1)2--2
-
use, 1(1)33--59, 1(2)175--207, 1(2)285--320, 2(1)93--134, 8(3)15--15,
8(3)16--16, 8(4)20--20, 8(4)22--22, 9(1)1--1, 9(1)2--2, 9(2)14--14,
9(4)27--27, 10(2)11--11, 10(3)15--15, 10(4)24--24, 11(3)19--19,
11(4)23--23, 11(4)26--26, 12(2)9--9, 12(2)15--15, 12(2)16--16,
12(3)19--19, 12(4)28--28, 13(1)5--5, 13(1)8--8, 13(3)27--27,
13(4)32--32, 14(1)7--7, 14(2)16--16, 14(4)32--32, 15(1)4--4,
15(1)5--5, 15(1)7--7, 15(1)9--9, 15(1)10--10, 15(2)12--12,
15(2)13--13, 15(2)15--15, 15(2)16--16, 15(3)24--24, 16(1)3--3,
16(2)13--13, 16(3)23--23, 16(3)27--27, 16(4)28--28, 17(2)12--12,
17(2)14--14, 17(3)21--21, 18(1)1--1, 18(2)10--10, 18(2)13--13,
18(3)18--18, 18(3)21--21, 18(3)25--25, 18(4)27--27, 18(4)29--29,
19(1)3--3, 19(2)7--7, 19(2)8--8, 19(2)10--10, 19(2)14--14, 20(1)6--6,
20(4)20--20, 21(1)2--2, 21(1)6--6, 21(2)13--13, 21(4)31--31,
22(2)8--8, 22(2)10--10, 23(1)2--2
-
used, 2(1)12--56, 2(1)93--134, 2(1)135--153, 2(2)255--287, 2(3)408--429,
8(3)15--15, 8(4)22--22, 8(4)24--24, 9(1)1--1, 9(1)4--4, 9(3)22--22,
9(4)25--25, 10(2)11--11, 10(2)12--12, 10(3)15--15, 10(3)17--17,
10(3)20--20, 10(4)29--29, 12(1)1--1, 12(2)13--13, 12(2)16--16,
12(2)17--17, 12(4)24--24, 12(4)25--25, 13(1)2--2, 13(1)8--8,
13(2)13--13, 13(2)16--16, 13(4)33--33, 14(1)3--3, 14(2)8--8,
14(2)10--10, 14(2)12--12, 14(2)15--15, 14(4)27--27, 14(4)32--32,
15(1)5--5, 15(1)8--8, 15(2)12--12, 15(3)20--20, 15(3)22--22,
15(4)30--30, 15(4)31--31, 15(4)35--35, 16(1)1--1, 16(1)4--4,
16(1)6--6, 16(2)16--16, 16(4)29--29, 17(1)1--1, 17(1)3--3, 17(1)7--7,
17(2)8--8, 17(2)12--12, 17(3)18--18, 17(4)23--23, 17(4)30--30,
17(4)32--32, 18(2)13--13, 18(4)31--31, 19(1)6--6, 19(2)10--10,
19(3)22--22, 19(4)26--26, 19(4)30--30, 20(2)8--8, 20(2)12--12,
20(3)15--15, 20(4)19--19, 20(4)22--22, 20(4)25--25, 21(1)2--2,
21(1)6--6, 21(2)12--12, 21(3)26--26, 21(4)30--30, 22(2)9--9,
22(2)14--14, 22(4)25--25, 23(4)25--25, 24(2)11--11, 24(2)15--15,
24(3)21--21
-
useful, 8(3)17--17, 8(3)18--18, 9(3)18--18, 9(3)20--20, 11(4)26--26,
12(2)9--9, 13(2)16--16, 13(3)25--25, 13(4)29--29, 14(2)8--8,
14(4)33--33, 15(1)10--10, 15(4)33--33, 16(1)5--5, 16(1)6--6,
16(2)11--11, 18(3)21--21, 20(1)6--6, 22(1)2--2
-
usefulness, 9(3)15--15, 10(1)5--5, 13(4)33--33, 15(4)28--28, 16(4)31--31,
17(1)5--5
-
useless, 16(1)8--8
-
user, 8(4)24--24, 9(3)17--17, 10(1)3--3, 13(1)1--1, 15(3)18--18,
16(1)3--3, 16(2)13--13, 16(4)32--32, 18(4)27--27
-
user-interface, 9(3)17--17
-
user-supplied, 24(1)1--1
-
user-that, 22(2)13--13
-
usual, 9(3)19--19, 10(3)17--17, 12(4)27--27, 14(1)5--5, 14(2)9--9,
16(1)8--8, 18(1)3--3, 20(1)4--4, 21(3)21--21, 21(3)25--25
-
usually, 1(1)33--59, 9(1)7--7, 9(3)17--17, 11(3)16--16, 12(4)24--24,
15(1)5--5, 15(3)19--19, 16(1)4--4, 17(1)5--5, 17(3)15--15
-
utility, 16(4)33--33
-
utilize, 16(3)24--24, 20(3)13--13
-
utilizing, 20(3)13--13
-
UTVPI, 12(1)7--7