Index file section V for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
V
-
Valiant, L. G., 43(2)169--188, 47(1)85--93
-
Valiant, L. G., see Jerrum, M. R.
-
Valiant:1986:NED, 47(1)85--93
-
valid, 66(1)87--97
-
validity, 37(2)151--181, 67(2)303--332
-
value, 36(1)71--87, 38(2)293--306, 63(1)91--111
-
value, call-by-, 61(1)83--92
-
valued, 47(1)71--84, 65(3)343--371
-
valued, infinite-, 52(1)145--153
-
valued, k-, 47(1)71--84
-
valued, many-, 47(3)247--262, 48(2)257--272, 52(1)145--153,
68(2)135--154
-
valued, set-, 36(1)1--19
-
valued, single-, 47(3)247--262
-
valued, two-, 68(2)135--154
-
van den Broek, P. M., 61(1)67--81
-
van der Poorten, A. J., 65(2)213--220
-
van der Poorten, A. J., see Mendes France, M.
-
van Gucht, Dirk, 62(1)221--233
-
Van, D. L., 38(1)123--132
-
Van:1985:CCS, 38(1)123--132
-
vandenBroek:1988:CTG, 61(1)67--81
-
vanGucht:1988:IFM, 62(1)221--233
-
Vardi, M. Y., 38(1)99--116, 49(2)217--237
-
Vardi, M. Y., see Beeri, C.,
see Sistla, A. Prasad
-
variable, 36(1)71--87, 36(2)239--250, 45(2)159--192, 53(2)345--352,
63(2)157--184, 66(1)113--114, 69(3)243--287
-
variable, Boolean-, 55(1)1--45
-
variable, one-, 66(3)289--297
-
variant, 41(1)1--17, 46(2)313--318
-
variation, 61(2)103--119
-
Varieties, 43(2)315--335
-
variety, B-, 43(2)315--335
-
variety, M-, 43(2)315--335
-
various, 43(1)43--58, 66(3)299--321
-
Varman, Peter, 58(1)379--397
-
Varman:1988:EPA, 58(1)379--397
-
Varricchio, Stefano, 63(3)333--348
-
Varricchio, Stefano, see de Luca, Aldo
-
VASSs, 44(1)69--105
-
Vazirani, V. V., 43(2)169--188, 47(1)85--93
-
Vazirani, V. V., see Jerrum, M. R.,
see Valiant, L. G.
-
vector, 44(1)69--105, 46(2)107--140, 53(2)345--352, 64(2)135--157,
64(3)343--350, 66(2)117--136
-
vectorial, 52(3)251--267
-
Velinov, Y., 57(2)205--224
-
Velinov:1988:ASD, 57(2)205--224
-
vending, 36(1)27--58
-
Veni Madhavan, C. E., 54(1)103--128
-
Veni Madhavan, C. E., see Lakshmanan, V. S.
-
Venkatesan, S. M., 54(1)129--137
-
Venkatesan:1987:AAW, 54(1)129--137
-
Venturini Zilli, M., 40(2)211--235
-
Venturini Zilli, M., see Mascari, G.
-
verifiability, 40(2)101--130
-
verification, 38(2)269--291, 43(2)277--291, 50(3)285--321, 53(1)3--24,
56(1)59--133, 56(1)135--154, 58(1)249--261, 61(2)225--258,
66(3)299--321, 66(3)333--340, 68(3)277--302, 69(2)117--242
-
verifying, program-, 50(3)285--321
-
version, 38(1)17--33, 61(1)25--32, 65(3)343--371, 68(2)123--134
-
versus, 66(3)333--340
-
vertex, 41(2)141--167, 43(2)337--343, 54(2)181--198, 58(1)209--229
-
vertex, n-, 36(2)319--331, 54(1)129--137, 58(1)379--397
-
vertex-labeled, 63(2)223--237
-
very, 68(2)135--154
-
Vieille, L., 69(1)1--53
-
Vieille:1989:RQP, 69(1)1--53
-
viewpoint, 68(1)1--17
-
views, 35(2)165--177
-
Vink, E. P., de, 57(2)251--282
-
Vishkin, U., 43(2)239--249, 47(3)277--298
-
Vishkin, U., see Landau, G. M., \see{Maon, Y.
-
Vishkin, Uzi, 60(3)231--254, 61(2)307--316
-
Vishkin, Uzi, see Eilam-Tzoreff, Tali,
see Megiddo, Nimrod
-
visibility, 61(2)175--198
-
VLSI, 57(1)97--111
-
vlsi, 57(0)3--159
-
Vogel, J., 39(2)267--280
-
Vogel:1985:TWA, 39(2)267--280
-
Vogler, H., 42(3)251--368
-
Vogler, H., see Engelfriet, J.
-
Voigt, B., 48(1)53--73
-
Voigt, B., see Bublitz, S.
-
Vollmar, R., 41(2)331--339
-
Vollmar, R., see Inoue, K.
-
von Brand, H., 64(2)203--219
-
von Brand, H., see Akyildiz, I. F.
-
von zur Gathen, J., 52(1)77--89
-
vonzurGathen:1987:FPP, 52(1)77--89
-
vs, 59(1)3--23
-
Vyskoc, J., 51(1)221--227
-
Vyskoc:1987:TSA, 51(1)221--227