Index file section V for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
V
-
V, 80(2)153--202, 130(2)237--z, 133(1)141--164
-
Vaandrager, F. W., 79(2)275--294
-
Vaandrager, Frits W., 113(2)293--348
-
Vaandrager, Frits W., see Glabbeek, Rob J. van
-
Vaandrager:1991:DES, 79(2)275--294
-
Vaccaro, U., 86(2)365--375
-
Vaccaro, U., see Capocelli, R. M.
-
Vaccaro, Ugo, 134(1)63--78
-
Vaccaro, Ugo, see Capocelli, Renato M.
-
Vagvolgyi, S., 81(1)1--15, 93(1)43--74, 108(2)185--236
-
Vagvolgyi, S., see Fulop, Z.
-
Vágvölgyi, Sándor, 115(2)391--399, 127(1)69--98,
see Coquidé, Jean-Luc
-
Vagvolgyi:1992:TTT, 93(1)43--74
-
Vagvolgyi:1993:FAC, 115(2)391--399
-
Vakarelov, D., 90(2)433--456
-
Vakarelov:1991:MLK, 90(2)433--456
-
validation, 113(1)119--165
-
validity, 83(1)97--130, 119(1)223--232
-
Valiev, M. K., 119(1)223--232
-
Valiev:1993:USP, 119(1)223--232
-
Vallée, Brigitte, 123(1)95--115,
see Daudé, Hervé
-
value, 73(1)61--79, 74(3)329--340, 77(1)161--194, 79(1)25--35,
81(1)137--145, 117(1)187--198, 119(2)311--321, 129(1)79--94,
130(1)5--16, 132(1)387--394, 133(2)267--306
-
value, circuit-, 130(1)203--236
-
value-passing, 114(1)149--171
-
valued, 74(1)37--69
-
valued, 2-, 97(1)143--156
-
valued, 3-, 97(1)143--156
-
valued, Finite-, 134(1)225--251
-
valued, finite-, 101(1)143--158, 134(1)225--251
-
valued, many-, 74(1)37--69, 77(1)161--194, 94(1)101--124,
97(1)143--156, 105(1)7--25, 131(1)197--218, 134(1)63--78
-
valued, multiple-, 77(1)161--194
-
valued, real-, 126(2)183--235
-
valued, single-, 106(1)135--181, 134(1)225--251
-
valued, three-, 78(1)189--216, 78(1)z--z, 105(1)7--25,
105(1)57--84, 114(2)317--330, 120(1)45--68
-
valued, two-, 105(1)7--25, 131(1)197--218
-
valuedness, 134(1)225--251
-
valuedness, finite-, 106(1)135--181
-
valuedness, Single-, 106(1)135--181
-
values, 1-, 75(3)311--333
-
valves, 74(2)163--181
-
van, 123(1)61--87
-
Van Bakel, S., 102(1)135--163
-
Van Cutsem, Bernard, 132(1)1--35
-
Van Cutsem, Bernard, see Flajolet, Philippe
-
van der Meyden, Ron, 116(1)151--194
-
Van Gucht, D., 87(2)263--286
-
Van Gucht, D., see Gyssens, M.
-
van Leeuwen, J., 91(2)181--203
-
van Leeuwen, J., see Knijnenburg, P. M. W.
-
van Sinderen, M., 89(1)179--206
-
van Sinderen, M., see Vissers, C. A.
-
Van, Do Long, 98(2)321--337, 108(2)237--249
-
Van:1992:VFM, 98(2)321--337
-
Van:1993:SZS, 108(2)237--249
-
VanBakel:1992:CRI, 102(1)135--163
-
vanderMeyden:1993:RID, 116(1)151--194
-
vanGlabbeek:1993:MSP, 113(2)293--348
-
vanOostrom:1994:CDD, 126(2)259--280
-
Vapnik--Chervonenkis, 86(2)377--389
-
Vardi, Moshe Y., 116(1)33--57
-
Vardi, Moshe Y., see Kuper, Gabriel M.
-
variable, 74(3)329--340, 79(1)25--35, 79(1)163--177, 79(1)179--193,
81(1)117--126, 81(2)201--221, 87(1)25--41, 89(1)63--106,
93(2)201--225, 112(2)391--397, 113(1)3--34, 121(1)279--308,
122(1)165--200, 122(1)201--223, 126(2)237--257, 131(1)121--138
-
variable, local-, 85(2)283--303
-
variable, two-, 112(2)391--397
-
variable-free, 75(1)111--138, 107(2)209--252
-
variable-preserving, 103(2)409--420
-
variance, 93(2)201--225
-
variant, 118(1)81--98, 125(2)205--228, 132(1)427--434
-
variation, 92(1)119--144, 129(2)385--396, 136(1)3--20
-
variety, 76(2)251--260, 84(1)77--105, 98(2)321--337, 105(2)217--273,
123(2)239--258, 134(1)13--25, 134(1)189--208
-
variety, pseudo-, 134(1)189--208
-
various, 79(2)359--363
-
Varju, E., Csuhaj-, 81(2)305--310, 87(2)287--313
-
Varjú, Erzsébet, Csuhaj-, 112(2)277--289, 134(1)119--130
-
Varman, Peter J., 128(1)211--239
-
Varman, Peter J., see Pai, Vinay Sadananda
-
Varricchio, S., 73(1)81--89, 87(2)315--327, 98(1)41--50, 99(2)291--299,
100(1)67--104
-
Varricchio, S., see De Luca, A.,
see de Luca, A.
-
Varricchio:1990:FFM, 73(1)81--89
-
Varricchio:1992:DEP, 99(2)291--299
-
Varricchio:1992:RSC, 98(1)41--50
-
Varvel, D., 100(1)105--135
-
Varvel, D., see Holte, R.
-
varying, 72(2)147--167, 93(2)201--225
-
VAS, 95(1)159--168
-
Vauzeilles, J., 113(2)349--370
-
Vauzeilles, J., see Masseron, M.
-
Vazirani, V. V., 88(1)183--189
-
Vazirani, V. V., see Khuller, S.
-
Vazirani, Vijay V., 127(2)255--267
-
Vazirani, Vijay V., see Khuller, Samir
-
vector, 73(2)121--154, 74(1)3--18, 78(2)357--362, 80(1)105--115,
88(1)127--138, 95(1)159--168, 98(2)199--247, 123(1)95--115,
125(2)229--241, 127(1)187--198, 134(1)131--173
-
vectorization, 73(2)121--154
-
Velauthapillai, M., 77(3)249--266
-
Velauthapillai, M., see Smith, C. H.
-
Verhoeff, 95(2)207--229
-
verifiable, 81(2)317--324
-
verification, 70(1)127--150, 71(2)265--279, 74(3)253--271,
79(2)295--321, 79(2)323--339, 80(2)263--288, 80(2)319--335,
88(1)15--32, 89(1)179--206, 90(1)37--46, 94(1)141--158,
94(2)237--259, 94(2)335--356, 96(1)157--174, 97(1)67--81,
101(2)289--335, 101(2)337--359, 102(1)165--183, 102(1)185--205,
103(2)191--204, 104(1)89--107, 105(1)129--140, 106(1)3--20,
107(2)305--332, 111(1)125--143, 112(1)145--185, 118(2)99--166,
119(1)23--38, 119(1)127--143, 119(1)173--185, 119(1)z--z,
120(1)69--81, 120(1)83--99, 120(1)123--155, 122(1)119--136,
124(1)180--187, 126(2)143--182, 128(1)99--125, 128(1)127--157,
129(1)123--142, 131(1)95--120, 131(1)139--179, 133(2)341--359,
135(2)319--343, 135(2)345--359
-
verifier, 113(1)55--73
-
Verschelde, Jan, 133(1)165--185
-
Verschelde:1994:HSP, 133(1)165--185
-
version, 70(1)127--150, 79(1)3--24, 80(1)53--75, 96(2)411--419,
112(1)53--97, 115(2)321--349, 116(2)359--371, 129(2)407--417,
133(1)15--22
-
versus, 82(1)51--69, 93(1)159--167, 106(1)3--20, 119(2)233--245,
132(1)179--207, 132(1)319--336, 132(1)377--385
-
vertex, 72(1)65--94, 74(1)19--35, 74(3)299--312, 84(2)179--197,
86(2)205--232, 90(2)355--367, 91(1)1--21, 97(2)285--300,
99(2)213--230, 103(1)107--135, 112(2)419--420, 115(2)351--357,
126(1)53--75, 130(1)175--201, 131(2)361--374, 132(1)337--345,
134(1)209--223
-
vertex, n-, 73(1)91--100, 106(2)265--281
-
vertex-coloring, 130(1)163--174
-
vertex-disjoint, 84(2)179--197
-
vertical, 77(1)27--71
-
very, 107(1)3--30, 118(1)81--98, 121(1)169--178
-
Vianu, V., 76(1)93--114, 95(1)1--42
-
Vianu, V., see Karabeg, D.
-
Vianu:1992:CLC, 95(1)1--42
-
Vickers, Steven, 114(2)201--229
-
Vickers:1993:ISC, 114(2)201--229
-
Viennot, X. G., 79(1)179--193
-
Viennot, X. G., see Leroux, P.
-
Vietoris, 114(2)201--229
-
view, 80(1)77--104, 98(1)15--25, 112(1)53--97, 114(1)3--30, 116(1)3--31,
118(1)3--20
-
viewpoint, 85(1)117--134, 106(2)391--393
-
VII, 101(1)3--33
-
Villemaire, Roger, 106(2)337--349
-
Villemaire:1992:TU, 106(2)337--349
-
virtual, 128(1)3--30
-
virus, 125(1)131--147
-
visibility, 99(2)213--230, 119(2)331--343
-
Vissers, C. A., 89(1)179--206
-
Vissers:1991:SSD, 89(1)179--206
-
visual, 116(1)95--116, 133(2)361--385
-
Viswanathan, Venkatraman, 106(2)361--371
-
Viswanathan, Venkatraman, see Huang, Shou-Hsuan Stephen
-
Vitter, Jeffrey Scott, 130(1)203--236
-
Vitter, Jeffrey Scott, see Miltersen, Peter Bro
-
VLIW, 73(2)121--154
-
VLSI, 82(1)157--163, 84(2)225--250, 99(2)213--230, 102(2)355--365,
107(1)121--133
-
Vogler, H., 78(2)267--303, 108(2)185--236
-
Vogler, H., see Engelfriet, J., \see{Fulop, Z.
-
Vogler, W., 89(1)33--62, 91(2)205--238
-
Vogler, W., see Habel, A.
-
Vogler, Walter, 114(1)173--200
-
Vogler:1991:ENP, 91(2)205--238
-
Vogler:1993:BAR, 114(1)173--200
-
Volterra, 79(1)179--193
-
von Bochmann, G., 87(1)97--114
-
von Bochmann, G., see Fournier, R.
-
Von Wright, J., 100(2)365--383
-
Von Wright, J., see Back, R. J. R.
-
Voronoi, 77(3)331--343
-
Vossen, G., 82(2)303--327, 95(1)1--42
-
Vossen, G., see Lukassen, A., \see{Vianu, V.
-
voting, 128(1)159--177
-
Vrto, I., 82(1)157--163
-
Vrto, I., see Palko, V.
-
Vr{\v{t}}o, Imrich, 112(2)419--420,
see Sýkora, Ondrej
-
vs, 107(1)135--144