Last update: Tue Aug 29 02:02:19 MDT 2023
Return to index directory
V
-
V, ASSIST-, z(6)526--530
-
validation, z(2)150--155
-
value, z(3)243--250
-
Van Dam, A., z(4)384--389
-
Van Dam, A., see Stockenberg, J. E.
-
Van Emden, M. H., z(2)148--159
-
VanEmden:1979:PVC, z(2)148--159
-
variable, z(3)243--250
-
Verifiable, z(2)144--149
-
verification, z(1)59--67, z(2)148--159, z(3)193--209, z(3)339--346,
z(4)244--252, z(4)253--265, z(5)440--452, z(5)453--458,
z(6)478--486
-
Verifier, z(4)387--401
-
Versus, z(2)80--86
-
Vick, C. R., z(1)69--84
-
Vick, C. R., see Davis, C. G.
-
Virtual, z(1)2--17, z(1)54--62, z(2)137--137, z(2)150--156, z(5)333--342,
z(5)426--436, z(6)643--652
-
Voigt, S., z(4)370--376
-
Voigt:1975:PDM, z(4)370--376
-
Vol, z(4)329--329, z(6)480--480, z(6)533--533, z(6)659--659