Index file section L for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
L
-
L, 143(2)269--284, 147(1)87--116, 158(1)161--176, 164(1)123--140,
189(1)71--107, 194(1)35--55
-
l'algorithme, 159(1)105--128
-
l'équivalence, 165(2)325--354
-
l'étude, 215(1)31--49
-
la, 156(1)159--176, 159(1)5--13, 161(1)69--92, 187(1)263--284
-
label, 137(1)145--157, 142(2)277--297, 177(2)425--458, 201(1)249--262
-
label-selective, 151(2)353--383
-
labeled, 143(1)137--148, 154(2)247--282, 158(1)81--115
-
labeling, 145(1)27--43, 159(2)191--244, 172(1)175--193
-
Labella, A., 195(1)61--89
-
Labella, A., see Ésik, Z.
-
labelled, 138(2)353--389, 141(1)195--252, 150(1)77--109, 174(1)67--96,
179(1)397--419, 183(2)229--251, 186(1)107--134, 192(2)201--231,
195(2)291--324, 205(1)99--114
-
labelled, Sigma-, 150(1)57--75
-
Labhalla, Salah, 161(1)69--92
-
Labhalla:1996:ACR, 161(1)69--92
-
Lacoste, Thierry, 184(1)237--245
-
Lacoste:1997:LP, 184(1)237--245
-
Lacroix, Y., 209(1)377--387
-
Lacroix, Y., see Downarowicz, T.
-
Ladner, 188(1)101--116
-
Lafaye de Micheaux, N., 154(2)329--348
-
LafayedeMicheaux:1996:CGT, 154(2)329--348
-
Lakhneche, Yassine, 138(1)169--199
-
Lakhneche:1995:MTL, 138(1)169--199
-
Lakshmanan, Laks V. S., 171(1)1--2
-
Lakshmanan:1997:P, 171(1)1--2
-
Lam, Kwok-Yan, 226(1)185--206
-
Lam, Kwok-Yan, see Zhang, Chunru
-
Lam, Nguyen Huong, 182(1)245--256
-
Lam, Tak Wah, 201(1)85--97
-
Lam:1997:HFC, 182(1)245--256
-
Lam:1998:ISS, 201(1)85--97
-
Lamarche, F., 197(1)245--z--1
-
Lamarche:1998:PNG, 197(1)245--z--1
-
lambda, 137(1)3--23, 139(1)131--162, 140(1)5--52, 142(2)277--297,
142(2)299--368, 146(1)5--23, 146(1)69--108, 151(2)297--352,
151(2)353--383, 151(2)385--435, 155(1)85--109, 155(1)221--264,
155(1)265--266, 155(1)267--276, 159(2)191--244, 160(1)145--184,
160(1)185--216, 165(1)201--232, 166(1)83--99, 169(1)3--21,
169(1)81--112, 169(2)201--220, 170(1)83--128, 170(1)173--207,
170(1)407--444, 173(2)349--391, 175(1)3--13, 175(1)75--92,
175(1)93--125, 175(1)159--181, 175(1)z--z, 176(1)235--282,
176(1)337--345, 179(1)137--202, 180(1)371--375, 189(1)221--228,
192(1)3--29, 192(2)201--231, 193(1)75--96, 193(1)181--195,
194(1)244--z--3, 194(1)245--z--2, 197(1)242--z, 197(1)242--z--2,
198(1)49--98, 198(1)177--200, 198(1)239--247, 212(1)101--140,
212(1)261--303, 228(1)175--210, 266(1)997--998
-
lambda-abstractions, 176(1)337--345
-
lambda-calculi, 170(1)83--128, 194(1)244--z--3
-
lambda-calculus, 142(2)277--297, 151(2)297--352, 151(2)353--383,
155(1)85--109, 170(1)407--444, 192(2)201--231, 193(1)181--195,
194(1)245--z--2, 197(1)242--z, 197(1)242--z--2, 198(1)239--247
-
lambda-I-terms, 155(1)265--266
-
lambda-K-terms, 155(1)265--266
-
lambda-machines, 197(1)242--z--2
-
lambda-notation, 155(1)85--109
-
lambda-terms, 142(2)299--368, 180(1)371--375
-
lambda-tree, 194(1)245--z--2
-
Lambek, 164(1)207--221
-
Lamma, Evelina, 184(1)1--59
-
Lamma, Evelina, see Brogi, Antonio
-
Lamport, Leslie, 179(1)333--351, 206(1)341--352
-
Lamport:1997:PEB, 179(1)333--351
-
Lamport:1998:PPP, 206(1)341--352
-
Laneve, Cosimo, 142(2)277--297, 159(2)191--244
-
Laneve, Cosimo, see Asperti, Andrea
-
langages, 159(1)43--63
-
Lange, Steffen, 137(1)25--51, 155(2)365--410
-
Lange, Steffen, see Jantke, Klaus P.
-
Lange:1996:MDM, 155(2)365--410
-
language;, Delta-, 175(1)183--222
-
language, meta-, 151(2)297--352
-
language;, meta-, 151(2)297--352, 194(1)247--z--2
-
language;, omega-, 161(1)191--203, 174(1)231--246
-
language-independent, 190(2)279--315
-
languages, -, 175(1)183--222
-
languages;, Delta-, 175(1)183--222
-
languages, Gap-, 188(1)101--116
-
languages, omega-, 174(1)1--21
-
languages;, omega-, 143(1)1--21, 151(1)z--z, 174(1)231--246,
183(1)93--112, 191(1)37--59
-
languages, {SBTA}-, 179(1)251--271
-
Lao, Ta-Pang, 170(1)445--464
-
Lao, Ta-Pang, see Yen, Hsu-Chun
-
large, 160(1)305--320, 172(1)1--41, 192(2)233--258, 192(2)315--351,
194(1)244--z--2, 210(2)341--374, 226(1)7--18
-
large-scale, 145(1)381--390, 162(1)151--170, 173(1)49--87
-
large-size, 196(1)31--44
-
largest, 166(1)203--219
-
Larmore, Lawrence L., 180(1)309--324, 197(1)189--201
-
Larmore, Lawrence L., see Karpinski, Marek
-
Larmore:1998:AOS, 197(1)189--201
-
Laroussinie, F., 140(1)53--71, 148(2)303--324
-
Laroussinie:1995:HTL, 148(2)303--324
-
Laroussinie:1995:TBM, 140(1)53--71
-
Larrañaga, P., 229(1)11--22, see Lozano, J. A.
-
Larson, R. G., 138(1)101--112
-
Larson, R. G., see Grossman, R. L.
-
Las, 154(1)23--39
-
late, 146(1)341--349, 176(1)337--345, 183(2)215--228
-
latency, 155(2)349--363, 196(1)201--214
-
latest, 187(1)81--86
-
Latteux, Michel, 178(1)275--283, 191(1)117--129
-
Latteux, Michel, see Bruyère, Véronique
-
Latteux:1997:RPL, 178(1)275--283
-
lattice, 143(1)51--72, 143(2)343--352, 148(1)67--92, 159(1)29--42,
159(2)245--270, 165(1)57--74, 165(2)391--405, 172(1)303--308,
175(2)337--347, 175(2)373--392, 178(1)237--255, 191(1)117--129,
192(2)167--199, 207(1)105--116, 217(1)115--130, 217(1)157--172,
217(2)279--289, 217(2)291--300, 224(1)157--172, 226(1)29--36
-
Latticial, 217(2)407--436
-
Laumond, Jean-Paul, 157(1)101--114
-
Laumond:1996:NSC, 157(1)101--114
-
law, 138(2)315--352, 153(1)3--48, 160(1)1--85, 184(1)237--245,
190(2)211--239, 191(1)185--192, 192(2)233--258, 217(2)385--405
-
Lawler, Eugene L., 182(1)233--244
-
Lawler, Eugene L., see Bafna, Vineet
-
layer, 141(1)337--350, 164(1)59--72, 217(2)255--278
-
layering, 141(1)337--350
-
layout, 181(2)267--287, 217(2)175--214
-
lazy, 151(1)195--205, 151(1)z--z, 167(1)95--130, 175(1)93--125,
187(1)203--219, 194(1)241--z--1, 194(1)244--z--2
-
le, 159(1)5--13, 164(1)165--183, 172(1)67--89, 180(1)81--113
-
Le Gouëslier d'Argence, Patrick, 196(1)395--415
-
Le Saec, B., 143(1)1--21
-
Le Saec, B., see Van, Do Long
-
Lê, Ngoc-Minh, 197(1)203--234
-
Le:1998:DOS, 197(1)203--234
-
leader, 144(1)101--124, 177(2)459--486, 194(1)242--z--1, 196(1)3--29
-
leader-election, 177(2)459--486
-
learnability, 137(1)25--51, 137(1)129--144, 164(1)13--28, 172(1)91--120,
185(1)15--45, 197(1)139--156
-
learnable, 185(1)191--213, 197(1)139--156
-
learner, 161(1)235--261
-
learning, 137(1)25--51, 137(1)53--84, 137(1)85--108, 137(1)129--144,
137(1)145--157, 137(1)159--176, 140(2)249--263, 141(1)151--162,
141(1)253--268, 148(1)141--156, 149(1)129--149, 154(2)183--201,
155(2)365--410, 161(1)235--261, 163(1)161--176, 164(1)13--28,
172(1)43--65, 172(1)91--120, 174(1)251--257, 180(1)155--168,
185(1)47--62, 185(1)63--79, 185(1)81--128, 185(1)129--157,
185(1)159--175, 185(1)177--190, 185(1)191--213, 188(1)79--99,
188(1)175--194, 197(1)139--156, 209(1)141--162
-
learning, PAC-, 185(1)159--175
-
learning, {PAC}-, 172(1)43--65
-
learning;, PAC-, 137(1)129--144, 185(1)177--190
-
least, 149(2)201--229, 151(1)163--193, 166(1)101--146, 184(1)61--104,
186(1)199--230, 193(1)75--96
-
Leavens, Gray T., 177(1)183--216
-
Leavens:1997:BRA, 177(1)183--216
-
leaves, 155(2)425--438, 221(1)41--60
-
Lebesgue, 151(1)163--193, 168(1)3--19
-
Lecomte, Pierre B. A., 194(1)219--223
-
Lecomte, Pierre B. A., see Ceola, Corine
-
Lee, Insup, 189(1)179--219
-
Lee, Insup, see Brémond-Grégoire, Patrice
-
Lee, Ka Hing, 201(1)85--97
-
Lee, Ka Hing, see Lam, Tak Wah
-
Lefmann, Hanno, 172(1)43--65
-
Lefmann, Hanno, see Fischer, Paul
-
left-closure, 183(1)45--82
-
left-cyclic, 146(1)69--108
-
left-linear, 149(2)361--374, 152(2)269--283, 152(2)285--303,
192(1)31--54
-
left-linear, non-, 146(1)69--108
-
left-palindrome, 178(1)205--224
-
legal, 186(1)199--230
-
LeGoueslierdArgence:1998:ASB, 196(1)395--415
-
Lehr, Siegfried, 163(1)193--210
-
Lehr:1996:VSA, 163(1)193--210
-
Leino, K. Rustan M., 216(1)375--394
-
Leino:1999:JSS, 216(1)375--394
-
Leiss, Ernst L., 145(1)71--93, 186(1)83--105
-
Leiß, Hans, 212(1)157--181, see Emms, Martin
-
Leiss:1995:ILE, 145(1)71--93
-
Leiss:1997:SSE, 186(1)83--105
-
Leitsch, Alexander, 160(1)241--270
-
Leitsch, Alexander, see Baaz, Matthias
-
lemma, 148(1)121--132, 163(1)277--281, 174(1)275--279, 183(2)215--228,
192(1)3--29, 197(1)248--z--1
-
Lemmon, Michael, 138(1)201--210
-
Lemmon:1995:IIV, 138(1)201--210
-
Lempel--Ziv, 144(1)161--197
-
length, 139(1)355--362, 143(1)175--188, 148(1)111--119, 155(1)277--288,
155(2)425--438, 156(1)119--144, 159(1)65--79, 164(1)277--285,
178(1)129--154, 180(1)17--45, 181(2)267--287, 183(1)21--32,
188(1)1--44, 188(1)241--247, 191(1)245--248, 215(1)1--30
-
length, polynomial-, 180(1)325--339
-
length, variable-, 164(1)223--252
-
length-bounded, 137(1)53--84
-
lengths, word-, 141(1)329--330
-
Lenisa, Marina, 212(1)183--209
-
Lenisa, Marina, see Honsell, Furio
-
lens, 169(1)113--121
-
Leonardi, Stefano, 221(1)19--39
-
Leonardi, Stefano, see Bartal, Yair
-
Leoncini, M., 165(2)483--490
-
Leoncini, M., see Brimkov, V.
-
Leoncini, Mauro, 180(1)287--308
-
Leoncini, Mauro, see Codenotti, Bruno
-
Leone, Nicola, 189(1)129--177, 206(1)181--218
-
Leone, Nicola, see Eiter, Thomas
-
Lescanne, P., 155(2)239--z
-
Lescanne, P., see Kuoherov, G.
-
Lescanne, Pierre, 155(2)289--290
-
Lescanne, Pierre, see Kucherov, Gregory
-
letter, 154(2)387--394, 155(2)291--319, 174(1)171--191
-
letter, letter-to-, 205(1)207--229
-
letter-to-letter, 205(1)207--229
-
Leung, Ka Hin, 226(1)19--27
-
Leung, Ka Hin, see Chua, Seng Kiat
-
Leung, Vitus J., 180(1)203--215
-
Leung:1997:UUM, 180(1)203--215
-
Levcopoulos, Christos, 163(1)211--238
-
Levcopoulos:1996:EFI, 163(1)211--238
-
level, 135(1)67--110, 138(1)211--239, 140(1)95--138, 140(1)139--177,
140(1)179--199, 142(1)59--87, 146(1)109--143, 146(1)145--184,
149(1)3--48, 149(1)67--99, 149(1)101--128, 151(1)195--205,
152(1)67--89, 155(1)111--140, 160(1)217--239, 160(1)321--363,
165(1)201--232, 167(1)131--170, 168(1)155--212, 169(1)81--112,
170(1)145--171, 173(1)3--48, 173(1)151--181, 175(1)183--222,
176(1)175--204, 176(1)283--328, 176(1)337--345, 179(1)273--299,
181(1)195--225, 183(2)157--185, 183(2)281--315, 184(1)145--193,
185(2)319--345, 187(1)147--165, 190(2)211--239, 190(2)279--315,
190(2)317--361, 192(2)201--231, 193(1)149--179, 193(1)215--244,
194(1)246--z--1, 196(1)347--363, 197(1)241--z, 197(1)247--248,
212(1)261--303, 266(1)997--998
-
level, 1-, 174(1)23--65
-
level, high-, 181(1)195--225, 186(1)43--81, 196(1)71--107,
196(1)289--317
-
level, meta-, 169(1)81--112, 197(1)246--z
-
level, object-, 169(1)81--112
-
level, program-, 196(1)289--317
-
level, source-, 167(1)193--233
-
level, two-, 165(2)355--390
-
leveled, 196(1)181--200
-
Levene, Mark, 206(1)283--300
-
Levene:1998:AFD, 206(1)283--300
-
Levi, Francesca, 216(1)271--310
-
Levi, Giorgio, 142(1)27--57
-
Levi, Giorgio, see Alpuente, María
-
Levi:1999:CCP, 216(1)271--310
-
Levin, Karp-, 164(1)141--163
-
Levin:, Karp-, 164(1)141--163
-
Levin, Leonid A., 157(2)267--271
-
Levin:1996:CCF, 157(2)267--271
-
Levitt, Karl N., 216(1)213--235
-
Levitt, Karl N., see Zhang, Cui
-
Levy, Bernard C., 152(2)171--217
-
Levy, Bernard C., see Benveniste, Albert
-
lexicographic, 139(1)355--362, 145(1)189--228, 154(2)225--245,
176(1)67--87
-
Li, Ming, 170(1)383--406, 181(2)227--227, 185(1)3--13, 191(1)245--248
-
Li, Ming, see Beigel, Richard,
see Du, Dingzhu, \see{Kececioglu, John,
see You, Jia-Huai
-
Liang, Weifa, 180(1)169--180
-
Liang, Weifa, see Shen, Hong
-
Liapunov, 158(1)279--341
-
Libkin, Leonid, 190(2)167--210
-
Libkin:1998:MAD, 190(2)167--210
-
Lie, 187(1)117--122
-
LIFO/PR, 155(1)141--156
-
Lifschitz, Sérgio, 190(2)211--239
-
Lifschitz:1998:PVD, 190(2)211--239
-
lightwave, 194(1)123--136, 222(1)113--131
-
like, 160(1)185--216, 183(2)229--251
-
like, ALGOL-, 168(1)155--212
-
like, {ALGOL}-, 168(1)155--212
-
like, ASL-, 173(2)393--443
-
like, Birkhoff-, 152(1)91--138
-
like, bisimulation-, 146(1)341--349
-
like, CCS-, 194(1)241--z
-
like;, CCS-, 195(2)155--182
-
like, chessboard-, 159(1)105--128
-
like, floor-, 150(1)161--191
-
like, linguistic-, 171(1)281--302
-
like, neural-, 178(1)77--102
-
like, outermost-fair-, 165(1)75--95
-
like, record-, 146(1)243--268
-
like, shift-, 145(1)1--26
-
like, SQL-, 171(1)281--302
-
like, tree-, 210(2)227--243
-
liminf, 184(1)61--104
-
limit, 144(1)67--99, 144(1)221--249, 151(1)257--276, 153(1)3--48,
161(1)235--261, 164(1)185--206, 184(1)61--104, 218(1)3--12
-
limitation, 178(1)119--127
-
limited, 194(1)35--55, 198(1)201--209
-
limiting, 144(1)67--99, 159(1)65--79, 176(1)89--110, 182(1)203--216
-
Lin, Guo-Hui, 207(1)181--192
-
Lin, H., 138(2)353--389
-
Lin, H., see Hennessy, M.
-
Lin, Xuemin, 185(2)259--275
-
Lin-A-NLC, 186(1)157--169
-
Lin:1997:FDQ, 185(2)259--275
-
Lin:1998:CMP, 207(1)181--192
-
Lincoln, P. D., 197(1)245--z--2
-
Lincoln, Patrick D., 227(1)299--331
-
Lincoln:1998:CLP, 197(1)245--z--2
-
Lincoln:1999:OCL, 227(1)299--331
-
Linda, 192(2)167--199
-
Lindenmayer, 143(2)269--284
-
Lindenmayerian, 183(1)113--142, 183(1)143--154
-
line, 140(2)301--317, 145(1)159--187, 196(1)347--363, 210(1)73--98,
210(1)121--157
-
line, off-, 185(2)347--377, 226(1)173--184
-
line, On-, 141(1)53--67, 148(1)141--156, 171(1)3--24,
175(2)225--238, 175(2)283--292, 220(2)469--488, 221(1)19--39
-
line, on-, 162(1)117--132, 163(1)117--144, 175(2)283--292,
185(2)347--377, 197(1)95--109, 209(1)365--375
-
line, scan-, 147(1)211--248
-
lineal, 181(1)107--118
-
linear, left-, 149(2)361--374, 152(2)269--283, 152(2)285--303,
192(1)31--54
-
linear;, left-, 149(2)361--374
-
linear, non-, 152(2)285--303
-
linear, non-left-, 146(1)69--108
-
linear, piecewise-, 138(1)3--34
-
linear, pseudo-, 157(1)3--33
-
linear, Quasi-, 158(1)361--370
-
linear, quasi-, 155(1)221--264, 187(1)49--79
-
linear;, quasi-, 158(1)361--370
-
linear-constant, 167(1)131--170
-
linear-time, 145(1)111--145, 145(1)329--344, 147(1)19--30,
154(2)165--181, 158(1)177--192, 159(1)137--142, 163(1)309--315,
167(1)47--72, 181(1)57--74
-
linearity, 162(1)117--132, 197(1)241--z
-
linearizability, 220(1)67--91
-
Linearizable, 220(1)267--319
-
linearly, 145(1)111--145
-
Ling, San, 226(1)19--27
-
Ling, San, see Chua, Seng Kiat
-
Lingas, A., 154(1)1--z
-
Lingas, Andrzej, 141(1)337--350, 174(1)193--202, 181(2)307--316
-
Lingas, Andrzej, see Berman, Piotr,
see Dessmark, Anders
-
Lingas:1996:P, 154(1)1--z
-
Lingas:1997:MTP, 181(2)307--316
-
linguistic-like, 171(1)281--302
-
linkage, 167(1)235--274, 210(2)305--325
-
links, 158(1)117--141, 196(1)153--180, 197(1)171--188
-
Liouvillian, 157(1)115--127, 187(1)27--48
-
Lipponen, Marjo, 161(1)93--108
-
Lipponen, Marjo, see Harju, Tero
-
Lipschitz, 138(1)67--100
-
Lisitsa, Alexei, 175(1)183--222, 224(1)173--213
-
Lisitsa:1997:LSL, 175(1)183--222
-
Lisitsa:1999:LOG, 224(1)173--213
-
Lisp, 175(1)75--92
-
Lisper, Björn, 190(1)61--85
-
Lisper:1998:CUE, 190(1)61--85
-
list, 144(1)199--220, 149(1)3--48, 150(2)315--z, 158(1)1--33,
163(1)269--276, 164(1)107--122, 164(1)185--206, 178(1)119--127,
178(1)265--273, 185(2)237--258, 192(1)107--161, 196(1)347--363,
197(1)95--109, 213(1)437--528, 215(1)345--348, 222(1)55--75
-
list, Multi-, 141(1)337--350
-
literal, 160(1)283--303
-
literature, 179(1)1--60
-
Litovsky, I., 143(1)1--21, 194(1)245--246
-
Litovsky, I., see Van, Do Long
-
Litovsky, Igor, 174(1)1--21
-
Litovsky:1997:FAI, 174(1)1--21
-
Litovsky:1998:CGG, 194(1)245--246
-
Liu, Chuchang, 220(2)377--408
-
Liu, Renren, 188(1)241--247
-
Liu, Xinxin, 206(1)127--162
-
Liu, Zhen, 162(2)323--340
-
Liu, Zhen, see Finta, Lucian
-
Liu:1997:ISA, 188(1)241--247
-
Liu:1998:PCP, 206(1)127--162
-
Liu:1999:VRS, 220(2)377--408
-
live, 198(1)211--224
-
liveness, 147(1)117--136, 179(1)397--419
-
Livesey, M. J., 178(1)103--118
-
Livesey, M. J., see Atkinson, M. D.
-
LJ2, 197(1)245--z
-
LK, 159(2)343--354
-
LLNC, 227(1)221--229
-
LO, 165(1)201--232
-
load, 220(1)247--265
-
load-balancing, 162(2)225--243
-
Loader, Ralph, 206(1)317--329
-
Loader:1998:UPD, 206(1)317--329
-
local, 138(1)141--168, 138(2)391--423, 144(1)67--99, 145(1)95--109,
147(1)1--18, 148(2)261--279, 151(2)487--512, 153(1)129--170,
154(2)329--348, 155(2)349--363, 155(2)439--446, 163(1)303--308,
168(1)155--212, 172(1)265--271, 173(1)89--112, 173(1)235--252,
173(1)283--308, 178(1)275--283, 183(2)229--251, 186(1)199--230,
187(1)7--25, 187(1)87--104, 191(1)229--243, 192(2)233--258,
194(1)245--246, 195(1)33--60, 197(1)245--z--2, 204(1)87--98,
205(1)297--306, 220(1)247--265
-
local, hv-, 178(1)275--283
-
local-choice, 183(2)281--315
-
locality, 155(1)39--83, 196(1)109--130, 196(1)215--240
-
localizing, 145(1)357--369
-
locally, 134(1)51--61, 138(2)273--314, 148(2)261--279, 151(2)487--512,
161(1)157--190, 168(1)155--212, 179(1)319--331, 180(1)325--339,
194(1)137--161
-
Locating, 152(2)305--320
-
location, 149(2)299--332, 152(2)305--320, 155(1)39--83, 181(2)379--404
-
locking, 149(1)151--178, 149(1)179--199
-
Löf's, Martin-, 170(1)245--276--1, 176(1)329--335
-
Löf, Martin-, 159(2)319--341
-
log, 181(2)347--356, 221(1)77--118
-
log-time, 148(1)33--55, 188(1)101--116
-
logarithmic, 144(1)67--99, 159(1)43--63, 169(2)147--160, 196(1)395--415,
207(1)217--244
-
logarithms, 226(1)7--18
-
LOGCF, 154(2)247--282
-
logic, Functional-, 212(1)77--99
-
logic-based, 190(2)241--277
-
logical, 137(1)3--23, 138(1)201--210, 141(1)283--310, 143(1)51--72,
148(1)67--92, 149(2)201--229, 152(1)91--138, 154(1)67--84,
163(1)99--116, 166(1)173--202, 171(1)61--75, 173(2)311--347,
174(1)231--246, 175(1)75--92, 175(1)z--z, 176(1)283--328,
183(2)187--214, 184(1)105--143, 184(1)237--245, 191(1)173--183,
194(1)247--z--1, 195(2)227--258, 197(1)246--z--2
-
logically-motivated, 184(1)105--143
-
logics, -, 202(1)193--222
-
{LogP}-machine, 215(1)137--168
-
LOGSPACE, 149(1)67--99, 155(1)111--140, 169(2)147--160, 175(1)183--222,
228(1)151--174
-
logspace, 148(2)261--279
-
logspace-hard, 141(1)337--350
-
Loizou, George, 206(1)283--300
-
Loizou, George, see Levene, Mark
-
Lolli, 165(1)201--232
-
Lombardi, Henri, 161(1)69--92
-
Lombardi, Henri, see Labhalla, Salah
-
long, 194(1)244--z--2, 208(1)33--58
-
Long, D. E., 178(1)237--255
-
Long, D. E., see Browne, A.
-
Long, Dong Yang, 188(1)231--240
-
Long, Dongyang, 163(1)259--267
-
Long, Philip M., 148(1)141--156
-
Long, Philip M., see Kimber, Don
-
Long:1996:NGC, 163(1)259--267
-
Long:1997:SIO, 188(1)231--240
-
longest, 143(1)113--122, 143(2)353--362, 145(1)317--327, 147(1)31--54,
185(1)47--62, 196(1)395--415
-
Loogen, Rita, 142(1)59--87
-
Loogen:1995:DDD, 142(1)59--87
-
look-ahead, 143(2)285--308, 156(1)71--97
-
lookahead, 197(1)95--109, 209(1)365--375
-
lookup, 192(2)201--231
-
loop, 179(1)381--395, 192(1)77--106
-
loops, while-, 149(1)49--66
-
López-Muñoz, J., 202(1)231--244,
see Ramos-Jiménez, G.
-
Lopresti, Daniel, 181(1)159--179
-
Lopresti:1997:BEM, 181(1)159--179
-
Lorentz, Amy K., 207(1)245--259
-
Lorentz:1998:GRF, 207(1)245--259
-
Lose, J. O., Durand-, 205(1)183--193
-
Lotti, Grazia, 174(1)157--170
-
Lotti, Grazia, see Favati, Paola
-
Louchard, G., 159(1)65--79, 218(2)249--262
-
Louchard, Guy, 144(1)125--159
-
Louchard, Guy, see Gardy, Danièle
-
Louchard:1996:PAS, 159(1)65--79
-
Louchard:1999:APS, 218(2)249--262
-
Louscou-Bozapalidou, Olympia, 156(1)145--158
-
Louscou-Bozapalidou:1996:SCT, 156(1)145--158
-
Loveland, Kolmogorov-, 225(1)185--194
-
low, 158(1)193--219, 158(1)361--370, 180(1)17--45, 185(2)259--275,
188(1)117--128, 205(1)317--327
-
Lowe, Gavin, 138(2)315--352
-
Löwe, Welf, 215(1)137--168, see Middendorf, Martin
-
Lowe:1995:PPM, 138(2)315--352
-
lower, 140(2)301--317, 143(2)335--342, 145(1)45--69, 154(2)283--306,
155(2)411--424, 156(1)315--325, 157(2)139--159, 157(2)185--214,
157(2)259--266, 162(2)341--349, 163(1)177--192, 172(1)1--41,
172(1)293--301, 175(2)283--292, 179(1)251--271, 179(1)301--317,
181(1)119--139, 185(1)47--62, 188(1)59--78, 188(1)117--128,
193(1)1--51, 194(1)163--182, 196(1)153--180, 197(1)95--109,
197(1)245--z--2, 209(1)47--86, 209(1)141--162, 209(1)389--398
-
lower-bound, 168(1)39--51
-
Lozano, J. A., 229(1)11--22
-
Lozano:1999:GAB, 229(1)11--22
-
L/sub, 188(1)117--128
-
LTS, 179(1)397--419
-
Luby, 148(1)133--140
-
Luca, Aldo de, 178(1)171--203, 178(1)205--224, 183(1)45--82,
204(1)75--86, 218(1)13--39
-
Luca, Aldo de, see Berstel, Jean
-
Luchangco, Victor, 220(1)113--156
-
Luchangco, Victor, see Fekete, Alan
-
Lui, King-Shan, 220(1)157--183
-
Lui:1999:SSN, 220(1)157--183
-
Lukasiewicz, 200(1)335--366
-
Lungo, Alberto Del, 155(2)321--347, 159(1)29--42, 159(1)129--136,
218(2)219--232
-
Lungo, Alberto Del, see Barcucci, Elena
-
Luthi, Pascal O., 217(1)115--130
-
Luthi, Pascal O., see Chopard, Bastien
-
Luttgen, G., 195(2)227--258
-
Luttgen, G., see Cleaveland, R.
-
Lutz, Jack H., 143(1)149--158, 164(1)141--163, 207(1)245--259,
225(1)185--194
-
Lutz, Jack H., see Juedes, David W.,
see Lorentz, Amy K.
-
Lutz:1996:CVK, 164(1)141--163
-
Lutz:1999:FRK, 225(1)185--194
-
Lynch, Christopher, 142(2)141--177
-
Lynch, Nancy, 149(1)151--178, 220(1)67--91, 220(1)113--156
-
Lynch, Nancy, see Fekete, Alan
-
Lynch:1995:RCC, 142(2)141--177
-
Lynch:1999:TCL, 220(1)67--91
-
Lyndon, 161(1)141--156, 178(1)171--203, 218(1)41--59