Index file section U for tocl.bib

Last update: Thu Nov 6 02:01:01 MST 2025

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
Ulidowski, Irek, 25(2)11--11
Ulidowski, Irek, see Lanese, Ivan
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, 25(4)22--22
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, 26(2)9--9
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, 26(1)4--4
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
Undoing, 25(2)11--11
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, 26(1)4--4
unification, Anti-, 21(2)10--10, 25(3)16--16
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, 26(3)15--15
unifiers, 13(2)10--10, 26(1)4--4
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, 25(4)24--24
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, 25(1)5--5
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, 25(1)5--5
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, 25(4)25--25, 26(1)6--6
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
Unwinding, 26(2)11--11
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, 26(1)6--6
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í
Ursino, Pietro, 25(1)5--5
Ursino, Pietro, see Cantone, Domenico
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, 25(2)13--13, 25(4)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, 25(4)25--25
user-defined, 26(3)14--14
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, 25(2)14--14
utility, 16(4)33--33
utilize, 16(3)24--24, 20(3)13--13, 25(3)18--18
utilizing, 20(3)13--13
UTVPI, 12(1)7--7