Index file section K for jautomreason.bib

Last update: Fri Jul 5 02:00:41 MDT 2024               

Return to index directory

K

• K, 24(3)297--317, 66(4)639--666, 66(4)1099--1099
• Kabat, Waldo C., 2(1)1--42, 8(1)23--38
• Kabat, Waldo C., see Jindal, Anita, see Parrello, Bruce D.
• Kahsai, Temesghen, 63(4)1003--1004
• Kahsai, Temesghen, see Barrett, Clark
• Kaliszyk, Cezary, 53(2)173--213, 54(1)99--99, 55(3)245--256, 57(3)219--244, 61(1)423--453, 63(3)557--595, 65(2)257--286, 65(2)287--320, 67(2)z--99999999
• Kaliszyk, Cezary, see Blanchette, Jasmin Christian, see Czajka, {\L}ukasz, see Färber, Michael, see Gauthier, Thibault
• Kaliszyk:2014:LAA, 53(2)173--213, 54(1)99--99
• Kaliszyk:2015:ELA, 53(2)173--213, 54(1)99--99
• Kaliszyk:2015:MM, 55(3)245--256
• Kaliszyk:2019:SMI, 63(3)557--595
• Kaliszyk:2023:CHO, 67(2)z--99999999
• Kamareddine, Fairouz, 29(3)183--188, 30(1)59--98
• Kamareddine:2002:PMA, 29(3)183--188
• Kamareddine:2003:FSN, 30(1)59--98
• Kaminski, Mark, 52(4)407--450
• Kaminski:2014:GDD, 52(4)407--450
• Kammüller, Florian, 23(3)235--264
• Kammuller:1999:FPS, 23(3)235--264
• Kamp, Peter, Schneider-, 37(3)155--203, 47(2)133--160, 49(1)53--93, 58(1)3--31, 58(1)33--65, 59(4)425--454, 63(3)695--722
• Kan, 66(4)805--844
• Kanabar, Hrutvik, 64(7)1287--1306
• Kanabar, Hrutvik, see Abrahamsson, Oskar
• Kanig, Johannes, 56(4)387--457
• Kanig, Johannes, see Dross, Claire
• Kanovich, Max, 46(3)389--421
• Kanovich:2011:CPC, 46(3)389--421
• Kapur, Deepak, 4(3)331--352, 4(4)465--474, 9(2)261--288, 14(2)293--316, 16(1)39--78, 21(3)277--278, 31(2)105--105, 32(1)1--2, 32(3)185--186, 32(4)z--z, 33(3)219--220, 34(2)103--104, 34(4)323--323, 37(3)153--154, 58(1)1--2, 66(3)301--329
• Kapur, Deepak, see Baader, Franz, see Bürckert, Hans-Jürgen, see Demri, Stéphane, see Giesl, Jügen, see Giesl, Jürgen
• Kapur:1988:PED, 4(3)331--352
• Kapur:1992:CUP, 9(2)261--288
• Kapur:1995:POP, 14(2)293--316
• Kapur:1996:NUL, 16(1)39--78
• Kapur:1998:P, 21(3)277--278
• Kapur:2003:A, 31(2)105--105
• Kapur:2004:O, 32(4)z--z
• Kapur:2004:Pa, 32(1)1--2
• Kapur:2004:Pb, 32(3)185--186
• Kapur:2004:Pc, 33(3)219--220
• Kasif, Simon, 9(3)391--406
• Kasif, Simon, see Delcher, Arthur L.
• Katoen, Joost-Pieter, 64(7)1483--1522
• Katoen, Joost-Pieter, see Hartmanns, Arnd
• Katz, Ricardo D., 63(2)323--345
• Katz, Ricardo D., see Allamigeon, Xavier
• Kaufmann, Matt, 7(1)109--158, 9(3)355--372, 16(1)181--222, 26(2)161--203, 27(4)323--351, 40(4)293--306, 47(1)1--16, 64(3)391--422
• Kaufmann, Matt, see Brock, Bishop, see Gamboa, Ruben A., see Gordon, Michael J. C.
• Kaufmann:1991:GPF, 7(1)109--158
• Kaufmann:1992:EBM, 9(3)355--372
• Kaufmann:1996:IBM, 16(1)181--222
• Kaufmann:2001:STD, 26(2)161--203
• Kaufmann:2020:LSO, 64(3)391--422
• Kautz, Henry, 24(1)67--100
• Kautz, Henry, see Gomes, Carla P.
• Kazakov, Yevgeny, 40(2)89--116, 40(4)357--357, 44(4)337--369, 47(4)427--450, 53(1)1--61
• Kazakov, Yevgeny, see Grau, Bernardo Cuenca, see Magka, Despoina
• Kazakov:2008:RBDa, 40(2)89--116
• Kazakov:2008:RBDb, 40(4)357--357
• Kazakov:2014:IE, 53(1)1--61
• KBO, 36(4)289--310, 43(2)173--201
• Ke, Jyh-Sheng, 8(1)77--90
• Ke, Jyh-Sheng, see Chen, Shyi-Ming
• Keiichirou, Kusakari, 37(3)205--229
• Keiichirou:2006:ETA, 37(3)205--229
• Keller, 66(3)277--300
• Kennedy, Andrew J., 49(2)141--159
• Kennedy, Andrew J., see Benton, Nick
• kept, well-, 7(3)301--302
• Kerber, Manfred, 21(3)327--355
• Kerber:1998:ICA, 21(3)327--355
• Kern-Isberner, Gabriele, 45(1)3--19
• Kern-Isberner:2010:PFD, 45(1)3--19
• kernel, 10(3)287--343, 52(2)191--213, 61(1)141--189
• Kesner, Delia, 39(4)513--541
• Kesner, Delia, see Forest, Julien
• Kesseli, Pascal, 67(2)z--99999999
• Kesseli, Pascal, see Abate, Alessandro
• KeY, 53(2)129--139
• Keys, 40(2)117--132
• Kiefer, Moritz, 60(3)337--363
• Kiefer:2018:RPR, 60(3)337--363
• Kiesl, Benjamin, 64(3)533--554, 64(7)1247--1267
• Kiesl, Benjamin, see Heule, Marijn J. H.
• Kiesl:2020:SSP, 64(7)1247--1267
• Kifer, Michael, 9(2)179--215
• Kifer:1992:LRI, 9(2)179--215
• Kinyon, Michael, 66(4)439--461
• Kinyon, Michael, see Beeson, Michael
• Kirchner, Claude, 29(3)309--336, 31(1)33--72
• Kirchner, Claude, see Dowek, Gilles, see Nguyen, Quang Huy
• Kirchner, Hélène, 29(3)309--336, see Nguyen, Quang Huy
• Kirst, Dominik, 63(2)415--438, 67(1)z--99999999
• Kirst:2019:CRL, 63(2)415--438
• Kirst:2023:SUI, 67(1)z--99999999
• Kit, 5(4)519--530
• Klakow, Dietrich, 63(2)347--368
• Klakow, Dietrich, see Bentkamp, Alexander
• Klarman, Szymon, 46(1)43--80
• Klarman:2011:AAD, 46(1)43--80
• Klay, Francis, 30(2)153--177
• Klay, Francis, see Rusinowitch, Michaël
• Klebanov, Vladimir, 60(3)337--363
• Klebanov, Vladimir, see Kiefer, Moritz
• Klein, G., 30(3)363--398
• Klein, Gerwin, 42(2)123--124, 56(3)201--203, 61(1)1--8, 64(5)911--945
• Klein, Gerwin, see Avigad, Jeremy, see Syeda, Hira Taqdees
• Klein:2003:VBS, 30(3)363--398
• Klein:2009:OSV, 42(2)123--124
• Klein:2016:ITP, 56(3)201--203
• Klerk, Etienne de, 24(1)37--65
• Kluwer, 15(2)277--278
• Knapik, Teodor, 28(4)337--369
• Knapik:2002:CSP, 28(4)337--369
• Knoblock, T. B., 1(3)285--326
• Knoblock, T. B., see Constable, R. L.
• Know, 20(1)47--80, 36(4)289--310
• knowledge, 6(3)299--317, 6(4)361--388, 9(2)217--230, 11(2)269--288, 14(1)149--180, 22(3)263--309, 32(2)93--102, 48(2)219--262, 48(4)441--487
• knowledge-based, 1(1)49--74
• Knuth--Bendix, 30(1)99--120
• Knuth--Bendix--Huet, 45(3)301--325
• Koala, 67(1)z--99999999
• Kobayashi, Naoki, 64(7)1393--1418
• Kobayashi, Naoki, see Champion, Adrien
• Kocsis, Zoltan A., 60(2)157--176
• Kocsis:2018:GPV, 60(2)157--176
• Kohlhase, Michael, 21(3)327--355, 25(2)123--164, 50(2)191--202, 65(8)1265--1298
• Kohlhase, Michael, see Hutter, Dieter, see Iancu, Mihnea, \see{Kerber, Manfred
• Kohlhase:2021:EEM, 65(8)1265--1298
• Kojima, Kensuke, 60(3)279--298
• Kojima:2018:AVF, 60(3)279--298
• Kolaitis, Phokion G., 23(2)107--136
• Kolaitis, Phokion G., see Hermann, Miki
• Kondo, Hisashi, 23(1)25--42
• Kondo, Hisashi, see Kurihara, Masahito
• Konev, B., 34(3)295--321
• Konev, B., see Fernández-Gago, M. C.
• Kornilowicz, Artur, 50(2)119--121
• Kornilowicz, Artur, see Trybulec, Andrzej
• Korni{\l}owicz, Artur, 61(1)9--32, see Bancerek, Grzegorz
• Koskinen, Eric, 64(7)1333--1359
• Koskinen, Eric, see Bansal, Kshitij
• Kotsireas, Ilias, 58(3)313--339
• Kotsireas, Ilias, see Zulkoski, Edward
• Koutsoukou-Argyraki, Angeliki, 67(1)z--99999999
• Koutsoukou-Argyraki, Angeliki, see Edmonds, Chelsea
• Kovács, Zoltán, 55(1)39--59, see Botana, Francisco
• Kozlowski, Andrzej, 34(2)141--177
• Kraan, Ina, 16(1)113--145
• Kraan:1996:MRS, 16(1)113--145
• Kramer, Thomas, 2(2)127--153
• Kramer:1986:AAO, 2(2)127--153
• Krauss, Alexander, 44(4)303--336, 47(4)369--398, 49(1)95--106
• Krauss, Alexander, see Blanchette, Jasmin Christian
• Krauss:2010:PNR, 44(4)303--336
• Krauss:2012:PPR, 49(1)95--106
• Krebbers, Robbert, 57(4)319--387
• Krebbers:2016:FCM, 57(4)319--387
• Kreitz, Christoph, 32(2)121--166, 38(1)261--271
• Kreitz, Christoph, see Raths, Thomas
• Kreitz:2004:MCM, 32(2)121--166
• Kremer, Steve, 36(1)39--83, 46(3)225--259, 48(2)197--217, 48(2)219--262
• Kremer, Steve, see Chadha, Rohit, see Ciobâc{\u{a}}, {\c{S}}tefan, see Cortier, Véronique
• Kremer:2012:RET, 48(2)197--217
• Kriwaczek, Frank, 7(4)511--536
• Kriwaczek, Frank, see Gabbay, Dov M.
• Kroening, 51(4)453--456
• Kroening, Daniel, 47(4)341--367, 57(1)1--2, 65(2)157--203, 67(2)z--99999999
• Kroening, Daniel, see Abate, Alessandro, see Brillout, Angelo, see Cattaruzza, Dario
• Kroening:2016:PSI, 57(1)1--2
• Kronenburg, Martin, 18(2)189--198
• Kronenburg, Martin, see Denzinger, Jörg
• Krötzsch, Markus, 53(1)1--61, see Kazakov, Yevgeny
• KT, 24(3)297--317
• Küchlin, Wolfgang, 24(1)145--163, 37(1)45--66, see Sinz, Carsten
• Kuchlin:2000:PCA, 24(1)145--163
• Kühlwein, Daniel, 52(2)191--213, 55(2)91--116, 57(3)219--244, see Alama, Jesse, see Blanchette, Jasmin Christian
• Kuhlwein:2015:MFA, 55(2)91--116
• Kullmann, Oliver, 52(1)31--65
• Kullmann, Oliver, see Gwynne, Matthew
• Kumar, Ramana, 56(3)221--259, 64(7)1287--1306
• Kumar, Ramana, see Abrahamsson, Oskar
• Kumar:2016:SFH, 56(3)221--259
• Kuncak, Viktor, 36(3)213--239
• Kuncak:2006:DBA, 36(3)213--239
• Kun{\v{c}}ar, Ond{\v{r}}ej, 62(2)237--260, 62(4)531--555
• Kuncar:2019:CFI, 62(4)531--555
• Kuncar:2019:TSL, 62(2)237--260
• Kunen, Kenneth, 9(3)291--308, 14(3)383--412, 15(2)217--235, 17(1)83--95, 21(1)69--97
• Kunen, Kenneth, see Hart, Joan
• Kunen:1992:SAG, 9(3)291--308
• Kunen:1995:RTB, 15(2)217--235
• Kunen:1996:SAL, 17(1)83--95
• Kunen:1998:NCM, 21(1)69--97
• Kunze, Fabian, 64(5)947--999
• Kunze, Fabian, see Sozeau, Matthieu
• Kuo, Sy-Yen, 18(1)5--24
• Kuo, Sy-Yen, see Hou, Rong-Huei
• Kuper, G. M., 9(3)381--389
• Kuper:1992:NPC, 9(3)381--389
• Kuperberg, Krystyna, 50(2)119--121
• Kuperberg, Krystyna, see Trybulec, Andrzej
• Kuperberg, Krystyna Trybulec, 55(3)187--190
• Kuperberg:2015:ATM, 55(3)187--190
• Kurihara, Masahito, 23(1)25--42, 50(3)317--354
• Kurihara, Masahito, see Winkler, Sarah
• Kurihara:1999:CMR, 23(1)25--42
• Küsters, Ralf, 46(3)325--352
• Kusters:2011:RPA, 46(3)325--352
• Kutsia, Temur, 52(2)155--190, 58(2)293--310
• Kutsia, Temur, see Baumgartner, Alexander
• Kutsia:2014:AUU, 52(2)155--190
• Kutta, Runge-, 68(1)z--z