Index file section W for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
W
-
W, 19(4)30--30
-
w, 1(1)33--59, 13(2)15--15, 16(1)6--6, 17(3)19--19, 22(4)26--26
-
W,R, 19(4)30--30
-
w.r.t, 9(1)7--7, 14(3)24--24, 19(2)14--14, 19(3)22--22
-
W[1]-complete, 18(3)21--21
-
W[1]-hard, 14(3)18--18, 18(1)1--1
-
W3C, 14(2)16--16
-
w3c, 17(2)14--14
-
Wadge, William W., 6(2)441--467, 14(3)21--21
-
Wadge, William W., see Charalambidis, Angelos,
see Rondogiannis, Panos
-
Wadler, Philip, 4(1)1--32
-
Wadler:2003:MEM, 4(1)1--32
-
waiting, 15(4)27--27, 19(4)31--31
-
walk, 15(2)15--15
-
Walukiewicz, 19(3)23--23, 21(2)15--15
-
Walukiewicz, Igor, 9(2)10--10, 21(3)17--17
-
Walukiewicz, Igor, see Herbreteau, Frédéric,
see Lasota, Slawomir
-
Walukiewicz-Chrzaszcz, Daria, 17(4)30--30
-
Walukiewicz-Chrzaszcz, Daria, see Schubert, Aleksy
-
WAM, SLG-, 15(4)32--32
-
wand, 16(2)15--15
-
Wang, Kewen, 6(2)295--327, 16(4)31--31, 17(3)22--22, 19(2)12--12
-
Wang, Kewen, see Binnewies, Sebastian,
see Wang, Zhe, \see{Wen, Lian
-
Wang, Yisong, 24(2)15--15
-
Wang, Zhe, 16(4)31--31
-
Wang:2005:CCW, 6(2)295--327
-
Wang:2015:DLO, 16(4)31--31
-
Wang:2023:WAS, 24(2)15--15
-
want, 14(2)10--10, 19(3)20--20
-
Warren, 13(1)3--3
-
Warren, Michael A., 16(3)23--23
-
Warren, Michael A., see Lumsdaine, Peter Lefanu
-
was, 2(3)340--387, 10(3)22--22, 11(4)25--25, 13(2)13--13, 13(2)17--17,
13(4)30--30, 14(3)23--23, 14(3)24--24, 14(4)25--25, 14(4)28--28,
15(1)1--1, 15(1)4--4, 15(2)16--16, 15(4)32--32, 16(1)7--7,
16(3)22--22, 17(2)9--9, 17(3)16--16, 18(2)17--17, 18(3)21--21,
20(3)17--17, 20(4)25--25, 21(1)6--6, 24(2)10--10
-
way, 1(1)33--59, 1(2)175--207, 1(2)247--284, 2(1)57--92, 8(3)17--17,
8(3)18--18, 8(4)19--19, 10(2)8--8, 10(2)13--13, 10(3)20--20,
11(3)17--17, 13(2)11--11, 13(2)18--18, 13(3)21--21, 13(3)25--25,
14(1)7--7, 14(2)9--9, 14(2)11--11, 14(2)12--12, 14(2)14--14,
14(3)24--24, 15(3)25--25, 15(4)30--30, 15(4)35--35, 16(3)25--25,
17(1)1--1, 17(1)4--4, 17(1)5--5, 17(3)19--19, 17(4)25--25,
17(4)30--30, 18(2)9--9, 18(2)10--10, 19(1)5--5, 19(2)8--8,
19(2)13--13, 19(2)15--15, 19(3)22--22, 19(4)24--24, 19(4)26--26,
20(3)18--18, 20(4)21--21, 20(4)25--25, 22(4)25--25, 24(1)4--4,
24(2)11--11
-
way, one-, 2(2)216--254, 12(2)10--10, 14(3)19--19, 15(2)15--15
-
way, two-, 2(2)216--254, 15(2)15--15
-
weak, 1(1)3--32, 2(3)408--429, 3(4)465--520, 7(4)749--764, 10(2)13--13,
13(1)2--2, 13(1)3--3, 15(1)8--8, 15(2)13--13, 15(2)17--17,
15(4)26--26, 15(4)35--35, 16(3)23--23, 16(4)30--30, 17(2)12--12,
17(4)24--24, 17(4)26--26, 18(2)13--13, 18(4)29--29, 19(1)1--1,
19(2)15--15, 21(2)15--15, 22(2)11--11, 23(4)25--25, 23(4)27--27
-
weaken, 10(2)8--8
-
weakening, 16(1)8--8, 19(2)15--15, 22(4)26--26, 24(1)8--8
-
weaker, 10(3)17--17, 11(4)24--24, 13(4)30--30, 15(1)8--8, 16(3)23--23,
19(1)1--1
-
weakest, 14(4)34--34
-
weakly, 1(2)247--284, 13(3)24--24, 15(2)17--17, 16(2)13--13, 16(3)23--23,
18(2)16--16, 20(2)12--12
-
weakness, 10(1)1--1, 15(2)13--13, 24(2)18--18
-
Web, 12(2)11--11, 12(2)17--17, 12(3)20--20, 14(2)16--16
-
Web., 9(3)22--22
-
Weber, 23(4)24--24
-
Wehrheim, Heike, 15(4)31--31, 23(4)27--27
-
Wehrheim, Heike, see Doherty, Simon,
see Schellhorn, Gerhard
-
Wei, Fang, 12(1)3--3
-
Wei, Fang, see Gottlob, Georg
-
Weidenbach, Christoph, 11(4)27--27
-
Weidenbach, Christoph, see Horbach, Matthias
-
weight, 10(4)25--25, 10(4)29--29, 11(4)23--23, 12(1)5--5, 14(1)7--7,
19(4)25--25
-
weighted, 11(4)23--23, 12(1)5--5, 14(1)7--7, 15(1)3--3, 15(2)15--15,
16(1)1--1, 16(1)6--6, 18(4)31--31, 21(3)23--23
-
Weinstein, Scott, 4(4)530--577, 13(3)27--27
-
Weinstein, Scott, see Alur, Rajeev,
see Buneman, Peter
-
Weisfeiler-Leman, 24(1)6--6
-
well, 2(2)255--287, 8(3)17--17, 9(1)1--1, 9(2)8--8, 9(3)18--18,
9(4)25--25, 10(1)2--2, 10(1)4--4, 10(2)8--8, 10(2)10--10,
10(3)17--17, 10(4)27--27, 11(3)19--19, 11(4)24--24, 12(3)18--18,
13(2)12--12, 13(4)30--30, 14(2)8--8, 14(2)10--10, 14(2)12--12,
14(2)14--14, 14(2)15--15, 14(3)24--24, 14(4)27--27, 15(3)18--18,
15(3)20--20, 15(3)25--25, 15(4)30--30, 16(1)1--1, 16(1)2--2,
16(1)5--5, 16(1)6--6, 16(1)8--8, 16(3)24--24, 16(4)33--33,
17(3)18--18, 17(3)19--19, 17(4)28--28, 18(1)5--5, 18(4)26--26,
18(4)29--29, 19(1)3--3, 19(1)4--4, 19(3)20--20, 20(3)13--13,
20(3)15--15, 21(1)1--1, 21(1)2--2, 21(1)5--5, 21(1)6--6, 22(2)14--14,
23(1)4--4, 23(3)14--14, 23(3)20--20
-
well-behaved, 14(4)30--30, 16(3)27--27
-
well-behavedness, 10(3)22--22
-
well-defined, 16(4)32--32, 19(3)22--22, 19(4)28--28
-
well-established, 19(2)12--12, 24(3)26--26
-
Well-Founded, 14(2)16--16, 17(4)27--27
-
well-founded, 6(2)295--327, 9(2)14--14, 9(3)18--18, 9(4)27--27,
10(4)29--29, 12(2)11--11, 12(2)17--17, 14(1)3--3, 15(4)32--32,
17(4)27--27, 18(1)5--5
-
well-founded, Non-, 21(4)31--31
-
well-known, 2(1)135--153, 2(3)340--387, 8(3)17--17, 9(2)14--14,
9(3)15--15, 13(1)7--7, 13(2)12--12, 13(2)18--18, 13(4)33--33,
14(2)10--10, 14(4)28--28, 15(4)26--26, 16(1)2--2, 16(2)15--15,
16(3)25--25, 17(3)22--22, 18(3)18--18, 18(3)23--23, 18(4)29--29,
19(2)15--15, 19(3)18--18, 19(4)25--25, 24(4)28--28
-
well-structured, 13(1)2--2, 13(3)26--26
-
well-studied, 13(2)12--12, 15(4)26--26
-
well-typed, 9(1)3--3, 19(1)6--6, 21(1)1--1
-
wen, 20(4)22--22
-
Wen, Lian, 17(3)22--22
-
Wen:2016:MPT, 17(3)22--22
-
Wendling, Dominique, Larchey-, 14(1)6--6
-
were, 2(1)135--153, 9(1)2--2, 9(2)11--11, 9(3)19--19, 9(4)28--28,
11(4)28--28, 12(2)11--11, 12(3)22--22, 13(1)8--8, 13(2)13--13,
13(3)23--23, 13(4)28--28, 13(4)30--30, 16(1)9--9, 17(4)23--23,
18(2)13--13, 19(2)13--13, 19(4)26--26, 20(4)25--25, 23(2)10--10
-
Wesselink, Wieger, 16(4)29--29
-
Wesselink, Wieger, see Cranen, Sjoerd
-
Weyl, 11(2)11--11
-
WFS, 14(2)16--16
-
WFSX, 12(2)17--17
-
what, 1(2)208--246, 2(3)340--387, 9(1)3--3, 9(2)13--13, 9(3)19--19,
9(3)20--20, 9(4)28--28, 11(4)29--29, 12(1)8--8, 12(2)14--14,
12(4)23--23, 14(3)23--23, 15(1)1--1, 15(2)13--13, 15(4)26--26,
16(2)11--11, 16(3)25--25, 17(2)9--9, 17(3)17--17, 19(1)1--1,
19(4)26--26, 20(2)10--10, 20(3)13--13, 21(1)3--3, 21(3)17--17,
22(1)3--3
-
when, 1(2)208--246, 2(1)1--11, 2(1)93--134, 9(2)8--8, 9(2)12--12,
9(3)20--20, 10(2)14--14, 10(4)27--27, 11(3)18--18, 11(4)24--24,
12(2)14--14, 12(4)26--26, 12(4)28--28, 13(1)1--1, 13(1)4--4,
13(2)13--13, 13(2)15--15, 13(2)16--16, 13(3)19--19, 13(3)26--26,
13(4)29--29, 13(4)32--32, 13(4)33--33, 13(4)34--34, 14(2)16--16,
14(3)23--23, 14(4)27--27, 15(2)14--14, 15(2)16--16, 15(3)19--19,
16(1)2--2, 16(1)4--4, 16(1)6--6, 16(2)11--11, 16(3)26--26, 17(1)5--5,
17(1)7--7, 17(2)10--10, 17(2)11--11, 17(4)23--23, 18(1)3--3,
18(2)13--13, 18(2)16--16, 18(3)18--18, 18(3)20--20, 18(3)25--25,
20(1)2--2, 20(1)5--5, 20(2)10--10, 20(2)12--12, 21(1)4--4,
21(3)24--24, 21(3)26--26, 23(3)14--14, 24(1)8--8, 24(3)20--20
-
whenever, 10(4)29--29, 14(2)16--16, 15(4)35--35, 16(1)3--3
-
where, scenario-, 15(4)31--31
-
whereas, 9(1)2--2, 9(3)17--17, 9(4)26--26, 12(1)2--2, 13(2)16--16,
13(3)21--21, 15(2)16--16, 15(4)35--35, 16(3)21--21, 16(4)32--32,
18(3)21--21, 19(3)20--20
-
wherein, 9(1)7--7, 12(1)1--1
-
whether, 1(1)112--130, 1(1)131--161, 8(3)17--17, 8(4)20--20, 9(1)3--3,
9(3)20--20, 9(3)22--22, 11(3)15--15, 12(2)13--13, 13(1)1--1,
13(2)15--15, 13(4)33--33, 14(1)2--2, 14(3)20--20, 15(1)8--8,
15(3)19--19, 16(2)17--17, 16(4)28--28, 16(4)31--31, 16(4)34--34,
17(2)10--10, 17(2)14--14, 17(4)24--24, 17(4)32--32, 18(1)5--5,
18(2)9--9, 18(2)16--16, 18(3)20--20, 18(3)21--21, 18(4)27--27,
18(4)28--28, 19(1)1--1, 19(2)7--7, 20(1)6--6, 20(3)15--15,
20(3)18--18, 21(2)9--9, 21(2)11--11, 21(3)26--26, 21(4)27--27,
22(4)22--22, 23(1)1--1, 24(4)30--30
-
while, 1(2)175--207, 2(1)1--11, 2(1)12--56, 2(1)135--153, 8(3)14--14,
9(1)5--5, 9(3)22--22, 9(4)28--28, 10(3)22--22, 11(4)25--25,
12(1)1--1, 13(2)13--13, 13(3)21--21, 13(3)23--23, 13(3)24--24,
13(3)27--27, 14(2)13--13, 14(3)18--18, 15(2)11--11, 15(4)26--26,
15(4)34--34, 16(1)1--1, 16(4)31--31, 16(4)33--33, 17(2)14--14,
17(3)18--18, 18(1)6--6, 18(4)31--31, 19(2)13--13, 19(2)14--14,
19(3)20--20, 20(1)4--4, 20(1)6--6, 20(2)7--7, 20(2)12--12,
20(4)19--19, 20(4)21--21, 20(4)22--22, 21(1)1--1, 21(1)3--3,
21(2)9--9, 21(4)30--30, 23(2)8--8
-
while, known-, 22(2)13--13
-
whilst, 19(1)6--6
-
white, black-, 13(2)16--16
-
whole, 1(1)33--59, 19(2)14--14, 19(3)16--16
-
whose, 1(1)131--161, 9(1)7--7, 9(3)15--15, 9(3)21--21, 10(2)12--12,
10(3)16--16, 10(3)20--20, 11(3)16--16, 12(3)19--19, 13(3)21--21,
13(3)27--27, 14(2)16--16, 14(3)19--19, 14(4)34--34, 15(1)6--6,
15(3)25--25, 15(4)27--27, 15(4)35--35, 16(1)2--2, 16(3)23--23,
16(3)25--25, 17(1)7--7, 17(2)8--8, 17(2)11--11, 17(2)13--13,
17(4)23--23, 18(4)28--28, 18(4)33--33, 19(4)26--26, 20(3)13--13,
20(3)14--14, 20(3)15--15, 20(3)17--17, 20(4)19--19, 21(1)5--5,
21(4)34--34, 22(1)3--3, 24(2)15--15
-
why, 7(2)261--268, 16(1)7--7, 20(4)22--22, 21(3)17--17
-
wide, 8(3)18--18, 10(2)13--13, 11(4)25--25, 13(1)7--7, 14(4)32--32,
16(3)25--25, 19(1)4--4, 19(2)13--13, 19(3)19--19, 20(4)19--19
-
wide-ranging, 22(2)13--13
-
widely, 2(1)1--11, 2(1)12--56, 8(4)23--23, 9(3)15--15, 10(2)12--12,
13(2)15--15, 15(4)35--35, 16(3)24--24, 20(1)1--1, 20(2)12--12,
21(2)12--12, 22(2)9--9, 24(2)15--15
-
wider, 17(4)24--24, 18(4)28--28
-
widespread, 12(3)18--18
-
width, 13(4)31--31, 16(4)28--28, 17(2)10--10, 17(3)19--19, 17(4)25--25,
19(1)1--1, 20(1)1--1, 20(3)15--15, 24(1)6--6, 24(3)23--23
-
Width, Clique-, 16(3)24--24
-
width, Clique-, 16(3)24--24
-
width, clique-, 16(3)24--24, 17(2)10--10
-
width, Size-, 24(2)10--10
-
width-preserving, 19(1)1--1
-
Wigderson, 19(1)1--1
-
Wijnberg, Nachoem, 20(4)24--24
-
Wijnberg, Nachoem, see Conradie, Willem
-
Wijs, Anton J., 18(2)13--13
-
Wijs, Anton J., see Groote, Jan Friso
-
Wikipedia, 14(2)10--10
-
Wilhelm, Reinhard, 8(1)z--99999999
-
Wilhelm, Reinhard, see Yorsh, Greta
-
Wilke, 17(2)14--14
-
Wilke, Richard, 23(2)13--13
-
Wilke, Richard, see Grädel, Erich
-
Wilke, Thomas, 11(3)17--17
-
Wilke, Thomas, see Kähler, Detlef
-
will, 1(2)208--246, 8(4)20--20, 10(3)20--20, 10(4)28--28, 11(3)19--19,
12(2)14--14, 14(2)12--12, 15(4)33--33, 16(4)33--33, 19(1)5--5,
20(4)21--21, 21(4)30--30
-
Willemse, 13(1)8--8
-
Willemse, Tim A. C., 13(1)8--8, 16(4)29--29
-
Willemse, Tim A. C., see Cranen, Sjoerd,
see Keiren, Jeroen J. A.
-
Williams, Mary-Anne, 13(4)30--30
-
Williams, Mary-Anne, see Peppas, Pavlos
-
Wilsenach, Gregory, 23(1)6--6
-
Wilsenach, Gregory, see Dawar, Anuj
-
win, 1(1)33--59, 15(2)16--16, 17(1)1--1, 19(3)20--20
-
win-move, 18(1)5--5
-
Wing, 15(4)31--31
-
winning, 11(1)1--1, 12(4)28--28, 14(2)8--8, 15(2)16--16, 15(2)17--17,
17(1)1--1, 19(3)17--17, 19(3)23--23
-
winning, limit-, 12(4)28--28
-
wireless, 14(4)33--33
-
wise'', ``interval-, 20(1)4--4
-
wise'', ``point-, 20(1)4--4
-
Wise, Piece-, 19(2)10--10
-
wise, piece-, 19(2)10--10
-
wise, slice-, 19(4)25--25
-
wish, 13(2)12--12, 13(2)13--13
-
with-binding, datatypes-, 13(3)20--20
-
Witkowski, Piotr, 17(4)31--31
-
Witkowski, Piotr, see Charatonik, Witold
-
witness, 10(2)13--13, 11(4)28--28, 17(4)32--32, 18(3)18--18
-
Witnesses, 24(2)15--15
-
witnessing, 15(1)2--2
-
Wittocx, Johan, 14(3)17--17
-
Wittocx:2013:CPF, 14(3)17--17
-
Wolper, Pierre, 6(3)614--633, 12(1)2--2
-
Wolper, Pierre, see Boigelot, Bernard,
see Legay, Axel
-
Wolter, Frank, 4(2)260--294, 9(4)25--25, 21(3)20--20, 24(4)34--34
-
Wolter, Frank, see Artale, Alessandro,
see Hernich, André, \see{Kutz, Oliver
-
Wolter:2008:UUA, 9(4)25--25
-
Woltran, Stefan, 8(3)17--17, 14(2)14--14, 17(3)20--20, 18(1)6--6,
22(1)2--2
-
Woltran, Stefan, see Creignou, Nadia,
see Delgrande, James, \see{Eiter, Thomas,
see Haret, Adrian, \see{Oetsch, Johannes
-
Wooldridge, Michael, 16(4)33--33, 22(2)8--8
-
Wooldridge, Michael, see Gutierrez, Julian,
see Marchioni, Enrico
-
word, 2(2)155--181, 2(3)408--429, 9(2)10--10, 10(3)16--16, 11(4)23--23,
12(2)10--10, 12(4)27--27, 12(4)28--28, 13(3)27--27, 13(4)29--29,
14(3)19--19, 14(3)21--21, 14(4)29--29, 15(2)15--15, 15(3)24--24,
16(1)1--1, 16(1)6--6, 16(4)34--34, 17(3)16--16, 17(4)32--32,
18(2)10--10, 18(3)20--20, 18(4)30--30, 18(4)31--31, 20(2)11--11,
21(2)9--9, 22(3)15--15
-
work, 1(1)3--32, 1(1)131--161, 1(1)162--170, 2(1)12--56, 8(3)14--14,
8(3)15--15, 8(3)16--16, 8(4)20--20, 9(1)1--1, 9(2)8--8, 9(2)14--14,
9(3)20--20, 10(2)8--8, 10(2)13--13, 10(3)15--15, 10(3)20--20,
10(3)22--22, 10(4)24--24, 10(4)27--27, 12(3)22--22, 13(1)3--3,
13(1)8--8, 13(2)12--12, 13(4)33--33, 14(2)10--10, 14(2)12--12,
15(1)1--1, 15(1)3--3, 15(1)5--5, 15(2)14--14, 15(2)15--15,
15(3)20--20, 15(3)21--21, 15(4)28--28, 15(4)31--31, 15(4)32--32,
15(4)33--33, 16(1)5--5, 16(1)7--7, 16(2)12--12, 16(4)28--28,
17(1)4--4, 17(1)5--5, 17(2)10--10, 17(2)14--14, 17(4)25--25,
17(4)27--27, 17(4)32--32, 18(1)2--2, 18(1)5--5, 18(2)8--8, 18(2)9--9,
18(2)14--14, 18(4)31--31, 19(1)1--1, 19(2)10--10, 19(2)12--12,
19(2)13--13, 19(2)15--15, 19(3)21--21, 19(4)25--25, 19(4)26--26,
19(4)31--31, 20(1)2--2, 20(1)3--3, 20(2)7--7, 20(4)21--21,
20(4)25--25, 21(1)6--6, 22(1)4--4, 22(4)26--26
-
worked, 13(4)30--30, 16(4)33--33, 19(2)7--7
-
working, 9(3)19--19
-
worklist, 12(3)18--18
-
worktapes, 11(4)26--26
-
world, 1(2)175--207, 1(2)208--246, 2(3)289--339, 10(1)3--3, 10(3)21--21,
13(3)25--25, 13(4)30--30, 16(1)3--3, 19(4)28--28
-
world, closed-, 14(2)16--16
-
world, Open-, 21(4)27--27
-
world, open-, 14(2)16--16
-
world, real-, 10(1)4--4, 13(2)13--13, 14(2)10--10, 18(4)26--26,
20(2)12--12
-
Worrell, James, 17(3)16--16, 17(4)32--32, 23(2)9--9
-
Worrell, James, see Almagor, Shaull,
see Benaim, Saguy, \see{Lazi{\'c}, Ranko
-
worst, 2(3)340--387
-
Worst-Case, 20(1)6--6
-
worst-case, 2(3)340--387, 14(1)2--2, 14(3)22--22, 17(1)4--4, 20(1)6--6
-
worth, 15(4)34--34
-
Wörz, Florian, 24(3)23--23, see Torán, Jacobo
-
would, 9(4)27--27, 14(2)10--10, 14(2)16--16, 16(4)35--35, 18(4)27--27,
19(2)7--7, 19(4)26--26
-
writing, 10(2)11--11, 12(1)5--5, 13(1)6--6, 16(3)26--26
-
written, 1(2)208--246, 18(3)18--18, 20(2)11--11
-
Wrona, Micha{\l}, 20(2)8--8
-
Wrona:2019:CMI, 20(2)8--8
-
wrt, 18(2)16--16