Last update: Sun Oct 15 02:15:49 MDT 2017
Return to index directory
M
-
Ma, Lihong, 22(4)331--352
-
Ma, Lihong, see Icking, Christian
-
Machine, 30(3)373--382, 32(1)91--105, 38(1)17--23
-
Madlener, Klaus, 30(1)31--44
-
Madlener:1997:SUR, 30(1)31--44
-
Maggiolo-Schettini, A., 13(2)141--170
-
Maggiolo-Schettini, Andrea, 31(3)305--335, 31(3)337--355,
40(2)221--250
-
Maggiolo-Schettini:1990:CST, 13(2)141--170
-
Maggiolo-Schettini:1997:PCE, 31(3)305--335
-
Maggiolo-Schettini:1997:POR, 31(3)337--355
-
Maggiolo-Schettini:1999:ATA, 40(2)221--250
-
Magott, Jan, 24(4)333--357, 29(1)77--96
-
Magott, Jan, see Huzar, Zbigniew
-
Magott:1995:PES, 24(4)333--357
-
Maida, Anthony S., 15(3)333--356
-
Maida:1991:SAI, 15(3)333--356
-
Majorinc, Kazimir, 31(2)107--116
-
Majorinc:1997:ERN, 31(2)107--116
-
Majster-Cederbaum, Mila, 29(3)225--256
-
Majster-Cederbaum, Mila, see Baier, Christel
-
Mäkinen, Erkki, 14(2)255--259, 16(1)93--97, 17(4)363--368,
25(2)175--181, 27(4)413--415, 30(2)183--191, 32(3)373--392,
see {\c{T}}iplea, Ferucio Lauren{\c{t}}iu
-
Makinen:1991:HCF, 14(2)255--259
-
Makinen:1992:GCC, 16(1)93--97
-
Makinen:1992:GID, 17(4)363--368
-
Makinen:1996:NGI, 25(2)175--181
-
Makinen:1996:TUA, 27(4)413--415
-
Makinen:1997:PAP, 30(2)183--191
-
Making, Decision-, 30(3)269--281
-
Mallat, 34(4)469--474
-
Managing, 23(2)303--353
-
Manipulation, 38(1)135--148
-
Mantaci, Sabrina, 38(1)119--133
-
Mantaci, Sabrina, see Karhumäki, Juhani
-
Many-Valued, 38(3)281--324
-
Many-valued, 15(3)235--254, 17(1)55--73
-
map, 37(1)31--50, 38(1)61--77
-
Marcus, 30(2)161--167
-
Marcus, Leo, 27(1)77--100
-
Marcus, Solomon, 33(3)z--z
-
Marcus:1996:SSD, 27(1)77--100
-
Marcus:1998:P, 33(3)z--z
-
Marek, V. Wiktor, 17(1)99--116, 32(2)139--147, 39(4)389--409
-
Marek, Wiktor, 13(4)485--499, 28(1)87--100, 28(1)z--z, 28(3)z--z
-
Marek, Wiktor, see Dix, Jürgen,
see Zhang, Aidong
-
Marek:1992:MMA, 17(1)99--116
-
Marek:1996:Pa, 28(1)z--z
-
Marek:1996:Pb, 28(3)z--z
-
Marek:1997:CRN, 32(2)139--147
-
Marek:1999:CTR, 39(4)389--409
-
Marion, Jean-Yves, 19(1)167--184
-
Marion, Jean-Yves, see Leivant, Daniel
-
Markov, 35(1)67--89
-
Marongiu, Gabriele, 19(3)371--382
-
Marongiu:1993:UFT, 19(3)371--382
-
Martin, Ursula, 24(1)25--46
-
Martín-Vide, Carlos, 31(2)117--124
-
Martin-Vide:1997:NCN, 31(2)117--124
-
Martin:1995:DOS, 24(1)25--46
-
Martinek, Pavel, 33(3)265--280
-
Martinek:1998:LPG, 33(3)265--280
-
Mason, Ian A., 23(2)263--301
-
Mason, Ian A., see Buva{\v{c}}, Sa{\v{s}}a
-
matching, 19(1)127--165, 39(3)273--304
-
Mateescu, A., 38(1)z--z
-
Mateescu, A., see Karhumäki, J.
-
Mateescu, Alexandru, 19(3)355--370, 33(3)249--264
-
Mateescu, Alexandru, see Kari, Lila,
see Kudlek, Manfred
-
Mathematical, 21(1)113--123, 27(2)255--271
-
matrix, 16(1)93--97, 30(1)97--107
-
Matroid, 27(2)273--288
-
Matskin, Mihhail, 31(2)125--144
-
Matskin:1997:PSS, 31(2)125--144
-
Matteucci, Gionata, 31(3)305--335
-
Matteucci, Gionata, see Maggiolo-Schettini, Andrea
-
Matwin, Stan, 30(3)227--240
-
Matwin, Stan, see Clark, Peter
-
Mauw, S., 13(2)85--139
-
Mauw:1990:PSF, 13(2)85--139
-
Maximal, 26(1)59--80
-
Maximal, Minimal-, 33(1)1--16
-
McCarthy, 26(2)167--203
-
McCarty, L. Thorne, 21(1)125--148
-
McCarty:1994:DDR, 21(1)125--148
-
McCloskey, Stephen, 39(3)229--248
-
McCloskey, Stephen, see Düntsch, Ivo
-
Means, 29(3)257--303
-
mechanism, 35(1)17--33
-
Mechanization, 29(1)135--163
-
Medina, Miguel A., Hernandez-, 32(3)267--280
-
Melliar-Smith, P. M., 21(4)257--305, 24(4)313--331
-
Melliar-Smith, P. M., see Kutty, G.,
see Moser, L. E.
-
Membership, 39(4)375--387
-
Memory, 32(2)z--z, 35(1)125--162
-
Menezes, P. Blauth, 26(1)11--22
-
Menezes:1996:SPN, 26(1)11--22
-
Mens, T., 26(3)315--339
-
Mens, T., see Janssens, D.
-
Merz, Stephan, 14(2)261--281
-
Merz, Stephan, see Kröger, Fred
-
Meta-Queries, 40(1)17--30
-
Meta-variables, 28(1)23--36
-
Metalogical, 32(3)299--311
-
metamathematics, 23(2)263--301
-
Method, 27(2)273--288, 28(3)247--259, 29(4)383--390, 30(3)227--240,
30(3)345--358, 31(1)1--12, 34(4)429--440, 35(1)51--66, 39(1)21--38
-
Methodology, 24(1)177--207, 29(3)203--223
-
{Métivier}, 25(3)241--246
-
Metric, 40(4)335--382
-
Metrics, Quasi-, 29(1)97--117
-
Meyer, Albert R., 19(1)1--49
-
Meyer, Albert R., see Breazu-Tannen, Val
-
Meyer, J.-J. Ch., 23(1)33--65, 34(1)53--101
-
Meyer, J.-J. Ch., see Linder, B. van
-
Meyer:1995:DLB, 23(1)33--65
-
Michalewicz, M., 30(3)359--371
-
Michalewicz, M., see Wierzcho{\'n}, S. T.
-
Michalewicz, Maciej, 30(3)z--z
-
Michalewicz, Zbigniew, 14(3)367--385, 35(1)113--123, 35(1)z--z
-
Michalewicz, Zbigniew, see Eiben, A. E.,
see Jankowski, Andrzej,
see Khouja, Moutaz
-
Michalewicz:1997:GEN, 30(3)z--z
-
Michalski, Ryszard S., 30(3)283--297, 31(1)49--64
-
Michalski:1997:LDS, 31(1)49--64
-
Michalski:1997:SKD, 30(3)283--297
-
Middelburg, Kees A., 36(2)235--263
-
Middelburg:1998:TDC, 36(2)235--263
-
Mikanik, Wojciech, 36(4)317--336
-
Mikanik, Wojciech, see Czech, Zbigniew J.
-
Miller, Gary L., 22(4)309--329
-
Miller, Gary L., see Eppstein, David
-
Miller, Michael, 23(2)355--370
-
Miller:1995:CSC, 23(2)355--370
-
Miltersen, Peter Bro, 38(1)25--37
-
Miltersen, Peter Bro, see Skyum, Sven
-
Ming, Ma, 37(1)89--99
-
Ming, Ma, see Friedman, Menahem
-
Minimal, 20(4)277--285, 27(2)197--203, 36(4)367--413
-
Minimal-Maximal, 33(1)1--16
-
Minimization, 14(1)129--146
-
Minker, Jack, 20(1)145--192, 32(2)163--181
-
Minker, Jack, see Ruiz, Carolina
-
Minker:1994:SDL, 20(1)145--192
-
Mirkowska, Grazyna, 28(1)141--152
-
Mirkowska:1996:ASD, 28(1)141--152
-
Misane, Driss, 32(3)349--357
-
Misane, Driss, see Khamsi, Mohamed A.
-
Mislove, M. W., 22(1)23--52
-
Mislove, M. W., see Hofmann, K. H.
-
Mislove, Michael W., 22(1)93--116
-
Mislove:1995:ABC, 22(1)93--116
-
Mitchell, John C., 19(1)127--165
-
Mitchell, John C., see Jategaonkar, Lalita A.
-
Mitra, Suman K., 34(4)413--428
-
Mitra:1998:SPI, 34(4)413--428
-
Mitrana, Victor, 24(3)251--257, 33(3)281--294
-
Mitrana:1995:SGS, 24(3)251--257
-
Mitrana:1998:PCG, 33(3)281--294
-
Mix, 33(3)249--264
-
mixed-ordering, 17(4)319--331
-
MLP, 37(1)177--199
-
modal, 14(3)355--366, 15(3)235--254, 16(3)231--262, 16(3)383--405,
17(1)55--73, 17(1)99--116, 21(1)89--101, 28(1)101--122,
28(3)303--313, 31(3)295--304, 32(3)281--297, 38(3)281--324,
39(1)105--121, 39(3)259--272, 39(4)411--438, 40(4)317--333
-
modalizing, 39(4)411--438
-
model, 13(1)1--17, 14(1)91--108, 14(3)323--337, 14(3)339--343,
21(1)23--38, 21(3)221--235, 21(4)307--319, 22(1)23--52, 26(1)31--57,
26(2)115--131, 26(2)167--203, 27(2)289--298, 28(1)123--128,
28(3)273--296, 28(3)353--376, 30(1)59--81, 31(1)1--12, 32(1)47--90,
33(2)149--200, 33(4)339--368, 36(2)265--283, 37(1)51--70,
37(3)247--268, 38(1)39--50, 39(1)21--38, 39(3)249--258, 40(1)31--51
-
Model-Based, 30(3)227--240
-
Modeling, 37(1)1--30
-
Modelling, 14(1)39--74, 28(3)403--421, 34(1)33--51
-
models:, Bi-, 32(3)251--266
-
moderately, 17(1)31--53
-
Modified, 36(4)345--365
-
Modifying, 21(3)183--203
-
Modularity, 28(1)183--195, 30(1)83--95
-
modulo, 13(2)211--226, 25(1)49--57, 27(1)37--56
-
Moggi, Eugenio, 22(1)117--152
-
Moggi:1995:SEL, 22(1)117--152
-
Mohnen, Markus, 29(3)257--303
-
Mohnen:1997:CCP, 29(3)257--303
-
Monadic, 39(3)305--325
-
Monfroy, Eric, 39(1)167--187
-
Monfroy:1999:OAF, 39(1)167--187
-
Monotone, 33(3)265--280
-
Monotonic, 15(3)255--274
-
Monotonic, Non-, 21(3)205--220, 28(1)1--22, 38(3)281--324
-
monotonic, non-, 15(3)255--274
-
Montanari, U., 26(3)241--265
-
Montanari, U., see Corradini, A.
-
Montanari, Ugo, 16(2)171--199, 20(1)193--229, 31(3)357--377, 34(1)1--31
-
Montanari, Ugo, see Ferrari, Gian Luigi
-
Montanari:1992:DCV, 16(2)171--199
-
Montanari:1994:CCP, 20(1)193--229
-
Montanari:1997:CFS, 31(3)357--377
-
Monti, Angelo, 29(4)325--339
-
Monti, Angelo, see Fachini, Emanuela
-
Moore, 38(1)79--91
-
more, 17(1)99--116, 39(4)359--374
-
morphism, 31(3)401--421, 38(1)209--221
-
Morphology, 27(2)255--271
-
Mosbah, Mohamed, 26(3)341--362
-
Mosbah:1996:PGG, 26(3)341--362
-
Moser, L. E., 21(4)257--305, 24(4)313--331
-
Moser, L. E., see Kutty, G.
-
Moser:1994:CSA, 21(4)257--305
-
Moshier, M. Andrew, 37(4)369--412
-
Moshier, M. Andrew, see Jung, Achim
-
Moshkov, Mikhail, 21(4)391--401, 22(3)203--215, 25(2)201--214,
27(2)197--203, 31(2)145--156, 31(2)157--184
-
Moshkov:1994:OPD, 21(4)391--401
-
Moshkov:1995:ADD, 22(3)203--215
-
Moshkov:1996:CAD, 25(2)201--214
-
Moshkov:1996:SBM, 27(2)197--203
-
Moshkov:1997:BAW, 31(2)145--156
-
Moshkov:1997:UUB, 31(2)157--184
-
Mrózek, Adam, 30(3)299--311
-
Mrozek:1997:KRF, 30(3)299--311
-
Müller, Heike, 39(3)327--336
-
Muller:1999:AA, 39(3)327--336
-
Multi, 37(4)369--412
-
Multi-Bracketed, 38(3)257--280
-
Multiple, 23(2)303--353, 27(1)37--56
-
Multiple-Valued, 21(3)237--253
-
Multiresolution, 34(4)389--396, 34(4)469--474
-
Multisets, 36(2)201--234
-
Murphy, David, 19(3)403--416
-
Murphy:1993:TDN, 19(3)403--416
-
Murray, Neil V., 21(3)237--253
-
Murray:1994:ACI, 21(3)237--253
-
Murthy, C. A., 34(4)413--428, 35(1)91--111
-
Murthy, C. A., see Mitra, Suman K.
-
Murthy:1998:OST, 35(1)91--111
-
Muscholl, Anca, 25(3)241--246
-
Muscholl, Anca, see Diekert, Volkert
-
Mutations, 36(2)183--200
-
Mutual, 40(4)407--422