Index file section L for actainfo.bib

Last update: Thu Mar 27 02:00:11 MDT 2025

Return to index directory

L

L, 8(1)75--96, 52(4)299--301
L'idée, 19(3)255--268
L4REF, 8(2)97--112
L5-Archiv, 10(1)105--109
La Poutré, Han, 37(10)727--742, see Stee, Rob van
La Torre, Salvatore, 38(2)89--116
la Vega, Wenceslas, Fernandez de, 35(3)211--243
Lab, 9(1)1--21
label, 16(1)63--85, 17(3)245--265, 41(2)111--144
labeled, 28(1)83--94
Labelled, 37(11)831--879
labelling, 6(1)61--75
Labetoulle, Jacques, 4(1)49--53, 7(2)183--195
Labetoulle, Jacques, see Fayolle, Guy
Labetoulle:1976:SQN, 7(2)183--195
Laborde, Jean-Marie, 15(2)147--152
Ladner, R. E., 12(4)377--400
Laffra, Chris, 28(6)511--538
Laffra, Chris, see Bos, Jan van den
Lagnier, Fabienne, 29(6)523--543
Lagnier, Fabienne, see Halbwachs, Nicolas
Laguerre, 6(4)403--406
Lai, Hong-Jian, 46(2)155--168
Lai, Hong-Jian, see Subramani, K.
Lai, Wenfeng, 61(3)315--329
Lai:2024:LLD, 61(3)315--329
LaLonde, Wilf R., 11(2)177--193
LaLonde:1979:CLP, 11(2)177--193
LALR, 21(1)29--45, 23(2)149--162, 24(2)191--209, 37(9)671--697
Lamoureux, Michael G., 41(4)221--255
Lamoureux:2005:DSL, 41(4)221--255
Lamplighter, 59(4)451--478
Lamport, Leslie, 7(1)15--34, 14(1)21--37
Lamport:1976:SIP, 7(1)15--34
Lamport:1980:HLC, 14(1)21--37
Lampson, Butler W., 10(1)1--26
Lampson, Butler W., see London, Ralph L.
Lamsweerde, Axel, van, 12(1)1--31
Landscape, 33(6)571--593
Landwehr, Carl E., 7(2)153--166
Landwehr:1976:EPM, 7(2)153--166
Lanese, Ivan, 58(1)1--34
Lanese:2021:SVD, 58(1)1--34
Lang, Bernard, 11(1)31--55
Lang, Bernard, see Huet, Gérard P.
Lang, Frédéric, 52(4)337--392, see Garavel, Hubert
langages, 2(z)180--188, 2(z)383--393, 7(4)399--413, 11(3)233--240, 17(2)193--213, 18(1)65--78, 21(2)209--227
Lange, 59(4)285--287
Lange, Martin, 47(4)251--277
Lange, Martin, see Dax, Christian
Langenhop, Carl E., 27(1)41--59
Langenhop:1989:MDB, 27(1)41--59
Langmaack, Hans, 1(z)111--114, 2(z)110--142, 2(z)311--333, 3(3)227--241, 18(1)79--108
Langmaack:1971:ARC, 1(z)111--114
Langmaack:1973:CPP, 2(z)110--142
Langmaack:1973:POS, 2(z)311--333
Langmaack:1974:POS, 3(3)227--241
Langmaack:1982:TPF, 18(1)79--108
Langston, Michael A., 21(4)409--415, 26(5)473--484
Langston, Michael A., see Coffman, Jr., Edward G., see Huang, Bing-Chao
LANGUAGE, 21(4)393--407
language-specific, 34(10)737--772
LANGUAGES, 18(3)289--298
Lanotte, Ruggero, 47(5)279--311
Lanotte:2010:RRT, 47(5)279--311
Lao, Marek J., 24(6)653--678
Lao:1987:CBC, 24(6)653--678
Laplacian, 61(2)115--129
LAR, 8(3)243--266
large, 1(3)173--189, 19(1)13--33, 19(2)167--182, 21(5)501--519, 27(3)195--215, 28(4)365--407, 29(5)461--481, 32(2)145--153, 59(6)709--724
Larsen, Kim G., 51(3)165--192, 52(2)269--297, 55(2)91--127
Larsen, Kim G., see Benes, Nikola, see Bouyer, Patricia, see Bulychev, Peter
Larsen, Kim Guldstrand, 57(3)689--725
Larsen, Kim Guldstrand, see Jensen, Mathias Claus
Larsen, Kim S., 35(10)859--874, 37(10)743--763, 38(8)565--586, 40(1)3--35, 47(7)359--374, 50(5)343--357
Larsen, Kim S., see Boyar, Joan, see Christ, Marie G.
Larsen, Kim Skak, 42(1)57--78
Larsen, Kim Skak, see Jacobsen, Lars
Larsen:1998:ACR, 35(10)859--874
Larsen:2001:RBS, 37(10)743--763
Larsen:2002:RRB, 38(8)565--586
Lasmar, Nabil, 43(4)243--264
Lasmar, Nabil, see Aguech, Rafik
Lassaigne, Richard, 60(4)361--384
Lassaigne:2023:TMT, 60(4)361--384
last-in-first-served, 15(3)251--263
LaTorre:2001:TTA, 38(2)89--116
latter, 5(4)297--332, 8(4)303--314
Latteux, Michel, 11(3)233--240, 13(4)347--363, 22(5)579--588, 28(2)179--186, 29(6)545--554
Latteux, Michel, see Harju, Tero
Latteux:1979:ILA, 11(3)233--240
Latteux:1980:GAL, 13(4)347--363
Latteux:1985:FOC, 22(5)579--588
Latteux:1990:CRE, 28(2)179--186
lattice, 18(4)377--392, 20(2)159--170, 22(2)149--169, 30(8)773--785, 31(2)105--135, 35(4)269--292, 44(1)23--39, 45(3)211--236
Lattice--theoretical, 27(7)583--625
Lau, K. K., 27(1)73--80
Lau:1989:NSC, 27(1)73--80
Lauer, P. E., 5(4)297--332, 7(3)325--325, 12(2)109--158
Lauer, Peter E., 3(2)135--153
Lauer, Peter E., see Hoare, C. A. R.
Lauer:1975:FSC, 5(4)297--332, 7(3)325--325
Lauer:1977:ACF, 5(4)297--332, 7(3)325--325
Lauer:1979:CSS, 12(2)109--158
Lauesen, S{\o}ren, 2(z)1--11
Lauesen:1973:JSG, 2(z)1--11
Laurent, D., 35(6)541--541
Laurent, Dominique, 34(12)905--925
Laurent:1997:UDT, 34(12)905--925, 35(6)541--541
Laurent:1998:EUD, 34(12)905--925, 35(6)541--541
Laurinolli, Teuvo, 10(1)67--78
Laurinolli:1978:BQR, 10(1)67--78
Laursen, Simon, 55(2)91--127
Laursen, Simon, see Bouyer, Patricia
Lautemann, Clemens, 27(5)399--421
Lautemann:1990:CGL, 27(5)399--421
Lautenbach, Kurt, 2(2)143--161
Lautenbach, Kurt, see Genrich, H. J.
Law, 10(1)105--109
laws, 7(2)167--182, 26(4)287--308, 41(2)99--110, 56(7)585--617
layer, 1(2)115--138, 26(4)381--407
layered, 1(2)115--138, 28(5)453--461
layout, 18(4)377--392, 22(2)187--201, 34(6)429--447
Layuan, Li, 40(3)211--233
Layuan:2003:DQA, 40(3)211--233
lazy, 21(3)239--250, 24(1)57--77, 30(3)215--231, 32(3)255--270, 43(3)195--222, 57(1)81--106
LBA, 10(2)169--173, 43(4)223--242
LBA-Problem, 8(4)371--382
LCS, 18(2)171--179, 24(3)353--362
LCSS, 18(2)171--179, 24(3)353--362
Le Charlier, Baudouin, 32(3)209--253
lead, 1(2)115--138
Leader, 24(1)79--91, 25(2)179--201
leaf, 26(7)597--614
learners, 48(3)165--189
learning, 2(z)357--381, 33(7)621--630, 35(4)269--292, 40(4)303--315, 54(7)693--726, 58(6)611--651
learns, 48(1)43--50
Least, 1(z)307--310, 49(3)173--202
Leavens, Gary T., 32(8)705--778, 36(8)617--663
Leavens:1995:SVO, 32(8)705--778
Leavens:2000:CAC, 36(8)617--663
Lecarme, Olivier, 4(3)231--243
Lecarme:1975:MCP, 1(1)35--63, 3(1)47--57, 4(3)231--243
LeCharlier:1995:RAI, 32(3)209--253
Lecture, 22(6)679--698, 31(4)379--397
led, 8(2)193--199
LEE, 26(4)333--348
Lee, Bum-Il, 29(5)415--423
Lee, Bum-Il, see Tcha, Dong-wan
Lee, C. C., 23(5)529--544
Lee, Chung-Yee, 29(4)375--382
Lee, D. T., 9(2)23--29, 23(5)529--544
Lee, D. T., see Lee, C. C.
Lee, E. S., 12(3)187--207
Lee, E. S., see Turnbull, C. J. M.
Lee, John, 33(2)131--152
Lee, Myung-Joon, 31(3)261--283
Lee, SangKeun, 41(2)65--81
Lee, SangKeun, see Kim, SungSuk
Lee, Wen-Chiung, 40(4)303--315
Lee, Young-duck, 29(5)415--423
Lee, Young-duck, see Tcha, Dong-wan
Lee:1978:WCA, 9(2)23--29
Lee:1986:GBT, 23(5)529--544
Lee:1992:SMF, 29(4)375--382
Lee:1994:BLC, 31(3)261--283
Lee:1996:MGL, 33(2)131--152
Lee:2004:BCS, 40(4)303--315
Leeuwen, Jan, van, 11(4)373--386, 17(3)267--285, 18(4)345--359
left, 1(z)111--114, 12(3)187--207, 14(4)317--335, 24(4)461--474, 26(7)597--614
left-end, 62(1)z--99999999
left-inverse, 11(3)241--258
leftmost, 8(2)125--144, 43(4)223--242
Legay, Axel, 49(4)249--279, 51(5)261--295
Legay, Axel, see Bozzelli, Laura, see Fahrenberg, Uli
Leguy, B., 22(5)579--588
Leguy, B., see Latteux, Michel
Leguy, Jeannine, 18(1)65--78
Leguy:1982:LSC, 18(1)65--78
Lehmann, Thomas, 30(4)303--350
Lehmann:1993:OSL, 30(4)303--350
Leiden, 27(6)567--581
Leih, George, 25(5)537--571, 31(4)341--378
Leih, George, see Engelfriet, Joost
Lemma, 11(4)373--386, 13(2)189--197
lemmas, 44(5)345--359, 59(4)337--355
Lenfant, Jacques, 21(6)629--641
Lenfant, Jaques, 3(4)321--345
Lenfant, Jaques, see Gelenbe, Erol
Lenfant:1985:PDO, 21(6)629--641
Lengál, Ondrej, 53(4)357--385, 56(3)205--228, see Abdulla, Parosh Aziz, see Fiedor, Tomás
Lengauer, Christian, 24(6)595--632, 27(2)97--124, 35(10)875--909, 36(9)761--803
Lengauer, Christian, see Gorlatch, Sergei, see Huang, Chua-Huang, see Wedler, Christoph
Lengauer, Thomas, 16(4)465--475
Lengauer:1981:BWP, 16(4)465--475
length, 6(1)1--14, 7(2)123--136, 7(2)183--195, 8(4)371--382, 18(3)319--334, 23(1)111--117, 24(3)353--362, 28(8)801--815, 29(1)95--107, 29(6)663--687, 31(8)775--792, 58(4)335--356, 58(4)427--450
Length, Fixed-, 17(4)399--409
Lennerstad, Håkan, 36(6)425--446, 41(6)341--365, 46(4)285--295, see Klonowska, Kamilla, see Lundberg, Lars
lens, 61(4)357--382
Leonardsson, Carl, 54(8)789--818
Leonardsson, Carl, see Abdulla, Parosh Aziz
Leroudier, Jacques, 7(2)197--216
Leroudier, Jacques, see Denning, Peter J.
Leroux, Jérôme, 53(4)387--424, 54(2)191--215, see Esparza, Javier
Leroux:2016:GCI, 53(4)387--424
Lescanne, Pierre, 49(3)117--137
Lescanne:2012:SCN, 49(3)117--137
Lesley, N., 40(3)159--210
Lesley:2003:PVS, 40(3)159--210
less, 1(2)115--138, 8(3)201--220
Leth, Lone, 36(5)335--374
Leth, Lone, see Degano, Pierpaolo
letrec, 21(3)239--250
Letter, 23(5)585--596, 37(4)227--228, 52(1)1--2
letter, Multi-, 48(5)271--290
Letter, One-, 8(4)371--382
letter, two-, 29(1)95--107
letter-duplicated, 61(3)315--329
letters, 39(6)451--468
Leung, Clement H. C., 17(4)399--409, 21(5)485--500, 24(1)93--104
Leung, Hing, 35(7)595--624
Leung, Joseph Y.-T., 9(3)263--271
Leung, Joseph Y.-T., see Coffman, Jr., Edward G.
Leung:1982:EFL, 17(4)399--409
Leung:1984:PDQ, 21(5)485--500
Leung:1987:ASA, 24(1)93--104
Leung:1998:FAL, 35(7)595--624
Levcopoulos, Christos, 26(3)269--277
Levcopoulos:1988:BST, 26(3)269--277
level, 2(4)293--309, 5(4)297--332, 6(1)41--60, 6(3)227--249, 8(1)61--73, 14(2)175--193, 26(1)131--192
Level, High-, 5(4)297--332, 7(3)325--325
level, high-, 35(10)813--857, 57(3)591--626, 58(6)675--676
level, low-, 21(5)473--484
Level, Multi-, 15(2)99--113
Level, Two-, 10(4)323--339, 14(2)175--193
Levene, Mark, 28(6)603--605, 34(2)135--149
Levene:1991:CNV, 26(7)615--642, 28(6)603--605, 28(6)607--610
Levene:1997:APF, 34(2)135--149
Levi, Francesca, 42(6)429--500, 55(3)227--267
Levi, Francesca, see Barbuti, Roberto
Levi, Giorgio, 25(6)691--711
Levi:1988:CSL, 25(6)691--711
Levi:2006:TEB, 42(6)429--500
Levin, Asaf, 45(3)155--175, 47(5)325--345, 60(2)101--122
Levin, Asaf, see Epstein, Leah, see Hochbaum, Dorit S.
Levin, Gary Marc, 15(3)281--302
Levin-Gries, 24(2)145--156
Levin:1981:PTC, 15(3)281--302
Levin:2023:WTS, 60(2)101--122
Lévy, J.-P., 4(3)271--292
Levy, M. R., 16(4)371--426
Levy:1975:ACS, 4(3)271--292
Lewi, J., 10(3)209--228
Lewi, Johan, 30(6)537--568
Lewi, Johan, see Bevers, Eddy
Lewi:1978:EPG, 10(3)209--228
Lewis, Forbes D., 10(2)111--115
Lexical, 32(5)459--476
lexicographically, 35(1)17--89
LFCS-93-270, ECS-, 33(1)69--97
lfd-nr3, 26(1)131--192
Li, Guangyuan, 51(3)165--192
Li, Guangyuan, see Bulychev, Peter
Li, Hao, 61(2)131--159
Li, Lvzhou, 48(5)271--290
Li, Lvzhou, see Qiu, Daowen
Li, Suo Ping, 51(1)51--60
Li, Suoping, 53(1)1--22
Li, Wenqin, 62(1)z--99999999
Li, Wenqin, see Luo, Yueguo
Li, Yangjia, 51(1)1--24
Li, Yin, 60(1)59--78
Li, Yin, see Dolev, Shlomi
Li, Zheng-Zhu, 41(2)171--180, 43(3)173--194, 48(1)1--18
Li:2004:TEC, 41(2)171--180
Li:2006:CDL, 43(3)173--194
Li:2011:SPD, 48(1)1--18
Li:2014:DEE, 51(1)51--60
Li:2014:TNQ, 51(1)1--24
Li:2016:ADH, 53(1)1--22
Li:2024:EDQ, 61(2)131--159
Liang, Y. Daniel, 32(8)779--792, 34(5)337--346
Liang, Y. Daniel, see Rhee, Chong Kye
Liang:1997:MFV, 34(5)337--346
Liao, Lei, 60(4)453--465
Liao, Lei, see Cao, Chunhua
library, 28(6)539--558
Lidický, Bernard, 49(6)381--394, see Golovach, Petr A.
Liestman, Arthur L., 17(1)31--41
Liestman, Arthur L., see Liu, C. L.
life, 8(4)359--370, 52(4)299--301
Life-Critical, 23(6)621--642
Lifetime, 24(6)633--651
Lifting, 47(3)147--177
light, 8(1)75--96, 8(4)341--357
like, 24(3)353--362
like, ALGOL-, 18(1)79--108
like, Hoare-, 16(2)161--197
like, Java-, 45(7)479--536
Like, Ogden-, 13(2)189--197
like, PASCAL-, 8(4)315--324
like, Periodic-, 37(8)597--618
like, tissue-, 62(1)z--99999999
Lilin, Eric, 46(8)561--590
Lilin, Eric, see Engelfriet, Joost
Liman, Surya Danusaputro, 29(4)375--382
Liman, Surya Danusaputro, see Lee, Chung-Yee
limit, 8(2)153--175, 41(2)99--110
limitation, 8(1)1--20
limited, 17(1)43--61, 35(7)595--624, 45(7)593--608, 60(3)317--329
Lin, Anthony W., 53(5)493--508
Lin, Huimin, 38(4)277--305
Lin, Shen, 1(z)145--158
Lin, Shen, see Hwang, F. K.
Lin:2002:ATA, 38(4)277--305
Lin:2016:LTA, 53(5)493--508
Lindenmayer, Aristid, 2(z)214--248
Lindenmayer, Aristid, see Rozenberg, Grzegorz
Lindsey, C. H., 5(1)1--236
Lindsey, C. H., see Wijngaarden, Adriaan van
line, 50(2)77--122
Line, On-, 18(2)207--225, 26(8)697--709, 29(2)121--160
line, On-, 36(4)287--293, 42(1)1--20, 45(2)79--91
line, on-, 8(2)177--192, 37(10)727--742
line, straight-, 62(1)z--99999999
linéaires, 13(4)347--363
linear, 2(z)253--282, 3(4)365--383, 3(4)385--397, 10(2)203--208, 11(3)259--285, 13(4)347--363, 13(4)379--382, 15(3)193--207, 18(2)181--206, 18(4)377--392, 24(1)93--104, 24(3)353--362, 25(6)625--661, 27(1)61--71, 33(6)571--593, 35(10)875--909, 37(9)619--632, 38(9)621--648, 40(6)431--458, 42(6)419--428, 43(5)341--370, 45(3)177--191, 55(2)129--152, 56(5)447--469, 57(1)107--135, 58(1)95--152, 58(4)281--299, 59(4)321--336, 59(6)709--724, 61(3)231--260
Linear, Non-, 28(6)559--574
linear, non-, 28(6)559--574
Linear-bounded, 58(1)95--152
linear-size, 61(4)445--468
linear-time, 53(5)493--508, 55(3)191--212, 57(3)513--550, 58(6)677--677
lineare, 3(1)75--100, 3(4)385--397
linearen, 3(4)365--383
linearen, Partiell-, 2(z)253--282
linearizability, 55(8)649--668
Linearly, 3(1)75--100, 10(2)175--201, 10(4)341--367, 10(4)369--390, 43(4)265--292
Linger, Richard C., 61(3)261--314
Linger, Richard C., see Ghardallou, Wided
Link, 24(1)79--91
Link, Sebastian, 45(7)565--591
Link:2008:CCF, 45(7)565--591
linked, 8(1)1--20, 21(1)101--112
links, 47(7)375--389
Linna, Matti, 30(4)385--395
Lippe, E., 34(12)927--963
Lippe, E., see Hofstede, A. H. M. ter
Lipps, Peter, 26(3)213--239
Lipps:1988:ARE, 26(3)213--239
Lipski, Jr., Witold, 15(4)329--346
Lipski, Witold, 20(2)143--158
Lipski:1981:EAF, 15(4)329--346
Lipton, Richard J., 15(4)319--328
Lipton, Richard J., see Booth, Kellogg S.
LISP, 6(1)41--60
list, 6(1)41--60, 11(3)211--221, 15(3)193--207, 17(2)157--184, 21(1)101--112, 22(1)15--33, 31(8)775--792, 32(1)61--78, 35(7)543--566, 35(10)875--909, 41(4)221--255
List-Arithmetic, 32(1)61--78
literature, 27(6)505--517
Litwin, 26(7)597--614
Litwin, Witold, 26(7)597--614
Litwin:1989:CTH, 26(7)597--614
Liu, C. L., 10(1)95--104, 17(1)31--41
Liu, C. L., see Liu, Jane W. S.
Liu, Chengfei, 49(3)173--202
Liu, Chengfei, see Wang, Junhu
Liu, Haiyan, 53(1)23--33, 61(1)67--81
Liu, Haiyan, see Cao, Chunhua
Liu, Jane W. S., 10(1)95--104, 17(1)31--41
Liu, Jane W. S., see Liu, C. L.
Liu, Jane W.-S., 28(8)755--775
Liu, Jane W.-S., see Gillies, Donald W.
Liu, Jixue, 38(5)325--342, 44(3)207--247, 46(7)475--507
Liu, Jixue, see Shahriar, Md. Sumon, see Vincent, Millist W.
Liu, X., 32(4)375--393
Liu, X., see Hennessy, M.
Liu:1978:PAM, 10(1)95--104
Liu:1982:SST, 17(1)31--41
Liu:2002:CDP, 38(5)325--342
Liu:2024:EPC, 61(1)67--81
liveness, 42(8)583--602, 46(3)209--235, 52(2)153--174, 55(8)703--732, 56(6)537--552, 57(3)551--590
Liyanage, Adiesha, 61(3)315--329
Liyanage, Adiesha, see Lai, Wenfeng
LL, 12(4)339--369, 13(2)141--154, 21(6)559--584, 29(2)109--120, 33(7)631--639, 34(4)267--289, 44(1)1--21, 44(1)73--73
Lloyd, Errol L., 22(4)451--473
Lloyd:1985:WCP, 22(4)451--473
LNCS, 33(1)69--97
Load, 7(2)153--166, 25(6)663--676, 25(6)677--689, 29(1)63--94
loading, 8(1)61--73, 8(4)359--370
Lobstein, Antoine, 38(11)839--845
Lobstein, Antoine, see Honkala, Iiro
local, 21(3)239--250, 21(4)321--338, 32(5)491--507, 37(10)743--763
Locality, 31(8)697--718, 34(4)291--324
localize, 48(3)191--211
locally, 2(z)214--248, 8(2)177--192
locate, 8(1)21--36
location, 8(2)177--192, 8(3)221--242
Löck, Tim, 61(4)383--400, see Fleischmann, Pamela
locking, 8(4)325--334, 16(1)1--13, 26(5)485--499, 33(2)131--152
Locuratolo, Elvira, 35(3)181--210
Locuratolo:1998:CCS, 35(3)181--210
Lodato, Ivano, 60(2)179--208
Lodato:2023:PIR, 60(2)179--208
Lodaya, K., 28(1)7--41
Lodaya:1990:PTE, 28(1)7--41
Loeckx, Jacques, 30(4)303--350
Loeckx, Jacques, see Lehmann, Thomas
LOG-Specifications, 30(2)147--180
Log-Structured, 33(4)351--385
logic, 8(1)21--36, 8(3)243--266, 12(4)377--400, 14(1)21--37, 14(4)337--357, 14(4)359--369, 15(3)233--249, 15(4)365--384, 18(3)227--253, 19(3)195--220, 20(3)207--226, 20(3)249--260, 21(3)251--269, 21(3)293--320, 23(5)507--527, 24(4)381--393, 25(4)439--473, 25(6)625--661, 25(6)691--711, 30(7)679--700, 31(5)399--430, 32(4)375--393, 33(5)477--510, 35(8)645--664, 37(11)831--879, 38(2)89--116, 38(9)599--619, 39(2)71--96, 39(5)315--389, 45(1)43--78, 46(5)375--401, 47(4)251--277, 49(4)203--224, 49(4)225--248, 51(2)61--106, 52(1)61--106, 53(2)171--206, 53(3)207--246, 53(3)301--324, 53(6)621--648, 55(2)129--152, 55(3)191--212, 57(1)107--135, 57(3)671--687, 58(5)529--569, 58(5)571--584, 59(2)183--209, 60(1)79--100, 62(1)z--99999999
Logic, Hoare-, 20(1)59--101
logic-based, 35(6)457--504
logical, 1(2)115--138, 4(2)145--182, 8(1)21--36, 8(3)243--266, 14(2)135--155, 19(2)151--166, 30(1)61--87, 31(7)601--627
Loh, JiMeng, 61(3)261--314
Loh, JiMeng, see Ghardallou, Wided
Loizou, G., 24(2)131--144
Loizou, George, 16(2)237--252, 28(6)603--605, 34(2)135--149
Loizou, George, see Fenner, Trevor I., see Levene, Mark
Loizou:1987:LPJ, 24(2)131--144
London, 8(2)145--152
London, H., 13(4)379--382
London, Ralph L., 4(2)145--182, 10(1)1--26
London, Ralph L., see Igarashi, Shigeru
London:1978:PRP, 10(1)1--26
long, 7(2)137--152, 24(4)433--445
longer, 6(1)41--60, 8(3)201--220
longest, 16(1)87--91, 18(1)1--15, 18(2)171--179, 24(3)353--362, 61(3)315--329
Longuet, Delphine, 54(4)343--378
Longuet, Delphine, see Jaghoori, Mohammad Mahdi
look, 5(4)333--352, 16(1)87--91, 33(8)759--780, 61(4)357--382
Look-Ahead, 32(5)459--476
Lookahead, 16(2)125--138
Looking, 55(8)627--647
loop, 6(1)41--60, 8(1)21--36, 14(4)371--389, 17(2)143--155, 36(4)295--334, 47(4)221--250, 61(3)261--314
Loop-free, 16(2)237--252
loops, while-, 45(5)321--382
Loos, Remco, 47(2)133--146
Loos:2010:SUA, 47(2)133--146
López, Hugo A., 59(1)1--87, see Cano, Mauricio
López-Mellado, Ernesto, 61(1)1--21, see Tapia-Flores, Tonatiuh
Lorencs, A., 49(2)105--115
Lorencs:2012:IPF, 49(2)105--115
Loreti, Michele, 52(1)61--106
Loreti, Michele, see Bernardo, Marco
Lorho, Bernard, 21(4)375--391
Lorho, Bernard, see Deransart, Pierre
Lort, Hüseyin, 46(1)43--55, see Bashirov, Rza
loss, 8(2)177--192
Losseva, Elena, 40(2)119--157
Losseva, Elena, see Kari, Lila
Losslessness, 24(2)131--144
Lösung, 17(2)221--243
Lotker, Zvi, 55(3)213--225
Lotker, Zvi, see Daltrophe, Hadassa
Louchard, G., 24(3)277--298
Loui, Michael C., 22(4)451--473
Loui, Michael C., see Lloyd, Errol L.
Louza, Felipe A., 62(1)z--z
Louza, Felipe A., see Ramos, Lucas P.
Loveland, Donald W., 22(1)101--114
Loveland:1985:PBB, 22(1)101--114
low, 8(2)153--175, 60(3)317--329
low-level, 21(5)473--484
lower, 6(1)41--60, 12(1)33--61, 13(2)109--114, 18(2)207--225, 19(2)183--194, 19(4)385--395, 22(2)229--240, 24(2)121--130, 26(7)643--655, 27(5)453--480, 27(7)665--683, 37(3)193--211, 39(6)469--499, 62(1)z--99999999
lower-bounds-to-circuit-size, 26(4)381--407
LPF, 31(5)399--430
LR, 2(1)12--39, 6(3)277--296, 7(1)61--73, 7(3)249--268, 9(2)31--59, 10(4)307--321, 11(2)177--193, 14(4)299--315, 15(2)115--127, 15(3)265--280, 15(4)447--470, 19(4)369--376, 20(4)283--300, 22(5)499--536, 31(3)261--283, 33(8)781--797, 37(9)633--651, 47(3)179--207, 51(7)419--447
LR-Parsing, 7(1)61--73
LRU, 47(7)359--374
LRU-K, 47(7)359--374
LSH, 62(1)z--99999999
LSM-Tree, 33(4)351--385
LTL, 46(1)1--28, 53(3)247--299, 54(7)655--692, 55(2)129--152, 57(1)3--36
LTS, 52(2)207--234
Lubachevsky, Boris D., 21(2)125--169
Lubachevsky:1984:AAV, 21(2)125--169
Luca, Aldo, de, 29(5)483--498, 31(6)539--557
Luca, Aldo de, 36(12)983--1006, 37(8)597--618, 38(6)409--436
Luca, Aldo de, see Carpi, Arturo
Luccio, Fabrizio, 10(3)273--296
Lucid, 13(1)9--20
Luckham, 8(2)145--152
Luckham, David C., 4(2)145--182, 8(1)21--36
Luckham, David C., see Igarashi, Shigeru
Luckham:1977:PTW, 8(1)21--36
Luk, W. K., 23(3)267--288
Luk, W. K., see Tamminen, Markku
Lukert, Philip, 57(1)137--163
Lukert, Philip, see Finkbeiner, Bernd
lumpability, 54(5)447--485, 59(2)211--244
Lundberg, Lars, 36(6)425--446, 41(6)341--365, 46(4)285--295
Lundberg, Lars, see Klonowska, Kamilla
Lundberg:1999:OBG, 36(6)425--446
Luo, Le, 61(2)131--159
Luo, Le, see Li, Hao
Luo, Yueguo, 62(1)z--99999999
Luo:2025:HTL, 62(1)z--99999999
Luong, V., Phan, 35(6)541--541
Luong, V. Phan, 34(12)905--925
Luong, V. Phan, see Laurent, Dominique
Luttenberger, Michael, 57(1)3--36
Luttenberger:2020:PSR, 57(1)3--36
Lüttgen, Gerald, 52(2)107--108, 52(4)305--336, 56(4)287--319, 57(3)513--550, 58(6)677--677, 59(5)521--556, see Fendrich, Sascha, see Schinko, Ayleen, \see{Vogler, Walter
Luttgen:2015:RIA, 52(4)305--336
Luttgen:2015:SIC, 52(2)107--108
Luttik, Bas, 57(3)551--590
Luttik, Bas, see Bouwman, Mark
Lv, Yi, 55(8)649--668
Lv, Yi, see Wang, Chao
Lycklama--Hadzilacos, 50(3)199--228
Lyuu, Yuh-Dauh, 44(1)23--39
Lyuu, Yuh-Dauh, see Dai, Tian-Shyr