Index file section K for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
K
-
k, 160(1)87--143
-
k, base-, 163(1)193--210
-
k, of-, 193(1)97--112
-
K-chordal, 140(2)291--300
-
K-oracle, 185(1)129--157
-
K-terms;, lambda-, 155(1)265--266
-
Kaci, Hassan, Aït-, 151(2)353--383
-
Kafura, Dennis, 192(2)287--314
-
Kafura, Dennis, see Mukherji, Manibrata
-
Kagan, Vadim, 155(1)157--177
-
Kagan:1996:CMM, 155(1)157--177
-
Kahn, 195(1)3--32
-
Kahrs, Stefan, 173(2)445--484
-
Kahrs:1997:DEM, 173(2)445--484
-
Kaivola, Roope, 190(1)41--60
-
Kaivola:1998:AEC, 190(1)41--60
-
Kajitani, Yoji, 137(2)253--268
-
Kajitani, Yoji, see Takahashi, Atsushi
-
Kaklamanis, Christos, 221(1)119--137
-
Kaklamanis, Christos, see Erlebach, Thomas
-
Kamareddine, Fairouz, 155(1)85--109
-
Kamareddine:1996:UN, 155(1)85--109
-
Kaminski, Michael, 160(1)271--281
-
Kaminski:1996:PAO, 160(1)271--281
-
Kaneda, T., 180(1)47--60
-
Kaneda, T., see Hosaka, K.
-
Kang, Lishan, 229(1)23--39
-
Kang, Lishan, see He, Jun
-
Kann, Viggo, 147(1)181--210, 209(1)237--260
-
Kann, Viggo, see Amaldi, Edoardo
-
Kanovitch, M., 197(1)245--z
-
Kanovitch:1998:SCS, 197(1)245--z
-
Kant, Goos, 172(1)175--193
-
Kant:1997:REL, 172(1)175--193
-
Kaplan, 194(1)247--z
-
Kapur, Shyam, 141(1)151--162, 155(2)365--410
-
Kapur, Shyam, see Lange, Steffen
-
Kapur:1995:LLO, 141(1)151--162
-
Karczmarczuk, Jerzy, 187(1)203--219
-
Karczmarczuk:1997:GPL, 187(1)203--219
-
Karhumäki, J., 183(1)83--92, see Choffrut, C.
-
Karhumäki, Juhani, 168(1)105--119, 204(1)29--34, 218(1)123--133,
see Cassaigne, Julien
-
Karhumaki:1996:SIS, 168(1)105--119
-
Karhumaki:1999:GFW, 218(1)123--133
-
Kari, Lila, 141(1)253--268, 183(1)3--19
-
Kari, Lila, see Ito, Masami
-
Kari:1995:MPL, 141(1)253--268
-
Karp-Levin, 164(1)141--163
-
Karpinski, Marek, 154(1)23--39, 157(1)91--99, 157(2)259--266,
180(1)309--324, 205(1)243--260
-
Karpinski, Marek, see Grigoriev, Dima
-
Karpinski:1996:RVD, 154(1)23--39
-
Karpinski:1996:SAP, 157(2)259--266
-
Karpinski:1997:CCO, 180(1)309--324
-
Karpinski:1998:AIO, 205(1)243--260
-
Karzanov, Alexander V., 157(2)215--225
-
Karzanov:1996:HTS, 157(2)215--225
-
Kása, Zoltán, 218(1)177--195,
see Ferenczi, Sébastien
-
Katajainen, J., 220(2)345--362
-
Katajainen, J., see Fadel, R.
-
Katona, G. O. H., 190(2)151--166
-
Katona, G. O. H., see Demetrovics, J.
-
Kautz, Steven M., 191(1)185--192
-
Kautz:1998:IZO, 191(1)185--192
-
Kavvadias, Dimitris J., 168(1)121--154
-
Kavvadias:1996:HED, 168(1)121--154
-
Kawaguchi, Kimio, 201(1)233--248
-
Kawaguchi, Kimio, see Wada, Koichi
-
Kawahara, Yasuo, 141(1)311--328
-
Kawahara, Yasuo, see Mizoguchi, Yoshihiro
-
Kececioglu, John, 185(1)3--13
-
Kececioglu:1997:IDS, 185(1)3--13
-
Keerthi, S. Sathiya, 140(2)205--230
-
Keerthi, S. Sathiya, see Dattasharma, Abhi
-
Keesmaat, N. W., 179(1)61--102
-
Keesmaat:1997:RRV, 179(1)61--102
-
Keio, 197(1)z--z
-
Kelemenová, Alica, 209(1)213--224,
see Csuhaj-Varjú, Erzsébet
-
Keller, Jörg, 155(2)349--363
-
Keller:1996:FRP, 155(2)349--363
-
Kelley, Dean, 181(2)347--356
-
Kelley, Dean, see Wan, Peng-Jun
-
Kelley, Dean F., 207(1)171--180
-
Kelley, Dean F., see Du, Xiufeng
-
Kemp, David B., 146(1)145--184
-
Kemp, Rainer, 156(1)39--70
-
Kemp:1995:BEQ, 146(1)145--184
-
Kemp:1996:BST, 156(1)39--70
-
Kennaway, J. R., 175(1)93--125
-
Kennaway, R., 194(1)241--z--2, 194(1)244--z--2
-
Kennaway, R., see Clark, D.
-
Kennaway:1997:ILC, 175(1)93--125
-
Kennaway:1998:IRC, 194(1)244--z--2
-
kernel, 145(1)111--145, 173(2)393--443, 176(1)235--282, 189(1)71--107,
193(1)75--96
-
Kesner, Delia, 169(2)201--220
-
Kesner, Delia, see Di Cosmo, Roberto
-
key, 156(1)39--70, 190(2)151--166, 200(1)313--334
-
key, key-to-, 144(1)199--220
-
key, public-, 226(1)143--172
-
key-to-key, 144(1)199--220
-
Khasidashvili, Z., 194(1)244--z--3
-
Khasidashvili:1998:CSC, 194(1)244--z--3
-
Kieronska, D. H., 169(1)39--65
-
Kieronska, D. H., see Farrell, C. A.
-
Kiesswetter, 165(2)325--354
-
kilter, out-of-, 194(1)207--218
-
Kim, Changwook, 186(1)157--169, 223(1)143--178
-
Kim, Yonghoan, 156(1)263--280
-
Kim:1996:NVD, 156(1)263--280
-
Kim:1997:HEF, 186(1)157--169
-
Kim:1999:HGH, 223(1)143--178
-
Kimber, Don, 148(1)141--156
-
Kimber:1995:LLS, 148(1)141--156
-
Kinber, Efim, 163(1)177--192
-
Kinber, Efim, see Beigel, Richard
-
kind, 142(1)125--138
-
kinded, 176(1)235--282
-
kinks, 156(1)263--280
-
Kirchner, C., 142(2)139--z
-
Kirchner, H., 190(1)1--2
-
Kirchner:1995:E, 142(2)139--z
-
Kirchner:1998:E, 190(1)1--2
-
Kirousis, Lefteris M., 172(1)233--254
-
Kirousis, Lefteris M., see Dendris, Nick D.
-
Kirschenhofer, Peter, 144(1)199--220
-
Kirschenhofer:1995:AOS, 144(1)199--220
-
Kivinen, Jyrki, 149(1)129--149
-
Kivinen:1995:AIF, 149(1)129--149
-
Klapper, Andrew, 226(1)61--92
-
Klapper:1999:AFS, 226(1)61--92
-
Klav{\v{z}}ar, Sandi, 215(1)123--136, see Hagauer, Johann
-
Kleene, 127(2)287--312, 137(2)237--251
-
Kleene, Herbrand-Godel-, 152(1)1--66
-
Kleene-type, 150(1)77--109
-
Kleijn, H. C. M., 153(1)129--170, 179(1)61--102
-
Kleijn, H. C. M., see Hoogers, P. W.,
see Keesmaat, N. W.
-
Kleijn--Rozenberg, 161(1)23--68
-
Kloeden, P., 148(1)1--17
-
Kloeden, P., see Diamond, P.
-
Kloks, Ton, 175(2)309--335
-
Kloks:1997:TMF, 175(2)309--335
-
Klop, J. W., 175(1)93--125
-
Klop, J. W., see Kennaway, J. R.
-
KMP, 137(2)269--278
-
Knapik, Teodor, 139(1)275--314
-
Knapik, Teodor, see Bernot, Gilles
-
Knapp, Edgar, 183(2)253--279
-
Knapp, Edgar, see Collette, Pierre
-
knapsack, 161(1)301--306
-
Knaster-Tarski, 148(1)67--92
-
Knoop, Jens, 196(1)365--393
-
Knoop:1998:EPD, 196(1)365--393
-
knowledge, 141(1)151--162, 142(2)141--177, 143(1)51--72, 151(1)37--78,
160(1)321--363, 163(1)161--176, 167(1)95--130, 171(1)111--146,
171(1)147--177, 171(1)221--246, 171(1)247--280, 172(1)91--120,
173(1)253--281, 173(1)283--308, 173(2)485--511, 177(1)183--216,
181(2)317--335, 185(1)15--45, 185(1)63--79, 185(1)129--157,
189(1)129--177, 197(1)243--z, 217(2)215--233, 220(1)31--65
-
known, 143(1)175--188
-
Knuth--Bendix, 146(1)199--242, 192(1)77--106
-
Ko, Ker-I, 145(1)241--270
-
Ko:1995:PTC, 145(1)241--270
-
Kobayashi, Kojiro, 181(2)289--306
-
Kobayashi, Naoki, 227(1)185--220
-
Kobayashi, S., 197(1)244--z--1
-
Kobayashi, S., see Hayashi, S.
-
Kobayashi, Satoshi, 174(1)251--257, 175(1)29--74, 210(2)277--303
-
Kobayashi, Satoshi, see Uemura, Yasuo
-
Kobayashi, Yuji, 146(1)321--329
-
Kobayashi:1995:FPM, 146(1)321--329
-
Kobayashi:1997:LAR, 174(1)251--257
-
Kobayashi:1997:MM, 175(1)29--74
-
Kobayashi:1997:TPM, 181(2)289--306
-
Kobayashi:1999:DCL, 227(1)185--220
-
Köbler, Johannes, 137(2)279--282,
see Arvind, Vikraman
-
Koch, 165(2)325--354
-
K{\ocirc{u}}rka, Petr, 174(1)203--216, 209(1)179--193,
411(31)2999--3000, see Blanchard, François
-
Kohlas, Jürg, 171(1)221--246
-
Kohlas:1997:AAE, 171(1)221--246
-
Kohn, Wolf, 138(1)141--168
-
Kohn:1995:VHS, 138(1)141--168
-
Koiran, Pascal, 168(2)473--480, 210(1)217--223, 215(1)289--304
-
Koiran:1996:FUR, 168(2)473--480
-
Koiran:1999:CFA, 210(1)217--223
-
Koiran:1999:EPP, 215(1)289--304
-
Kok, Joost N., 151(1)79--124, 229(1)143--175
-
Kok, Joost N., see Bonsangue, Marcello M.,
see Kosters, Walter A.
-
Kolmogorov, 188(1)175--194, 190(2)317--361, 191(1)245--248,
200(1)261--287
-
Kolmogorov, A. N., 207(2)387--395
-
Kolmogorov--Loveland, 225(1)185--194
-
Kolmogorov:1998:TRN, 207(2)387--395
-
Kolpakov, Roman, 218(1)161--175
-
Kolpakov:1999:RFB, 218(1)161--175
-
König, J.-C, 147(1)1--18, see Bampis, E.
-
Koole, Ger, 182(1)203--216
-
Koole:1997:ASS, 182(1)203--216
-
Kopidakis, Y., 178(1)265--273
-
Kopidakis:1997:ASS, 178(1)265--273
-
Kopke, Peter W., 221(1)369--392
-
Kopke, Peter W., see Henzinger, Thomas A.
-
Kopperman, Ralph, 177(1)111--138
-
Kopperman, Ralph, see Flagg, Bob
-
Korec, Ivan, 168(2)267--301
-
Korec:1996:SUR, 168(2)267--301
-
Korelc, Jo{\v{z}}e, 187(1)231--248
-
Korelc:1997:AGF, 187(1)231--248
-
Korff, M., 194(1)245--z
-
Korff:1998:CDS, 194(1)245--z
-
Kortelainen, Juha, 225(1)149--161
-
Kortelainen, Juha, see Hakala, Ismo
-
Korver, Henri, 177(2)459--486
-
Korver, Henri, see Fredlund, Lars-åke
-
Ko{\'s}cielski, Antoni, 191(1)145--156
-
Koscielski:1998:MAP, 191(1)145--156
-
Koshiba, Takeshi, 185(1)63--79
-
Koshiba:1997:LDE, 185(1)63--79
-
Koskas, Michel, 158(1)35--51
-
Koskas:1996:APW, 158(1)35--51
-
Koslowski, Jürgen, 179(1)421--425
-
Koslowski:1997:NFA, 179(1)421--425
-
Kosters, Walter A., 229(1)143--175
-
Kosters:1999:FAG, 229(1)143--175
-
Kotzig'r, 143(2)319--333
-
Kotzig, Anton, 143(2)319--333
-
Kotzig, Anton, see Fraenkel, Aviezri S.
-
Koubarakis, Manolis, 171(1)25--60, 173(1)89--112
-
Koubarakis:1997:CQE, 171(1)25--60
-
Koubarakis:1997:LGC, 173(1)89--112
-
Koubek, V., 204(1)99--118
-
Koubek, V., see Goralcik, P.
-
Koubek, Václav, 150(1)57--75,
see Adámek, Ji{\v{r}}{\'\i}
-
Koutny, M., 194(1)241--z
-
Koutny, M., see Best, E.
-
Koutny, Maciej, 211(1)1--83
-
Koutny:1999:ODS, 211(1)1--83
-
Kozen, Dexter, 167(1)73--94
-
Kozen:1996:RSS, 167(1)73--94
-
Kozyakin, V., 148(1)1--17
-
Kozyakin, V., see Diamond, P.
-
Kraft, 156(1)315--325
-
Kranakis, Evangelos, 145(1)95--109, 175(2)239--255, 203(1)151--162
-
Kranakis, Evangelos, see Bauernöppel, Frank,
see Diks, Krzysztof
-
Kranakis:1998:AMF, 203(1)151--162
-
Krapp, C.-A., 194(1)243--244
-
Krapp, C.-A., see Heimann, P.
-
Kratsch, Dieter, 175(2)309--335
-
Kratsch, Dieter, see Kloks, Ton
-
Krause, Matthias, 156(1)99--117, 174(1)137--156
-
Krause:1996:GAY, 156(1)99--117
-
Krause:1997:CPD, 174(1)137--156
-
Kreowski, H.-J., 145(1)159--187, 194(1)245--z--1
-
Kreowski, H.-J., see Drewes, F.
-
Kreowski:1998:SPG, 194(1)245--z--1
-
Kripke, 194(1)246--z--2
-
Kripke-style, 195(1)33--60
-
Krishna Rao, M. R. K., 208(1)59--z
-
KrishnaRao:1998:MAT, 208(1)59--z
-
Krithivasan, Kamala, 143(1)23--49
-
Krithivasan:1995:NPA, 143(1)23--49
-
Krizanc, Danny, 175(2)239--255, 203(1)151--162
-
Krizanc, Danny, see Bauernöppel, Frank,
see Kranakis, Evangelos
-
Kronecker, 197(1)111--138
-
Krumke, S. O., 181(2)379--404
-
Krumke, Sven O., 203(1)91--121, 221(1)139--155
-
Krumke, Sven O., see Drangmeister, Kay U.
-
Krumke:1997:CLP, 181(2)379--404
-
Krumke:1999:IST, 221(1)139--155
-
Kruskal, 194(1)247--z--2
-
Kshemkalyani, Ajay D., 196(1)45--70
-
Kshemkalyani:1998:FVA, 196(1)45--70
-
Kuchen, Herbert, 196(1)71--107
-
Kuchen, Herbert, see Botorog, George Hora{\c{t}}iu
-
Kucherov, Gregory, 155(2)289--290, 178(1)129--154, 218(1)161--175
-
Kucherov, Gregory, see Kolpakov, Roman
-
Kucherov:1996:VA, 155(2)289--290
-
Kucherov:1997:MSS, 178(1)129--154
-
Küchlin, Wolfgang, 187(1)179--202,
see Amrhein, Beatrice
-
Kudlek, Manfred, 168(2)241--255, 180(1)341--352
-
Kudlek:1996:SDT, 168(2)241--255
-
Kudlek:1997:DC, 180(1)341--352
-
Kuich, Werner, 183(1)113--142
-
Kuich, Werner, see Honkala, Juha
-
Kulkarni, Sulekha R., 165(2)355--390
-
Kulkarni:1996:LTP, 165(2)355--390
-
Kullmann, O., 223(1)1--72
-
Kullmann:1999:NMS, 223(1)1--72
-
Kumar, Ratnesh, 148(1)67--92
-
Kumar:1995:ESI, 148(1)67--92
-
Kummer, Martin, 161(1)123--140, 197(1)139--156
-
Kummer, Martin, see Fortnow, Lance
-
Kunen, 165(1)171--200
-
Kuoherov, G., 155(2)239--z
-
Kuoherov:1996:VA, 155(2)239--z
-
Kurihara, Masahito, 152(1)139--169
-
Kurihara:1995:MNT, 152(1)139--169
-
Kurka:1997:TDT, 174(1)203--216, 411(31)2999--3000
-
Kurka:2010:EET, 174(1)203--216, 411(31)2999--3000
-
Kurose, Yoshinori, 206(1)257--281
-
Kurose, Yoshinori, see Yamasaki, Susumu
-
Kurtz, Stuart A., 197(1)139--156
-
Kurtz, Stuart A., see Fortnow, Lance
-
Kushner, Boris A., 219(1)267--285
-
Kushner:1999:MCA, 219(1)267--285
-
Kuske, Dietrich, 174(1)67--96
-
Kuske, Dietrich, see Bracho, Felipe
-
Kuske, S., 194(1)245--z--2
-
Kuske:1998:IBR, 194(1)245--z--2
-
Kutrib, Martin, 215(1)239--261
-
Kutrib:1999:PCA, 215(1)239--261
-
Kutten, Shay, 186(1)199--230, 220(1)93--111
-
Kutten, Shay, see Afek, Yehuda
-
Kutten:1999:STA, 220(1)93--111
-
Kutty, G., 166(1)1--47, 170(1)1--46
-
Kutty, G., see Ramakrishna, Y. S.
-
Kwiatkowska, Marta, 151(1)3--27
-
Kwiatkowska, Marta, see Ambler, Simon
-
Kwon, Oh-Heum, 215(1)209--223
-
Kwon:1999:SPT, 215(1)209--223