Index file section V for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
V
-
V, 187(1)81--86, 207(1)13--23
-
V'yugin, V. V., 207(2)343--361, 207(2)363--382
-
v-calculus, 151(2)437--486
-
V-continuity, 177(1)111--138
-
Vaccaro, Ugo, 154(2)283--306, 165(2)407--440
-
Vaccaro, Ugo, see Blundo, Carlo
-
vacillatory, 137(1)85--108
-
Vágvölgyi, Sándor, 143(2)285--308, 156(1)71--97,
194(1)87--122, see Gyenizse, Pál,
see Slutzki, Giora
-
Valentin, 155(2)239--z, 155(2)289--290
-
Valentini, Silvio, 159(2)319--341
-
Valentini, Silvio, see Sambin, Giovanni
-
Valiant, 143(2)343--352
-
Valiant-Vazirani, 148(2)325--349
-
valid, 138(1)201--210, 143(1)51--72
-
validation, 170(1)245--276, 189(1)71--107
-
validity, 146(1)243--268, 160(1)271--281, 160(1)365--380
-
Valiente, G., 184(1)145--193, 194(1)246--z, 216(1)311--362
-
Valiente, G., see Burmeister, P.,
see Monserrat, M.
-
Vallée, Brigitte, 194(1)1--34, see Flajolet, Philippe
-
Valmari, Antti, 179(1)397--419
-
Valmari, Antti, see Eloranta, Jaana
-
valuations, 137(2)177--217, 144(1)251--275
-
value, 137(1)159--176, 138(2)353--389, 147(1)211--248, 149(1)49--66,
156(1)263--280, 169(1)113--121, 177(1)111--138, 192(2)201--231,
196(1)289--317, 215(1)51--68, 218(1)3--12
-
value, call-by-, 163(1)269--276, 177(1)27--58, 206(1)301--315,
221(1)393--456, 228(1)175--210
-
valued, 3-, 192(1)77--106
-
valued, Boolean-, 137(1)109--127
-
valued, four-, 171(1)61--75
-
valued, infinite-, 200(1)335--366
-
valued, integer-, 143(2)309--318
-
valued, Multi-, 171(1)77--109
-
valued, multi-, 171(1)77--109, 184(1)105--143
-
valued, multiple-, 171(1)111--146, 171(1)281--302
-
valued, real-, 151(1)163--193, 162(1)45--77, 219(1)3--17
-
valued, Three-, 165(1)171--200
-
valued, three-, 165(1)171--200
-
van Breugel, F., 193(1)1--51
-
van Breugel, F., see Bonsangue, M. M.
-
van Dalen, D., 197(1)242--z--3
-
van de Pol, Jaco, 200(1)289--312
-
Van den Bussche, Jan, 149(1)49--66
-
van der Hoeven, Joris, 210(1)199--215
-
van Glabbeek, R. J., 177(2)329--349
-
Van Gucht, Dirk, 149(1)49--66
-
Van Gucht, Dirk, see Van den Bussche, Jan
-
Van Hentenryck, Pascal, 173(1)3--48
-
Van Hentenryck, Pascal, see Michel, Laurent
-
Van Oostrom, V., 194(1)244--z--3
-
Van Oostrom, V., see Khasidashvili, Z.
-
Van, Do Long, 143(1)1--21
-
Van:1995:CRL, 143(1)1--21
-
vanBakel:1995:ITA, 151(2)385--435
-
vanBreugel:1998:TMS, 202(1)223--230
-
vanDalen:1998:ICB, 197(1)242--z--3
-
VandenBussche:1995:EPC, 149(1)49--66
-
vandePol:1998:OSR, 200(1)289--312
-
vanderHoeven:1999:FEH, 210(1)199--215
-
Vandermonde, 162(2)173--223
-
vanGlabbeek:1997:NMC, 177(2)329--349
-
Vanherpe, Jean-Marie, 180(1)269--286
-
Vanherpe, Jean-Marie, see Giakoumakis, Vassilis
-
vanishing, 187(1)49--79
-
vanNimwegen:1999:SDR, 229(1)41--102
-
vanOostrom:1997:DDR, 175(1)159--181
-
vanWamel:1997:PAL, 177(2)425--458
-
Vapnik--Chervonenkis, 137(1)129--144, 172(1)43--65, 188(1)79--99
-
Varadharajan, Vijay, 226(1)173--184
-
Varadharajan:1999:DER, 226(1)173--184
-
Vardi, M. Y., 190(2)113--z
-
Vardi, M. Y., see Gottlob, G.
-
Vardi, Moshe Y., 149(1)101--128
-
Vardi, Moshe Y., see Abiteboul, Serge
-
variable, 138(1)113--139, 139(1)207--242, 140(2)231--247,
140(2)249--263, 140(2)301--317, 141(1)269--282, 142(1)89--124,
144(1)59--65, 144(1)125--159, 144(1)161--197, 146(1)5--23,
148(1)141--156, 149(1)101--128, 153(1)3--48, 155(1)85--109,
155(1)277--288, 155(2)411--424, 158(1)279--341, 160(1)365--380,
162(1)151--170, 167(1)47--72, 167(1)95--130, 167(1)131--170,
168(1)39--51, 168(1)155--212, 169(1)81--112, 172(1)255--263,
173(1)183--208, 173(1)283--308, 178(1)129--154, 183(2)187--214,
185(2)237--258, 192(1)3--29, 192(2)201--231, 197(1)241--z,
197(1)245--246, 209(1)237--260, 217(1)157--172, 219(1)287--299,
223(1)193--197, 224(1)73--113
-
variable-constraint, 158(1)279--341
-
variable-length, 164(1)223--252
-
variance, 144(1)251--275
-
variant, 176(1)235--282, 193(1)75--96
-
variation, 138(1)201--210, 164(1)185--206, 187(1)179--202,
221(1)327--368
-
Variétés, 145(1)229--240
-
varieties, 145(1)229--240, 163(1)55--98, 180(1)325--339, 187(1)49--79,
205(1)1--43
-
various, 145(1)317--327, 174(1)259--268, 212(1)261--303, 266(1)997--998
-
Varjú, Erzsébet, Csuhaj-, 209(1)213--224, 215(1)349--358
-
Varricchio, Stefano, 180(1)1--15
-
Varricchio, Stefano, see Madonia, Marina
-
varying, 193(1)215--244
-
Vaszil, György, 209(1)319--329, 215(1)349--358,
see Csuhaj-Varjú, Erzsébet
-
Vaszil:1998:SNR, 209(1)319--329
-
Vauzeilles, J., 197(1)243--z
-
Vauzeilles, J., see Fouquere, C.
-
Vazirani, Valiant-, 148(2)325--349
-
VC-dimension, 137(1)109--127, 137(1)129--144, 185(1)159--175
-
VCCS, 179(1)61--102
-
vector, 138(1)35--65, 138(1)201--210, 157(1)115--127, 157(1)129--136,
163(1)193--210, 169(1)39--65, 172(1)303--308, 179(1)61--102,
187(1)147--165, 187(1)231--248, 197(1)242--z--1, 207(1)105--116
-
Vega, Wenceslas Fernandez de la, 147(1)267--298
-
Vega, Wenceslas Fernandez de la, see Blot, Joël
-
Vegas, 154(1)23--39
-
Vemuri, V. Rao, 229(1)177--197
-
Vemuri, V. Rao, see Cedeño, Walter
-
Venkateswaran, H., 209(1)389--398
-
Venkateswaran, H., see Sengupta, Rimli
-
Venturini Zilli, M., 212(1)211--231
-
Venturini Zilli, M., see Intrigila, B.
-
Verbeek, Rutger, 154(1)23--39
-
Verbeek, Rutger, see Karpinski, Marek
-
Verbitsky, Oleg, 157(2)277--282
-
Verbitsky:1996:TPR, 157(2)277--282
-
Vereshchagin, Nikolai K., 157(2)227--258, 207(2)329--342
-
Vereshchagin, Nikolai K., see Muchnik, Andrei A.
-
Vereshchagin:1998:RBD, 207(2)329--342
-
Verhoef, Chris, 177(2)285--286, 177(2)351--380
-
Verhoef, Chris, see D'Argenio, Pedro R.,
see Ponse, Alban
-
verification, 138(1)169--199, 138(2)391--423, 139(1)27--67,
139(1)275--314, 140(1)95--138, 141(1)283--310, 142(2)179--207,
142(2)257--276, 149(2)361--374, 150(1)161--191, 151(1)125--162,
151(2)487--512, 152(1)139--169, 153(1)95--128, 156(1)177--201,
165(1)3--55, 165(1)57--74, 165(1)97--131, 166(1)1--47,
166(1)173--202, 167(1)193--233, 168(1)53--103, 169(1)81--112,
170(1)47--81, 170(1)245--276, 173(1)49--87, 174(1)217--230,
176(1)111--158, 176(1)235--282, 177(1)183--216, 177(2)407--423,
177(2)425--458, 177(2)459--486, 178(1)237--255, 179(1)353--380,
179(1)397--419, 180(1)17--45, 180(1)309--324, 183(2)215--228,
183(2)253--279, 185(2)393--410, 186(1)135--156, 189(1)229--237,
192(1)31--54, 195(2)259--289, 216(1)213--235, 220(2)377--408
-
verify, 170(1)245--276
-
Verifying, 174(1)217--230
-
Verma, Rakesh M., 152(2)269--283
-
Verma:1995:TCR, 152(2)269--283
-
version, 140(2)291--300, 141(1)175--193, 143(2)343--352, 157(2)215--225,
165(2)441--461, 168(1)3--19, 173(1)183--208, 176(1)159--173,
187(1)81--86
-
versus, 145(1)381--390, 153(1)171--210, 154(1)23--39, 164(1)141--163,
170(1)145--171
-
vertex, 140(2)265--289, 145(1)27--43, 147(1)249--265, 154(2)247--282,
157(2)161--183, 158(1)117--141, 172(1)233--254, 172(1)265--271,
174(1)23--65, 174(1)193--202, 175(2)239--255, 225(1)113--128
-
vertex, four-, 154(1)3--22
-
vertex;, n-, 168(1)121--154
-
vertex-induced, 148(1)57--65
-
vertex-weighted, 172(1)265--271
-
vertical, 155(2)321--347, 159(1)129--136
-
via, 143(2)343--352, 160(1)145--184, 160(1)185--216, 171(1)61--75,
185(2)347--377, 193(1)1--51, 194(1)240--z, 203(2)225--251,
212(1)77--99, 219(1)169--184
-
viability, 138(1)141--168
-
viable, 138(1)141--168
-
Vianu, Victor, 149(1)101--128, 190(2)211--239
-
Vianu, Victor, see Abiteboul, Serge,
see Lifschitz, Sérgio
-
Viari, Alain, 180(1)115--137
-
Viari, Alain, see Sagot, Marie-France
-
Vidal, Germán, 165(1)133--169,
see Alpuente, María
-
Vide, Carlos, Martin-, 205(1)195--205
-
video, 152(2)171--217, 154(2)165--181, 163(1)117--144, 163(1)303--308,
178(1)129--154, 186(1)1--41
-
Vielhaber, Michael, 226(1)93--104
-
Vielhaber, Michael, see Niederreiter, Harald
-
Viennot, Laurent, 175(2)393--406
-
Viennot:1997:PFO, 175(2)393--406
-
view, 138(2)391--423, 159(2)143--190, 170(1)349--381, 183(2)229--251,
184(1)1--59, 190(2)211--239, 192(2)167--199, 193(1)1--51,
212(1)233--246, 219(1)267--285, 229(1)3--9
-
viewing, 196(1)45--70
-
Vigna, Sebastiano, 162(1)5--21, 219(1)49--64
-
Vigna, Sebastiano, see Boldi, Paolo
-
Vigna:1996:RBD, 162(1)5--21
-
Vijayaraghavan, Pisot-, 158(1)65--79
-
Villani, M., 217(1)131--156
-
Villani, M., see Gregorio, S. Di
-
Vinay, V., 209(1)47--86
-
Vinay, V., see Allender, Eric
-
Vincent, Millist W., 185(2)379--391
-
Vincent:1997:CDR, 185(2)379--391
-
Vingralek, R., 190(2)363--396
-
Vingralek:1998:UCC, 190(2)363--396
-
Vink, E. P. de, 221(1)271--293
-
Vinodchandran, N. V., 180(1)17--45
-
Vinodchandran, N. V., see Arvind, V.
-
Virgili, Paolo, 159(2)319--341
-
Virgili, Paolo, see Sambin, Giovanni
-
Virot, Bernard, 189(1)71--107
-
Virot, Bernard, see Bougé, Luc
-
virtual, 162(2)297--322, 174(1)123--136, 181(1)75--90, 207(1)203--216
-
Vishkin, Uzi, 154(2)225--245
-
Vishkin, Uzi, see JáJá, Joseph F.
-
visibility, 140(2)249--263, 140(2)291--300, 172(1)175--193
-
vision, 140(2)319--331, 147(1)211--248, 154(2)165--181, 178(1)225--236,
186(1)1--41
-
visitation, 174(1)1--21
-
Visser, Eelco, 199(1)57--86
-
Visser:1998:PSD, 199(1)57--86
-
visualisation, 196(1)289--317
-
visualization, 196(1)289--317
-
Vlijmen, Bas van, 177(2)285--286
-
Vlijmen, Bas van, see Ponse, Alban
-
VLSI, 162(1)133--150, 197(1)57--77, 197(1)171--188, 197(1)171--188--1,
203(1)31--49
-
vocabulary, 152(1)67--89
-
Vocca, P., 175(2)373--392
-
Vocca, P., see Talamo, M.
-
Vogliotti, C., Quaranta, 145(1)1--26
-
Vogliotti, C. Quaranta, 178(1)77--102
-
Vogliotti, C. Quaranta, see Cattaneo, G.
-
Vollmer, Heribert, 163(1)245--258, 188(1)101--116, 207(1)159--170
-
Vollmer, Heribert, see Regan, Kenneth W.
-
Vollmer:1996:RTC, 163(1)245--258
-
Vollmer:1998:RPT, 207(1)159--170
-
volume, 150(2)195--z, 150(2)197--z, 150(2)339--z, 160(1)383--z,
170(1)467--z, 180(1)379--z, 185(2)411--z, 213(1)5--436,
213(1)529--659
-
von, 165(2)325--354, 168(2)337--366
-
Vorobjov, N., 157(2)185--214
-
Vorobjov, N., see Grigoriev, D.
-
Voronkov, Andrei, 166(1)291--300, 222(1)133--152, 224(1)319--352
-
Voronkov, Andrei, see Degtyarev, Anatoli,
see Gurevich, Yuri
-
Voronkov:1999:SRU, 224(1)319--352
-
Voronoi, 137(1)145--157, 140(2)205--230, 140(2)265--289, 174(1)193--202
-
Vose, Michael D., 229(1)103--142
-
Vose:1999:RHS, 229(1)103--142
-
votes, 226(1)105--116
-
voting, 226(1)105--116
-
Vrancken, J. L. M., 177(2)287--328
-
Vrancken:1997:ACP, 177(2)287--328
-
Vries, F. J. de, 175(1)93--125
-
Vries, F. J. de, see Kennaway, J. R.
-
vs., 175(1)15--27, 191(1)215--218, 200(1)45--100
-
Vuillon, Laurent, 209(1)261--285
-
Vuillon:1998:CMS, 209(1)261--285
-
Vyugin:1998:ETI, 207(2)343--361
-
Vyugin:1998:NSI, 207(2)363--382