Index file section L for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
L
-
L, 1(1)33--59, 12(2)11--11, 13(1)5--5, 14(2)12--12, 15(1)4--4, 17(1)1--1,
22(4)22--22
-
l, 13(2)15--15, 22(2)14--14
-
L,P, 12(2)11--11
-
l1g, 15(4)34--34
-
La Torre, Salvatore, 2(3)388--407, 5(1)1--25
-
La Torre, Salvatore, see Alur, Rajeev
-
label, 8(4)22--22, 12(4)27--27, 15(1)8--8, 15(4)35--35, 17(4)32--32,
18(2)10--10, 18(4)27--27, 19(2)13--13
-
label-based, 15(4)35--35
-
labeled, 8(4)22--22, 10(2)9--9, 10(3)19--19, 10(3)21--21, 12(3)19--19,
15(3)24--24, 15(4)35--35, 18(2)13--13, 22(3)20--20, 22(4)21--21
-
labeling, 15(1)6--6, 15(3)24--24
-
labelled, 17(4)32--32, 18(3)25--25, 19(2)13--13
-
laborious, 10(2)13--13
-
lack, 1(1)33--59, 10(1)3--3, 10(2)13--13, 19(3)22--22
-
lacking, 2(1)135--153
-
lacunae, 12(2)15--15
-
Lafont, 13(2)18--18
-
Lago, Ugo, Dal, 10(2)8--8, 10(4)25--25
-
Lahav, Ori, 14(4)27--27, 16(1)5--5, 20(3)13--13
-
Lahav, Ori, see Ciabattoni, Agata
-
Lahav:2013:USF, 14(4)27--27
-
Lahav:2019:PSC, 20(3)13--13
-
Lahiri, Shuvendu K., 9(1)4--4
-
Lahiri:2007:PAI, 9(1)4--4
-
lambda, 4(3)379--401, 6(2)468--480, 10(2)8--8, 10(2)12--12, 11(4)25--25,
13(2)18--18, 19(1)6--6, 19(2)9--9
-
\lambda, 19(1)3--3, 22(1)4--4, 23(1)2--2
-
lambda-calculus, 8(3)14--14, 9(1)6--6, 13(2)10--10, 13(2)18--18,
13(3)20--20
-
lambda-terms, 13(2)10--10
-
Lamma, Evelina, 9(4)29--29
-
Lamma, Evelina, see Alberti, Marco
-
Lamping, 8(3)14--14
-
landmark, 15(4)31--31, 21(2)15--15
-
landscape, 11(4)25--25, 18(3)21--21
-
Lang, Jerome, 14(3)24--24
-
Lang, Jerome, see Herzig, Andreas
-
Lange, Martin, 16(4)34--34
-
Lange, Martin, see Friedmann, Oliver
-
language, meta-, 19(1)6--6
-
language-inclusion, 11(4)23--23
-
languages, Dyck-, 13(3)19--19
-
Languénou, Éric, 5(4)732--767,
see Benhamou, Frédéric
-
Lanotte, Ruggero, 10(2)9--9
-
Lanotte:2009:PBC, 10(2)9--9
-
Laplante, Sophie, 8(4)20--20
-
Laplante:2007:PAM, 8(4)20--20
-
laptop, 20(3)16--16
-
Larchey-Wendling, Dominique, 14(1)6--6
-
Larchey-Wendling:2013:NPS, 14(1)6--6
-
large, 8(4)20--20, 8(4)24--24, 9(1)4--4, 9(3)17--17, 14(1)2--2,
14(2)10--10, 14(4)27--27, 14(4)30--30, 16(1)1--1, 17(3)17--17,
17(4)23--23, 17(4)26--26, 18(2)12--12, 18(2)13--13, 18(3)18--18,
18(3)23--23, 18(4)26--26, 19(1)5--5, 19(2)11--11, 20(1)2--2,
20(2)7--7, 20(2)8--8, 20(2)9--9, 20(4)25--25, 21(1)1--1, 22(3)16--16,
23(1)7--7
-
large-scale, 19(4)24--24, 20(1)5--5
-
largely, 16(4)31--31
-
larger, 1(2)247--284, 15(1)1--1, 20(3)15--15
-
largest, 18(1)2--2
-
Larijani, Ebrahim, Ardeshir-, 19(4)28--28
-
Larose, Benoît, 23(3)14--14
-
Larose:2022:QRT, 23(3)14--14
-
Larraz, Daniel, 20(4)25--25
-
Larraz, Daniel, see Borralleras, Cristina
-
Larsen, 10(3)15--15
-
Lasota, 20(3)14--14
-
Lasota, Slawomir, 9(2)10--10
-
Lasota, S{\l}awomir, 20(3)14--14, see Clemente, Lorenzo
-
Lasota:2008:ATA, 9(2)10--10
-
Lassaigne, Richard, 8(4)20--20
-
Lassaigne, Richard, see Laplante, Sophie
-
Lasserre, 17(3)19--19
-
last, 1(2)208--246, 8(3)14--14, 8(4)24--24, 10(4)27--27, 12(1)5--5,
13(2)16--16, 14(1)1--1, 14(2)12--12, 14(2)14--14, 15(3)19--19,
16(2)12--12, 16(3)21--21, 17(1)7--7, 17(2)14--14, 19(2)14--14,
19(4)28--28, 20(2)11--11
-
lasting, 16(4)35--35
-
late, 12(2)16--16, 16(1)7--7
-
later, 1(2)247--284, 12(2)16--16
-
latest, 15(2)13--13
-
latter, 9(3)17--17, 10(3)16--16, 12(1)3--3, 12(2)10--10, 12(3)19--19,
12(3)20--20, 13(1)8--8, 13(3)19--19, 15(2)15--15, 15(3)24--24,
16(2)12--12, 16(4)32--32, 17(3)18--18, 18(2)16--16, 18(3)21--21,
19(1)6--6, 19(2)7--7, 19(2)12--12, 19(3)21--21, 20(2)12--12,
20(3)14--14
-
lattice, 8(2)z--99999999, 16(1)1--1, 18(1)1--1, 20(1)3--3, 21(1)4--4,
22(1)6--6, 22(2)10--10
-
lattice, semi-, 14(4)30--30
-
launched, 15(1)1--1, 19(4)28--28
-
Laurence, Michael R., 13(2)15--15
-
Laurence, Michael R., see Danicic, Sebastian
-
Laurenti, Luca, 20(4)19--19
-
Laurenti, Luca, see Bortolussi, Luca
-
Lauria, Massimo, 12(1)4--4, 14(3)20--20, 16(4)28--28, 17(3)19--19,
17(4)26--26, 24(3)20--20
-
Lauria, Massimo, see Atserias, Albert,
see Beyersdorff, Olaf,
see Carlucci, Lorenzo, \see{Filmus, Yuval,
see Galesi, Nicola
-
Lavra{\v{c}}, Nada, 2(4)458--494
-
Lavrac:2001:ETA, 2(4)458--494
-
law, 1(1)33--59, 6(4)727--748, 10(1)7--7, 16(4)30--30, 19(3)23--23,
23(2)12--12
-
lax, 17(1)5--5, 19(3)16--16, 21(1)7--7, 23(1)3--3
-
Layaïda, Nabil, 16(2)16--16, see Genevès, Pierre
-
layer, 12(2)11--11, 16(2)14--14, 19(3)22--22, 20(4)23--23
-
layer-preservation, 16(2)14--14
-
layered, modal-, 20(4)23--23
-
layering, 20(4)23--23
-
lays, 8(3)15--15
-
Lazi{\'c}, Ranko, 10(3)16--16, 12(2)10--10, 12(3)19--19, 16(3)20--20,
17(3)16--16, 20(3)14--14, see Clemente, Lorenzo,
see Demri, Stéphane,
see Jurdzi{\'n}ski, Marcin
-
Lazic:2011:SAA, 12(2)10--10
-
Lazic:2015:NCB, 16(3)20--20
-
Lazic:2016:ZHH, 17(3)16--16
-
LCC, MSO-, 12(2)12--12
-
LCS, 9(1)5--5
-
LCTRSs, 18(2)14--14
-
LDP, 14(4)33--33
-
Le Roux, Stéphane, 19(3)20--20
-
lead, 1(1)77--111, 2(2)255--287, 9(3)17--17, 9(3)20--20, 10(2)8--8,
10(2)13--13, 10(4)29--29, 11(4)27--27, 12(1)3--3, 12(4)23--23,
12(4)24--24, 14(2)8--8, 14(4)27--27, 15(1)3--3, 15(3)24--24,
17(1)3--3, 18(3)25--25, 20(4)21--21
-
leading, 17(1)2--2, 21(3)17--17
-
leaf, 19(2)10--10
-
leaf-up, 15(4)33--33
-
learn, 14(3)23--23, 15(3)18--18, 22(3)17--17
-
learned, 13(2)13--13
-
learning, 13(2)11--11, 14(2)15--15, 14(4)34--34, 19(2)10--10
-
least, 9(4)25--25, 12(4)27--27, 13(1)2--2, 13(1)9--9, 13(2)15--15,
13(3)25--25, 14(1)3--3, 14(2)14--14, 14(3)21--21, 14(4)31--31,
15(2)16--16, 15(4)33--33, 16(1)9--9, 16(4)30--30, 17(1)7--7,
20(1)4--4, 20(4)21--21, 21(1)4--4, 22(4)22--22
-
leave, 9(3)21--21, 19(3)20--20
-
leaving, 17(3)21--21, 24(2)10--10
-
led, 2(1)135--153, 18(2)10--10
-
Lee, J. H. M., 8(4)23--23
-
Lee, J. H. M., see Choi, C. W.
-
Leeb, 18(3)23--23
-
left, 4(2)207--259, 10(1)6--6, 10(2)12--12, 14(4)34--34, 15(4)33--33,
16(1)8--8, 16(2)10--10, 20(2)7--7, 21(1)6--6, 23(3)18--18,
23(4)22--22
-
left-flat, 18(2)17--17
-
left-hand, 18(2)17--17
-
left-r.e, 13(3)24--24
-
left-to-right, 15(2)15--15
-
leftward, 12(3)19--19, 17(2)14--14
-
legacy, 1(2)208--246
-
legal, 12(2)17--17, 16(1)6--6
-
Legay, Axel, 12(1)2--2
-
Legay:2010:ORM, 12(1)2--2
-
Lehmann, 10(3)18--18
-
Leifer, 15(4)35--35
-
Leino, K. Rustan M., 17(1)6--6
-
Leino:2015:APS, 17(1)6--6
-
Leivant, 10(2)8--8
-
Lellmann, Björn, 20(2)7--7
-
Lellmann:2019:MSC, 20(2)7--7
-
Leman, Weisfeiler-, 24(1)6--6
-
lemma, 14(2)8--8, 14(4)32--32, 15(3)21--21, 17(3)16--16
-
length, 5(2)316--320, 9(2)11--11, 9(3)18--18, 13(3)27--27, 14(3)19--19,
14(4)31--31, 15(1)9--9, 15(2)17--17, 16(1)8--8, 20(2)11--11,
24(4)28--28
-
length, fixed-, 2(1)93--134
-
length-bounded, 20(2)11--11
-
Lenhardt, Rastislav, 17(4)32--32
-
Lenhardt, Rastislav, see Benaim, Saguy
-
lens, 15(1)9--9
-
Lenzerini, Maurizio, 9(3)22--22
-
Lenzerini, Maurizio, see Calvanese, Diego
-
Leone, Nicola, 5(2)206--263, 7(3)499--562, 20(2)12--12
-
Leone, Nicola, see Eiter, Thomas
-
Leone:2006:DSK, 7(3)499--562
-
Leone:2019:FQA, 20(2)12--12
-
LeRoux:2018:MG, 19(3)20--20
-
Leroy, 9(1)6--6
-
Lescanne, Pierre, 19(2)9--9
-
Lescanne:2018:QAL, 19(2)9--9
-
less, 8(4)19--19, 10(1)3--3, 16(3)27--27, 17(2)10--10, 18(2)10--10,
18(2)12--12, 20(2)9--9
-
Leszczy{\'n}ska-Jasion, Dorota, 15(4)28--28,
see Komosinski, Maciej
-
let, 2(1)1--11, 10(4)25--25, 14(3)19--19, 14(4)29--29, 16(3)21--21,
20(2)9--9, 22(4)25--25, 23(2)12--12, 24(1)5--5, 24(2)11--11
-
letter, 10(3)16--16, 12(2)10--10, 12(3)19--19, 20(1)4--4
-
level, 1(2)175--207, 2(3)408--429, 12(1)6--6, 13(2)15--15, 13(2)17--17,
13(3)24--24, 13(4)33--33, 14(2)8--8, 14(3)22--22, 14(4)31--31,
15(2)14--14, 16(2)18--18, 16(3)23--23, 16(3)26--26, 16(4)31--31,
17(1)7--7, 17(2)13--13, 18(2)12--12, 19(2)9--9, 19(3)17--17,
19(4)24--24, 20(1)3--3, 20(1)5--5, 20(4)23--23
-
level, application-, 17(2)11--11
-
level, block-, 19(4)31--31
-
level, high-, 1(2)285--320
-
level, macro-, 20(1)5--5
-
level, meta-, 19(1)6--6, 19(3)17--17
-
level, method-, 17(2)11--11
-
level, micro-, 20(1)5--5
-
Level, Register-Transfer-, 2(1)93--134
-
levels, macro-, 20(1)5--5
-
leverage, 15(3)18--18, 18(3)24--24, 20(4)25--25
-
leveraged, 15(3)18--18
-
leveraging, 16(2)12--12, 18(4)27--27
-
Levesque, Hector J., 2(4)495--525
-
Levesque, Hector J., see De Giacomo, Giuseppe
-
Levi, 13(4)30--30
-
Lévy, 8(3)14--14
-
Levy, Jordi, 13(2)10--10
-
Levy:2012:NUH, 13(2)10--10
-
lexicographically, 13(3)24--24
-
Ley, Clemens, 17(2)14--14
-
Ley, Clemens, see Benedikt, Michael
-
Leys, Tim, 24(1)3--3
-
Leys, Tim, see Blondin, Michael
-
LF, 6(1)61--101, 12(2)15--15, 14(4)32--32
-
LG-acceptability, 2(1)57--92
-
LG-termination, 2(1)57--92
-
LGDP, 16(2)12--12
-
LGF, 9(4)26--26
-
Li, Bohan, 24(4)32--32
-
Li, Bohan, see Cai, Shaowei
-
Li, Sanjiang, 23(3)19--19
-
Li, Sanjiang, see Feng, Yuan
-
Li, Yangjia, 15(3)22--22
-
Li, Yangjia, see Ying, Mingsheng
-
Li, Yongjian, 19(4)27--27
-
Li:2018:APA, 19(4)27--27
-
Liau, Churn-Jung, 6(1)124--174, 18(2)15--15, 21(1)3--3
-
Liau, Churn-Jung, see Fan, Tuan-Fang,
see Su, Che-Ping
-
Liau:2005:MLF, 6(1)124--174
-
liberal, 8(3)17--17
-
liberalize, 9(3)19--19
-
Liberatore, Paolo, 1(1)131--161, 7(1)84--107, 8(1)z--99999999,
8(2)z--99999999, 17(2)9--9, 24(3)27--27
-
Liberatore:2000:CCR, 1(1)131--161
-
Liberatore:2006:CRD, 7(1)84--107
-
Liberatore:2007:CPA, 8(1)z--99999999
-
Liberatore:2007:WFS, 8(2)z--99999999
-
Liberatore:2016:BME, 17(2)9--9
-
Liberatore:2023:MIR, 24(3)27--27
-
Libkin, Leonid, 1(1)33--59, 2(1)135--153, 3(3)335--335, 4(4)431--451,
8(2)z--z
-
Libkin, Leonid, see Abadi, Martín,
see Benedikt, Michael
-
Libkin:2000:LCL, 1(1)33--59
-
Libkin:2001:LCL, 2(1)135--153
-
Libkin:2003:VIF, 4(4)431--451
-
library, 9(3)16--16
-
LICS, 4(3)295--295, 6(4)674--674
-
lies, 2(3)388--407, 15(2)13--13, 15(4)27--27
-
LIF, 24(4)33--33
-
lifespan, 15(3)25--25
-
Lifschitz, Vladimir, 2(4)526--541, 7(2)261--268
-
Lifschitz:2001:SEL, 2(4)526--541
-
Lifschitz:2006:WTM, 7(2)261--268
-
lifted, 14(3)17--17
-
lifting, 14(1)7--7, 17(3)15--15
-
light, 3(1)137--175, 9(1)7--7, 10(1)1--1, 10(4)25--25, 13(2)18--18
-
lightweight, 9(3)17--17, 14(2)16--16, 16(1)8--8, 20(1)6--6
-
LIiP, 16(4)35--35
-
like, 9(3)19--19, 10(1)2--2, 13(3)20--20, 14(3)24--24, 15(4)31--31,
15(4)34--34, 16(2)14--14, 19(1)1--1, 19(3)22--22, 20(1)4--4,
24(4)29--29
-
like'', ``Keisler-Shelah-, 9(2)8--8
-
like, CCS-, 18(1)4--4
-
like, dag-, 24(3)20--20
-
like, grid-, 16(3)27--27
-
like, ML-, 19(1)6--6
-
like, privacy-, 17(1)3--3
-
like, temporal-, 16(3)25--25
-
like, tree-, 5(2)316--320, 14(3)20--20, 15(1)8--8, 19(1)1--1,
21(1)6--6, 24(1)8--8, 24(3)20--20
-
likely, 17(3)22--22
-
liminf, 11(4)23--23
-
LimInfAvg, 15(4)27--27
-
limit, 11(4)23--23, 11(4)27--27, 12(3)20--20, 13(1)7--7, 13(4)30--30,
17(3)17--17, 20(3)15--15, 20(4)19--19
-
limit-winning, 12(4)28--28
-
limitation, 1(1)33--59, 7(3)590--612, 8(1)z--99999999, 12(3)20--20,
14(1)1--1, 15(3)23--23, 15(4)30--30, 16(4)33--33, 23(3)20--20
-
limited, 1(1)33--59, 9(2)13--13, 17(1)3--3, 17(3)20--20, 18(4)28--28,
19(2)14--14, 19(3)19--19, 20(4)19--19, 21(1)6--6
-
limiting, 17(2)14--14, 19(1)3--3, 19(3)17--17
-
limsup, 11(4)23--23
-
LimSupAvg, 15(4)27--27
-
Lin, 16(1)9--9
-
Lin, Anthony Widjaja, 15(4)26--26
-
Lin, Anthony Widjaja, see Göller, Stefan
-
Lin, Fangzhen, 8(2)z--99999999, 14(1)3--3, 17(3)22--22, 24(2)15--15
-
Lin, Fangzhen, see Chen, Xiaoping,
see Wang, Yisong, \see{Wen, Lian
-
Lin, Res-, 19(4)29--29
-
Lin:2007:RCA, 8(2)z--99999999
-
line, 10(3)22--22, 10(4)28--28, 10(4)29--29, 19(4)29--29
-
Linear, Non-, 20(4)25--25
-
linear, Non-, 20(4)25--25
-
linear, non-, 20(4)25--25
-
linear, piecewise-, 19(3)19--19
-
linear, right-, 16(2)10--10
-
Linear-Logic, 14(1)1--1
-
linear-logic, 14(1)1--1
-
Linear-Time, 15(3)22--22
-
linear-time, 9(1)5--5, 14(4)28--28, 15(3)22--22
-
linearity, 10(2)8--8
-
linearizability, 15(4)31--31
-
linearizable, 15(4)31--31
-
Linearization, 19(3)19--19
-
linearizations, 9(3)18--18
-
linearized, 20(4)25--25
-
linearly, 13(2)12--12, 13(3)23--23, 15(1)8--8
-
link, 12(1)5--5, 12(3)18--18, 17(4)26--26, 18(2)10--10, 18(4)29--29,
20(1)5--5, 21(3)18--18
-
linked, 19(3)23--23
-
linked, double-, 15(4)33--33
-
linked, singly-, 22(2)14--14
-
linking, 12(2)11--11, 21(3)18--18
-
LiP, 16(4)35--35
-
Lipton, Karp-, 11(4)22--22
-
liquid, 21(2)13--13
-
list, 2(2)155--181, 9(3)15--15, 10(1)4--4, 12(2)17--17, 12(3)22--22,
15(4)33--33, 16(2)10--10, 22(2)14--14
-
LITE, 3(1)42--79, 9(4)26--26
-
lite, 9(4)26--26, 10(1)4--4
-
Lite, DL-, 15(3)25--25, 16(4)31--31, 18(4)27--27
-
literal, 9(4)26--26, 10(1)4--4, 14(3)24--24, 19(3)18--18, 19(4)25--25,
23(3)16--16
-
literal, two-, 17(3)22--22
-
literature, 8(3)15--15, 10(2)9--9, 13(4)30--30, 14(2)13--13, 14(3)24--24,
15(1)8--8, 15(2)14--14, 15(2)16--16, 16(3)24--24, 16(4)31--31,
17(1)3--3, 18(2)16--16, 18(3)23--23, 18(3)24--24, 18(4)28--28,
19(2)13--13, 20(2)12--12, 21(1)4--4
-
literature., 9(1)7--7
-
little, 2(3)289--339, 16(2)12--12
-
live, 19(1)4--4
-
Livelock-Freedom, 20(3)16--16
-
livelock-freedom, 20(3)16--16
-
livelocks, 20(3)16--16
-
liveness, 10(3)15--15, 12(3)18--18, 15(2)13--13, 21(3)17--17
-
Living, 24(4)34--34
-
LK, 14(1)5--5
-
load, 2(1)93--134, 8(3)14--14
-
local, 1(1)33--59, 1(1)112--130, 1(2)247--284, 2(1)135--153,
3(4)521--541, 8(4)24--24, 10(2)10--10, 11(3)15--15, 12(2)12--12,
14(2)8--8, 14(2)9--9, 15(1)2--2, 16(3)23--23, 17(1)2--2, 17(2)11--11,
19(2)14--14, 20(1)3--3, 20(2)7--7, 20(3)15--15, 20(3)16--16,
23(1)4--4, 24(4)32--32
-
local, Hanf-, 2(1)135--153
-
local, pseudo-, 14(2)8--8
-
Local-Effect, 18(2)16--16
-
local-effect, 18(2)16--16
-
locality, 1(1)33--59, 1(1)112--130, 2(1)135--153, 10(3)17--17, 14(2)8--8,
19(2)11--11
-
locality, Gaifman-, 2(1)135--153
-
locality, Hanf-, 2(1)135--153
-
locally, 11(4)26--26, 14(2)9--9, 16(3)23--23, 17(4)27--27, 20(1)3--3,
20(3)15--15
-
locate, 9(3)17--17, 13(4)33--33
-
location, 12(2)16--16, 13(1)7--7, 18(2)11--11, 19(2)13--13, 19(4)31--31
-
lock, 15(4)31--31
-
lock-step, 10(4)26--26
-
locking, 15(4)31--31
-
lockstep, 18(1)3--3
-
LoCo, 15(3)20--20
-
Lodha, Neha, 20(3)15--15
-
Lodha:2019:SAB, 20(3)15--15
-
Löf's, Martin-, 19(2)15--15
-
Löf, Martin-, 13(3)24--24, 16(2)18--18, 21(3)25--25
-
L{\``o}f, Martin-, 13(1)3--3
-
logarithmic, 11(4)26--26, 18(4)29--29, 19(2)7--7
-
logarithmic-size, 11(4)26--26
-
logarithmically, 15(1)2--2
-
logarithmically-many, 15(1)2--2
-
logic?, 9(4)25--25
-
logic, APT-, 13(2)13--13
-
logic, dtc-, 11(4)26--26
-
logic, ID-, 9(2)14--14
-
Logic, Linear-, 14(1)1--1
-
logic, linear-, 14(1)1--1
-
Logic-Based, 15(3)19--19, 16(4)33--33
-
logic-based, 9(1)3--3, 9(2)9--9, 15(3)19--19, 16(2)11--11, 19(3)21--21,
21(3)26--26, 24(3)26--26, 24(4)33--33
-
logic-enriched, 11(2)11--11
-
logic-that, meta-, 19(4)24--24
-
logic., 15(1)4--4
-
logical, 1(1)162--170, 2(1)135--153, 2(3)289--339, 3(1)80--136,
8(1)z--99999999, 8(2)z--z, 9(2)12--12, 9(3)21--21, 9(3)23--23,
10(1)7--7, 10(2)12--12, 10(3)16--16, 11(2)8--8, 14(2)10--10,
14(3)24--24, 14(4)28--28, 14(4)32--32, 15(1)8--8, 15(2)12--12,
15(2)15--15, 16(1)2--2, 16(1)4--4, 16(2)16--16, 16(3)23--23,
16(4)32--32, 16(4)33--33, 17(1)5--5, 17(3)20--20, 18(2)9--9,
18(2)16--16, 18(3)24--24, 18(4)27--27, 18(4)32--32, 19(2)10--10,
19(3)17--17, 19(4)24--24, 20(3)14--14, 20(4)20--20, 21(2)13--13,
21(4)31--31, 21(4)34--34, 22(2)9--9, 22(2)12--12, 22(3)17--17,
24(4)31--31
-
logical, meta-, 19(4)24--24
-
logically, 8(4)23--23, 18(2)14--14
-
logicians, 14(4)34--34
-
LOGSPACE, 16(3)26--26
-
logspace, 11(4)26--26, 12(2)13--13
-
logspace-computation., 11(4)26--26
-
Lohrey, Markus, 16(1)9--9
-
Lohrey, Markus, see Göller, Stefan
-
Lokshtanov, Daniel, 21(4)28--28
-
Lokshtanov, Daniel, see Gajarský, Jakub
-
Lomuscio, Alessio R., 1(2)247--284
-
Lomuscio:2000:KMS, 1(2)247--284
-
Lonc, Zbigniew, 4(1)91--119
-
Lonc:2003:FPC, 4(1)91--119
-
long, 2(3)340--387, 15(4)32--32, 17(3)19--19, 21(4)30--30
-
long-standing, 16(1)4--4, 17(4)24--24
-
longer, 17(4)31--31, 19(4)25--25
-
longest, 18(2)10--10
-
longstanding, 13(4)29--29
-
look, 2(2)216--254, 2(3)340--387, 14(2)10--10, 17(4)32--32, 21(1)1--1
-
looking, 8(4)20--20, 17(2)14--14, 20(2)10--10
-
loop, 2(1)1--11, 7(2)261--268, 9(4)27--27, 10(4)26--26, 13(3)27--27,
14(1)3--3, 14(3)22--22, 15(4)33--33, 16(1)8--8, 18(1)3--3, 23(2)9--9
-
loop, single-, 2(1)1--11
-
loop-cumulative, 10(3)18--18
-
loops, for-, 13(3)27--27
-
loops, self-, 16(1)3--3
-
loosely, 9(4)26--26
-
Lopes, Bruno, 22(2)9--9
-
Lopes:2021:RAP, 22(2)9--9
-
Loreti, Michele, 5(1)79--128
-
Loreti, Michele, see De Nicola, Rocco
-
lose, 17(2)14--14
-
losses, 9(1)5--5
-
lossless, 15(3)18--18
-
lossy, 9(1)5--5
-
lost, 18(2)16--16, 21(1)5--5
-
lot, 11(4)24--24, 12(1)7--7, 12(2)11--11, 16(1)7--7, 17(3)21--21,
19(2)15--15
-
lottery, 1(2)175--207
-
Lovász, 12(2)12--12
-
Lovász-Schrijver, 20(1)1--1
-
low, 12(1)4--4, 15(1)6--6, 19(4)24--24
-
lower, 4(3)296--314, 9(2)10--10, 9(2)11--11, 10(1)2--2, 10(4)25--25,
11(3)19--19, 13(1)4--4, 13(2)12--12, 13(2)16--16, 13(3)19--19,
13(4)29--29, 14(1)2--2, 14(3)20--20, 14(3)21--21, 14(3)22--22,
14(4)31--31, 15(1)6--6, 15(1)9--9, 15(2)16--16, 16(1)9--9,
16(3)20--20, 16(3)21--21, 16(3)27--27, 16(4)28--28, 17(2)8--8,
17(3)16--16, 17(3)19--19, 17(4)26--26, 19(1)1--1, 19(4)29--29,
20(1)1--1, 20(4)25--25, 21(1)6--6, 22(4)26--26, 24(2)10--10
-
lower-bound, 14(3)22--22, 16(1)9--9, 24(1)3--3
-
lower-bounding, 19(3)19--19
-
lower-complexity, 16(3)27--27
-
Loyer, Yann, 5(3)508--527
-
Loyer:2004:HBS, 5(3)508--527
-
Lozes, Etienne, 22(2)14--14
-
Lozes, Etienne, see Demri, Stéphane
-
LPm, 8(3)18--18
-
LTL, 2(3)388--407, 10(3)16--16, 11(3)20--20, 12(2)13--13, 13(2)12--12,
13(3)21--21, 13(4)29--29, 15(4)27--27, 15(4)30--30, 17(2)14--14,
19(1)4--4, 20(1)4--4, 21(2)12--12
-
Ltl, 5(1)1--25, 15(4)34--34
-
LTLQ, 11(3)20--20
-
LTQL, 24(3)19--19
-
LTS, 15(4)35--35, 16(1)2--2
-
LTSs, 15(4)35--35, 16(1)2--2
-
Lucio, Paqui, 14(4)28--28, 17(1)6--6
-
Lucio, Paqui, see Gaintzarain, Jose,
see Leino, K. Rustan M.
-
Lück, Martin, 18(1)1--1
-
Luck:2017:PCS, 18(1)1--1
-
Lukasiewicz, 13(4)33--33, 16(4)33--33
-
\Lukasiewicz, 6(3)578--613
-
Lukasiewicz, Thomas, 2(3)289--339, 10(1)5--5, 12(2)11--11
-
Lukasiewicz, Thomas, see Eiter, Thomas,
see Iocchi, Luca
-
Lukasiewicz:2001:PLP, 2(3)289--339
-
Lumsdaine, 19(2)15--15
-
Lumsdaine, Peter Lefanu, 16(3)23--23
-
Lumsdaine:2015:LUM, 16(3)23--23
-
Lundh, Hubert, Comon-, 11(2)9--9
-
Luo, Zhaohui, 11(2)11--11
-
Luo, Zhaohui, see Adams, Robin
-
Lüttgen, Gerald, 3(1)1--41
-
Luttgen:2002:IBS, 3(1)1--41
-
Luttik, Bas, 10(1)6--6, 23(4)22--22
-
Luttik, Bas, see Aceto, Luca
-
Lutz, Carsten, 5(4)669--705, 13(3)21--21, 21(3)20--20
-
Lutz, Carsten, see Baader, Franz,
see Hernich, André
-
Lutz, Jack H., 8(2)z--99999999
-
Lutz, Jack H., see Hitchcock, John M.
-
Lutz:2004:NTC, 5(4)669--705
-
luxury, 18(3)19--19
-
Lv, Yi, 19(4)27--27
-
Lv, Yi, see Li, Yongjian
-
lying, 10(2)8--8, 16(1)3--3
-
Lynch, James F., 6(4)727--748
-
Lynch:2005:CLR, 6(4)727--748
-
Lyndon, 17(2)8--8
-
Lyon, Tim S., 22(3)20--20
-
Lyon, Tim S., see Ciabattoni, Agata