Index file section K for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
K
-
k, 98(2)263--287
-
k-ary, 103(1)143--159
-
k-automata, 106(2)337--349
-
k-completely, 129(2)309--321
-
k-counter, 88(2)287--296
-
k-mismatches, 92(1)165--179
-
k-provability, 87(1)25--41
-
k-regular, 98(2)163--197, 131(2)463--473
-
k-resolution, 116(2)405--413
-
K-selection, 100(1)185--204
-
k-separated, 120(2)247--259
-
k-server, 130(1)85--99
-
k-sparse, 84(2)151--164
-
k-structure, 132(1)209--227
-
k-tape, 113(1)55--73
-
k-trees, 89(1)33--62
-
K45, 129(1)95--121
-
K5, 129(1)95--121
-
K(A)-modules, 117(1)255--272
-
Kaci, Hassan, Aït-, 122(1)263--283
-
Kahn, 121(1)179--186
-
Kahn, G., 121(1)187--277
-
Kahn:1993:CDP, 121(1)187--277
-
Kalai, Gil, 130(1)175--201
-
Kalai, Gil, see Alon, Noga
-
Kalyanasundaram, Bala, 125(2)345--353, 130(1)125--138
-
Kalyanasundaram, Bala, see Bafna, Vineet
-
Kalyanasundaram:1994:CCT, 130(1)125--138
-
Kamareddine, Fairouz, 136(1)183--216
-
Kamareddine:1994:UAT, 136(1)183--216
-
Kaminski, Michael, 134(2)329--363
-
Kaminski:1994:FMA, 134(2)329--363
-
Kamper, J., 85(2)305--331
-
Kamper:1991:NPS, 85(2)305--331
-
Kanamori, T., 75(1)139--156
-
Kanamori, T., see Kawamura, T.
-
Kanchanasut, Kanchana, 105(1)27--56
-
Kanchanasut:1992:TNL, 105(1)27--56
-
Kanellakis, P., 78(1)159--187, 116(1)1--z
-
Kanellakis, P., see Abiteboul, S.
-
Kapitonova, J. V., 119(1)145--171
-
Kapitonova, J. V., see Letichevsky, A. A.
-
Kaplan, S., 83(1)71--96
-
Kaplan, S., see Dershowitz, N.
-
Kapur, D., 81(2)169--187, 133(2)307--340
-
Kapur:1991:SU, 81(2)169--187
-
Kapur:1994:OTP, 133(2)307--340
-
Karabeg, D., 76(1)93--114
-
Karabeg:1990:PUT, 76(1)93--114
-
Karhumaki, J., 78(2)347--355, 98(1)15--25
-
Karhumaki, J., see Harju, T.
-
Karhumäki, J., 108(1)103--118
-
Karhumäki, Juhani, 116(2)305--316
-
Karhumaki:1992:MDV, 98(1)15--25
-
Karhumaki:1993:ECT, 116(2)305--316
-
Karhumaki:1993:EFS, 108(1)103--118
-
Kari, J., 98(2)249--262
-
Kari, J., see Santean, L.
-
Kari, Jarkko, 127(1)123--147, 127(2)229--254
-
Kari, Jarkko, see Hromkovi{\v{c}}, Juraj
-
Kari, Lila, 127(1)123--147, 132(1)129--150
-
Kari, Lila, see Hromkovi{\v{c}}, Juraj
-
Kari:1994:LEI, 132(1)129--150
-
Kari:1994:RTL, 127(2)229--254
-
Karlin, Anna R., 130(1)73--84
-
Karlin, Anna R., see Azar, Yossi
-
Karloff, H. J., 106(2)265--281
-
Karloff, H. J., see Bern, M. W.
-
Karner, G., 97(2)245--262, 98(1)27--39
-
Karner:1992:NTP, 97(2)245--262
-
Karner:1992:TFP, 98(1)27--39
-
Karnick, H., 81(2)223--235
-
Karnick, H., see Bhatta, K. S. H. S. R.
-
Karp-Miller-Rosenberg, 88(1)59--82
-
Karpinski, M., 84(2)151--164
-
Karpinski, M., see Clausen, M.
-
Karpinski, Marek, 134(2)493--528
-
Karpinski, Marek, see Dahlhaus, Elias
-
Kasai, Takumi, 123(2)329--340
-
Kasai, Takumi, see Iwata, Shigeki
-
Kasami, T., 88(2)191--229
-
Kasami, T., see Seki, H.
-
Kashyap, R. L., 120(2)261--278
-
Kashyap, R. L., see Subbiah, Rajanarayanan
-
Kasyanov, V., 90(1)37--46
-
Kasyanov:1991:TAP, 90(1)37--46
-
Katona, G. O. H., 78(2)377--381
-
Katona, G. O. H., see Burosch, G.
-
Katsura, Masashi, 108(1)119--149, 115(2)359--369
-
Katsura:1993:GFE, 108(1)119--149
-
Katsura:1993:SAD, 115(2)359--369
-
Katz, S., 75(3)263--287
-
Katz, Shmuel, 101(2)337--359
-
Katz:1990:IST, 75(3)263--287
-
Katz:1992:DCI, 101(2)337--359
-
Kawahara, Y., 77(3)267--289
-
Kawahara:1990:PCB, 77(3)267--289
-
Kawamura, T., 75(1)139--156
-
Kawamura, Tadashi, 122(1)69--96
-
Kawamura:1990:PSE, 75(1)139--156
-
Kawamura:1994:LPS, 122(1)69--96
-
Kayles, 96(2)361--388
-
KD45, 129(1)95--121
-
KD5, 129(1)95--121
-
Kearney, P., 91(2)129--179
-
Kearney:1991:EFP, 91(2)129--179
-
Kedem, Z. M., 93(2)245--264
-
Kedem-Landau-Palem, 132(1)403--414
-
Kedem:1992:OPA, 93(2)245--264
-
Kelemen, J., 81(2)305--310
-
Kelemen, J., see Csuhaj-Varju, E.
-
Kelemenová, Alica, 112(2)277--289, 134(1)119--130,
see Csuhaj-Varjú, Erzsébet
-
Kelemenova:1994:LC, 134(1)119--130
-
Kelly, Frank, 125(1)45--59
-
Kelly, Frank, see Louth, Graham
-
Kennaway, R., 72(2)225--249
-
Kennaway:1990:ITR, 72(2)225--249
-
kernel, 79(1)179--193, 81(2)189--199, 87(1)221--228, 97(1)83--103,
114(2)247--272, 115(2)371--381, 119(1)63--102
-
Ketonen, J., 95(1)115--142
-
Ketonen, J., see Bellin, G.
-
key, 106(2)373--383
-
key, public-, 88(1)83--98
-
Kfoury, A. J., 93(1)1--41
-
Kfoury:1992:EPF, 93(1)1--41
-
Khadilkar, S. N., 81(2)189--199
-
Khadilkar:1991:PCS, 81(2)189--199
-
Khoshnevisan, H., 93(1)91--113
-
Khoshnevisan, H., see Harrison, P. G.
-
Khrapchenko, 116(2)399--403
-
Khuller, S., 88(1)183--189
-
Khuller, Samir, 127(2)255--267
-
Khuller:1991:PGC, 88(1)183--189
-
Khuller:1994:LAW, 127(2)255--267
-
Kiehn, A., 114(1)31--61
-
Kiehn, A., see Boudol, G.
-
Kifer, Michael, 133(2)205--265
-
Kifer, Michael, see Bonner, Anthony J.
-
Kim, Byeong Man, 103(2)283--309
-
Kim, Changwook, 73(3)295--311, 104(2)185--206, 120(2)247--259,
132(1)85--112
-
Kim, J. Y., 92(1)107--117
-
Kim:1990:CDR, 73(3)295--311
-
Kim:1992:ASM, 92(1)107--117
-
Kim:1992:NSM, 103(2)283--309
-
Kim:1992:RBP, 104(2)185--206
-
Kim:1993:SSE, 120(2)247--259
-
Kim:1994:RBP, 132(1)85--112
-
Kinber, E. B., 91(1)101--117, 110(1)131--144
-
Kinber, E. B., see Freivalds, R.
-
Kinber:1991:CSS, 91(1)101--117
-
kind, 93(2)327--331, 131(1)197--218
-
king, 96(2)389--403
-
Kirchner, C., 72(2)169--202, 85(2)231--251
-
Kirchner, C., see Doggaz, N., \see{Gnaedig, I.
-
Kirchner, H., 72(2)169--202
-
Kirchner, H., see Gnaedig, I.
-
Kirschenhofer, Peter, 106(2)395--400, 123(2)291--314
-
Kirschenhofer, Peter, see Flajolet, Philippe
-
Kirschenhofer:1992:PMD, 106(2)391--393, 106(2)395--400
-
Kiwi, M. A., 136(2)527--532
-
Kiwi, Marcos A., 115(2)321--349
-
Kiwi, Marcos A., see Goles, Eric
-
Kiwi:1994:NPB, 136(2)527--532
-
Klawe, Maria M., 123(2)389--395
-
Klawe:1994:SG, 123(2)389--395
-
Kleene, 76(2)273--284, 79(1)137--150, 83(2)249--260, 84(2)251--264,
88(2)287--296, 108(1)17--24, 125(2)167--204, 127(2)287--312,
134(1)79--86
-
Kleijn, H. C. M., 134(2)403--413
-
Kleijn, H. C. M., see Harju, T.
-
Klein, Anne, Brüggemann-, 120(2)197--213
-
Klein, R., 72(2)251--264
-
Klein-Reif, 116(2)421--429
-
Klein:1990:TUB, 72(2)251--264
-
Kleisli, 136(1)109--123
-
Kleitman, 78(2)377--381
-
Kleitman, see Burosch, G.
-
Kline, R., 77(3)309--319
-
Kline, R., see Dowling, W. F.
-
Kloosterman, 94(2)295--310
-
Klop, J. W., 86(1)35--79
-
Klop, J. W., see Bol, R. N.
-
Klop, Jan Willem, 121(1)279--308
-
Klop:1993:CRS, 121(1)279--308
-
KLP, 132(1)403--414
-
knapsack, 88(1)127--138
-
knight, 96(2)389--403
-
Knijnenburg, P. M. W., 91(2)181--203
-
Knijnenburg:1991:MPD, 91(2)181--203
-
Knill, E., 120(1)1--44
-
Knill:1993:EAR, 120(1)1--44
-
Knoop, J., 80(2)303--318
-
Knoop, J., see Steffen, B.
-
knowledge, 81(2)305--310, 90(2)433--456, 93(1)115--141, 114(2)231--245,
116(1)151--194, 119(1)173--185, 131(1)197--218, 132(1)291--317,
132(1)347--375, 133(2)205--265, 133(2)361--385
-
knowledge, zero-, 84(1)23--52, 132(1)291--317
-
knowledge-base, 133(2)361--385
-
known, 130(1)49--72
-
Knuth, 72(2)147--167, 93(2)201--225, 100(1)243--251, 119(1)3--22
-
Knuth, D. E., 90(1)1--15
-
Knuth--Bendix, 81(2)169--187, 106(1)87--117, 112(1)145--185
-
Knuth-Morris-Pratt, 112(1)53--97, 117(1)91--98
-
Knuth:1991:TPC, 90(1)1--15
-
Knuutila, Timo, 129(2)337--367
-
Knuutila:1994:ITL, 129(2)337--367
-
Ko, K.-I., 82(1)51--69
-
Ko:1991:AVN, 82(1)51--69
-
Kobayashi, Satoshi, 131(1)121--138
-
Kobayashi, Yuji, 115(2)359--369, 131(2)271--294
-
Kobayashi, Yuji, see Katsura, Masashi,
see Squier, Craig C.
-
Kobayashi:1994:RIG, 131(1)121--138
-
Köbler, J., 134(2)263--285
-
Kobler:1994:LPP, 134(2)263--285
-
Kobuchi, Y., 83(2)237--248
-
Kobuchi, Y., see Seki, S.
-
Koç, Çetin Kaya, 129(2)407--417,
see E{\v{g}}ecio{\v{g}}lu, {\"O}mer
-
K{\ocirc{u}}rka, Petr, 133(1)49--64
-
Kogan, Yaakov, 125(1)61--90
-
Kogan, Yaakov, see Hofri, Micha
-
Koiran, 133(1)3--14
-
Koiran, P., 133(1)35--47
-
Koiran, Pascal, 132(1)113--128
-
Koiran:1994:CLD, 132(1)113--128
-
Koiran:1994:CRA, 133(1)35--47
-
Kok, J. N., 75(1)15--43, 76(2)179--222, 86(1)3--33, 101(2)239--263
-
Kok, J. N., see de Bakker, J. W.,
see de Boer, F. S.
-
Kok:1990:CCC, 76(2)179--222
-
Koletsos, G., 79(2)365--371
-
Koletsos:1991:PLC, 79(2)365--371
-
Kolmogorov, 83(2)313--322, 96(2)305--324, 113(1)75--91
-
Konig, R., 78(2)319--346
-
Konig:1991:GFP, 78(2)319--346
-
Konozenko, S. V., 119(1)145--171
-
Konozenko, S. V., see Letichevsky, A. A.
-
Korec, Ivan, 112(2)399--412
-
Korec:1993:ISC, 112(2)399--412
-
Koren, Gilad, 128(1)75--97
-
Koren:1994:MML, 128(1)75--97
-
Kornatzky, Yoram, 116(1)59--94
-
Kornatzky, Yoram, see Beeri, Catriel
-
Koseleff, P.-V., 79(1)241--256
-
Koseleff:1991:WGF, 79(1)241--256
-
Kothari, S. C., 76(2)331--341
-
Kothari, S. C., see Gannett, E.
-
Kotov, V. E., 90(1)151--170
-
Kotov, V. E., see Cherkasova, L. A.
-
Kounalis, E., 106(1)87--117
-
Kounalis:1992:TGC, 106(1)87--117
-
Koutney, M., 94(1)141--158
-
Koutney:1992:APT, 94(1)141--158
-
Koutny, M., 96(1)175--215
-
Koutny, M., see Best, E.
-
Koutny, Maciej, 112(1)5--52
-
Koutny, Maciej, see Janicki, Ryszard
-
Koutsoupias, Elias, 116(2)399--403
-
Koutsoupias:1993:IKT, 116(2)399--403
-
Kowalski, Zbigniew S., 123(1)139--144
-
Kowalski:1994:MRU, 123(1)139--144
-
Kozen, Dexter, 123(2)377--388
-
Kozen:1994:OBC, 123(2)377--388
-
Kratsch, Dieter, 106(2)309--326
-
Kratsch, Dieter, see Bodlaender, Hans L.
-
Krause, M., 86(2)267--275
-
Krause:1991:SET, 86(2)267--275
-
Krawczyk, A., 71(3)419--424
-
Krawczyk, A., see Chrobak, M.
-
Krawtchouk, 117(1)153--167
-
Kreitz, C., 82(1)1--18
-
Kreitz, C., see Weihrauch, K.
-
Krentel, M. W., 97(2)183--198
-
Krentel:1992:GOP, 97(2)183--198
-
Kreowski, H.-J., 89(1)33--62
-
Kreowski, H.-J., see Habel, A.
-
Kreowski, Hans-Jörg, 110(1)145--168,
see Habel, Annegret
-
kriegspiel, 96(2)389--403
-
Kripke, 91(2)181--203, 96(1)35--72, 111(1)191--210
-
Krishnan, Padmanabhan, 128(1)159--177
-
Krishnan:1994:SCF, 128(1)159--177
-
Krivine, Jean-Louis L., 129(1)79--94
-
Krivine:1994:GST, 129(1)79--94
-
Krob, D., 79(1)111--135, 89(2)207--343, 96(2)405--410, 98(1)z--z
-
Krob, D., see Duchamp, G.
-
Krob, Daniel, 134(1)27--50
-
Krob, Daniel, see Bonnier-Rigny, Agnès
-
Krob:1991:CSB, 89(2)207--343
-
Krob:1991:SEF, 79(1)111--135
-
Kroger, F., 73(1)47--60
-
Kroger:1990:IAT, 73(1)47--60
-
Krohn-Rhodes, 87(2)229--249
-
Krom, 101(1)35--57
-
Kruseman Aretz, F. E. J., 104(2)313--323
-
Kruseman Aretz, F. E. J., see Leermakers, R.
-
Kruskal, C. P., 71(1)95--132
-
Kruskal:1990:CTE, 71(1)95--132
-
Kuich, W., 79(1)137--150
-
Kuich:1991:ALG, 79(1)137--150
-
Kummer, M., 74(2)249--251
-
Kummer:1990:EPF, 74(2)249--251
-
Kundu, S., 83(2)287--300
-
Kundu:1991:MSR, 83(2)287--300
-
Kunen, 97(1)175--181
-
Kunze, Michael, 108(1)151--171
-
Kunze:1993:SAS, 108(1)151--171
-
Kuorka:1994:RUS, 133(1)49--64
-
Kuper, Gabriel M., 116(1)33--57
-
Kuper:1993:CQL, 116(1)33--57
-
Kuratowski, Hausdorff-, 96(2)345--360
-
Kurihara, M., 103(2)273--282
-
Kurihara:1992:MST, 103(2)273--282
-
Kurtz, Stuart, 115(2)383--389
-
Kurtz, Stuart, see Homer, Steven
-
Kuster, G., 83(2)261--273
-
Kuster:1991:HPF, 83(2)261--273
-
Kutylowski, M., 85(1)135--153
-
Kutylowski, Miroslaw, 119(2)233--245
-
Kutylowski:1991:MOW, 85(1)135--153
-
Kutylowski:1993:SVS, 119(2)233--245
-
Kwiatkowska, M. Z., 101(2)159--z
-
Kwiatkowska:1992:E, 101(2)159--z