Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
V
-
Vadaparty, Kumar V., 14(2)317--323
-
Vadaparty:1995:CNO, 14(2)317--323
-
Vaglini, Gigliola, 30(1)33--58
-
Vaglini, Gigliola, see Santone, Antonella
-
Validation, 46(3)353--388, 58(1)97--125
-
Validity, 51(1)3--26
-
Vallati, Mauro, 65(6)727--773
-
Vallati:2021:IDM, 65(6)727--773
-
Vallejo, Miguel Ángel, 18(2)171--176,
see Nieuwenhuis, Robert
-
value, 8(3)395--419, 46(2)205--221
-
Value, Call-by-, 63(2)393--413
-
Valued, 64(7)1269--1286
-
valued, Finite-, 51(4)401--430
-
Valued, Four-, 67(4)z--99999999
-
Valued, Multiple-, 21(1)39--67
-
Valued, Real-, 44(3)175--205, 50(1)99--117
-
valued, three-, 12(1)47--87
-
Valued, Two-, 50(4)383--421
-
vampire, 15(2)237--265
-
Van Gelder, Allen, 23(2)137--193
-
VanGelder:1999:APP, 23(2)137--193
-
VanLehn, Kurt, 32(1)3--33, 32(3)187--226
-
VanLehn, Kurt, see Makatchev, Maxim,
see Matsuda, Noboru
-
Vanquishing, 29(2)107--124
-
VAR, SET-, 11(3)293--314
-
Vardi, Moshe Y., 35(1)25--50
-
Vardi, Moshe Y., see Pan, Guoqiang
-
variable, 7(1)109--158, 13(2)211--221, 38(1)3--30, 39(1)77--106,
41(3)295--323
-
Variable, Free-, 38(1)31--56
-
variable-abstraction, 3(3)285--289
-
Variable-Permuting, 19(1)87--115
-
Variable-Separated, 67(2)z--z
-
Variance, 41(3)295--323
-
Variants, 18(2)227--236, 38(1)31--56
-
Variational, 62(2)215--236, 65(1)1--29
-
various, 10(1)1--13
-
Vasconcelos, Pedro, 59(1)87--120
-
Vasconcelos, Pedro, see Jost, Steffen
-
vector, 65(6)711--726, 67(3)z--99999999
-
Vector, Bit-, 63(3)723--762
-
Vectorial, 25(2)83--121
-
Vectors, Bit-, 65(7)1071--1096
-
vectors, Bit-, 65(7)1001--1025
-
Veith, Helmut, 59(1)3--45
-
Veith, Helmut, see Sinn, Moritz
-
Velasquez, Alvaro, 67(1)z--99999999
-
Velasquez:2023:ODC, 67(1)z--99999999
-
Vélez, M. P., 23(1)63--82, see Recio, T.
-
Verbeek, Freek, 48(4)419--439
-
Verbeek:2012:PPF, 48(4)419--439
-
verification, 5(2)125--125, 5(2)127--139, 5(4)409--410, 5(4)411--428,
5(4)429--460, 11(3)353--389, 14(3)427--462, 15(1)69--93,
15(2)167--215, 23(3)265--298, 26(2)139--160, 30(2)153--177,
30(3)233--233, 30(3)235--269, 30(3)399--444, 31(3)303--334,
32(1)35--73, 32(4)z--99999999, 34(3)295--321, 35(4)295--354,
36(4)379--410, 37(1)117--152, 40(2)221--243, 40(4)245--269,
40(4)307--326, 41(1)1--31, 42(1)1--33, 42(2)123--124, 42(2)125--187,
42(2)189--227, 45(4)415--435, 51(3)241--280, 52(3)241--273,
52(3)275--329, 54(1)31--68, 58(2)231--251, 60(1)3--21, 60(1)63--84,
60(3)279--298, 60(3)299--335, 60(3)365--383, 61(1)141--189,
61(1)191--242, 62(2)193--213, 64(7)1419--1444, 64(7)1523--1552,
65(2)157--203, 65(3)461--461
-
verified, 5(4)461--492, 5(4)493--518, 23(3)299--318, 30(3)363--398,
43(4)z--z, 52(3)331--360, 54(1)1--29, 54(2)135--163, 56(3)283--308,
59(4)389--423, 61(1)73--111, 61(1)191--242, 61(1)243--332,
61(1)333--365, 61(1)485--520, 62(2)281--300, 62(3)367--391,
62(4)433--480, 63(2)369--392, 63(2)463--488, 64(3)363--389,
64(3)513--532, 64(4)699--735, 64(5)879--910, 64(8)1685--1729,
65(2)321--356, 65(8)1125--1151, 67(2)z--99999999
-
Verified, Confidentiality-, 61(1)113--139
-
Verified, Formally-, 54(4)285--326
-
Verifier, 30(3)271--321, 30(3)323--361
-
Verify, 41(3)295--323, 52(4)361--378, 58(3)313--339, 61(1)367--422
-
verifying, 7(1)27--103, 19(3)277--318, 34(2)179--207, 36(1)5--37,
37(1)93--116, 41(1)1--31, 44(1)z--z, 60(1)23--42, 62(1)93--126,
62(3)331--365, 63(2)489--515, 63(3)695--722, 63(4)1005--1029,
64(3)555--578, 66(4)747--803
-
Verlag, Springer-, 51(4)453--456
-
Vermeir, Dirk, 49(4)493--550
-
Vermeir, Dirk, see Schockaert, Steven
-
Veroff, R., 37(1)3--20
-
Veroff, Robert, 4(1)29--68, 8(2)213--274, 16(3)223--239, 27(2)123--139,
27(2)157--174, 29(1)1--16, 31(1)1--9, 66(4)565--574
-
Veroff, Robert, see Helman, Paul,
see McCune, William
-
Veroff:1992:LIP, 8(2)213--274
-
Veroff:1996:UHI, 16(3)223--239
-
Veroff:2001:FSP, 27(2)123--139
-
Veroff:2001:SOQ, 27(2)157--174
-
Veroff:2003:SBB, 31(1)1--9
-
Veroff:2006:ASB, 37(1)3--20
-
Veroff:2022:WCM, 66(4)565--574
-
Versa, Vice-, 45(4)415--435
-
Version, 18(2)247--252, 64(4)641--675, 67(3)z--99999999
-
versus, 19(1)87--115, 24(1)225--275
-
Vestergaard, René, 49(2)209--239, see Cheney, James
-
Vezzosi, Andrea, 63(2)211--253
-
Vezzosi, Andrea, see Birkedal, Lars
-
viability, 10(3)371--388
-
Vice-Versa, 45(4)415--435
-
Vidal, Germán, 58(3)391--411, see Iborra, José
-
view, 11(2)249--267, 11(3)315--316, 17(2)171--197, 19(1)31--85,
37(4)323--349, 51(4)453--456, 60(3)299--335, 65(3)461--461
-
Viganò, Luca, 46(3)223--224, see Bauer, Lujo
-
Vigneron, Laurent, 31(2)129--168, 33(3)219--220
-
Vigneron, Laurent, see Bachmair, Leo,
see Kapur, Deepak
-
Villafiorita, Adolfo, 19(3)319--346
-
Villafiorita, Adolfo, see Bundy, Alan
-
Villaret, Mateu, 52(2)155--190, 58(2)293--310
-
Villaret, Mateu, see Baumgartner, Alexander,
see Kutsia, Temur
-
Vinay, V., 15(3)359--383
-
Vinay, V., see Hooker, J. N.
-
Violet, 18(2)259--264
-
Virga, Roberto, 31(3)231--260
-
Virga, Roberto, see Appel, Andrew W.
-
Virtual, 24(1)5--36
-
Visibly, 60(2)177--220
-
Visions, 66(4)439--461
-
Visualizing, 39(2)219--243
-
Visually, 45(3)213--241, 45(3)243--266
-
Vitek, Jan, 63(2)489--515
-
Vitek, Jan, see Zakowski, Yannick
-
Vlach, Frank, 10(1)115--136
-
Vlach:1993:SSC, 10(1)115--136
-
VLSI, 10(1)115--136
-
Vogt, Roland, 18(2)265--270
-
Vogt, Roland, see Hillenbrand, Thomas
-
Voigt, Marco, 65(3)357--423
-
Voigt:2021:DEF, 65(3)357--423
-
Vojnar, Tomá{\v{s}}, 65(7)971--999,
see Havlena, Vojt{\v{e}}ch
-
Völp, Marcus, 42(2)189--227, see Tews, Hendrik
-
Volume, 22(4)485--486, 22(4)487--487, 22(4)489--490, 25(4)329--329,
25(4)331--332, 25(4)333--334, 26(4)433--433, 26(4)435--435,
26(4)437--438, 27(4)423--423, 27(4)425--425, 27(4)427--428,
28(4)435--435, 28(4)437--437, 28(4)439--440, 29(3)413--413,
29(3)415--415, 29(3)417--418, 30(3)445--445, 30(3)447--447,
30(3)449--450, 31(3)371--371, 31(3)373--373, 31(3)375--376
-
Voronkov, Andrei, 15(2)237--265, 20(1)47--80, 21(2)205--231,
30(2)121--151
-
Voronkov, Andrei, see Degtyarev, Anatoli
-
Voronkov:1995:AV, 15(2)237--265
-
Voronkov:1998:PSI, 21(2)205--231
-
Voronkov:2003:PSI, 30(2)121--151
-
Vouillon, Jérôme, 49(3)327--362
-
Vouillon:2012:SPC, 49(3)327--362
-
Vrijer, Roel de, 27(1)29--59
-
Vrijer, Roel de, see Bognar, Mirna
-
Vroon, Daron, 34(4)387--423
-
Vroon, Daron, see Manolios, Panagiotis
-
vs, 48(3)363--390
-
VST-Floyd, 61(1)367--422
-
VSTTE, 60(3)255--256
-
Vukmirovi{\'c}, Petar, 66(4)541--564, 67(1)z--99999999,
see Bentkamp, Alexander
-
Vukmirovic:2022:MHO, 66(4)541--564