Index file section L for actainfo.bib
Last update: Thu May 16 02:00:14 MDT 2024
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.
-
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-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
-
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
-
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, 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
-
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
-
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
-
Linear, Non-, 28(6)559--574
-
linear, non-, 28(6)559--574
-
Linear-bounded, 58(1)95--152
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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.
-
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
-
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
-
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
-
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