Index file section K for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
K
-
K, 23(1)103--105
-
k/-AVL, 22(1)209--217
-
K-d, 33(1)107--116
-
k-machine, 14(3)247--265
-
k-stable, 24(1)53--71
-
k-th, 23(1)69--82
-
k/-trees, 22(1)209--217
-
Kagimasa, T., 15(1)51--75
-
Kagimasa, T., see Araki, T.
-
Kahn-Plotkin, 20(3)265--321
-
Kamimura, T., 27(1)39--60, 29(1)155--166, 34(3)275--288
-
Kamimura:1983:ARP, 27(1)39--60
-
Kamimura:1984:EGS, 29(1)155--166
-
Kamimura:1984:TOD, 34(3)275--288
-
Kanaoka, T., 28(1)223--233
-
Kanaoka:1984:DSS, 28(1)223--233
-
Kaplan, S., 33(2)175--193
-
Kaplan:1984:CRR, 33(2)175--193
-
Karhumaki, J., 21(2)119--144, 29(3)285--308
-
Karhumaki, J., see Ehrenfeucht, A.
-
Karhumaki:1984:ECC, 29(3)285--308
-
Karp-Miller, 23(2)107--127, 32(1)173--183
-
Karpinski, M., 17(1)99--102
-
Karpinski:1982:DSM, 17(1)99--102
-
Kasami, T., 22(1)175--194, 34(3)315--335
-
Kasami, T., see Ito, M.
-
Katseff, H. P., 15(3)291--309
-
Katseff:1981:SRP, 15(3)291--309
-
Kawabata, S., 16(1)43--60
-
Kawabata, S., see Takasu, S.
-
KDA, 17(3)343--347
-
Kelemenova, A., 28(3)299--314
-
Kelemenova:1984:CNF, 28(3)299--314
-
Kent, C. F., 21(3)255--267
-
Kent:1982:ACN, 21(3)255--267
-
Ketonen, J., 32(3)297--307
-
Ketonen-Salovay, 32(1)173--183
-
Ketonen:1984:DFP, 32(3)297--307
-
Kfoury, A. J., 25(1)1--66
-
Kfoury:1983:DPF, 25(1)1--66
-
Kim, S. M., 29(1)123--153
-
Kim, S. M., see Ibarra, O. H.
-
Kimura, M., 14(3)211--226
-
Kimura, M., see Maruoka, A.
-
Kinber, E. B., 26(1)1--24, 28(1)111--133
-
Kinber, E. B., see Wiehagen, R.
-
Kinber:1983:IPS, 26(1)1--24
-
King, K. N., 10(3)317--333
-
King:1980:ITF, 10(3)317--333
-
Kirkpatrick, D., 28(3)263--276
-
Kirkpatrick, D. G., 27(3)241--253
-
Kirkpatrick, D. G., see Dobkin, D. P.
-
Kirkpatrick:1984:UBS, 28(3)263--276
-
Klaeren, H. A., 30(2)139--204
-
Klaeren:1984:CMA, 30(2)139--204
-
Kleene, 17(1)99--102, 23(3)243--272
-
Kleijn, H. C. M., 16(3)237--269
-
Kleijn:1981:CFR, 16(3)237--269
-
Kleine Buning, H., 11(2)123--143
-
Kleine Buning, H., see Borger, E.
-
Kleitman, D. J., 16(3)279--290
-
Kleitman, D. J., see Burkhard, W. A.
-
Klop, J. W., 30(1)1--48, 34(1)135--156
-
Klop, J. W., see Bergstra, J. A.,
see de Bakker, J. W.
-
Knapsack, 15(3)279--289
-
knowledge, 29(1)27--39
-
known, 33(1)85--94
-
Knuth, 32(1)1--24
-
Knuth--Bendix, 32(3)249--260
-
Ko, K.-I., 20(3)323--352
-
Ko, Ker-I, 31(1)101--123
-
Ko:1982:CCR, 20(3)323--352
-
Ko:1984:RRN, 31(1)101--123
-
Kobayashi, K., 28(3)315--327
-
Kobayashi:1984:COR, 28(3)315--327
-
kolam, 24(2)195--205
-
Kolmogorov, 15(3)291--309
-
Korenjak, 23(2)129--154
-
Kossowski, P., 32(1)77--86
-
Kossowski, P., see Chin, F. Y.
-
Kott, L., 22(1)135--173
-
Kott, L., see Boudol, G.
-
Kozen, D., 10(3)221--247, 11(3)277--301, 14(1)113--118, 27(3)333--354
-
Kozen:1980:CBA, 10(3)221--247
-
Kozen:1980:ISC, 11(3)277--301
-
Kozen:1981:EPC, 14(1)113--118
-
Kozen:1983:RPM, 27(3)333--354
-
Kreowski, H.-J., 20(3)209--263, 27(3)255--286, 28(1)45--81
-
Kreowski, H.-J., see Ehrig, H.
-
Kripke, 17(3)343--347
-
Krom, 30(3)319--341
-
K{\r{u}}rka, P., 10(1)37--44, 21(3)351--355
-
Kruskal, 17(3)279--301
-
kth, 23(1)69--82
-
Kucera, L., 11(1)93--106
-
Kucera:1980:CDT, 11(1)93--106
-
Kudlek, M., 33(1)13--43
-
Kudlek, M., see Jantzen, M.
-
Kuich, 32(3)339--340
-
Kuich, W., 22(1)95--126
-
Kuich:1983:ILS, 22(1)95--126
-
Kurka:1980:APC, 10(1)37--44
-
Kurka:1982:EL, 21(3)351--355