Index file section M for tcs1990.bib
Last update: Wed Sep 26 02:11:46 MDT 2018
Return to index directory
M
-
m-ary, 117(1)99--112, 129(2)407--417
-
M-automata, 93(2)227--244
-
m-bit, 120(2)215--227
-
m-n, S-, 123(2)199--237
-
M-program, 107(1)31--61
-
Ma, Reynolds-, 136(1)163--181
-
Maass, Alejandro, 110(1)53--78
-
Maass, Alejandro, see Goles, Eric
-
Maass, W., 82(1)113--129, 108(2)271--290
-
Maass, W., see Dietzfelbinger, M.
-
macro, 84(2)293--311, 108(2)185--236
-
Macsyma, 79(1)195--207, 79(1)209--226
-
Madarász, Rozália Sz, 108(1)17--24, 134(1)79--86,
see Crvenkovi{\'c}, Sini{\v{s}}a
-
Madarász, Rozália Sz.,
see Crvenkovi{\'c}, Sini{\v{s}}a
-
Madlener, K., 113(1)119--165
-
Madlener:1993:WCM, 113(1)119--165
-
Madonia, M., 108(2)251--270
-
Madonia:1993:GSP, 108(2)251--270
-
Maggiolo-Schettini, A., 103(2)335--363
-
Maggiolo-Schettini:1992:TAT, 103(2)335--363
-
Magic, 124(1)93--125
-
Magidor, Menachem, 129(1)1--38
-
Magidor, Menachem, see Abraham, Uri
-
Maher, Michael J., 110(2)377--403
-
Maher:1993:TSD, 110(2)377--403
-
Main, M. G., 73(3)279--294
-
Main, M. G., see Hoffmann, J.
-
Main, Michael G., 107(2)305--332, 111(1)125--143
-
Main:1993:CPR, 111(1)125--143
-
Main:1993:SMT, 107(2)305--332
-
maintenance, 71(3)419--424, 72(2)97--117, 100(1)105--135,
108(2)371--384
-
Mairson, Harry G., 103(2)387--394
-
Mairson:1992:SPT, 103(2)387--394
-
major, 120(2)197--213
-
majority, 76(2)343--351, 128(1)159--177
-
Majster-Cederbaum, M. E., 124(1)1--40
-
Majster-Cederbaum, Mila E., 135(2)171--220
-
Majster-Cederbaum, Mila E., see Baier, Christel
-
Majster-Cederbaum:1994:CCB, 124(1)1--40
-
Mak, Louis, 134(2)427--453
-
Mak:1994:SDA, 134(2)427--453
-
making, change-, 123(2)377--388
-
Malajovich, Gregorio, 133(1)65--84
-
Malajovich:1994:GNA, 133(1)65--84
-
Malcev, 79(1)111--135
-
Malcev-Neumann, 98(1)79--97, 98(1)z--z
-
Maler, Oded, 129(2)279--291
-
Maler, Oded, see Delyon, Bernard
-
management, 76(1)93--114, 76(1)115--142, 76(1)143--177, 81(2)201--221,
128(1)3--30, 130(1)85--99, 131(1)29--94, 133(2)421--442
-
Manca, V., 77(1)131--159, 94(1)101--124
-
Manca:1990:ETL, 77(1)131--159
-
Manca:1992:SCB, 94(1)101--124
-
Mandrioli, D., 85(1)171--203
-
Mandrioli, D., see Cherubini, A.
-
Manes, E. G., 71(3)413--417
-
Manes:1990:TCI, 71(3)413--417
-
manipulation, 71(2)209--226, 79(1)37--109, 79(1)111--135, 79(1)163--177,
79(1)195--207, 79(1)241--256, 85(1)97--116, 92(1)19--31,
92(2)319--336, 94(2)223--236, 98(1)115--133, 104(1)89--107,
108(2)311--329, 109(1)7--48, 110(1)169--196, 113(1)3--34,
117(1)131--136, 123(1)61--87, 123(1)117--130, 124(1)71--91,
131(1)1--28
-
manipulator, 124(1)71--91
-
Manley, D., 131(2)475--477
-
Manley, D., see Anderson, N.
-
Manna, Z., 83(1)97--130
-
Manna:1991:CTP, 83(1)97--130
-
Manoury, Pascal, 135(2)319--343
-
Manoury:1994:ATP, 135(2)319--343
-
Mansour, Y., 107(1)121--133
-
Mansour:1993:CCU, 107(1)121--133
-
Mantaci, Roberto, 117(1)243--253
-
Mantaci:1993:DAE, 117(1)243--253
-
many, 72(2)133--146, 79(1)241--256, 89(1)3--32, 113(1)35--54,
123(2)407--413, 126(2)183--235
-
many-one, 75(3)357--363, 81(2)189--199, 97(2)199--215, 115(2)371--381,
132(1)229--241
-
many-ordered, 83(2)275--285
-
many-sorted, 77(1)161--194, 83(1)3--28, 89(1)3--32, 94(1)1--35,
94(1)101--124, 100(2)267--302, 105(2)217--273
-
many-valued, 74(1)37--69, 77(1)161--194, 94(1)101--124, 97(1)143--156,
105(1)7--25, 131(1)197--218, 134(1)63--78
-
map, 77(3)331--343, 84(1)127--150, 85(2)253--281, 86(2)205--232,
94(2)335--356, 102(1)1--134, 113(2)273--291, 114(2)299--315,
117(1)45--65, 123(1)55--60, 132(1)113--128, 134(1)51--61,
136(1)79--107, 136(1)109--123
-
Maple, 117(1)131--136, 117(1)169--186
-
mapped, 73(3)329--333
-
mapping, 76(1)143--177, 82(2)253--284, 108(2)385--391, 115(2)359--369,
117(1)303--313, 123(1)167--181, 127(2)269--286
-
Marché, Claude, 104(1)29--51,
see Jouannaud, Jean-Pierre
-
Marchetti, S., 72(2)203--223
-
Marchetti, S., see Gorrieri, R.
-
Marchetti-Spaccamela, Alberto, 108(2)371--384, 116(2)359--371
-
Marchetti-Spaccamela, Alberto, see d'Amore, Fabrizio,
see Feuerstein, Esteban
-
Marcoux, Yves, 120(2)169--195
-
Marcoux:1993:CAQ, 120(2)169--195
-
Marcus, 104(2)299--312
-
Marek, W., 103(2)365--386
-
Marek:1992:RBS, 103(2)365--386
-
Margaria, I., 95(1)143--158
-
Margaria, I., see Jacobs, B.
-
Margenstern, M., 129(2)419--424
-
Margenstern:1994:NTM, 129(2)419--424
-
Margolis, Stuart W., 123(2)273--289
-
Margolis, Stuart W., see Birget, Jean-Camille
-
marked, 97(1)131--142
-
marking, 93(2)185--199, 99(1)79--104
-
Markov, 94(2)367--371, 128(1)179--210, 128(1)211--239, 129(2)385--396,
129(2)407--417
-
Markovian, 74(2)183--197
-
markup, 120(2)197--213
-
marriages, 127(2)255--267
-
Martelli, A., 95(1)43--74
-
Martelli, A., see Giordano, L.
-
Martens, Bern, 122(1)97--117
-
Martens:1994:SCP, 122(1)97--117
-
Martin, Bruno, 123(2)199--237
-
Martin:1994:UCA, 123(2)199--237
-
Martínez, C., 117(1)99--112, see Casas, R.
-
Martinez, Servet, 110(1)53--78
-
Martinez, Servet, see Goles, Eric
-
Mascari, G. F., 135(1)111--137
-
Mascari:1994:HLR, 135(1)111--137
-
Mason, Ian, 105(2)167--215
-
Mason:1992:IEF, 105(2)167--215
-
Masseron, M., 113(2)349--370, 113(2)371--375
-
Masseron:1993:GPLa, 113(2)349--370
-
Masseron:1993:GPLb, 113(2)371--375
-
Massey, William A., 125(1)149--165
-
Massey, William A., see Baccelli, François
-
MATCH, 73(2)155--175
-
match, 92(1)191--211, 102(2)329--354
-
matching, 71(2)177--191, 73(2)177--211, 73(3)319--328, 81(1)97--115,
81(2)169--187, 87(2)251--262, 88(1)59--82, 92(1)1--z, 92(1)145--164,
92(1)165--179, 92(1)z--z, 93(2)245--264, 102(2)283--305,
103(2)283--309, 106(1)21--60, 107(2)349--356, 112(1)53--97,
113(2)259--272, 127(2)255--267, 131(2)295--310, 132(1)403--414,
136(2)387--417
-
matching, attribute-, 92(1)107--117
-
matching, pattern-, 88(1)59--82, 132(1)403--414
-
matching, String-, 92(1)33--47
-
matching, string-, 92(1)33--47, 92(1)77--86, 92(1)107--117,
92(1)145--164, 92(1)191--211, 112(1)53--97
-
Mate, 96(2)389--403
-
Mateescu, Alexandru, 125(2)361--371
-
Mateescu:1994:SDC, 125(2)361--371
-
mathematical, 74(2)163--181, 76(1)53--91, 76(2)331--341, 79(1)195--207,
79(1)209--226, 81(1)65--75, 84(2)281--292, 85(2)333--351,
94(2)311--334, 95(1)159--168, 96(2)389--403, 101(2)239--263,
103(2)311--334, 103(2)335--363, 104(1)89--107, 106(2)283--308,
110(1)197--214, 110(2)249--339, 111(1)z--z, 116(1)3--31,
116(2)227--290, 123(1)55--60, 123(1)117--130, 134(2)403--413,
135(1)z--z
-
mathematicsC4210, 103(1)51--106
-
mathematicsC4240, 74(2)199--216
-
Mathématiques-Informatique, 123(1)z--z
-
Mathew, L., 106(2)373--383
-
Mathew, L., see Subramanian, K. G.
-
Mathieu, Philippe, 131(1)197--218
-
Mathieu:1994:KLC, 131(1)197--218
-
Matos, 141(1)329--330
-
Matos, Armando B., 127(2)287--312
-
Matos:1994:PSI, 127(2)287--312, 141(1)329--330
-
matrices, P-, 81(2)317--324
-
matrix, 77(3)237--247, 79(1)151--162, 79(1)257--261, 82(1)85--93,
82(1)113--129, 83(2)189--203, 83(2)261--273, 86(2)243--266,
88(2)269--285, 89(2)207--343, 94(2)335--356, 94(2)357--z,
97(2)245--262, 98(1)115--133, 98(1)z--z, 102(2)307--328,
104(2)207--233, 106(2)361--371, 108(2)271--290, 125(1)149--165,
131(2)475--477, 134(2)455--471
-
matroid, 81(1)117--126, 134(2)455--471
-
Matsumura, T., 88(2)191--229
-
Matsumura, T., see Seki, H.
-
Matthews, Robert E., 125(2)355--360
-
Matthews:1994:IIA, 125(2)355--360
-
Matus, F., 81(1)117--126
-
Matú{\v{s}}, Franti{\v{s}}ek, 134(2)455--471
-
Matus:1991:AFD, 81(1)117--126
-
Matus:1994:SIA, 134(2)455--471
-
Maude, 96(1)73--155
-
Mauduit, C., 94(2)159--z
-
Mauduit:1992:I, 94(2)159--z
-
Maurer, H. A., 84(2)265--279
-
Maurer:1991:BDC, 84(2)265--279
-
Mauri, G., 93(2)227--244
-
Mauri, G., see Bonizzoni, P.
-
Mauro, D., 83(2)189--203
-
Mauro:1991:DLS, 83(2)189--203
-
max, 74(3)329--340, 97(2)183--198, 133(2)421--442
-
max, min-, 84(1)107--126
-
MAXCLIQUE, 107(1)145--163
-
maximal, 70(1)73--83, 84(1)53--76, 87(1)209--220, 88(1)33--57,
88(1)59--82, 88(2)325--349, 89(2)207--343, 92(1)145--164,
92(1)191--211, 95(2)245--261, 101(2)239--263, 108(1)173--183,
108(2)345--356, 112(2)419--420, 122(1)49--68, 134(1)209--223,
134(1)225--251
-
maximal-period, 102(2)253--281
-
maximality, 72(1)55--64, 102(1)165--183
-
maximize, 125(1)131--147
-
maximizing, 129(2)323--336
-
maximum, 74(3)299--312, 75(1)67--83, 103(1)107--135, 116(2)359--371,
123(2)329--340, 127(2)199--228, 129(2)369--383
-
MAXNP, 107(1)145--163
-
Mayordomo, Elvira, 136(2)487--506
-
Mayordomo:1994:AES, 136(2)487--506
-
Mazoyer, J., 101(1)59--98
-
Mazoyer:1992:LST, 101(1)59--98
-
Mazurkiewicz, A., 90(1)171--184
-
Mazurkiewicz:1991:CS, 90(1)171--184
-
Mazzanti, S., 82(2)215--252
-
Mazzanti, S., see Germano, G. M.
-
McConnell, R., 132(1)209--227
-
McConnell, R., see Ehrenfeucht, A.
-
McCune, W., 87(1)221--228
-
McCune:1991:APF, 87(1)221--228
-
McKenzie, P., 107(1)31--61
-
McKenzie, P., see Bedard, F.
-
McNaughton's, Muller-, 84(2)165--177
-
McNaughton, Buchi-, 98(2)321--337
-
McNaughton, Muller-, 84(2)165--177
-
Meakin, John C., 123(2)273--289
-
Meakin, John C., see Birget, Jean-Camille
-
mean, 70(2)213--232, 74(3)355--361, 75(3)347--355, 87(1)43--80,
125(1)17--43
-
meanders, 117(1)227--241
-
meaning, 85(2)333--351, 115(1)43--62
-
measure, 73(2)121--154, 73(3)265--278, 79(2)323--339, 81(1)127--135,
82(1)157--163, 85(2)305--331, 112(2)277--289, 122(1)97--117,
125(1)17--43, 125(1)61--90, 125(1)111--130, 127(1)123--147,
128(1)179--210
-
mechanical, 74(3)253--271, 102(1)1--134
-
mechanics, 123(1)167--181
-
mechanism, 73(2)155--175, 73(3)279--294, 75(1)67--83, 77(3)249--266,
80(2)319--335, 81(2)223--235, 83(1)97--130, 86(1)35--79,
95(1)75--95, 95(1)97--113, 96(1)35--72, 102(1)135--163,
104(1)109--128, 104(1)129--159, 107(2)209--252, 110(1)131--144,
113(2)349--370, 113(2)371--375, 119(1)23--38, 119(1)z--z,
120(1)1--44, 121(1)113--143, 122(1)97--117, 122(1)225--262,
123(1)117--130, 124(1)127--148, 126(1)53--75, 129(2)337--367,
130(2)239--319, 131(1)1--28, 131(1)121--138, 131(1)181--195,
133(2)307--340, 133(2)361--385, 135(1)67--110
-
mechanizing, 106(1)87--117
-
Meer, Hermann de, 128(1)179--210
-
Meer, K., 133(1)85--94
-
Meer:1994:CQP, 133(1)85--94
-
Megiddo, N., 81(2)317--324
-
Megiddo:1991:TFE, 81(2)317--324
-
Meinel, C., 86(2)267--275
-
Meinel, C., see Krause, M.
-
Meinel, Ch, 106(2)351--360
-
Meinel, Ch., see Damm, C.
-
Meinke, K., 100(2)385--417
-
Meinke:1992:UAH, 100(2)385--417
-
Meixner, 117(1)153--167
-
Meixner--Pollaczek, 117(1)153--167
-
Melançon, Guy, 117(1)255--272
-
Melancon:1993:CBS, 117(1)255--272
-
Melas, 94(2)295--310
-
Mellin, 100(1)243--251, 123(2)291--314
-
Mellin-Perron, 123(2)291--314
-
Mellin-transform, 108(2)291--310
-
Mélou, Mireille, Bousquet-, 129(2)263--278
-
Melton, Austin, 111(1)145--189, 136(1)79--107
-
Melton, Austin, see Dybkjær, Hans
-
Melton:1994:LCC, 136(1)79--107
-
membership, 76(2)223--242, 78(1)159--187, 84(2)225--250, 87(2)287--313,
92(2)249--268, 104(2)185--206, 106(2)327--335, 109(1)83--122,
111(1)211--252, 132(1)85--112, 132(1)243--258, 134(2)365--385
-
membranes, 96(1)217--248
-
memo-functions, 104(2)313--323
-
memoization, 98(2)347--356
-
memories, 130(1)85--99
-
memorization, 104(2)299--312
-
memory, 71(1)3--28, 84(1)3--21, 92(1)33--47, 94(1)125--140,
100(1)223--241, 110(1)169--196, 119(2)355--361, 125(1)61--90,
128(1)3--30, 128(1)211--239, 130(1)85--99, 132(1)377--385
-
memory, Finite-, 134(2)329--363
-
memory, finite-, 134(2)329--363
-
Mendelzon, Alberto O., 116(1)95--116
-
Mendelzon, Alberto O., see Consens, Mariano P.
-
MEO, 134(2)493--528
-
Meo, M. C., 122(1)3--47
-
Meo, M. C., see Bossi, A.
-
merge, 76(2)309--322, 84(1)107--126
-
merging, 82(1)157--163, 83(2)275--285, 84(1)107--126, 86(2)205--232,
128(1)211--239
-
merits, 131(1)1--28
-
Mery, D., 94(2)311--334
-
Mery:1992:NSD, 94(2)311--334
-
Meseguer, J., 96(1)73--155, 100(2)267--302
-
Meseguer, J., see Moss, L. S.
-
Meseguer, José, 105(2)217--273, see Goguen, Joseph A.
-
Meseguer:1992:CRL, 96(1)73--155
-
mesh, 74(1)19--35, 120(2)261--278, 128(1)241--252, 130(1)49--72
-
mesh-connected, 120(2)261--278
-
message, 71(2)177--191, 73(1)61--79, 81(2)237--256, 95(1)169--185,
110(2)341--376, 120(2)261--278, 128(1)31--62
-
metacircular, 89(1)137--159
-
Metacircularity, 89(1)137--159
-
METAFONT, 90(1)1--15
-
metalanguage, 77(1)73--95, 79(2)341--355
-
metalevel, 107(2)209--252
-
metalogic, 136(1)217--242
-
metaphor, 96(1)217--248, 116(1)59--94
-
metaprogramming, 71(2)209--226
-
metatheorems, 121(1)9--58
-
metatheoretic, 105(2)167--215
-
method, 70(1)127--150, 71(2)z--z, 73(1)61--79, 74(1)95--114,
74(3)253--271, 79(1)241--256, 80(2)303--318, 81(2)189--199,
81(2)269--288, 82(2)215--252, 82(2)303--327, 84(2)225--250,
85(1)155--170, 85(1)205--212, 85(2)213--229, 86(2)343--364,
86(2)377--389, 88(1)15--32, 88(2)313--324, 89(1)63--106,
92(1)119--144, 93(1)91--113, 94(2)261--280, 95(2)207--229,
96(1)157--174, 98(1)137--161, 98(1)z--z, 103(2)283--309,
103(2)335--363, 104(1)89--107, 105(2)275--299, 106(1)3--20,
106(1)21--60, 113(2)259--272, 116(1)59--94, 116(2)291--303,
117(1)187--198, 117(1)z--z, 118(2)99--166, 118(2)193--229,
119(1)215--222, 119(1)z--z, 120(2)197--213, 123(1)95--115,
123(1)131--137, 123(1)139--144, 123(2)291--314, 123(2)389--395,
125(1)61--90, 125(2)329--337, 125(2)345--353, 125(2)355--360,
126(2)143--182, 128(1)31--62, 128(1)99--125, 129(2)407--417,
131(1)1--28, 133(1)65--84, 133(1)165--185, 133(2)361--385,
133(2)421--442, 134(1)107--117, 135(2)319--343, 135(2)345--359,
136(1)57--78
-
Méthode, 94(2)261--280
-
methodology, 77(1)z--z
-
Métivier, 123(1)21--30
-
Métivier, Yves, 115(2)191--224, see Litovsky, Igor
-
metric, 71(3)347--380, 75(1)15--43, 75(1)z--z, 76(2)179--222, 86(1)3--33,
97(1)131--142, 99(1)121--140, 101(2)239--263, 113(2)191--210,
124(1)1--40, 125(2)345--353, 130(1)85--99, 135(2)171--220
-
Mey, Daniel, 123(2)341--349
-
Mey:1994:FGP, 123(2)341--349
-
Meyden, Ron, van der, 116(1)151--194
-
Meyer, Albert R., 101(2)223--237
-
Meyer, Albert R., see Bloom, Bard
-
Mezghiche, M., 87(1)203--208
-
Mezghiche:1991:WCT, 87(1)203--208
-
mgi, 107(2)209--252
-
mgu, 107(2)209--252, 129(1)143--166
-
Michaux, Christian, 133(1)95--104
-
Michaux:1994:PNN, 133(1)95--104
-
Michel, P., 85(1)205--212, 101(1)99--132, 106(2)221--241
-
Michel:1991:NCL, 85(1)205--212
-
Michel:1992:CLT, 106(2)221--241
-
Michel:1992:SSC, 101(1)99--132
-
microscopic, 73(1)1--46
-
Middendorf, M., 108(2)365--369
-
Middendorf, Martin, 125(2)205--228
-
Middendorf:1993:SCN, 108(2)365--369
-
Middendorf:1994:MCC, 125(2)205--228
-
Mignosi, F., 82(1)71--84
-
Mignosi, Filippo, 136(2)361--385
-
Mignosi, Filippo, see Luca, Aldo de
-
Mignosi:1991:NFS, 82(1)71--84
-
Mignotte, M., 123(1)145--149
-
Mignotte:1994:ECI, 123(1)145--149
-
Mili, A., 79(2)323--339
-
Mili, A., see Jaoua, A.
-
Mili, Ali, 114(2)247--272
-
Mili, Ali, see Desharnais, Jules
-
Mili, Fatma, 114(2)247--272
-
Mili, Fatma, see Desharnais, Jules
-
Miller, Dushnik-, 70(2)251--260
-
Miller-Rosenberg, Karp-, 88(1)59--82
-
Milner, 74(2)239--248, 101(2)223--237, 101(2)265--288
-
Milner, Hennessy-, 72(2)265--288, 72(2)z--z, 96(1)249--283,
106(1)3--20, 114(1)149--171
-
Milner, R., 75(1)3--13, 87(1)209--220
-
Milner, Robin, 107(2)357--363, 114(1)149--171
-
Milner:1990:IOC, 75(1)3--13
-
Milner:1991:CRS, 87(1)209--220
-
Milner:1993:MLM, 114(1)149--171
-
Milner:1993:UDP, 107(2)357--363
-
Milsted, Kathleen, 121(1)323--349
-
Milsted, Kathleen, see Longo, Giuseppe
-
Miltersen, Peter Bro, 130(1)203--236
-
Miltersen:1994:CMI, 130(1)203--236
-
min, 97(2)183--198, 133(2)421--442
-
min-max, 84(1)107--126
-
mind-change, 84(2)199--223
-
Minh, V. Hoang Ngoc, 79(1)163--177
-
Minh:1991:ET, 79(1)163--177
-
minimal, 74(3)329--340, 76(2)309--322, 77(3)237--247, 79(1)151--162,
79(1)195--207, 83(2)287--300, 85(1)97--116, 86(2)143--203,
93(2)185--199, 95(2)245--261, 96(1)35--72, 102(2)307--328,
102(2)329--354, 119(2)267--291, 124(2)329--342, 129(1)1--38,
129(2)293--307, 132(1)229--241, 134(2)493--528
-
minimal-state, 100(2)267--302
-
minimally, 76(2)223--242
-
minimisation, 75(3)347--355, 92(1)181--189, 92(1)z--z, 130(1)73--84
-
minimization, 88(2)269--285, 99(1)1--63, 125(1)3--16, 130(1)73--84
-
minimizing, 75(3)347--355, 129(2)323--336
-
minimum, 91(1)1--21, 99(2)335--344, 100(1)105--135, 100(1)223--241,
103(1)107--135, 106(2)265--281, 136(2)507--526
-
minimum-length, 100(1)105--135
-
Minker, J., 86(1)93--106
-
Minker, J., see Lobo, J.
-
minpath, 95(2)245--261
-
Minsky-like, 127(2)313--332
-
Miola, A., 104(1)1--z
-
Miola:1992:F, 104(1)1--z
-
miracles, 100(2)365--383
-
mirror, 97(2)245--262
-
Mirwald, R., 102(2)307--328
-
Mirwald:1992:MCQ, 102(2)307--328
-
miscellaneous, 74(2)183--197, 92(2)249--268, 108(2)291--310,
112(2)383--390, 129(2)279--291, 129(2)407--417
-
misere, 96(2)361--388, 119(2)311--321
-
Mishra, P., 73(2)155--175
-
Mishra, P., see Fuh, You-Chin C.
-
Mislove, M., 111(1)1--z
-
Mislove:1993:F, 111(1)1--z
-
mismatches, k-, 92(1)165--179
-
Missaoui, Rokia, 133(2)387--419
-
Missaoui, Rokia, see Godin, Robert
-
missing, 123(2)351--375
-
Mitchell, Stephen G., 127(2)255--267
-
Mitchell, Stephen G., see Khuller, Samir
-
Mitrani, I., 125(1)1--z
-
Mitrani, Isi, 125(1)91--109
-
Mitrani, Isi, see Chakka, Ram
-
Mitrani:1994:P, 125(1)1--z
-
Mitzenmacher, Michael, 125(1)45--59
-
Mitzenmacher, Michael, see Louth, Graham
-
mixed, 70(1)99--126, 71(2)209--226, 71(2)z--z, 83(1)3--28, 90(1)47--60,
90(1)81--93, 103(2)311--334, 111(1)59--88, 114(1)63--91
-
Miyano, S., 88(1)33--57
-
Miyano:1991:CLF, 88(1)33--57
-
ML, 89(1)107--136, 93(1)1--41, 121(1)145--167
-
ML-like, 76(1)53--91, 89(1)63--106
-
MLOG, 122(1)201--223
-
mob, 91(1)57--69
-
mobile, 114(1)149--171, 130(1)175--201
-
Mobius, 95(2)207--229, 98(1)53--63, 98(1)z--z, 108(1)25--43,
117(1)91--98
-
Möbius, 98(1)53--63, 108(1)25--43, 117(1)91--98
-
Mobius-function, 78(2)319--346
-
MOCA, 128(1)75--97
-
mod-classes, 74(3)325--328
-
modal, 74(2)239--248, 83(1)157--167, 85(2)213--229, 89(1)161--177,
90(2)433--456, 96(1)157--174, 96(1)249--283, 105(1)141--166,
106(1)3--20, 111(1)191--210, 111(1)z--z, 114(1)31--61,
114(1)149--171, 119(1)127--143, 119(1)z--z, 126(1)77--96,
129(1)95--121, 129(1)167--186
-
modal-mu, 128(1)159--177
-
modalities, 135(1)139--153
-
modally, 74(2)239--248
-
mode, 108(2)345--356, 127(2)395--402
-
model, BSS-, 133(1)85--94
-
model, Finite-, 116(1)3--31
-
model, finite-, 116(1)3--31
-
model, I-, 102(1)135--163
-
model, O-, 122(1)49--68
-
model, small-, 118(1)67--79
-
model, space-, 73(1)1--46
-
model-checking, 83(1)157--167
-
model-theoretic, 79(2)341--355, 95(1)43--74, 110(2)405--418,
136(1)277--289
-
model-theory, 86(1)93--106
-
modeling, 106(2)395--400
-
modelling, 80(1)1--34, 85(2)283--303, 94(1)63--69, 103(2)409--420,
109(1)123--143
-
models, lambda-, 95(1)143--158
-
modifiability, 77(1)73--95
-
modified, 95(2)231--244
-
mods, 103(1)3--23
-
modular, 77(1)27--71, 78(2)267--303, 83(1)131--155, 87(1)43--80,
88(1)127--138, 96(2)285--304, 97(1)1--66, 113(2)293--348,
122(1)165--200, 125(2)229--241, 128(1)127--157, 132(1)209--227
-
modularity, 103(2)273--282, 122(1)165--200, 136(2)333--360
-
module, 77(1)27--71, 78(2)267--303, 83(1)131--155, 87(1)43--80,
97(1)83--103, 110(2)377--403, 117(1)255--272, 119(1)145--171,
125(1)61--90
-
modules, -, 117(1)255--272
-
modules, K(A)-, 117(1)255--272
-
modulo, 74(3)325--328, 84(1)23--52, 86(2)143--203, 104(1)29--51,
112(1)53--97, 112(2)291--309, 120(2)197--213, 134(1)175--188
-
modulo-counting, 126(1)97--112
-
Moews, D., 91(1)119--128
-
Moews:1991:SGB, 91(1)119--128
-
Moggi, E., 70(2)193--211
-
Moggi, E., see Longo, G.
-
moléculaires, 117(1)131--136
-
molecular, 74(2)163--181, 92(1)3--17, 117(1)131--136
-
molecules, 96(1)217--248
-
Moller, Faron, 107(2)357--363
-
Moller, Faron, see Milner, Robin
-
monadic, 80(2)153--202, 83(2)323--335, 84(2)165--177, 88(1)139--150,
93(2)227--244, 97(2)233--244, 101(1)3--33, 103(1)143--159,
109(1)49--82, 113(1)119--165, 116(1)151--194, 126(1)53--75,
126(1)97--112, 134(1)175--188
-
monads, 99(1)141--155, 136(1)109--123
-
Monfroglio, A., 97(1)105--130
-
Monfroglio:1992:IPL, 97(1)105--130
-
Monien, B., 81(2)311--316
-
Monien, B., see Chytil, M.
-
Monien, Burkhard, 116(2)421--429, 123(2)427--428, 127(2)395--402
-
Monien, Burkhard, see Hromkovi{\v{c}}, Juraj
-
Monien:1993:FRD, 116(2)421--429, 123(2)427--428
-
Monien:1994:FRD, 116(2)421--429, 123(2)427--428
-
monoid, 73(1)81--89, 73(3)335--340, 74(1)3--18, 74(2)121--162,
76(2)251--260, 78(2)319--346, 78(2)347--355, 81(1)17--34,
84(2)225--250, 86(2)233--241, 91(2)285--313, 92(1)77--86,
92(2)249--268, 92(2)269--289, 97(2)301--311, 98(1)5--13,
98(2)321--337, 99(2)231--241, 100(1)67--104, 104(2)161--183,
107(1)31--61, 108(1)103--118, 108(1)z--z, 112(2)311--337,
117(1)91--98, 117(1)z--z, 120(1)101--121, 123(2)239--258,
123(2)273--289, 125(2)167--204, 125(2)361--371, 131(2)271--294,
134(1)3--11, 134(1)13--25, 134(1)87--105, 134(1)107--117,
134(1)189--208, 134(1)209--223, 134(2)537--544
-
monoid, sub-, 98(1)79--97
-
monoidal, 115(1)3--41
-
monolithic, 89(1)179--206
-
monomials, 81(2)257--268, 98(1)53--63
-
monotone, 81(2)257--268, 82(1)85--93, 121(1)411--440
-
monotone, piecewise-, 132(1)113--128
-
monotonic, 87(1)209--220, 100(2)365--383, 106(1)119--134,
121(1)309--321
-
Montanari, U., 72(2)203--223, 75(3)223--262, 96(1)1--z, 103(1)51--106
-
Montanari, U., see Corradini, A.,
see De Nicola, R., \see{Degano, P.,
see Gorrieri, R.
-
Montanari, Ugo, 109(1)225--256, 114(1)63--91, 122(1)165--200
-
Montanari, Ugo, see Corradini, Andrea,
see Degano, Pierpaolo
-
Montanari:1993:GRP, 109(1)225--256
-
Monte, 123(1)131--137
-
Monte-Carlo, 123(1)131--137
-
Monte-Carlo, quasi-, 123(1)131--137
-
Moore, Boyer-, 92(1)119--144
-
Moore-Horspool, Boyer-, 92(1)19--31, 92(1)z--z
-
Moore-type, Boyer-, 92(1)19--31
-
Mora, Teo, 134(1)131--173
-
Mora:1994:ICN, 134(1)131--173
-
Moran, S., 84(2)179--197
-
Moran, Shlomo, 108(2)311--329
-
Moran, Shlomo, see Bar Yehuda, Reuven
-
Moran:1991:OCC, 84(2)179--197
-
more, 106(1)21--60, 106(2)327--335, 125(2)205--228
-
More, Malika, 124(2)221--272
-
More:1994:IBS, 124(2)221--272
-
Morgan, C., 87(1)143--162
-
Morgan, C., see Gardiner, P.
-
morphic, 129(2)207--262, 134(2)537--544
-
morphism, 70(2)193--211, 70(3)277--303, 72(1)65--94, 73(3)329--333,
76(2)243--250, 77(1)27--71, 82(1)19--33, 88(2)365--384,
91(2)239--264, 94(1)37--62, 109(1)123--143, 109(1)181--224,
111(1)89--101, 116(2)305--316, 134(2)403--413
-
Morris, F. L., 94(1)63--69
-
Morris, F. L., see Filippenko, I.
-
Morris-Pratt, Knuth-, 112(1)53--97, 117(1)91--98
-
Morse, 94(2)215--221, 129(2)369--383
-
Morse, Prouhet-Thue-, 94(2)161--174
-
Morton, P., 94(2)161--174
-
Morton, P., see Allouche, J.-P.
-
MOS, 86(2)343--364
-
MOS, C-, 90(1)235--251
-
Mosbah, M., 109(1)49--82
-
Mosbah, M., see Courcelle, B.
-
Moss, L. S., 100(2)267--302
-
Moss, Lawrence S., 111(1)191--210
-
Moss:1992:FAC, 100(2)267--302
-
Moss:1993:MLA, 111(1)191--210
-
Mosse, B., 99(2)327--z
-
Mosse:1992:PMR, 99(2)327--z
-
most, 76(2)273--284, 88(2)351--363, 112(2)311--337
-
Mostowski, A. W., 83(2)323--335
-
Mostowski:1991:HWA, 83(2)323--335
-
motion, 92(2)319--336, 119(2)331--343
-
motivation, 74(1)37--69
-
mots, 94(2)199--213, 99(2)327--z
-
Motwani, Rajeev, 130(1)17--47
-
Motwani:1994:NS, 130(1)17--47
-
Motzkin, 134(2)529--536
-
Mourrain, B., 98(1)115--133
-
Mourrain:1992:CIA, 98(1)115--133
-
move, 108(2)357--363, 112(2)371--382, 114(1)173--200
-
Move-Set-to-Front, 130(1)101--123
-
move-to-front, 108(2)371--384
-
move-to-rear, 74(2)183--197
-
movement, 95(2)323--337
-
movement-intensive, Data-, 95(2)323--337
-
moving, 112(2)371--382
-
MS,s, 89(2)207--343
-
mu, 90(2)309--353
-
mu, modal-, 128(1)159--177
-
mu-calculus, 74(2)239--248, 83(1)157--167, 89(1)161--177, 96(1)157--174,
126(1)77--96
-
Mukund, M., 96(1)35--72
-
Mukund:1992:LCW, 96(1)35--72
-
Muldner, T., 77(1)97--129
-
Muldner, T., see Janicki, R.
-
Muller, 83(2)323--335, 93(2)227--244, 96(2)345--360, 126(2)183--235
-
Muller, D. E., 97(2)233--244
-
Muller-McNaughton, 84(2)165--177
-
Muller:1992:AAW, 97(2)233--244
-
Mulry, P. S., 70(1)85--97, 99(1)141--155
-
Mulry, Philip S., 136(1)109--123
-
Mulry:1990:CFP, 70(1)85--97
-
Mulry:1992:MAS, 99(1)141--155
-
Mulry:1994:PMC, 136(1)109--123
-
multi-instance, 74(3)253--271
-
multi-pattern, 106(1)21--60
-
multi-prover, 134(2)545--557
-
multi-stack-counter, 108(2)393--400
-
multiagent, 134(1)119--130
-
multichains, 117(1)203--215
-
multichannel, 106(2)243--264
-
multicomputer, 125(2)373--383
-
multicounter, 88(2)287--296, 108(2)393--400
-
multidimensional, 81(1)97--115, 84(2)293--311, 123(1)131--137,
126(1)113--142, 134(2)427--453
-
multihead, 85(1)135--153, 88(2)297--311, 119(2)233--245
-
multilayered, 113(2)231--258
-
multilinear, 98(1)115--133
-
Multimodal, 105(1)141--166
-
multimode, 100(1)223--241
-
multiparameter, 98(2)263--287
-
multiple, 78(2)363--376, 80(1)105--115, 88(2)191--229, 94(1)125--140,
105(2)217--273, 107(1)135--144, 108(2)385--391, 123(1)139--144,
132(1)347--375, 133(2)307--340, 134(2)545--557
-
multiple-disk, 128(1)211--239
-
multiple-valued, 77(1)161--194
-
multiplexing, 92(1)165--179
-
multiplication, 88(1)127--138, 100(1)1--44, 106(2)361--371,
131(2)475--477
-
multiplicative, 102(1)207--214, 102(2)307--328, 117(1)289--301,
135(1)155--169
-
multiplicative-additive, 135(1)139--153
-
multiplicatively, 92(2)269--289
-
multiplicity, 78(2)347--355, 98(1)15--25, 98(1)z--z, 117(1)39--43,
134(1)27--50
-
multipliers, 70(2)179--192
-
multiply, 100(1)223--241, 112(2)215--253, 116(1)33--57
-
multiprocessing, 81(2)237--256, 125(1)91--109, 128(1)75--97,
128(1)179--210, 130(1)17--47, 135(1)5--9
-
multiprocessor, 73(1)61--79, 73(2)121--154, 81(2)237--256,
96(1)217--248, 102(2)329--354, 102(2)355--365, 104(2)285--298,
120(2)261--278, 125(1)61--90, 125(1)91--109, 128(1)3--30,
128(1)31--62, 128(1)75--97, 128(1)179--210, 128(1)211--239,
128(1)241--252, 130(1)17--47, 130(1)49--72, 130(1)175--201
-
multiprover, 103(1)25--38
-
multiqueue, 85(1)171--203
-
multiset, 105(1)129--140, 108(1)103--118, 110(1)79--98, 123(2)341--349
-
multitape, 78(2)347--355, 132(1)435--444
-
multivalued, 81(2)317--324, 86(2)365--375, 126(1)53--75, 134(1)63--78
-
multivariate, 84(2)151--164, 99(1)157--176
-
multiwalks, 117(1)203--215
-
Munro, J. I., 74(2)183--197
-
Munro, J. I., see Oommen, B. J.
-
Murakami, M., 75(1)67--83
-
Murakami:1990:DSF, 75(1)67--83
-
Murray, Neil V., 131(1)1--28
-
Murray:1994:RMP, 131(1)1--28
-
Musser, D., 81(2)169--187
-
Musser, D., see Kapur, D.
-
Musser, D. R., 133(2)307--340
-
Musser, D. R., see Kapur, D.
-
Musumbu, K., 119(1)23--38
-
Musumbu, K., see Corsini, M.-M.
-
mutate, 105(2)167--215
-
mutual, 95(1)169--185, 117(1)187--198, 135(2)377--404
-
mutual-exclusion, 129(1)1--38
-
mutually, 116(2)373--398
-
Myers, Dale, 131(2)243--269
-
Myers, Dale, see Etzion-Petruschka, Yael
-
Myhill-Nerode-like, 125(2)361--371