Index file section K for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
K
-
K, 2(2)182--215, 2(3)388--407, 9(4)25--25, 14(4)29--29, 16(1)3--3, 20(1)3--3,
24(2)12--12
-
k, 14(2)10--10, 14(3)20--20, 16(1)6--6, 16(4)33--33, 20(2)11--11,
21(3)19--19, 24(1)6--6
-
k-DNF, 12(1)4--4
-
K4, 9(4)25--25, 22(4)24--24
-
Kähler, Detlef, 11(3)17--17
-
Kahler:2010:DSP, 11(3)17--17
-
Kakas, Antonis C., 2(4)431--431
-
Kakas, Antonis C., see Apt, Krzysztof R.
-
Kalman, 15(1)3--3
-
Kaminski, Michael, 3(4)542--561, 11(4)21--21
-
Kaminski:2002:RQA, 3(4)542--561
-
Kaminski:2010:CSI, 11(4)21--21
-
Kamp, Peter, Schneider-, 11(1)2--2
-
Kanj, Iyad, 18(3)21--21
-
Kanj, Iyad, see De Haan, Ronald
-
Kapron, Bruce M., 3(3)402--417
-
Kapron, Bruce M., see Buss, Samuel R.
-
Kapulkin, 19(2)15--15
-
Kapur, Deepak, 24(4)28--28
-
Kapur, Deepak, see Ghilardi, Silvio
-
Kára, Jan, 11(3)15--15, see Bodirsky, Manuel
-
Karp, 15(1)6--6
-
Karp--Lipton, 11(4)22--22
-
Kartzow, Alexander, 14(2)8--8
-
Kartzow:2013:FOL, 14(2)8--8
-
KAT, 1(1)60--76
-
Katsuno-Mendelzon, 14(3)24--24
-
Kavvos, G. A., 23(3)18--18
-
Kavvos, G. A., see Gratzer, Daniel
-
Kawamura, Akitoshi, 10(3)22--22
-
Kawamura:2009:DR, 10(3)22--22
-
Kawarabayashi, Ken-Ichi, 21(2)11--11
-
Kawarabayashi, Ken-Ichi, see Eickmeyer, Kord
-
Kazana, Wojciech, 14(4)25--25
-
Kazana:2013:EMS, 14(4)25--25
-
KB, 16(1)3--3, 16(4)31--31
-
KBs, 16(1)3--3, 16(4)31--31
-
KD45-belief, 16(4)35--35
-
keep, 18(2)15--15, 19(3)20--20, 24(4)28--28
-
keeping, 12(2)17--17, 19(3)22--22, 19(4)30--30, 20(1)6--6
-
Keiren, 13(1)8--8
-
Keiren, Jeroen J. A., 13(1)8--8, 18(2)13--13
-
Keiren, Jeroen J. A., see Groote, Jan Friso
-
Keiren:2012:SAB, 13(1)8--8
-
Keisler-Shelah-like, 9(2)8--8
-
Kennaway, 16(2)10--10
-
kernels, 17(3)22--22, 18(1)3--3
-
Ketema, Jeroen, 14(4)31--31
-
Ketema:2013:LUB, 14(4)31--31
-
Ketsman, Bas, 18(1)5--5, 20(3)18--18
-
Ketsman, Bas, see Ameloot, Tom J.,
see Geck, Gaetano
-
key, 9(4)24--24, 10(1)1--1, 11(2)9--9, 12(1)3--3, 12(2)14--14,
13(2)18--18, 15(4)34--34, 16(1)6--6, 16(1)7--7, 16(2)11--11,
16(4)31--31, 17(4)25--25, 19(2)14--14, 20(1)5--5, 20(3)18--18,
20(4)25--25, 21(1)2--2, 22(1)3--3, 23(2)9--9, 24(4)31--31
-
key-value, 19(2)14--14
-
K*F, 13(4)30--30
-
Khan, Md. Aquil, 12(4)29--29, 19(4)30--30, 24(1)2--2
-
Khan:2011:LIS, 12(4)29--29
-
Khan:2018:SML, 19(4)30--30
-
Khan:2023:LTI, 24(1)2--2
-
Khaniki, Erfan, 23(3)16--16
-
Khaniki:2022:PCR, 23(3)16--16
-
Khoussainov, Bakhadyr, 6(4)675--700
-
Khoussainov:2005:ALO, 6(4)675--700
-
Kiefer, Sandra, 23(1)1--1
-
Kiefer:2022:GIL, 23(1)1--1
-
Kiero{\'n}ski, Emanuel, 17(1)2--2, 17(4)32--32, 19(2)8--8,
see Benaim, Saguy,
see Michaliszyn, Jakub
-
Kieronski:2018:FST, 19(2)8--8
-
Kikot, Stanislav, 24(2)16--16
-
Kikot, Stanislav, see Benedikt, Michael
-
kind, 8(2)z--99999999, 8(3)18--18, 9(1)5--5, 12(3)22--22, 18(2)15--15,
18(3)19--19, 23(2)11--11, 24(3)27--27, 24(4)28--28
-
King, Andy, 9(3)17--17
-
King, Andy, see Genaim, Samir
-
Kirchner, Hélène, 10(2)10--10,
see Gnaedig, Isabelle
-
KiSs, 14(1)4--4
-
KIV, 15(4)31--31
-
Kjos-Hanssen, Bj{\o}rn, 13(3)24--24
-
Kjos-Hanssen:2012:ACE, 13(3)24--24
-
Klaedtke, Felix, 9(2)11--11, 16(4)34--34, 21(1)5--5
-
Klaedtke, Felix, see Basin, David,
see Friedmann, Oliver
-
Klaedtke:2008:BAS, 9(2)11--11
-
Klarlund, Nils, 13(1)7--7
-
Klarlund, Nils, see Ghafari, Naghmeh
-
Kleene, 1(1)60--76, 7(4)798--833, 13(4)34--34, 16(4)30--30, 21(1)4--4,
22(2)10--10, 22(4)22--22
-
Klinkhamer, Alex, 20(3)16--16
-
Klinkhamer:2019:VLF, 20(3)16--16
-
KLM, 1(2)175--207, 10(3)18--18
-
KLM-style, 22(1)1--1
-
Klop, 23(4)22--22
-
KM, 15(1)4--4
-
knew, 16(4)35--35
-
Knight, Sophia, 13(4)28--28
-
Knight, Sophia, see Chatzikokolakis, Konstantinos
-
Knop, Alexander, 22(4)26--26
-
Knop, Alexander, see Buss, Sam
-
Knorr, Matthias, 14(2)16--16
-
Knorr, Matthias, see Alferes, José Júlio
-
know, 12(1)3--3, 13(2)12--12, 13(2)18--18, 14(4)29--29, 16(4)35--35,
18(2)16--16, 19(4)26--26
-
knowable, 16(4)35--35
-
knowing, 15(4)33--33
-
knowledge, 1(1)131--161, 1(2)175--207, 1(2)208--246, 1(2)247--284,
2(2)182--215, 2(2)255--287, 2(3)289--339, 3(2)177--225,
6(2)389--440, 7(3)499--562, 7(4)613--657, 8(4)24--24, 9(1)7--7,
9(2)14--14, 9(4)27--27, 11(4)25--25, 12(2)9--9, 12(2)11--11,
13(2)11--11, 13(2)17--17, 13(3)23--23, 13(4)28--28, 13(4)32--32,
14(1)2--2, 14(1)4--4, 14(2)16--16, 14(3)23--23, 14(4)28--28,
15(2)12--12, 15(3)19--19, 15(3)24--24, 16(1)3--3, 16(4)31--31,
16(4)35--35, 17(4)23--23, 18(1)6--6, 18(2)8--8, 18(2)16--16,
19(1)4--4, 19(2)12--12, 19(3)22--22, 19(4)24--24, 19(4)26--26,
20(2)7--7, 20(2)8--8, 20(2)12--12, 21(1)5--5, 21(2)16--16,
21(4)32--32, 22(1)6--6, 22(2)13--13, 22(3)17--17, 23(1)4--4,
24(1)9--9
-
knowledge, S5-, 16(4)35--35
-
knowledge-base, 12(3)20--20
-
knowledge-based, 2(4)433--457, 9(1)7--7, 19(4)26--26
-
knowledge-state, 5(2)206--263
-
known, 1(1)33--59, 2(1)1--11, 2(1)135--153, 2(3)408--429, 8(3)14--14,
9(2)11--11, 9(3)18--18, 9(4)24--24, 10(2)10--10, 11(3)16--16,
11(3)19--19, 11(4)25--25, 11(4)27--27, 12(2)9--9, 12(4)24--24,
13(2)16--16, 13(2)17--17, 13(4)29--29, 13(4)34--34, 14(3)24--24,
15(1)1--1, 15(1)4--4, 15(4)26--26, 15(4)32--32, 15(4)34--34,
16(1)1--1, 16(1)5--5, 16(1)7--7, 16(1)8--8, 16(1)9--9, 16(2)14--14,
16(2)15--15, 16(3)19--19, 16(3)22--22, 16(3)24--24, 16(3)26--26,
16(3)27--27, 17(1)3--3, 17(2)8--8, 17(2)12--12, 17(2)13--13,
17(3)16--16, 17(3)18--18, 17(3)22--22, 17(4)24--24, 17(4)32--32,
18(2)13--13, 18(2)16--16, 18(3)21--21, 18(3)24--24, 18(4)28--28,
18(4)31--31, 18(4)33--33, 19(2)7--7, 19(4)29--29, 20(1)1--1,
20(1)6--6, 20(3)13--13, 20(4)19--19, 21(1)4--4, 21(1)6--6, 21(2)8--8,
21(4)31--31, 22(4)24--24, 23(2)11--11, 23(3)14--14, 23(3)20--20
-
known, best-, 16(1)9--9
-
known, Well-, 2(1)135--153, 9(2)14--14
-
known, well-, 2(3)340--387, 8(3)17--17, 9(3)15--15, 13(1)7--7,
13(2)12--12, 13(2)18--18, 13(4)33--33, 14(2)10--10, 14(4)28--28,
15(4)26--26, 16(1)2--2, 16(2)15--15, 16(3)25--25, 17(3)22--22,
18(3)18--18, 18(3)23--23, 18(4)29--29, 19(2)15--15, 19(3)18--18,
19(4)25--25, 24(4)28--28
-
known-while, 22(2)13--13
-
Knuth--Bendix, 6(2)361--388
-
Kojima, Kensuke, 18(1)3--3
-
Kojima:2017:HLG, 18(1)3--3
-
Kolaitis, 15(1)6--6
-
Kolaitis, Phokion G., 6(4)674--674
-
Kolaitis:2005:LSI, 6(4)674--674
-
Koller, Daphne, 1(2)175--207
-
Koller, Daphne, see Friedman, Nir
-
Kolodziejczyk, 15(1)2--2
-
Ko{\l}odziejczyk, Leszek Aleksander, 19(4)29--29,
see Garlík, Michal
-
Komosinski, 15(4)28--28
-
Komosinski, Maciej, 15(4)28--28, 18(2)8--8
-
Komosinski, Maciej, see Chlebowski, Szymon
-
Komosinski:2014:IEA, 15(4)28--28
-
Konev, Boris, 7(1)108--150
-
Konev, Boris, see Degtyarev, Anatoli
-
Konovalov, Aleksandr, 24(2)11--11
-
Konovalov, Aleksandr Yu, 22(4)25--25
-
Konovalov:2021:GRB, 22(4)25--25
-
Konovalov:2023:GRI, 24(2)11--11
-
Kontchakov, Roman, 14(2)13--13, 15(3)25--25
-
Kontchakov, Roman, see Artale, Alessandro
-
Kontchakov:2013:TLC, 14(2)13--13
-
Kontinen, Juha, 10(1)7--7, 13(4)31--31, 19(1)2--2, 23(1)3--3
-
Kontinen, Juha, see Durand, Arnaud,
see Hannula, Miika
-
Kontinen:2009:LCC, 10(1)7--7
-
Koopmann, Patrick, 21(4)30--30
-
Koopmann, Patrick, see Baader, Franz
-
Kop, Cynthia, 18(2)14--14
-
Kop, Cynthia, see Fuhs, Carsten
-
Kopczy{\'n}ski, Eryk, 16(2)17--17
-
Kopczynski:2015:VHF, 16(2)17--17
-
Kopparty, 15(1)6--6
-
Korovin, Konstantin, 6(2)361--388
-
Korovin:2005:KBC, 6(2)361--388
-
Koutras, Costas D., 13(4)30--30
-
Koutras, Costas D., see Peppas, Pavlos
-
Koutsos, Adrien, 22(1)3--3
-
Koutsos:2021:DSS, 22(1)3--3
-
Kozen, Dexter, 1(1)60--76, 1(1)171--174, 4(3)355--378
-
Kozen, Dexter, see Cohen, Ernie
-
Kozen-Park, 19(1)4--4
-
Kozen:2000:HLK, 1(1)60--76
-
Kozen:2003:SLP, 4(3)355--378
-
Kracht, 17(3)17--17
-
Krajícek, 19(4)29--29
-
Krají{\v{c}}ek, 11(3)19--19, 11(4)22--22
-
Krajícek, Jan, 22(2)11--11
-
Krajicek:2021:SCD, 22(2)11--11
-
Kramer, Simon, 16(4)35--35
-
Kramer:2015:LII, 16(4)35--35
-
Kraus, 10(3)18--18
-
Kraus, Nicolai, 16(2)18--18
-
Kraus, Sarit, 7(1)151--198
-
Kraus, Sarit, see Dix, Jürgen
-
Kraus:2015:HHH, 16(2)18--18
-
Krebs, Andreas, 16(3)21--21, 18(4)30--30
-
Krebs, Andreas, see Berkholz, Christoph
-
Krebs:2017:ECA, 18(4)30--30
-
Kremer, 15(1)4--4
-
Kremer, Steve, 17(4)23--23, 23(1)5--5
-
Kremer, Steve, see Barthe, Gilles,
see Chadha, Rohit
-
Kretínský, Jan, 18(2)12--12,
see Daca, Przemyslaw
-
Kreutzer, Stephan, 5(2)282--315, 21(2)11--11, 21(4)29--29
-
Kreutzer, Stephan, see Dawar, Anuj,
see Eickmeyer, Kord,
see Gajarský, Jakub
-
Kripke, 1(2)247--284, 13(2)14--14, 14(1)6--6, 16(1)9--9, 16(3)27--27,
16(4)29--29, 18(2)13--13, 20(1)4--4, 20(3)13--13, 22(3)15--15,
23(3)15--15, 24(3)24--24
-
Kripke-style, 14(4)27--27, 22(3)15--15
-
Kristiansen, Lars, 10(4)28--28
-
Kristiansen, Lars, see Jones, Neil D.
-
Krivine, 9(1)6--6
-
Krom, 17(3)20--20, 18(3)21--21
-
Krommes, Gisela, 22(4)24--24
-
Krommes, Gisela, see Hertling, Peter
-
Kronos, 10(3)15--15
-
Krötzsch, Markus, 14(1)2--2
-
Krotzsch:2013:CHD, 14(1)2--2
-
KR\&R, 17(3)21--21
-
Kt, 22(3)20--20
-
Kuijpers, Bart, 9(2)13--13
-
Kuijpers, Bart, see Geerts, Floris
-
Kupferman, Orna, 2(3)408--429, 6(2)273--294, 9(3)20--20, 11(4)29--29,
13(4)29--29, 15(4)27--27, 16(1)1--1, 16(1)6--6, 24(3)21--21
-
Kupferman, Orna, see Avni, Guy,
see Boker, Udi, \see{Bouyer, Patricia,
see Chockler, Hana,
see Halamish, Shulamit
-
Kupferman:2001:WAA, 2(3)408--429
-
Kupferman:2005:LTB, 6(2)273--294
-
Kupke, Clemens, 23(2)11--11
-
Kupke:2022:CRG, 23(2)11--11
-
Kups, Adam, 15(4)28--28, 18(2)8--8
-
Kups, Adam, see Chlebowski, Szymon,
see Komosinski, Maciej
-
Kurtz, 13(3)24--24
-
Kurucz, Agi, 16(3)27--27, 18(3)22--22
-
Kurucz, Agi, see Bresolin, Davide,
see Hampson, Christopher
-
Küsters, Ralf, 9(4)24--24, 11(3)17--17,
see Chevalier, Yannick,
see Kähler, Detlef
-
Kutsia, Temur, 21(2)10--10
-
Kutsia, Temur, see Cerna, David
-
Kutz, Oliver, 4(2)260--294
-
Kutz:2003:LMS, 4(2)260--294
-
Kuusisto, Antti, 19(3)17--17, 21(1)7--7
-
Kuusisto, Antti, see Goranko, Valentin,
see Hella, Lauri
-
Kuznetsov, Stepan, 22(2)10--10
-
Kuznetsov:2021:ALU, 22(2)10--10
-
Kwiatkowska, Marta, 14(4)33--33, 20(4)19--19, 20(4)21--21
-
Kwiatkowska, Marta, see Bortolussi, Luca,
see Chen, Taolue, \see{Huang, Xiaowei