Last update: Tue Nov 28 02:00:17 MST 2023
Return to index directory
L
-
la Tour, Thierry, Boy de, 57(3)245--280
-
Labelings, 54(2)101--133
-
labelled, 13(2)243--281, 51(4)401--430, 57(1)3--36
-
Lachnitt, Hanna, 65(5)691--709
-
Lachnitt, Hanna, see Bordg, Anthony
-
Lafortune, Stéphane, 60(1)107--131, see Wu, Yi-Chin
-
Lafourcade, P., 46(3)261--291
-
Lafourcade, P., see Courant, J.
-
Lafourcade, Pascal, 56(1)49--94
-
Lafourcade, Pascal, see Gagné, Martin
-
Lagniez, Jean-Marie, 58(4)413--481
-
Lagniez:2017:PTT, 58(4)413--481
-
Lago, Ugo, Dal, 63(4)813--855
-
Lagrange, Euler-, 65(1)1--29
-
Lahav, Ori, 51(4)401--430
-
Lahav, Ori, see Baaz, Matthias
-
Lahiri, Shuvendu K., 60(1)23--42
-
Lahiri, Shuvendu K., see He, Shaobo
-
Laita, Luis M., 46(2)205--221
-
Laita, Luis M., see Hernando, Antonio
-
Lakhnech, Y., 46(3)261--291
-
Lakhnech, Y., see Courant, J.
-
Lakhnech, Yassine, 56(1)49--94
-
Lakhnech, Yassine, see Gagné, Martin
-
Lakin, Matthew R., 49(2)115--140
-
Lakin:2012:EAS, 49(2)115--140
-
Lam, W., 5(2)207--233
-
Lam, W., see Leung, K. S.
-
lambda, 9(3)309--354, 12(3)389--406, 23(3)373--409, 27(1)29--59,
33(2)89--132, 63(2)393--413, 65(7)893--940
-
Lambda, Otter-, 36(4)311--344
-
Lammich, Peter, 60(1)3--21, 61(1)333--365, 62(2)261--280, 62(4)481--503,
63(1)53--94, 64(3)513--532, 65(2)321--356
-
Lammich, Peter, see Blanchette, Jasmin Christian,
see Brunner, Julian, \see{Popescu, Andrei
-
Lammich:2019:ARE, 63(1)53--94
-
Lammich:2019:FNF, 62(2)261--280
-
Lammich:2019:RIH, 62(4)481--503
-
Lammich:2020:EVS, 64(3)513--532
-
Lanet, Jean-Louis, 45(4)415--435
-
Lanet, Jean-Louis, see Bousquet, Lydie du
-
Lang, Frédéric, 49(2)275--300,
see Rose, Kristoffer H.
-
Langetepe, Elmar, 18(1)25--46
-
Langetepe, Elmar, see Antoniou, Grigoris
-
language, 5(4)461--492, 11(1)43--81, 17(3)371--403, 19(2)143--171,
22(3)223--239, 29(3)337--363, 30(3)271--321, 31(3)261--302,
35(4)295--354, 37(4)323--349, 43(3)263--288, 44(1)z--99999999,
49(3)427--451, 56(3)261--282, 58(1)67--95, 59(1)87--120,
61(1)521--553, 63(4)941--966, 63(4)967--1002, 66(4)1031--1063
-
Lankford, Dallas, 5(1)25--35
-
Lankford:1989:NNI, 5(1)25--35
-
LaPadula, Bell-, 65(4)463--478
-
Laporte, Vincent, 56(3)283--308
-
Laporte, Vincent, see Blazy, Sandrine
-
Larchey-Wendling, Dominique, 38(1)201--225, 64(7)1197--1219
-
Larchey-Wendling:2007:GBD, 38(1)201--225
-
Larchey-Wendling:2020:CDR, 64(7)1197--1219
-
Large, 63(2)415--438
-
Larrosa, Javier, 46(1)81--102
-
Larrosa:2011:FCB, 46(1)81--102
-
Larry, 66(4)437--438, 66(4)439--461, 66(4)575--584
-
Larsen, Kim S., 59(4)425--454
-
Larsen, Kim S., see Cruz-Filipe, Luís
-
Lassez, Catherine, 23(1)83--104
-
Lassez, Catherine, see Brodsky, Alexander
-
Lassez, J.-L., 3(3)301--317
-
Lassez, Jean-Louis, 9(3)373--379, 23(1)83--104
-
Lassez, Jean-Louis, see Brodsky, Alexander
-
Lassez:1987:ERT, 3(3)301--317
-
Lassez:1992:FAL, 9(3)373--379
-
Last, 29(2)107--124
-
\LaTeX, 15(2)277--278
-
Lattice, 24(3)365--370, 29(3)189--224, 55(3)211--221
-
Lavalette, Gerard R. Renardel, De, 7(4)537--561
-
Lawford, Mark, 60(1)63--84
-
Lawford, Mark, see Newell, Josh
-
Layout, 37(1)117--152
-
Lazy, 40(2)179--194, 51(3)325--356, 59(1)87--120, 65(7)971--999
-
Le Gall, Pascale, 45(4)437--473
-
Le Gall, Pascale, see Longuet, Delphine
-
Leaf, 33(3)271--317
-
lean, 15(3)339--358, 66(2)215--238
-
Learn, 61(1)333--365
-
Learning, 18(2)189--198, 24(4)483--533, 33(2)171--218, 45(1)21--37,
53(2)141--172, 60(2)133--156, 60(4)527--527, 63(2)347--368,
63(4)1031--1053, 63(4)1055--1075, 63(4)1103--1134, 65(2)257--286,
65(2)287--320
-
Learning, Clause-, 44(3)277--301
-
Learning-Assisted, 53(2)173--213, 54(1)99--99
-
Learning-Based, 57(3)219--244, 64(7)1523--1552
-
Least, 45(1)61--87, 58(4)509--535, 62(2)171--192
-
Lebesgue, 66(2)175--213
-
Ledru, Yves, 45(4)415--435
-
Ledru, Yves, see Bousquet, Lydie du
-
Lee, Gyesik, 52(2)215--239
-
Lee, Gyesik, see Park, Jonghyun
-
Lee, Shie-Jue, 9(1)25--42, 12(3)359--388, 26(1)67--106
-
Lee, Shie-Jue, see Wu, Chih-Hung
-
Lee:1992:EDH, 9(1)25--42
-
Lee:1994:IEH, 12(3)359--388
-
left, 9(1)1--24, 66(4)805--844
-
Legacy, 27(2)97--122
-
Legato, Wilfred J., 35(4)355--371
-
Legato, Wilfred J., see Boyer, Robert S.
-
Legibility, 55(3)295--306
-
Leidinger, Hendrik, 67(3)z--z
-
Leidinger:2023:SES, 67(3)z--z
-
Leinenbach, Dirk C., 42(2)389--454
-
Leinenbach, Dirk C., see Alkassar, Eyad
-
Leitsch, Alexander, 62(3)393--430, 63(1)95--126, 65(5)599--645
-
Leitsch, Alexander, see Cerna, David M.,
see Ebner, Gabriel
-
Leitsch:2019:EET, 62(3)393--430
-
Lembo, Domenico, 39(3)385--429
-
Lembo, Domenico, see Calvanese, Diego
-
LEMMA, 21(2)233--275
-
lemma, 7(3)439--446, 8(3)311--344, 19(1)117--141, 26(2)205--221,
40(4)271--292, 47(3)229--250, 50(2)217--228, 63(1)95--126,
66(1)43--91, 67(1)z--99999999
-
Lemmata, 19(2)173--203
-
Lengauer, Christian, 1(1)75--101
-
Lengauer:1985:RAT, 1(1)75--101
-
Lenglet, Sergueï, 65(1)75--124, see Ambal, Guillaume
-
Lengrand, Stéphane, Graham-, 64(3)579--609, 66(1)43--91
-
Length, 43(2)121--137, 64(4)677--688
-
Lenzerini, Maurizio, 39(3)385--429
-
Lenzerini, Maurizio, see Calvanese, Diego
-
Leo-II, 55(4)389--404
-
Leo-III, 65(6)775--807
-
Leroy, Xavier, 30(3)235--269, 40(4)307--326, 41(1)1--31, 43(3)263--288,
43(4)z--z, 49(3)453--491, 54(2)135--163, 67(1)z--99999999
-
Leroy, Xavier, see Appel, Andrew W.,
see Blazy, Sandrine, \see{Boldo, Sylvie,
see Rideau, Laurence
-
Leroy:2003:JBV, 30(3)235--269
-
Leroy:2008:FVC, 41(1)1--31
-
Leroy:2009:FVC, 43(4)z--z
-
Lescanne, Pierre, 6(1)39--49
-
Lescanne:1990:RDO, 6(1)39--49
-
Letz, R., 8(2)183--212, 13(3)297--337
-
Letz, Reinhold, 18(2)205--210, 18(2)237--246, 38(1)79--126
-
Letz, Reinhold, see Moser, Max
-
Letz:1992:SHP, 8(2)183--212
-
Letz:1994:CIC, 13(3)297--337
-
Letz:1997:LLI, 18(2)205--210
-
Letz:2007:DTC, 38(1)79--126
-
Leung, K. S., 5(2)207--233
-
Leung:1989:FES, 5(2)207--233
-
Level, Bit-, 37(1)93--116
-
Level, Circuit-, 49(4)583--619
-
Level, Low-, 35(4)295--354, 42(2)189--227, 42(2)301--347
-
level, Low-, 56(3)283--308
-
Level, Meta-, 35(4)429--431
-
level, Meta-, 4(1)15--27
-
Level, System-, 63(1)1--51, 64(8)1685--1729
-
Level, Two-, 33(3)251--269, 49(2)241--273
-
Level, Word-, 63(3)723--762
-
Levy, Jordi, 52(2)155--190, 58(2)293--310
-
Levy, Jordi, see Baumgartner, Alexander,
see Kutsia, Temur
-
Lewis, Robert Y., 56(3)367--386, 66(2)215--238
-
Lewis, Robert Y., see Avigad, Jeremy
-
Lewis:2022:BDE, 66(2)215--238
-
lexicographical, 6(1)39--49
-
Lexing, 67(3)z--99999999
-
LF, 27(1)3--27
-
Li, Chu Min, 34(1)73--101
-
Li, Chu Min, see Jurkowiak, Bernard
-
Li, Hongbo, 25(2)83--121
-
Li, Li-Ming, 63(3)787--808
-
Li, Wenda, 62(1)69--91, 64(2)331--360
-
Li, Yong-Dong, 63(3)787--808
-
Li, Yong-Dong, see Li, Li-Ming
-
Li, Yongdong, 65(1)1--29
-
Li, Yongdong, see Guan, Yong
-
Li, Zhi-Bin, 64(1)1--20
-
Li, Zhi-Bin, see Huang, Cheng-Chao
-
Li:2000:VES, 25(2)83--121
-
Li:2019:DUP, 62(1)69--91
-
Li:2019:FGA, 63(3)787--808
-
Li:2020:EWN, 64(2)331--360
-
Liang, Chuck, 33(2)89--132
-
Liang:2004:CRR, 33(2)89--132
-
LIB, SMT-, 55(1)61--90
-
liberalized, 13(2)211--221, 38(1)3--30
-
library, 21(2)177--203, 29(3)225--252, 38(1)261--271, 43(4)z--99999999,
50(2)191--202, 59(4)483--502, 61(1)9--32, 64(6)1123--1164,
65(8)1265--1298
-
Liebig, Thorsten, 53(4)351--405
-
Liebig, Thorsten, see Steigmiller, Andreas
-
Lierler, Yuliya, 36(4)z--z
-
Lierler, Yuliya, see Giunchiglia, Enrico
-
Liffiton, Mark H., 40(1)1--33
-
Liffiton:2008:ACM, 40(1)1--33
-
Lifschitz, Vladimir, 5(1)1--23, 14(1)1--1, 15(1)v--v
-
Lifschitz:1989:WIM, 5(1)1--23
-
Lifschitz:1995:PSIa, 14(1)1--1
-
Lifschitz:1995:PSIb, 15(1)v--v
-
Light, 50(2)173--190, 60(2)237--254, 63(3)787--808, 65(1)1--29,
67(3)z--99999999
-
Lightweight, 31(3)303--334
-
like, C-, 41(1)1--31
-
like, Horn-, 13(3)391--407
-
Lillieström, Ann, 47(2)111--132, 65(8)1097--1124,
see Claessen, Koen
-
LIM+, 12(2)241--264
-
Lima, Thaynara Arielly de, 65(8)1231--1263
-
Limet, Sébastien, 37(4)323--349
-
Limet:2006:TTL, 37(4)323--349
-
Limit, 59(4)389--423
-
Limited, 64(3)391--422
-
Lin, Hai, 48(2)135--158
-
Lin, Hai, see Anantharaman, Siva
-
Line, On-, 37(1)45--66
-
linear, 5(1)25--35, 8(1)45--75, 9(3)373--379, 12(3)273--304,
13(3)391--407, 16(1)39--78, 16(3)241--319, 32(2)121--166,
38(4)353--373, 41(1)z--z, 45(2)189--212, 48(1)107--131,
51(2)129--149, 58(2)293--310, 58(4)509--535, 60(2)177--220,
63(4)887--909, 63(4)911--939, 63(4)967--1002, 64(3)611--640,
64(6)1123--1164, 65(3)357--423, 66(4)845--860, 67(1)z--99999999,
67(2)z--z
-
Linear, Non-, 51(3)281--324
-
Linearity, 63(4)809--811
-
Linearization, 62(4)505--530
-
Link, 3(1)1--34, 18(2)205--210
-
linked, 8(2)213--274, 27(2)123--139
-
Linking, Hyper-, 18(2)177--182, 25(3)167--217
-
linking, hyper-, 9(1)25--42
-
Linking-Based, Hyper-, 26(1)67--106
-
Links, Anti-, 18(1)47--83
-
Linton, S., 17(2)145--169
-
Linton:1996:SGT, 17(2)145--169
-
LINUS, 18(2)205--210
-
lion, 1(3)327--332, 5(3)403--408
-
Liquori, Luigi, 39(1)1--47
-
Liquori, Luigi, see Ciaffaglione, Alberto
-
Lisitsa, Alexei, 51(4)431--451
-
Lisitsa:2013:FRS, 51(4)431--451
-
Lisp, 21(2)233--275
-
list, 22(1)1--44, 45(2)131--156
-
List-Machine, 49(3)453--491
-
Lite, DL-, 39(3)385--429
-
literal, 9(3)407--408, 17(1)83--95, 35(1)89--95, 60(2)133--156,
60(4)527--527
-
Littman, Michael L., 27(3)251--296
-
Littman:2001:SBS, 27(3)251--296
-
Liu, Sannyuya, 67(4)z--99999999
-
Liu, Sannyuya, see Peng, Xicheng
-
Liu, Xuhua, 10(1)59--78
-
Liu, Xuhua, see Weigert, Thomas J.
-
Liu, Zhuojun, 21(3)381--400
-
Liu, Zhuojun, see Wu, Jinzhao
-
Living, 32(3)259--286
-
LK, 57(3)245--280
-
LLL, 64(5)827--856
-
Load, 42(2)389--454
-
Löb, 4(2)219--231
-
Löb, Gödel-, 67(3)z--99999999
-
Lobo, Jorge, 5(3)293--307, 11(2)249--267, 12(3)305--349
-
Lobo, Jorge, see Grant, John,
see Rajasekar, Arcot,
see Raschid, Louiqa
-
local, 4(4)445--462, 24(1)127--143, 24(1)205--223, 24(4)421--481,
35(1)97--142, 35(1)143--179, 46(2)103--160, 52(2)123--153,
57(1)3--36, 62(2)237--260, 64(6)1093--1121, 66(4)639--666,
66(4)1099--1099
-
Localization, 36(3)259--285
-
Locally, 28(4)417--434, 49(2)185--207, 49(3)363--408
-
Lochbihler, A., 65(4)521--567
-
Lochbihler, A., see Butler, D.
-
Lochbihler, Andreas, 61(1)243--332, 63(1)53--94, 63(2)439--462,
66(4)585--610
-
Lochbihler, Andreas, see Lammich, Peter
-
Lochbihler:2018:MTS, 61(1)243--332
-
Lochbihler:2019:EPH, 63(2)439--462
-
Lochbihler:2022:MPM, 66(4)585--610
-
Lochmann, Alexander, 67(2)z--z
-
Lochmann, Alexander, see Middeldorp, Aart
-
Löchner, Bernd, 36(4)289--310
-
Lochner:2006:TKW, 36(4)289--310
-
Lockerman, Joshua, 61(1)141--189
-
Lockerman, Joshua, see Chen, Hao
-
Logical, 21(2)233--275, 24(1)165--203, 27(1)1--2, 40(2)133--177,
48(3)391--417, 60(4)465--501
-
Lolic, Anela, 62(3)393--430, 65(5)599--645
-
Lolic, Anela, see Cerna, David M.,
see Leitsch, Alexander
-
Long, David E., 8(2)153--181
-
Long, David E., see Bose, Soumitra
-
Long-Distance, 63(1)127--155
-
Longley, John, 18(1)85--104
-
Longley, John, see Finn, Simon
-
Longuet, Delphine, 45(4)437--473
-
Longuet:2010:PGT, 45(4)437--473
-
loop, 59(1)47--85, 62(2)193--213
-
Loop-Type, 64(8)1663--1684
-
Lorenz, 61(1)73--111
-
Lorenz, Sven, 13(3)375--390
-
Lorenz:1994:TPD, 13(3)375--390
-
LOTOS, 30(1)33--58
-
Loveland, D. W., 19(1)117--141
-
Loveland, D. W., see Astrachan, O. L.
-
Loveland, Donald W., 7(1)1--26, 14(2)325--351, 56(2)99--112
-
Loveland:1991:NHP, 7(1)1--26
-
Loveland:1995:SSR, 14(2)325--351
-
Loveland:2016:MSH, 56(2)99--112
-
Low--Level, 35(4)295--354
-
Low-Level, 42(2)189--227, 42(2)301--347
-
Low-level, 56(3)283--308
-
Löwen, Ulrich, 6(3)319--335,
see Büning, Hans Kleine
-
Lower, 35(1)51--72, 59(1)121--163, 67(4)z--99999999
-
Lozano, Eugenio, Roanes-, 46(2)205--221
-
Lozinskii, Eliezer L., 9(2)179--215, 12(1)1--31
-
Lozinskii, Eliezer L., see Kifer, Michael
-
Lozinskii:1994:RCP, 12(1)1--31
-
LTI, 65(2)157--203
-
LTL, 60(1)3--21
-
Lu, James J., 6(2)147--172, 10(3)345--370, 10(3)371--388, 21(1)39--67
-
Lu:1990:PCF, 6(2)147--172
-
Lu:1993:CIR, 10(3)371--388
-
Lu:1993:IDL, 10(3)345--370
-
Lu:1998:FAR, 21(1)39--67
-
Lua, 66(4)905--952
-
Luca, Guido, De, 67(2)z--99999999
-
Lucas, Salvador, 48(1)107--131, 60(4)465--501, 64(2)167--195,
64(8)1611--1662, 65(8)1191--1229
-
Lucas, Salvador, see Borralleras, Cristina
-
Lucas:2018:ASL, 60(4)465--501
-
Lucas:2020:DPF, 64(8)1611--1662
-
Lucas:2020:UWF, 64(2)167--195
-
Lucas:2021:DCC, 65(8)1191--1229
-
Lucio, Paqui, 50(1)1--49
-
Lucio, Paqui, see Gaintzarain, Jose
-
\Lukasiewicz, 29(1)59--66, 49(4)493--550, 64(7)1269--1286
-
{\L}ukaszewicz, Leon, 22(3)223--239
-
{\L}ukaszewicz, Witold, 18(3)297--336,
see Doherty, Patrick
-
Lukaszewicz:1999:TDF, 22(3)223--239
-
Lumsdaine, Peter Lefanu, 63(2)157--158
-
Lumsdaine:2019:PSI, 63(2)157--158
-
Luna, Carlos, 63(1)1--51, 64(8)1685--1729, 67(2)z--99999999
-
Luna, Carlos, see Barthe, Gilles,
see Cristiá, Maximiliano
-
Lundh, Hubert, Comon-, 48(2)133--134
-
Luo, Yun-Rong, 67(3)z--99999999
-
Luo, Zhaohui, 27(1)3--27
-
Luo, Zhaohui, see Callaghan, Paul
-
Luo:2023:RPS, 67(3)z--99999999
-
Lusk, E. L., 1(2)209--228
-
Lusk, Ewing, 1(1)103--114, 2(3)287--327
-
Lusk, Ewing, see Boyer, Robert
-
Lusk, Ewing L., 11(3)317--331
-
Lusk:1985:NHP, 1(1)103--114
-
Lusk:1985:RAE, 1(2)209--228
-
Lusk:1993:USC, 11(3)317--331
-
Lüth, Christoph, 39(2)107--108, see Aspinall, David
-
Lutz, Carsten, 38(1)227--259
-
Lutz:2007:TAD, 38(1)227--259
-
Lyaletski, Alexander, 55(3)269--284
-
Lyaletski:2015:EAI, 55(3)269--284
-
Lynce, Inês, 35(1)3--24, see Bhalla, Ateet
-
Lynch, Christopher, 48(2)135--158, 51(3)325--356
-
Lynch, Christopher, see Anantharaman, Siva
-
Lynch, Christopher A., 47(2)161--189
-
Lynch, Christopher A., see Bonacina, Maria Paola
-
Lynch:2013:SSM, 51(3)325--356