Index file section M for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
M
-
m, 178(1)119--127
-
m-complete, p-, 147(1)137--147
-
m-edge, 168(1)121--154
-
m-reducibility;, p-, 172(1)195--207
-
MA, 137(2)279--282
-
Ma, Jian, 188(1)231--240
-
Ma, Jian, see Long, Dong Yang
-
Ma, Tze-Heng, 205(1)85--98
-
Ma, Tze-Heng, see Yu, Chang-Wu
-
Maass, A., 163(1)291--302
-
Maass, A., see Blanchard, F.
-
Macarie, Ioan I., 207(1)117--130
-
Macarie:1998:PPP, 207(1)117--130
-
Machì, A., 215(1)325--327, see Grigorchuk, R. I.
-
Machiavelli, 155(1)111--140
-
machine, 2-, 191(1)205--214
-
machine;, beta-, 189(1)221--228
-
machine;, G-, 194(1)244--z--1
-
machine, {LogP}-, 215(1)137--168
-
machines, lambda-, 197(1)242--z--2
-
MacKenzie, Philip D., 196(1)153--180
-
MacKenzie:1998:EPO, 196(1)153--180
-
Mackie, Ian, 190(1)3--39
-
Mackie, Ian, see Fernández, Maribel
-
Mackworth, Alan K., 138(1)211--239
-
Mackworth, Alan K., see Zhang, Ying
-
Maddila, Sanjeev R., 140(2)231--247
-
Maddila, Sanjeev R., see Sarrafzadeh, Majid
-
Maddux, Roger D., 160(1)1--85
-
Maddux:1996:RAS, 160(1)1--85
-
made, 225(1)65--79
-
Madlener, Klaus, 208(1)3--31
-
Madlener:1998:RRT, 208(1)3--31
-
Madonia, Marina, 180(1)1--15
-
Madonia:1997:SDP, 180(1)1--15
-
Maffioli, Francesco, 181(1)107--118
-
Maffioli, Francesco, see Galbiati, Giulia
-
Maggiolo-Schettini, Andrea, 216(1)1--53
-
Maggiolo-Schettini, Andrea, see Cerone, Antonio
-
magic, 142(1)125--138, 146(1)145--184, 146(1)269--310, 178(1)77--102
-
Mahajan, Meena, 143(1)23--49, 209(1)47--86
-
Mahajan, Meena, see Allender, Eric,
see Krithivasan, Kamala
-
Maher, Michael J., 173(1)113--149
-
Maher:1997:CD, 173(1)113--149
-
Maheshwari, Anil, 141(1)337--350, 175(2)239--255
-
Maheshwari, Anil, see Bauernöppel, Frank,
see Dessmark, Anders
-
Mahmoud, Hosam M., 144(1)221--249
-
Mahmoud:1995:PAB, 144(1)221--249
-
maintenance, 170(1)383--406, 194(1)243--244
-
Majewski, Bohdan S., 182(1)1--143
-
Majewski, Bohdan S., see Czech, Zbigniew J.
-
majority, 194(1)245--246
-
Majster-Cederbaum, Mila E., 170(1)145--171
-
Majster-Cederbaum:1996:MCV, 170(1)145--171
-
Makanin, 191(1)145--156
-
makespan, 162(2)341--349, 196(1)395--415
-
Makhlouf, Abdenacer, 187(1)123--145
-
Makhlouf:1997:AAC, 187(1)123--145
-
Mäkinen, Erkki, 185(1)63--79, see Koshiba, Takeshi
-
Malacaria, Pasquale, 139(1)187--205
-
Malacaria:1995:SET, 139(1)187--205
-
Maler, Oded, 138(1)35--65, 145(1)391--396, 183(1)93--112
-
Maler, Oded, see Asarin, Eugene
-
Maler:1995:DTP, 145(1)391--396
-
Maler:1997:SCL, 183(1)93--112
-
Malesi{\'n}ska, Ewa, 209(1)347--363
-
Malesinska:1998:HAF, 209(1)347--363
-
Malgouyres, Rémy, 143(2)189--249, 163(1)303--308, 186(1)1--41
-
Malgouyres:1995:GGC, 143(2)189--249
-
Malgouyres:1996:TNL, 163(1)303--308
-
Malgouyres:1997:DSN, 186(1)1--41
-
malicious, 185(1)159--175
-
malignness, 181(2)289--306
-
Malinowski, Adam, 145(1)95--109
-
Malinowski, Adam, see Diks, Krzysztof
-
MALL, 197(1)245--z--2
-
Mall, Daniel, 187(1)167--178
-
Mall:1997:CFP, 187(1)167--178
-
Malony, Allen D., 196(1)289--317
-
Malony, Allen D., see Hackstadt, Steven T.
-
Maluszynski, J., 142(1)1--z
-
Maluszynski:1995:P, 142(1)1--z
-
Manabe, Yoshifumi, 193(1)97--112
-
Manabe:1998:ASG, 193(1)97--112
-
management, 164(1)73--106, 164(1)107--122, 173(1)113--149,
190(2)151--166, 193(1)215--244, 194(1)242--z--1, 194(1)243--244,
196(1)109--130
-
Mancarella, Paolo, 184(1)1--59
-
Mancarella, Paolo, see Brogi, Antonio
-
Mandelbrot, 181(1)181--194
-
manifold, 156(1)159--176
-
manipulation, 140(2)231--247, 145(1)189--228, 157(1)115--127,
167(1)47--72, 173(1)113--149, 187(1)81--86, 187(1)87--104,
187(1)105--116, 187(1)117--122, 187(1)123--145, 187(1)147--165,
187(1)203--219, 187(1)221--230, 187(1)231--248, 187(1)249--262,
187(1)263--284, 187(1)z--z, 191(1)1--36, 198(1)49--98
-
Manna, Zohar, 173(1)49--87
-
Manna, Zohar, see Bj{\o}rner, Nikolaj
-
Mannila, Heikki, 149(1)129--149
-
Mannila, Heikki, see Kivinen, Jyrki
-
Manohar, Rajit, 216(1)375--394
-
Manohar, Rajit, see Leino, K. Rustan M.
-
Mantaci, Sabrina, 205(1)145--181
-
Mantaci, Sabrina, see Giammarresi, Dora
-
manufacturing, 140(2)301--317
-
many, 141(1)253--268, 146(1)185--197, 149(1)101--128, 155(2)411--424,
166(1)263--290, 170(1)445--464, 172(1)255--263, 183(2)157--185
-
many, Many-to-, 185(2)347--377
-
many, many-to-, 185(2)347--377
-
many-one, 147(1)137--147
-
many-sorted, 138(2)391--423, 173(2)513--554, 184(1)145--193
-
many-to-many, 185(2)347--377
-
Manzini, Giovanni, 156(1)301--313, 221(1)157--177
-
Manzini:1996:OSL, 156(1)301--313
-
Manzini:1999:CEC, 221(1)157--177
-
map, 134(1)51--61, 168(2)461--472, 173(2)311--347, 174(1)157--170,
174(1)203--216, 176(1)1--38, 179(1)137--202, 190(1)87--112,
194(1)219--223, 197(1)111--138, 210(1)217--223, 211(1)397--398,
217(1)157--172
-
MAPLE, 187(1)81--86, 187(1)249--262, 187(1)z--z
-
Maple, 187(1)105--116
-
mapping, 140(2)319--331, 141(1)195--252, 144(1)67--99, 148(1)1--17,
153(1)65--94, 158(1)371--378, 159(2)319--341, 159(2)355--356,
178(1)257--264, 188(1)161--174, 219(1)225--265
-
Maraist, J., 228(1)175--210
-
Maraist:1999:CNC, 228(1)175--210
-
Marathe, M. V., 181(2)379--404
-
Marathe, M. V., see Krumke, S. O.
-
Marathe, Madhav V., 174(1)23--65, 203(1)91--121, 221(1)139--155
-
Marathe, Madhav V., see Drangmeister, Kay U.,
see Krumke, Sven O.
-
Marathe:1997:HSU, 174(1)23--65
-
Marchiori, Elena, 222(1)153--179
-
Marchiori, Massimo, 149(2)361--374, 192(1)31--54
-
Marchiori, Massimo, see Schmidt-Schauß, Manfred
-
Marchiori:1998:BM, 192(1)31--54
-
Marchiori:1999:DAD, 222(1)153--179
-
Marcjetto-Spacemela, Alberto, 203(1)1--1
-
Marcjetto-Spacemela, Alberto, see Ausiello, Giorgio
-
Marcus, Michel, 204(1)55--73
-
Marcus, Michel, see Cori, Robert
-
Marcus, Sherry, 166(1)221--262
-
Marcus, Sherry, see Gottlob, Georg
-
Marek, Victor W., 190(2)241--277
-
Marek:1998:RP, 190(2)241--277
-
Margara, L., 217(1)31--51
-
Margara, L., see Cattaneo, G.
-
Margara, Luciano, 174(1)157--170, 201(1)171--187, 221(1)157--177
-
Margara, Luciano, see Cattaneo, Gianpiero,
see Favati, Paola, \see{Manzini, Giovanni
-
Margenstern, Maurice, 168(2)213--214, 172(1)121--134
-
Margenstern, Maurice, see Goles, Eric
-
Margenstern:1996:F, 168(2)213--214
-
Marion, Jean-Yves, 224(1)157--172
-
Marion:1999:MSA, 224(1)157--172
-
marking, 144(1)67--99, 153(1)49--64
-
Markov, 145(1)391--396, 147(1)267--298, 152(2)171--217, 157(2)161--183,
164(1)185--206, 185(1)15--45, 219(1)267--285
-
Markovian, 144(1)161--197
-
Marlin, Roger, 161(1)69--92
-
Marlin, Roger, see Labhalla, Salah
-
Marrero, W., 178(1)237--255
-
Marrero, W., see Browne, A.
-
Marriott, Kim, 160(1)365--380, 173(1)209--233, 183(2)281--315
-
Marriott, Kim, see Falaschi, Moreno
-
Marriott:1996:NBC, 160(1)365--380
-
Marriott:1997:CCC, 173(1)209--233
-
Martin, 163(1)99--116
-
{Martin-Löf}, 170(1)245--276--1, 176(1)329--335
-
Martin-Löf, 159(2)319--341
-
Martin-Vide, Carlos, 205(1)195--205
-
Martin-Vide:1998:CRE, 205(1)195--205
-
Martínez, Conrado, 144(1)199--220, 158(1)1--33,
see Gabarró, Joaquim,
see Kirschenhofer, Peter
-
Martini, Simone, 176(1)159--173
-
Martini:1997:ELN, 176(1)159--173
-
Maruoka, Akira, 185(1)177--190
-
Maruoka, Akira, see Takimoto, Eiji
-
Maruyama, Osamu, 161(1)289--300
-
Maruyama:1996:ITW, 161(1)289--300
-
Marzouk, Abderrahim, 206(1)163--180
-
Marzouk, Abderrahim, see Dehornoy, Patrick
-
Mashevitzky, Grigory, 165(1)57--74
-
Mashevitzky, Grigory, see Codish, Michael
-
Masini, Andrea, 176(1)159--173
-
Masini, Andrea, see Martini, Simone
-
Mason, Ian A., 185(2)277--318, 220(2)409--467
-
Mason:1997:FOL, 185(2)277--318
-
Mason:1999:ALT, 220(2)409--467
-
MasPar, 162(2)297--322, 169(1)39--65
-
Massey, Berlekamp-, 162(2)173--223
-
massively, 162(2)297--322, 162(2)351--369, 172(1)255--263
-
Massol, A., 176(1)347--353
-
Massol:1997:MSS, 176(1)347--353
-
Master, 160(1)383--z, 170(1)467--z, 180(1)379--z
-
Matamala, Martín, 143(2)251--267, 168(2)405--416, 180(1)229--241,
see Goles, Eric
-
Matamala:1995:RCP, 143(2)251--267
-
Matamala:1997:ACA, 180(1)229--241
-
matcher, 141(1)53--67
-
matching, 137(2)269--278, 141(1)53--67, 145(1)111--145, 145(1)381--390,
147(1)19--30, 154(2)203--224, 154(2)225--245, 155(2)321--347,
156(1)217--261, 158(1)177--192, 159(1)105--128, 160(1)217--239,
161(1)1--21, 161(1)123--140, 163(1)117--144, 164(1)73--106,
164(1)299--310, 172(1)281--291, 173(2)349--391, 177(2)425--458,
178(1)129--154, 180(1)115--137, 180(1)203--215, 181(1)159--179,
185(2)347--377, 191(1)205--214, 197(1)247--z--2, 198(1)1--47,
201(1)263--273, 201(1)281--290, 212(1)101--140, 220(2)469--488
-
matching, prefix-, 137(2)269--278
-
matching;, prefix-, 137(2)269--278
-
matching, string-, 147(1)19--30, 158(1)177--192,
218(1)197--203
-
matching;, string-, 147(1)19--30
-
Mateescu, Alexandru, 141(1)253--268, 161(1)93--108, 180(1)341--352,
197(1)1--56
-
Mateescu, Alexandru, see Harju, Tero,
see Kari, Lila, \see{Kudlek, Manfred
-
Mateescu:1998:STS, 197(1)1--56
-
materials, 140(2)231--247
-
MATHEMATICA, 187(1)231--248
-
Mathematica, 187(1)123--145
-
mathematical, 137(1)3--23, 137(1)53--84, 140(1)179--199, 140(2)249--263,
143(2)319--333, 144(1)59--65, 154(2)145--163, 156(1)203--215,
167(1)235--274, 169(1)39--65, 174(1)247--249, 176(1)89--110,
179(1)103--135, 187(1)3--6, 187(1)7--25, 187(1)27--48, 187(1)49--79,
187(1)203--219, 187(1)221--230, 187(1)263--284, 187(1)z--z,
197(1)157--169, 207(2)263--317
-
mathematicsC4260, 181(2)247--266
-
mathematicsC6120, 159(1)15--28
-
mathematicsC6130, 163(1)211--238
-
Matias, Y., 196(1)3--29
-
Matias, Y., see Gibbons, P. B.
-
Matiyasevich, Yuri, 224(1)215--235
-
Matiyasevich, Yuri, see Diekert, Volker
-
Matos, 141(1)329--330
-
Matos, Armando B., 127(2)287--312, 176(1)175--204
-
Matos:1994:PSI, 127(2)287--312, 141(1)329--330
-
Matos:1997:MLP, 176(1)175--204
-
matrice, 143(2)343--352, 154(1)41--56, 156(1)301--313, 161(1)69--92,
162(2)173--223, 165(2)483--490, 180(1)61--80, 187(1)147--165,
188(1)221--230, 197(1)111--138
-
matrices, -, 197(1)111--138
-
matrices;, S-, 197(1)111--138
-
matrix, 140(2)319--331, 153(1)49--64, 154(1)41--56, 156(1)301--313,
161(1)69--92, 162(2)173--223, 164(1)41--57, 165(2)483--490,
180(1)61--80, 180(1)287--308, 187(1)147--165, 187(1)179--202,
188(1)221--230, 196(1)71--107, 196(1)109--130, 196(1)319--345,
197(1)111--138, 204(1)29--34, 205(1)307--316
-
Matsuda, H., 210(2)305--325
-
Matsuda:1999:CMS, 210(2)305--325
-
Matthews, S. G., 151(1)195--205
-
Matthews:1995:ETL, 151(1)195--205
-
Mattos, Luiz A., Frota, 200(1)313--334
-
Mattsson, Christer, 164(1)1--12
-
Mattsson, Christer, see Carlsson, Svante
-
Mauri, G., 217(1)31--51
-
Mauri, G., see Cattaneo, G.
-
Mauri, Giancarlo, 217(1)99--113
-
Mauri, Giancarlo, see Bandini, Stefania
-
Maurin, Françoise, 165(2)247--273
-
Maurin:1996:ECB, 165(2)247--273
-
Mavronicolas, Marios, 220(1)267--319
-
Mavronicolas:1999:LRW, 220(1)267--319
-
MAX, 143(1)137--148, 145(1)317--327, 147(1)181--210
-
max, 143(2)353--362, 173(1)253--281, 193(1)149--179, 225(1)65--79
-
Max-f-DS, 143(2)309--318
-
MAX-SNP, 181(1)107--118
-
Max-Word, 157(2)161--183
-
maxima, 203(1)151--162
-
maximal, 143(2)309--318, 145(1)317--327, 146(1)331--339, 147(1)19--30,
148(1)57--65, 161(1)1--21, 166(1)83--99, 175(2)257--270,
181(1)91--106, 183(1)3--19, 188(1)231--240, 191(1)117--129,
193(1)53--73, 204(1)11--28, 215(1)89--98, 218(1)107--121,
218(2)273--283
-
maximum, 140(2)301--317, 145(1)357--369, 147(1)181--210, 148(1)165--170,
150(1)1--55, 158(1)117--141, 164(1)277--285, 174(1)23--65,
181(1)91--106, 181(1)107--118, 181(2)307--316, 191(1)193--203,
196(1)201--214
-
may, 148(1)165--170, 173(2)311--347
-
Mayer, Alain J., 161(1)109--122
-
Mayer:1996:CPI, 161(1)109--122
-
Mayordomo, Elvira, 164(1)141--163
-
Mayordomo, Elvira, see Lutz, Jack H.
-
Mayr, E. W., 148(2)181--z
-
Mayr, E. W., see Enjalbert, P.
-
Mayr, Ernst W., 162(2)283--296
-
Mayr, Richard, 192(1)3--29
-
Mayr:1996:DCA, 162(2)283--296
-
Mayr:1998:HOR, 192(1)3--29
-
Mazoyer, Jacques, 168(2)367--404, 217(1)53--80, 218(2)217--218,
218(2)347--417
-
Mazoyer, Jacques, see Delorme, Marianne
-
Mazoyer:1996:OSF, 168(2)367--404
-
Mazoyer:1999:AP, 218(2)217--218
-
Mazoyer:1999:SOD, 217(1)53--80
-
Mazurkiewicz, 183(2)229--251
-
McCusker, G., 197(1)241--z
-
McCusker, G., see Abramsky, S.
-
McCusker, Guy, 227(1)3--42
-
McCusker, Guy, see Abramsky, Samson
-
McDowell, R., 197(1)246--z
-
McDowell:1998:ETS, 197(1)246--z
-
McKenzie, Pierre, 174(1)217--230
-
McKenzie, Pierre, see Finkel, Alain
-
McNaughton, 141(1)69--107
-
McNaughton, Robert, 204(1)169--182, 207(1)13--23
-
McNaughton:1998:CRV, 207(1)13--23
-
McNaughton:1998:FFP, 204(1)169--182
-
mean, 143(1)1--21, 158(1)343--359, 194(1)245--246, 196(1)201--214,
205(1)195--205
-
meaning, 152(1)67--89
-
meaning-preserving, 140(1)53--71
-
Measor, Nicholas, 151(1)3--27
-
Measor, Nicholas, see Ambler, Simon
-
measure, 145(1)241--270, 149(1)129--149, 151(1)163--193, 152(2)219--249,
154(2)307--327, 158(1)117--141, 159(1)81--102, 168(1)3--19,
172(1)195--207, 180(1)353--361, 190(2)317--361, 193(1)53--73,
197(1)241--z, 207(1)245--259, 219(1)421--437
-
measure, p-, 168(1)3--19
-
measured, 196(1)319--345
-
measurement, 153(1)3--48, 196(1)319--345
-
mechanical, 169(1)23--37, 187(1)231--248, 187(1)263--284
-
mechanics, 187(1)231--248, 197(1)157--169
-
mechanism, 135(1)67--110, 137(1)3--23, 137(1)53--84, 141(1)151--162,
141(1)253--268, 142(2)141--177, 143(1)51--72, 146(1)199--242,
149(1)129--149, 149(1)179--199, 150(1)161--191, 151(2)437--486,
152(1)91--138, 152(2)219--249, 152(2)269--283, 154(2)183--201,
155(2)365--410, 161(1)289--300, 165(1)171--200, 166(1)291--300,
167(1)47--72, 167(1)73--94, 167(1)95--130, 170(1)129--144,
170(1)245--276, 171(1)61--75, 171(1)77--109, 171(1)147--177,
171(1)247--280, 172(1)91--120, 173(2)311--347, 174(1)123--136,
175(1)75--92, 177(1)183--216, 183(2)281--315, 185(1)47--62,
185(1)129--157, 185(2)217--235, 185(2)277--318, 187(1)221--230,
189(1)129--177, 190(1)41--60, 192(1)3--29, 192(1)77--106,
192(2)201--231, 194(1)245--z--2, 194(1)247--z--2, 197(1)139--156
-
mechanized, 173(2)311--347
-
medial, 174(1)193--202
-
median, 140(2)319--331, 207(1)181--192, 215(1)123--136
-
median, -, 207(1)181--192
-
medical, 180(1)115--137
-
meet, 165(2)391--405, 191(1)117--129
-
meet, subsort-, 185(2)393--410
-
meeting, 144(1)277--314
-
Megiddo, Nimrod, 205(1)307--316
-
Megiddo, Nimrod, see Beling, Peter A.
-
Meidanis, João, 181(1)91--106,
see Figueiredo, Celina M. H. de
-
Meinke, Karl, 166(1)263--290
-
Meinke:1996:TMA, 166(1)263--290
-
Melançon, Guy, 218(1)41--59
-
Melancon:1999:LWS, 218(1)41--59
-
Melchisedech, R., 194(1)242--z--1
-
Melchisedech, R., see Drappa, A.
-
Melliar-Smith, P. M., 166(1)1--47, 170(1)1--46
-
Melliar-Smith, P. M., see Ramakrishna, Y. S.
-
Mellin, 144(1)3--58, 144(1)101--124, 144(1)161--197
-
Mello, Célia Picinin de, 181(1)91--106,
see Figueiredo, Celina M. H. de
-
Mello, Paola, 184(1)1--59
-
Mello, Paola, see Brogi, Antonio
-
membership, 141(1)133--150, 164(1)207--221, 180(1)17--45,
180(1)155--168, 181(2)317--335, 185(1)177--190, 188(1)59--78,
190(2)241--277, 201(1)189--231, 209(1)225--235
-
memory, 140(1)179--199, 143(1)73--91, 147(1)1--18, 149(2)257--298,
155(2)349--363, 162(2)245--281, 165(2)311--323, 168(2)303--320,
175(2)393--406, 180(1)341--352, 181(1)75--90, 186(1)199--230,
196(1)3--29, 196(1)109--130, 196(1)215--240, 196(1)365--393
-
memory, distributed-, 143(1)73--91, 147(1)1--18,
175(2)393--406
-
memory, shared-, 196(1)215--240
-
memoryless, 144(1)161--197, 179(1)251--271
-
men, 215(1)305--323
-
Meo, Maria Chiara, 211(1)275--309
-
Meo, Maria Chiara, see Comini, Marco
-
merge, 139(1)243--273
-
Merit, 209(1)377--387
-
Merlin, Arthur-, 137(2)279--282
-
Méry, Dominique, 140(1)95--138,
see Mokkedem, Abdelillah
-
Meseguer, José, 153(1)171--210, 173(2)311--347,
see Cerioli, Maura
-
Meseguer:1996:PVU, 153(1)171--210
-
mesh, 140(2)319--331, 140(2)333--339, 162(2)351--369, 197(1)57--77
-
message, 138(2)315--352, 147(1)69--85, 151(1)195--205, 165(2)407--440,
169(1)39--65, 192(2)201--231, 195(2)291--324, 196(1)71--107,
198(1)99--130
-
message-passing, 196(1)71--107, 220(1)211--245
-
Messeguer, Xavier, 158(1)1--33
-
Messeguer, Xavier, see Gabarró, Joaquim
-
meta, 166(1)147--172, 194(1)243--z
-
meta-language, 151(2)297--352, 194(1)247--z--2
-
meta-level, 169(1)81--112, 197(1)246--z
-
meta-reduction, 192(1)77--106
-
Meta-resolution, 166(1)147--172
-
meta-theory, 168(1)53--103
-
metaphor, 192(2)233--258
-
metaphysics, 207(2)263--317
-
metastability, 153(1)245--270
-
metatheorem, 142(2)299--368
-
metatheory, 176(1)235--282
-
Métayer, Daniel Le, 192(2)233--258, see Hankin, Chris
-
Metayer, F., 197(1)245--246
-
Métayer, François, 227(1)221--229
-
Metayer:1998:SRC, 197(1)245--246
-
Metayer:1999:PEA, 227(1)221--229
-
method-of-centers, 138(1)201--210
-
methodology, 145(1)189--228, 177(2)329--349
-
Metivier, Y., 194(1)245--246
-
Metivier, Y., see Litovsky, I.
-
metric, 138(1)169--199, 138(2)273--314, 146(1)311--320, 150(1)57--75,
151(1)163--193, 151(1)195--205, 151(1)257--276, 162(1)45--77,
170(1)145--171, 170(1)349--381, 177(1)111--138, 179(1)217--250,
183(2)187--214, 184(1)61--104, 193(1)1--51, 193(1)53--73,
193(1)97--112, 194(1)163--182, 202(1)55--125, 202(1)223--230,
219(1)439--450, 219(1)467--486
-
metrical, 194(1)163--182
-
metrics, Semi-, 151(1)257--276
-
metrics;, semi-, 151(1)257--276
-
Meyer auf der Heide, Friedhelm, 162(2)245--281, 196(1)181--200
-
Meyer, Albert R., 154(1)107--143
-
Meyer, Albert R., see Jategaonkar, Lalita
-
Meyer, Bernd, 191(1)215--218
-
Meyer, Bernd, see Goldreich, Oded
-
Meyer, Léa, 185(1)81--128
-
Meyer:1997:PLL, 185(1)81--128
-
MeyeraufderHeide:1996:ESR, 162(2)245--281
-
MeyeraufderHeide:1998:RNO, 196(1)181--200
-
Mezghiche, Mohamed, 189(1)221--228
-
Mezghiche:1997:MR, 189(1)221--228
-
Micheaux, N., Lafaye de, 154(2)329--348
-
Michel, Laurent, 173(1)3--48
-
Michel:1997:HML, 173(1)3--48
-
microprocessors, 196(1)201--214
-
Middeldorp, Aart, 165(1)75--95, 167(1)95--130, 175(1)127--158
-
Middeldorp, Aart, see Antoy, Sergio
-
Middeldorp:1996:LNS, 167(1)95--130
-
Middeldorp:1997:STR, 175(1)127--158
-
Middendorf, Martin, 145(1)317--327, 164(1)73--106, 191(1)205--214,
215(1)137--168
-
Middendorf:1995:FVM, 145(1)317--327
-
Middendorf:1996:TDP, 164(1)73--106
-
Middendorf:1998:SCS, 191(1)205--214
-
Middendorf:1999:SIT, 215(1)137--168
-
Mignosi, Filippo, 204(1)153--167, 205(1)145--181, 218(1)83--94
-
Mignosi, Filippo, see Castelli, M. Gabriella,
see Giammarresi, Dora
-
Mignosi:1998:PGR, 204(1)153--167
-
migration, 184(1)195--236
-
Mihail, Milena, 221(1)119--137
-
Mihail, Milena, see Erlebach, Thomas
-
Mihalache, Valeria, 215(1)169--189
-
Mihalache:1999:DPG, 215(1)169--189
-
Mihoubi, Douadi, 191(1)79--95
-
Mihoubi:1998:CCP, 191(1)79--95
-
Miklos, D., 190(2)151--166
-
Miklos, D., see Demetrovics, J.
-
Mikov, Alexander I., 162(1)151--170
-
Mikov:1996:LSA, 162(1)151--170
-
Mili, Ali, 149(2)333--360
-
Mili, Ali, see Desharnais, Jules
-
Milis, Ioannis, 162(2)323--340
-
Milis, Ioannis, see Finta, Lucian
-
military, 187(1)263--284
-
Miller, Barton P., 196(1)241--258
-
Miller, Barton P., see Hollingsworth, Jeffrey K.
-
Miller, D., 197(1)246--z
-
Miller, D., see McDowell, R.
-
Miller, Dale, 165(1)201--232
-
Miller:1996:FMC, 165(1)201--232
-
Milner, 152(2)251--268
-
Milner, Hennessy-, 156(1)289--299
-
Miltersen, Peter Bro, 143(1)167--174, 215(1)337--344
-
Miltersen, Peter Bro, see Andersson, Arne
-
Miltersen:1995:CPC, 143(1)167--174
-
min, 173(1)253--281, 193(1)149--179
-
Min-path, 148(1)171--180
-
mind, 220(2)323--343
-
minimal, 139(1)187--205, 143(1)1--21, 143(1)175--188, 145(1)317--327,
151(1)37--78, 155(1)157--177, 155(2)425--438, 159(1)43--63,
164(1)59--72, 165(2)441--461, 166(1)83--99, 166(1)147--172,
171(1)281--302, 173(1)89--112, 174(1)171--191, 175(2)293--308,
175(2)309--335, 176(1)337--345, 180(1)169--180, 182(1)1--143,
183(1)93--112, 187(1)27--48, 187(1)167--178, 188(1)175--194,
190(2)151--166, 192(2)233--258, 193(1)75--96, 194(1)247--z--2,
212(1)77--99, 215(1)345--348, 218(1)161--175
-
minimal-state, 183(1)93--112
-
minimales., 174(1)171--191
-
minimality, 175(1)3--13, 176(1)347--353, 179(1)397--419
-
minimisation, 138(1)3--34, 162(2)323--340, 162(2)341--349, 164(1)59--72,
179(1)251--271, 188(1)129--159
-
minimization, 138(1)3--34, 179(1)251--271, 191(1)131--144
-
minimized, 193(1)215--244
-
minimizing, 191(1)131--144, 209(1)237--260
-
minimum, 140(2)291--300, 147(1)69--85, 158(1)117--141, 163(1)269--276,
165(2)311--323, 174(1)23--65, 175(2)309--335, 181(1)57--74,
181(2)267--287, 181(2)347--356, 185(2)319--345, 188(1)1--44,
194(1)207--218, 206(1)301--315, 225(1)113--128
-
Minkowski-reduced, 172(1)303--308
-
miracle, 160(1)1--85
-
Mislove, M., 152(2)321--z
-
Mislove, M. W., 138(2)273--314
-
Mislove, Michael W., 151(1)207--256, 177(1)1--1
-
Mislove:1995:EEN, 152(2)321--z
-
Mislove:1995:FAR, 151(1)207--256
-
Mislove:1995:FPC, 138(2)273--314
-
Mislove:1997:F, 177(1)1--1
-
missing, 161(1)235--261
-
Mitas, Jutta, 175(2)337--347
-
Mitas:1997:CPE, 175(2)337--347
-
Mitchell, J. C., 197(1)245--z--2
-
Mitchell, J. C., see Lincoln, P. D.
-
Mitchell, John C., 227(1)299--331
-
Mitchell, John C., see Lincoln, Patrick D.
-
Mitchell, Melanie, 229(1)41--102
-
Mitchell, Melanie, see Nimwegen, Erik van
-
Mitrana, Victor, 154(2)183--201, 180(1)353--361
-
Mitrana, Victor, see Dassow, Jürgen
-
Mitrana:1996:PS, 154(2)183--201
-
mixed, 137(2)253--268, 152(2)171--217, 201(1)233--248, 203(2)253--269
-
mixed-search, 137(2)253--268
-
Miyano, Satoru, 148(1)57--65, 161(1)289--300, 210(2)261--275
-
Miyano, Satoru, see Akutsu, Tatsuya,
see Maruyama, Osamu,
see Shoudai, Takayoshi
-
Miyashiro, Akira, 185(1)177--190
-
Miyashiro, Akira, see Takimoto, Eiji
-
Mizoguchi, Yoshihiro, 141(1)311--328
-
Mizoguchi:1995:RGR, 141(1)311--328
-
ML, 155(1)179--219, 173(2)445--484, 212(1)157--181
-
MLL, 197(1)245--z--2
-
Mobasher, Bamshad, 171(1)77--109
-
Mobasher:1997:MVL, 171(1)77--109
-
mobile, 155(1)39--83, 157(1)101--114, 192(2)201--231, 216(1)237--270,
221(1)327--368
-
mobility, 167(1)235--274, 195(2)205--226
-
Mocas, Sarah E., 158(1)221--231
-
Mocas:1996:SCE, 158(1)221--231
-
MOD, 174(1)137--156
-
modal, 140(1)53--71, 147(1)149--163, 151(1)3--27, 151(1)257--276,
151(1)z--z, 175(1)29--74, 195(2)133--153, 202(1)193--222,
221(1)251--270, 224(1)135--155
-
modality, 140(1)53--71, 148(2)303--324, 175(1)29--74
-
mode, 138(2)273--314, 168(2)405--416
-
model-checking, 138(1)3--34, 148(2)303--324, 194(1)246--z--2
-
model-theoretic, 177(1)155--182
-
modeling, 168(2)z--z, 173(1)3--48
-
modelling, 138(1)211--239, 152(2)171--217, 153(1)3--48, 153(1)65--94,
155(1)157--177, 155(1)277--288, 156(1)159--176, 161(1)235--261,
168(2)417--459, 176(1)39--65, 176(1)337--345, 179(1)217--250,
190(2)167--210, 192(2)315--351, 194(1)241--z--2, 197(1)246--z
-
modes, read-, 148(1)33--55
-
modes;, read-, 148(1)33--55
-
modified, 180(1)203--215, 188(1)161--174, 195(2)291--324
-
Modifying, 203(1)91--121
-
modular, 140(1)139--177, 143(2)319--333, 149(1)151--178, 149(2)361--374,
151(2)487--512, 160(1)87--143, 169(2)201--220, 173(2)445--484,
179(1)273--299, 183(2)253--279, 185(1)191--213, 187(1)105--116,
194(1)243--z, 204(1)233--248, 206(1)51--80, 208(1)59--86,
208(1)59--z
-
modularity, 149(2)361--374, 151(2)487--512, 152(1)139--169,
165(1)97--131, 185(1)191--213, 190(1)3--39, 192(1)31--54
-
module, 153(1)49--64, 153(1)245--270, 155(2)349--363, 159(2)143--190,
166(1)101--146, 172(1)135--174, 172(1)303--308, 173(2)485--511,
177(2)407--423, 187(1)49--79, 192(1)3--29, 192(2)201--231,
194(1)248--z--1, 194(1)z--z, 197(1)246--z--1, 208(1)149--177
-
modulo, 172(1)135--174, 172(1)303--308, 174(1)137--156, 174(1)247--249,
224(1)215--235
-
modulo-invariants, 153(1)49--64
-
modulus, 219(1)439--450
-
Moews, David, 164(1)253--276
-
Moews:1996:CSG, 164(1)253--276
-
Moez, 146(1)1--3
-
Mokkedem, Abdelillah, 140(1)95--138
-
Mokkedem:1995:UTL, 140(1)95--138
-
molecular, 168(2)321--336, 180(1)115--137, 181(1)159--179, 185(1)3--13,
210(2)305--325
-
molecules, 145(1)357--369
-
Moller, Faron, 158(1)143--159
-
Moller, Faron, see Hirshfeld, Yoram
-
moment, 148(1)133--140
-
monad, 139(1)187--205, 175(1)29--74, 177(1)111--138
-
monadic, 139(1)1--25, 151(1)125--162, 151(1)z--z, 154(1)67--84,
154(2)247--282, 156(1)119--144, 160(1)87--143, 166(1)63--81,
174(1)97--121, 176(1)175--204, 193(1)197--214, 194(1)87--122,
194(1)183--205, 194(1)242--z, 222(1)133--152, 224(1)35--58
-
monadic, semi-, 194(1)87--122
-
monitoring, 173(1)113--149, 173(1)209--233
-
monoid, 145(1)229--240, 146(1)321--329, 148(2)227--260, 150(1)77--109,
158(1)81--115, 163(1)55--98, 163(1)259--267, 168(1)105--119,
172(1)135--174, 174(1)67--96, 178(1)257--264, 183(1)45--82,
183(1)93--112, 191(1)117--129, 191(1)219--228, 194(1)57--85,
197(1)246--z--2, 204(1)35--54, 204(1)131--152, 204(1)169--182,
208(1)3--31, 225(1)149--161
-
monoidal, 139(1)115--130, 153(1)171--210, 155(1)221--264,
170(1)277--296, 176(1)347--353
-
monomial, 185(1)159--175, 187(1)263--284
-
monomorphisms, 184(1)145--193
-
monotone, 137(1)159--176, 145(1)147--157, 145(1)271--290, 151(1)3--27,
163(1)283--289, 178(1)225--236, 209(1)389--398, 223(1)193--197
-
monotonic, 137(1)25--51, 143(1)51--72, 150(1)111--159, 155(2)365--410
-
monotonic, non-, 184(1)1--59
-
monotonic, strong-, 155(2)365--410
-
monotonically, 155(2)411--424, 188(1)221--230
-
monotonicity, 155(2)365--410, 178(1)237--255, 185(1)81--128
-
monotony, 177(1)155--182
-
Monserrat, M., 194(1)246--z, 216(1)311--362
-
Monserrat, M., see Burmeister, P.
-
Monserrat:1998:HRU, 194(1)246--z
-
Montalbano, Rosa, 215(1)191--208
-
Montalbano, Rosa, see Giammarresi, Dora
-
Montanari, Angelo, 183(2)187--214
-
Montanari, Ugo, 141(1)195--252, 149(2)299--332, 153(1)171--210,
168(1)53--103, 173(1)1--1
-
Montanari, Ugo, see Ferrari, Gian-Luigi,
see Gorrieri, Roberto,
see Meseguer, José
-
Montanari:1995:LEP, 149(2)299--332
-
Montanari:1997:P, 173(1)1--1
-
Montanari:1997:TSM, 183(2)187--214
-
Montangero, Manuela, 201(1)249--262
-
Montangero, Manuela, see Ferragina, Paolo
-
Monte, 154(1)23--39
-
Monteiro, Luís, 192(2)259--286
-
Monteiro:1998:EBA, 192(2)259--286
-
Monti, Angelo, 179(1)251--271, 197(1)171--188, 197(1)171--188--1
-
Monti, Angelo, see De Prisco, Roberto,
see Gruska, Jozef,
see Prisco, Roberto De
-
Moore, Cristopher, 162(1)23--44, 201(1)99--136, 210(1)217--223
-
Moore, Cristopher, see Koiran, Pascal
-
Moore, Dennis, 172(1)281--291
-
Moore, Dennis, see Iliopoulos, Costas S.
-
Moore:1996:RTR, 162(1)23--44
-
Moore:1998:DRR, 201(1)99--136
-
Morales-Bueno, R., 202(1)231--244
-
Morales-Bueno, R., see Ramos-Jiménez, G.
-
Moran, Shlomo, 145(1)271--290
-
Moran, Shlomo, see Biran, Ofer
-
Morcrette, Michelle, 165(2)325--354
-
Morcrette:1996:EDF, 165(2)325--354
-
more, 169(1)113--121, 181(1)75--90, 203(1)3--29
-
More, Malika, 193(1)129--148
-
More, Malika, see Esbelin, Henri-Alex
-
Morgan, 141(1)269--282, 159(2)245--270
-
Mori, Takakazu, 219(1)467--486
-
Mori, Takakazu, see Yasugi, Mariko
-
Morita, Kenichi, 148(1)157--163, 165(2)475--482, 168(2)303--320,
168(2)337--366
-
Morita, Kenichi, see Imai, Katsunobu
-
Morita:1995:RSO, 148(1)157--163
-
Morita:1996:SRR, 168(2)337--366
-
Morita:1996:URT, 168(2)303--320
-
Morokhovets, Marina K., 194(1)183--205
-
Morokhovets, Marina K., see Chebotarev, Anatoli N.
-
morphic, 143(2)269--284
-
morphism, 137(2)177--217, 155(1)1--38, 155(1)221--264, 160(1)217--239,
178(1)205--224, 180(1)81--113, 189(1)239--248, 194(1)243--z--2,
194(1)246--z, 195(1)91--109, 225(1)129--148
-
morphismes., 180(1)81--113
-
Morris-style, 170(1)83--128
-
Morse, 209(1)377--387
-
Morshed, Manzur, 155(2)411--424
-
Morshed, Manzur, see Iwama, Kazuo
-
Morvan, Michel, 143(1)73--91, 175(2)223--223
-
Morvan, Michel, see Bender, Michael A.,
see Bouchitté, Vincent
-
Morzenti, Angelo, 181(1)107--118, 202(1)127--161
-
Morzenti, Angelo, see Felder, Miguel,
see Galbiati, Giulia
-
Mosbah, M., 218(2)263--271
-
Mosbah, Mohamed, 159(1)81--102
-
Mosbah:1996:PHR, 159(1)81--102
-
Mosbah:1999:NUR, 218(2)263--271
-
Moschovakis, Yiannis N., 139(1)243--273
-
Moschovakis:1995:CCP, 139(1)243--273
-
Moser, L. E., 166(1)1--47, 170(1)1--46
-
Moser, L. E., see Ramakrishna, Y. S.
-
Mosses, P., 155(2)239--z
-
Mosses, P., see Kuoherov, G.
-
Mosses, Peter, 155(2)289--290
-
Mosses, Peter, see Kucherov, Gregory
-
Mosses, Peter D., 143(1)51--72, 167(1)1--1
-
Mosses, Peter D., see Antimirov, Valentin M.
-
Mosses:1996:F, 167(1)1--1
-
most, 147(1)1--18, 147(1)149--163, 209(1)331--345
-
mot., 204(1)87--98
-
motifs, 209(1)261--285
-
motion, 140(2)205--230, 140(2)231--247, 140(2)249--263, 140(2)291--300,
140(2)301--317, 157(1)53--77, 159(1)65--79
-
motivated, logically-, 184(1)105--143
-
mots, 159(1)43--63, 172(1)67--89, 180(1)81--113
-
Motzkin, 159(1)15--28
-
Mouchard, Laurent, 218(1)205--216
-
Mouchard, Laurent, see Iliopoulos, Costas S.
-
movable, 140(2)231--247
-
move-to-front, 164(1)185--206
-
movement, 165(2)311--323
-
movement-intensive, data-, 194(1)225--237
-
moves, 146(1)25--68, 205(1)283--296
-
moving, 140(2)205--230, 174(1)203--216, 191(1)193--203,
411(31)2999--3000
-
MP-1, 162(2)297--322
-
MPA, 211(1)339--374
-
MPL, 162(2)297--322, 169(1)39--65
-
MT, 179(1)137--202
-
mu, 160(1)1--85
-
Mu, Yi, 226(1)173--184
-
Mu, Yi, see Varadharajan, Vijay
-
mu-calculus, 148(1)121--132, 151(1)3--27, 151(1)z--z, 175(1)15--27,
190(1)41--60, 195(2)133--153, 221(1)251--270
-
mu-recursive, 152(1)1--66
-
Muchnik, An A., 207(2)319--328
-
Muchnik, Andrei A., 157(2)227--258, 207(2)263--317
-
Muchnik:1996:GMC, 157(2)227--258
-
Muchnik:1998:CI, 207(2)319--328
-
Muchnik:1998:MMR, 207(2)263--317
-
Mukherji, Manibrata, 192(2)287--314
-
Mukherji:1998:PCB, 192(2)287--314
-
Mukouchi, Yasuhito, 137(1)53--84
-
Mukouchi:1995:TMT, 137(1)53--84
-
Muller, 161(1)191--203, 183(1)93--112, 191(1)37--59
-
Muller, David E., 141(1)69--107
-
Müller, Haiko, 147(1)69--85, see Jansen, Klaus
-
Müller, Norbert Th., 219(1)287--299
-
Muller:1995:SAT, 141(1)69--107
-
Muller:1999:CRV, 219(1)287--299
-
Mullins, John, 174(1)231--246
-
Mullins:1997:EHC, 174(1)231--246
-
multi-agent, 189(1)109--127, 192(2)287--314
-
multi-axiom, 199(1)199--229
-
multi-dimensional, 185(2)319--345
-
Multi-list, 141(1)337--350
-
multi-niche, 229(1)177--197
-
multi-pattern, 141(1)253--268, 154(2)183--201
-
multi-pebble, 169(2)161--184
-
multi-valued, 171(1)77--109, 184(1)105--143
-
multi-writer, 149(2)257--298
-
multibody, 157(1)101--114
-
multichannel, 194(1)123--136
-
multidimensional, 138(1)3--34, 185(2)319--345, 197(1)111--138,
205(1)115--133
-
multihead, 198(1)99--130
-
Multilayered, 217(1)99--113
-
multilevel, 166(1)1--47
-
multilist, 141(1)337--350
-
multimodal, 171(1)247--280
-
multiparty, 191(1)173--183
-
multiple, 138(1)211--239, 143(1)137--148, 154(2)203--224,
155(1)141--156, 156(1)177--201, 172(1)303--308, 173(1)235--252,
180(1)115--137, 182(1)233--244, 183(1)33--44, 193(1)97--112,
210(2)341--374, 224(1)157--172
-
multiple-conclusion, 165(1)201--232
-
multiple-valued, 171(1)111--146, 171(1)281--302
-
multiplexing, 194(1)123--136
-
multiplicands, 172(1)67--89
-
multiplication, 154(1)41--56, 172(1)303--308, 196(1)71--107,
196(1)109--130, 196(1)319--345, 205(1)307--316, 226(1)45--59
-
multiplicative, 144(1)161--197, 176(1)159--173, 197(1)242--z--1,
197(1)245--246, 197(1)245--z, 197(1)246--z--1, 197(1)247--z--2,
224(1)115--134
-
multiplicative-additive, 197(1)245--z--2
-
multiplicity, 207(1)131--157
-
multiply, 139(1)355--362
-
multiprocessing, 140(2)319--331, 143(1)73--91, 149(2)299--332,
154(1)107--143, 156(1)203--215, 162(2)245--281, 162(2)283--296,
169(1)39--65, 186(1)171--198, 197(1)171--188
-
multiprocessor, 140(2)319--331, 140(2)333--339, 147(1)1--18,
156(1)203--215, 158(1)53--64, 162(2)225--243, 162(2)245--281,
162(2)283--296, 175(2)337--347, 178(1)265--273, 181(2)337--345,
181(2)379--404, 182(1)171--182, 186(1)171--198, 194(1)123--136,
196(1)181--200
-
multirate, 148(1)1--17, 182(1)171--182
-
multisearch, 203(2)175--203
-
multiset, 145(1)189--228, 153(1)65--94, 156(1)39--70, 192(2)233--258,
193(1)149--179
-
Multisets, 211(1)311--337
-
multistage, 182(1)171--182
-
multitype, 144(1)221--249
-
multivalued, 171(1)61--75, 171(1)77--109, 171(1)281--302,
184(1)105--143
-
multivariate, 144(1)221--249, 157(2)259--266, 187(1)105--116
-
multiview, 140(2)319--331
-
Mundici, Daniele, 182(1)217--232, 200(1)335--366
-
Mundici:1997:OCS, 182(1)217--232
-
Mundici:1998:RMB, 200(1)335--366
-
Munier, A., 178(1)119--127
-
Munier:1997:UDS, 178(1)119--127
-
Muñoz, J., López-, 202(1)231--244
-
Munro, J. Ian, 165(2)311--323
-
Munro:1996:SRO, 165(2)311--323
-
Muscholl, Anca, 154(1)67--84, 169(2)123--145, 172(1)309--321,
224(1)215--235
-
Muscholl, Anca, see Diekert, Volker,
see Ebinger, Werner,
see Hoogeboom, Hendrik Jan
-
Muscholl:1996:CAC, 169(2)123--145
-
mutual, 147(1)165--180, 153(1)95--128, 153(1)245--270, 162(2)225--243,
174(1)217--230, 179(1)61--102, 193(1)97--112
-
mvPX, 197(1)244--z--1