Last update: Fri Apr 26 02:15:38 MDT 2024
Return to index directory
L
-
label, 14(1)109--125
-
Labroue, A., 9(2)118--z
-
Labroue:2002:ATA, 9(2)118--z
-
Lacas, Samuel, 13(1)46--57
-
Lacas, Samuel, see Crolard, Tristan
-
Lagergren, Jens, 6(2)135--z
-
Lagergren:1999:GEF, 6(2)135--z
-
Lahire, Philippe, 15(1)32--52
-
Lahire, Philippe, see Sakkinen, Markku
-
Lahtinen, Samuel, 14(4)264--281
-
Lahtinen:2008:MBA, 14(4)264--281
-
Lam, T. W., 3(4)295--322
-
Lam, Vitus S. W., 14(1)43--64
-
Lam:1996:CUM, 3(4)295--322
-
Lam:2007:FRA, 14(1)43--64
-
lambda, 1(1)3--37, 2(2)126--145
-
Lamo, Yngve, 8(3)298--z
-
Lamo:2001:SPP, 8(3)298--z
-
Language, 1(3)275--316, 1(3)317--331, 1(3)332--345, 1(3)346--363,
1(3)364--385, 4(1)66--92, 5(3)235--z, 6(1)36--z, 6(1)72--z,
8(1)121--z, 12(2)89--115, 12(2)189--198, 13(1)46--57
-
Larsen, Jesper, 6(4)403--z
-
Larsen, Kim G., 2(3)338--357, 6(3)271--z, 8(1)43--z
-
Larsen, Kim G., see Godskesen, Jens Chr.,
see Hune, Thomas
-
Larsen, Kim Guldstrand, 1(3)346--363
-
Larsen, Kim Guldstrand, see Havelund, Klaus
-
Larsen, Kim S., 5(2)105--114, 8(4)463--472
-
Larsen, Kim S., see Boyar, Joan,
see H{\o}yer, Peter
-
Larsen:1999:CDD, 6(3)271--z
-
Larsen:1999:EAA, 6(4)403--z
-
Lassous, Isabelle Guérin, 13(4)215--239,
see Gebremedhin, Assefaw Hadish
-
Latvala, T., 11(2)148--z
-
Latvala:2004:IFV, 11(2)148--z
-
Lau, Hoong Chuin, 3(4)405--424
-
Lau:1996:RAC, 3(4)405--424
-
Lawall, Julia L., 8(4)437--462
-
Lawall, Julia L., see Grobauer, Bernd
-
layout, 14(1)109--125
-
Learning, 4(3)287--302
-
Least, 3(1)41--62
-
Leino, K. Rustan M., 5(4)330--z
-
Leino:1998:ROT, 5(4)330--z
-
Lemire, Daniel, 13(4)328--339
-
Lemire:2006:SMM, 13(4)328--339
-
Lemström, K., 10(3)185--z
-
Lemstrom:2003:TIP, 10(3)185--z
-
Length, Run-, 12(1)40--66
-
Lennerstad, Håkan, 4(3)233--258, see Lundberg, Lars
-
Leppänen, Ville, 2(1)51--69
-
Leppanen:1995:WOS, 2(1)51--69
-
Levcopoulos, Christos, 5(1)1--18, 6(4)446--z, 6(4)469--z, 7(1)32--z,
8(2)216--z
-
Levcopoulos, Christos, see Gudmundsson, Joachim,
see Krznaric, Drago
-
Levenshtein, 10(1)29--z
-
Li, Wang, 8(1)1--z
-
Li, Wang, see Sere, Kaisa
-
Li, Xiang, 2(2)181--220
-
Li, Xuandong, 8(1)159--z
-
Li, Xuandong, see Rönkkö, Mauno
-
Liberati, F., 10(1)13--z
-
Liberati, F., see Cinque, L.
-
Liberatore, Vincenzo, 7(3)204--z
-
Liberatore:2000:SJB, 7(3)204--z
-
Lilius, J., 11(3)211--z
-
Lilius, Johan, 12(3)198--199, 12(4)361--378
-
Lilius:2004:GEF, 11(3)211--z
-
Lilius:2005:AEE, 12(4)361--378
-
Lilius:2005:GEF, 12(3)198--199
-
Lillieroth, Carl Johan, 6(3)299--z
-
Lillieroth:1999:FVF, 6(3)299--z
-
Lillqvist, Tomas, 12(4)361--378
-
Lillqvist, Tomas, see Lilius, Johan
-
limits, 2(2)126--145
-
Lin, C.-Z., 3(2)89--119
-
Lin:1996:SAS, 3(2)89--119
-
Lind, Kenneth, 14(4)282--300
-
Lind:2008:ERT, 14(4)282--300
-
Lindsj{\o}rn, Y., 9(3)231--z, see Arisholm, E.
-
line, 4(4)330--341
-
Line, On-, 4(2)151--166, 8(4)463--472
-
Line, Product-, 13(3)196--213
-
linear, 1(1)38--49, 1(4)433--457, 3(2)188--201, 5(1)1--18, 5(1)70--85,
7(1)58--z, 8(1)159--z
-
Linear-time, 14(1)87--108
-
Lingas, Andrzej, 1(3)273--z, 3(4)293--294
-
Lingas, Andrzej, see Karlsson, R.
-
Lingas:1994:EF, 1(3)273--z
-
Linnestad, Henrik, 3(2)131--143
-
Linnestad:1996:FSK, 3(2)131--143
-
list, 12(1)1--17
-
Local, 1(3)364--385
-
Location, 3(4)323--336
-
Logarithmic, 8(4)473--474
-
Logic, 5(4)330--z, 9(2)102--z, 9(z)145--z, 12(2)116--132
-
logical, 2(2)181--220
-
logics, 2(2)221--249
-
Lóki, Gábor, 15(1)18--31, see Herczeg, Zoltán
-
Long, 13(1)117--126
-
Longest, 2(4)444--461
-
loop, 13(1)46--57
-
Lopes, Antónia, 13(3)196--213,
see Santos, André L.
-
Lossless, 10(1)13--z
-
Lovelle, Juan Manuel Cueva, 8(3)391--407
-
Lovelle, Juan Manuel Cueva, see Gayo, Jose Emilio Labra
-
Lower, 3(4)323--336, 13(4)340--346
-
lowest, 1(4)402--432
-
Luccio, Fabrizio, 3(2)111--130
-
Lund, 1(3)275--316, 1(3)317--331, 1(3)332--345, 1(3)346--363,
1(3)364--385
-
Lundberg, Lars, 4(3)233--258
-
Lundberg:1997:BGC, 4(3)233--258
-
Lundkvist, Torbjörn, 12(4)321--342, 12(4)361--378,
see Alanen, Marcus, \see{Lilius, Johan
-
Lüth, C., 10(4)290--z, 10(4)313--z, see Ghani, N.,
see Johnsen, E. B.
-
Lüth, Christoph, 13(1)2--21, see Bortin, Maksym
-
Lynch, Nancy, 2(2)250--273
-
Lynch, Nancy, see Segala, Roberto
-
Lysne, Olav, 1(1)135--156
-
Lysne:1994:HCA, 1(1)135--156