Last update: Tue Nov 28 02:00:17 MST 2023
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