Index file section V for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
V
-
V, 18(2)11--11, 22(4)25--25, 24(2)11--11, 24(2)16--16
-
v, 13(2)15--15, 15(4)27--27, 20(1)4--4, 20(2)9--9, 20(2)10--10,
24(3)20--20
-
V0, 13(1)9--9
-
V02, 13(1)9--9
-
Väänänen, Jouko, 23(1)3--3,
see Durand, Arnaud
-
Vaandrager, Frits, 5(4)577--610
-
Vaandrager, Frits, see Griffioen, David
-
vacuity, 13(1)1--1
-
Vacuous, 13(1)1--1
-
vacuously, 13(1)1--1
-
vague, 15(4)30--30
-
vagueness, 15(4)30--30
-
Valarcher, Pierre, 10(4)26--26
-
Valarcher, Pierre, see Crolard, Tristan
-
valence, 2(1)135--153, 21(3)23--23
-
Valero, Pedro, 22(4)22--22
-
Valero, Pedro, see Ganty, Pierre
-
valid, 1(1)60--76, 10(1)6--6, 10(3)20--20, 12(1)1--1, 13(3)26--26,
14(4)32--32, 15(1)4--4, 17(2)13--13, 24(4)34--34
-
validate, 14(4)32--32
-
validation, 12(3)18--18
-
validity, 1(1)60--76, 9(3)21--21, 10(1)4--4, 11(3)16--16, 12(1)1--1,
13(3)26--26, 14(4)32--32, 19(1)2--2, 20(1)2--2, 20(2)10--10,
21(1)6--6
-
Vallée, 9(1)2--2
-
valleys, 14(4)31--31
-
valuable, 12(3)18--18
-
valuation, 2(1)93--134, 2(3)388--407, 9(3)21--21, 12(3)21--21,
19(4)25--25
-
value, 2(1)93--134, 5(3)436--469, 9(2)12--12, 10(3)22--22, 10(4)28--28,
11(4)23--23, 12(1)5--5, 12(2)9--9, 12(3)21--21, 12(4)24--24,
12(4)27--27, 12(4)28--28, 12(4)29--29, 13(2)15--15, 13(3)26--26,
13(4)34--34, 15(1)8--8, 15(4)27--27, 16(1)1--1, 16(1)6--6,
16(2)16--16, 16(3)21--21, 18(1)7--7, 18(2)8--8, 18(2)16--16,
18(3)25--25, 18(4)28--28, 19(2)14--14, 21(1)5--5, 22(4)21--21,
23(2)13--13, 24(1)2--2, 24(1)3--3, 24(1)4--4, 24(3)22--22
-
value, call-by-, 10(2)12--12
-
value, key-, 19(2)14--14
-
value, variable-, 18(3)21--21
-
Valued, 23(1)7--7
-
valued, 3-, 9(1)1--1
-
valued, finite-, 16(4)33--33
-
valued, four-, 8(3)18--18
-
valued, integer-, 10(3)22--22
-
valued, many-, 2(3)289--339
-
valued, multiple-, 8(3)18--18
-
valued, real-, 10(3)22--22
-
Valued, Three-, 15(4)32--32
-
valued, three-, 14(3)17--17, 21(1)5--5
-
Valverde, Agustín, 2(4)526--541,
see Lifschitz, Vladimir
-
van, 2(3)289--339, 19(1)3--3, 19(2)7--7
-
Van Bakel, Steffen, 19(1)3--3
-
Van Den Berg, Benno, 19(2)15--15
-
Van den Bussche, Jan, 9(1)3--3
-
Van Den Dries, Lou, 10(1)2--2
-
Van Der Meyden, Ron, 19(4)26--26, 21(4)32--32
-
Van Der Meyden, Ron, see Huang, Xiaowei
-
Van Glabbeek, Rob J., 5(1)26--78, 6(4)784--842
-
Van Glabbeek, Rob J., see Bloom, Bard,
see Hughes, Dominic J. D.
-
Van Hentenryck, Pascal, 5(2)351--383
-
Van Hentenryck, Pascal, see Michel, Laurent
-
Van Nieuwenborgh, Davy, 9(4)26--26
-
Van Nieuwenborgh, Davy, see Heymans, Stijn
-
Van Oostrom, Vincent, 16(2)14--14
-
Van Oostrom, Vincent, see Felgenhauer, Bertram
-
Van, Hughes-, 19(4)25--25
-
VanBakel:2018:CNP, 19(1)3--3
-
Vanden Boom, Michael, 17(2)8--8, 22(2)13--13
-
Vanden Boom, Michael, see Benedikt, Michael
-
vandenBerg:2012:TSM, 13(1)3--3
-
VanDenBerg:2018:PCP, 19(2)15--15
-
VandenBussche:2007:PTI, 9(1)3--3
-
VanDenDries:2009:AC, 10(1)2--2
-
VanDerMeyden:2020:UCM, 21(4)32--32
-
vanHentenryck:2000:SSO, 1(2)285--320
-
Vansummeren, Stijn, 9(1)3--3
-
Vansummeren, Stijn, see Van den Bussche, Jan
-
Vardi, Moshe Y., 2(3)408--429, 6(2)273--294, 15(4)34--34, 22(1)5--5
-
Vardi, Moshe Y., see Berthon, Raphaël,
see Kupferman, Orna, \see{Mogavero, Fabio
-
variable, 2(1)1--11, 2(1)93--134, 2(3)388--407, 4(4)431--451,
6(1)175--201, 9(1)3--3, 9(1)4--4, 9(4)27--27, 10(2)10--10,
10(4)26--26, 11(3)18--18, 11(4)27--27, 12(1)4--4, 12(4)24--24,
13(2)10--10, 13(2)15--15, 13(3)27--27, 14(3)24--24, 14(4)25--25,
15(2)14--14, 15(4)27--27, 15(4)33--33, 15(4)34--34, 16(2)12--12,
16(2)15--15, 16(2)17--17, 16(3)21--21, 17(1)3--3, 17(1)7--7,
17(2)12--12, 17(3)19--19, 17(3)21--21, 17(4)26--26, 17(4)31--31,
18(2)14--14, 18(3)21--21, 19(1)3--3, 19(1)4--4, 19(1)6--6, 19(2)9--9,
19(3)18--18, 20(1)6--6, 20(2)9--9, 20(4)25--25, 22(1)4--4, 23(1)2--2,
23(2)13--13, 23(3)16--16, 24(1)4--4, 24(3)23--23, 24(4)29--29
-
variable, bounded-, 15(1)9--9
-
Variable, Finite-, 16(3)21--21
-
Variable, One-, 16(3)27--27
-
variable, one-, 9(4)28--28, 16(3)27--27
-
variable, three-, 16(1)9--9, 17(1)2--2
-
Variable, Two-, 16(2)15--15, 17(4)31--31, 17(4)32--32,
18(4)30--30, 19(2)8--8
-
variable, Two-, 12(4)27--27
-
variable, two-, 12(4)27--27, 15(1)7--7, 15(1)8--8, 16(1)9--9,
16(2)15--15, 16(3)27--27, 17(4)31--31, 17(4)32--32, 18(4)27--27,
18(4)30--30, 19(2)8--8, 23(1)1--1
-
variable-free, 18(2)17--17
-
variable-value, 18(3)21--21
-
variant, 2(1)135--153, 9(1)5--5, 10(4)24--24, 12(1)6--6, 13(3)26--26,
13(4)29--29, 14(2)16--16, 15(1)6--6, 16(1)6--6, 16(1)9--9,
16(3)20--20, 16(3)24--24, 16(4)30--30, 17(2)14--14, 17(4)24--24,
17(4)25--25, 18(3)19--19, 18(4)27--27, 18(4)29--29, 19(2)7--7,
19(2)8--8, 19(3)17--17, 19(3)20--20, 19(4)26--26, 20(1)3--3,
20(1)4--4, 20(2)10--10, 20(2)11--11, 21(1)7--7, 21(2)14--14,
23(2)9--9, 23(4)25--25
-
variation, 8(3)16--16, 19(2)15--15, 21(1)6--6, 24(3)25--25
-
variety, 1(1)33--59, 8(3)18--18, 9(3)22--22, 11(4)27--27, 14(1)2--2,
14(1)4--4, 14(2)15--15, 14(4)27--27, 14(4)32--32, 15(1)9--9,
16(2)11--11, 16(4)29--29, 17(4)29--29, 20(1)3--3, 23(1)4--4
-
various, 2(2)155--181, 2(3)388--407, 8(3)18--18, 8(4)23--23, 9(2)8--8,
9(3)15--15, 9(3)22--22, 10(1)2--2, 10(3)19--19, 10(4)25--25,
11(4)23--23, 13(2)16--16, 14(1)2--2, 14(3)18--18, 14(4)32--32,
15(2)12--12, 15(3)25--25, 15(4)27--27, 16(1)5--5, 16(1)7--7,
16(3)24--24, 16(3)27--27, 16(4)31--31, 16(4)33--33, 18(3)21--21,
18(3)23--23, 19(2)13--13, 19(4)28--28, 21(1)2--2, 21(3)23--23,
21(4)29--29, 22(1)6--6, 22(4)21--21, 24(3)19--19
-
vary, 13(4)31--31, 14(2)14--14, 14(2)15--15
-
varying, 10(3)16--16
-
Varzinczak, Ivan, 22(1)1--1
-
Varzinczak, Ivan, see Britz, Katarina
-
VASS, 16(3)20--20
-
vast, 19(1)5--5
-
Vaught, Feferman-, 16(1)9--9
-
Vaught-type, Feferman-, 17(4)25--25
-
VC, 14(2)10--10
-
VCSPs, 23(1)7--7
-
vector, 2(1)93--134, 12(1)5--5, 16(2)12--12, 16(3)20--20, 20(1)3--3,
20(3)14--14
-
vectorial, 18(4)26--26
-
Vega, 17(3)22--22
-
Veith, Helmut, 3(1)42--79, 11(3)20--20
-
Veith, Helmut, see Gottlob, Georg,
see Samer, Marko
-
Velasco, Emilio, Muñoz-, 18(3)22--22
-
Velev, Miroslav N., 2(1)93--134, 3(4)604--627
-
Velev, Miroslav N., see Bryant, Randal E.
-
velocity, 9(2)13--13
-
Veltri, Pierfrancesco, 20(2)12--12
-
Veltri, Pierfrancesco, see Leone, Nicola
-
Venema, Yde, 19(1)4--4, 21(2)15--15
-
Venema, Yde, see Carreiro, Facundo,
see Schröder, Lutz
-
Vennekens, Joost, 7(4)765--797, 8(1)z--99999999, 17(4)27--27
-
Vennekens, Joost, see Bogaerts, Bart
-
Vennekens:2006:SOA, 7(4)765--797, 8(1)z--99999999
-
Vennekens:2007:ESO, 7(4)765--797, 8(1)z--99999999
-
Verbaeten, Sofie, 2(1)57--92
-
Verbaeten:2001:TPL, 2(1)57--92
-
Verbitsky, Oleg, 16(3)21--21, 20(2)9--9
-
Verbitsky, Oleg, see Berkholz, Christoph
-
Verbitsky:2019:TBA, 20(2)9--9
-
verifiable, 9(4)29--29, 10(1)1--1, 19(1)5--5
-
verified, 9(1)2--2, 12(1)1--1, 12(2)15--15, 15(3)21--21, 15(4)35--35,
16(2)18--18, 16(4)30--30, 17(1)5--5, 17(1)6--6, 17(4)23--23,
19(4)28--28
-
verified, to-be-, 19(4)27--27
-
verifier, 17(1)6--6, 19(3)17--17
-
verify, 2(1)1--11, 8(4)20--20, 9(1)4--4, 9(4)29--29, 13(4)33--33,
14(4)32--32, 15(2)14--14, 15(3)23--23, 15(4)31--31, 15(4)35--35,
16(1)4--4, 17(1)6--6, 17(4)23--23, 18(2)14--14, 19(4)28--28,
19(4)29--29, 24(3)19--19
-
verifying, 1(1)3--32, 1(1)60--76, 1(1)162--170, 1(1)171--174, 2(1)1--11,
2(1)93--134, 2(3)388--407, 2(3)408--429, 2(4)542--580, 9(1)4--4,
9(1)5--5, 9(4)28--28, 12(1)1--1, 14(4)32--32, 14(4)33--33,
15(3)22--22, 16(1)4--4, 17(1)1--1, 17(1)5--5, 18(2)14--14,
20(3)16--16, 21(1)2--2, 21(1)5--5, 21(2)11--11, 22(2)14--14
-
Verma, Kumar Neeraj, 9(4)28--28
-
Verma, Kumar Neeraj, see Seidl, Helmut
-
Verma, Rakesh, 6(1)102--123
-
Verma, Rakesh M., 18(2)17--17
-
Verma, Rakesh M., see Radcliffe, Nicholas R.
-
Verma:2005:NDT, 6(1)102--123
-
Vermeir, Dirk, 9(4)26--26, 13(4)33--33
-
Vermeir, Dirk, see Heymans, Stijn,
see Schockaert, Steven
-
Verna, Didier, 20(1)6--6
-
Verna, Didier, see Newton, Jim
-
versatile, 10(2)8--8, 13(2)16--16, 16(3)27--27
-
version, 1(2)175--207, 2(2)182--215, 9(1)2--2, 9(1)6--6, 9(2)8--8,
12(4)24--24, 14(2)12--12, 14(4)34--34, 15(1)8--8, 15(2)13--13,
15(2)15--15, 16(1)4--4, 16(1)6--6, 16(4)32--32, 17(1)3--3,
17(4)23--23, 17(4)32--32, 18(4)29--29, 19(1)1--1, 19(2)7--7,
19(2)13--13, 19(3)17--17, 19(4)29--29, 20(2)7--7, 20(2)8--8,
21(1)2--2
-
versus, 5(4)611--668, 12(1)6--6
-
vertex, 12(2)12--12, 13(2)15--15, 14(3)19--19, 14(4)29--29, 15(1)6--6,
16(3)21--21, 17(1)7--7, 17(4)25--25, 20(2)9--9, 20(3)15--15,
20(3)17--17, 24(4)30--30
-
vertical, 17(2)14--14
-
verticesash, 12(2)12--12
-
very, 8(3)15--15, 8(4)19--19, 9(1)7--7, 9(3)22--22, 10(3)20--20,
11(4)25--25, 14(2)8--8, 15(1)1--1, 15(4)34--34, 15(4)35--35,
16(2)12--12, 16(3)24--24, 16(3)25--25, 17(1)3--3, 17(1)5--5,
17(4)26--26, 18(3)20--20, 18(4)29--29, 19(1)3--3, 19(1)5--5,
19(3)22--22, 20(3)14--14, 20(3)16--16, 22(2)12--12, 23(3)20--20,
24(4)30--30
-
viable, 20(1)4--4
-
Vianu, Victor, 4(3)315--354, 5(3)403--435
-
Vianu, Victor, see Alon, Noga,
see Neven, Frank
-
video, 16(2)11--11
-
view, 1(1)131--161, 4(3)315--354, 9(2)14--14, 9(3)15--15, 9(4)27--27,
10(1)1--1, 11(2)8--8, 11(3)19--19, 13(2)10--10, 14(1)5--5, 14(1)7--7,
14(3)23--23, 14(4)30--30, 15(2)14--14, 16(1)4--4, 16(3)25--25,
18(3)24--24, 19(4)30--30, 23(4)25--25, 24(2)16--16
-
viewed, 10(1)1--1, 12(2)9--9, 14(3)19--19, 16(3)23--23, 16(4)32--32,
18(4)31--31, 22(1)3--3
-
viewpoint, 11(3)16--16, 24(3)19--19
-
Vigny, Alexandre, 24(4)30--30
-
Vigny, Alexandre, see Schirrmacher, Nicole
-
Villaret, Mateu, 13(2)10--10
-
Villaret, Mateu, see Levy, Jordi
-
Vinyals, Marc, 16(4)28--28, 24(1)8--8
-
Vinyals, Marc, see Filmus, Yuval
-
Viola, Caterina, 23(1)7--7
-
Viola, Caterina, see Bodirsky, Manuel
-
violated, 20(4)25--25
-
violates, 22(2)11--11
-
violating, 2(1)135--153
-
Viroli, Mirko, 20(1)5--5
-
Viroli, Mirko, see Audrito, Giorgio
-
Virtema, Jonni, 19(1)2--2
-
Virtema, Jonni, see Hannula, Miika
-
virtual, 8(3)14--14
-
virtually, 13(2)13--13, 13(3)26--26, 20(3)17--17
-
virtues, 16(4)34--34
-
visibility, 21(4)33--33
-
visible, 15(2)16--16, 21(4)33--33, 22(2)13--13
-
visibly, 16(4)34--34, 24(3)24--24
-
vision, 12(2)11--11
-
visit, 2(2)216--254, 21(3)17--17
-
visited, 15(2)16--16
-
Visualizer, 10(1)1--1
-
Viswanathan, Mahesh, 12(1)1--1
-
Viswanathan, Mahesh, see Chadha, Rohit
-
viz, 13(1)8--8
-
VMT, 19(3)19--19
-
vocabulary, 17(4)32--32, 22(2)13--13
-
Voevodsky, 16(3)23--23, 19(2)15--15
-
Vollmer, Heribert, 12(2)13--13, 13(2)17--17, 15(3)20--20, 19(1)2--2,
21(1)7--7
-
Vollmer, Heribert, see Aschinger, Markus,
see Bauland, Michael,
see Creignou, Nadia, \see{Hannula, Miika,
see Hella, Lauri
-
volumes, 14(4)33--33
-
Voronkov, Andrei, 2(2)155--181, 2(2)182--215, 6(2)361--388
-
Voronkov, Andrei, see Korovin, Konstantin,
see Rybina, Tatiana
-
Voronkov:2001:HOP, 2(2)182--215
-
vote, 17(1)3--3, 21(1)1--1
-
voting, 17(4)23--23
-
Vouros, George A., 16(2)11--11
-
Vouros, George A., see Skarlatidis, Anastasios
-
Vukmirovi{\'c}, Petar, 24(1)7--7
-
Vukmirovic:2023:SIE, 24(1)7--7