Last update: Fri Jul 5 02:00:41 MDT 2024
Return to index directory
M
-
M, 35(1)265--293
-
Maaren, Hans van, 24(1)37--65
-
Maaren, Hans van, see Klerk, Etienne de
-
Maârouf, Hamid, 20(3)365--385,
see Rody, Abdelilah Kandri
-
Macedo, Nuno, 66(4)861--904
-
Macedo:2022:PTR, 66(4)861--904
-
machine, 9(3)309--354, 23(1)43--62, 37(1)93--116, 53(2)141--172,
55(2)117--183, 63(4)1031--1053, 65(2)287--320
-
Machine, List-, 49(3)453--491
-
Machine-Checked, 26(2)107--137
-
Machine-Code, 60(3)257--277
-
Machine-Generated, 56(2)155--200
-
Mackie, Ian, 63(4)887--909
-
Mackie:2019:LNS, 63(4)887--909
-
Macnaughton, Alan R., 5(3)339--362
-
Macnaughton, Alan R., see Char, Bruce W.
-
Madden, Peter, 22(1)65--115
-
Madden:1999:RPO, 22(1)65--115
-
Madhusudan, P., 64(7)1523--1552
-
Madhusudan, P., see Neider, Daniel
-
Magaud, Nicolas, 29(3)225--252, 68(1)z--99999999
-
Magaud, Nicolas, see Bertot, Yves,
see Braun, David
-
Maggesi, Marco, 47(3)319--336, 49(3)409--426, 60(2)237--254,
67(3)z--99999999
-
Maggesi, Marco, see Ciolli, Gianni,
see Hirschowitz, André
-
Maggesi:2018:FMS, 60(2)237--254
-
Maggesi:2023:MGO, 67(3)z--99999999
-
Magka, Despoina, 47(4)427--450
-
Magka:2011:TED, 47(4)427--450
-
Mahajan, Meena, 65(1)125--154
-
Mahajan, Meena, see Beyersdorff, Olaf
-
Mahboubi, Assia, 62(2)281--300, 64(5)793--794
-
Mahboubi, Assia, see Avigad, Jeremy
-
Mahboubi:2019:FVA, 62(2)281--300
-
Maher, Michael J., 9(3)373--379, 23(1)83--104
-
Maher, Michael J., see Brodsky, Alexander,
see Lassez, Jean-Louis
-
Mahmoud, Mohamed Yousri, 63(4)967--1002
-
Mahmoud:2019:FMQ, 63(4)967--1002
-
Majercik, Stephen M., 27(3)251--296
-
Majercik, Stephen M., see Littman, Michael L.
-
Major, 65(8)1265--1298
-
Majumdar, A. K., 14(3)427--462
-
Majumdar, A. K., see Chakrabarti, I.
-
Makatchev, Maxim, 32(3)187--226
-
Makatchev:2004:ATP, 32(3)187--226
-
make, 6(4)465--489
-
Making, 66(4)541--564
-
Malecha, Gregory, 64(5)947--999
-
Malecha, Gregory, see Sozeau, Matthieu
-
MaLeS, 55(2)91--116
-
Malkis, Alexander, 52(3)275--329
-
Malkis:2014:AVS, 52(3)275--329
-
MALL, 64(7)1221--1245
-
Maly, Jan, 68(2)z--99999999
-
Maly, Jan, see Bernreiter, Michael
-
management, 9(2)217--230, 24(1)145--163, 65(2)321--356
-
Managing, 25(2)123--164
-
Manna, Zohar, 3(4)343--377
-
Manna:1987:HCB, 3(4)343--377
-
Manolios, Panagiotis, 31(2)107--127, 34(4)387--423, 37(1)93--116
-
Manolios:2003:PFA, 31(2)107--127
-
Manolios:2005:OAA, 34(4)387--423
-
Manolios:2006:FVB, 37(1)93--116
-
Mantel, Heiko, 32(2)121--166, 41(3)191--192
-
Mantel, Heiko, see Autexier, Serge,
see Kreitz, Christoph
-
Manual, 37(1)45--66
-
many, 3(2)113--200
-
Many-Sorted, 60(2)221--236
-
map, 7(2)231--256, 62(2)215--236, 64(4)689--697
-
Maple, 21(3)279--294
-
mapping, 6(2)211--212, 7(2)285--286
-
Maratea, Marco, 35(1)237--263, 36(4)z--z
-
Maratea, Marco, see Armando, Alessandro,
see Giunchiglia, Enrico
-
Marché, Claude, 34(4)z--z, see Contejean, Evelyne
-
Maréchal, Alexandre, 62(4)505--530,
see Boulmé, Sylvain
-
Marek, Victor W., 35(4)355--371
-
Marek, Victor W., see Boyer, Robert S.
-
Mari{\'c}, Filip, 43(1)81--119, 62(3)301--329, 65(1)31--73,
see Simi{\'c}, Danijela
-
Maric:2009:FIM, 43(1)81--119
-
Maric:2019:FFP, 62(3)301--329
-
Mark, 56(2)95--98, 56(2)99--112
-
Markert, Wendy J., 9(2)217--230
-
Markert, Wendy J., see Brown, Donald E.
-
Markov, 59(3)345--387
-
Marques-Silva, Joao, 63(3)695--722
-
Marques-Silva, Joao, see Cruz-Filipe, Lu{\'{\i}}s
-
Marques-Silva, João, 35(1)3--24, see Bhalla, Ateet
-
Marquis, Pierre, 37(4)231--260, 58(4)413--481
-
Marquis, Pierre, see Bailleux, Olivier,
see Lagniez, Jean-Marie
-
Marraro, Laura, 24(1)165--203
-
Marraro, Laura, see Massacci, Fabio
-
Marriott, K., 3(3)301--317
-
Marriott, K., see Lassez, J.-L.
-
Martelli, M., 2(2)155--170
-
Martelli, M., see Aquilano, C.
-
Martens, Bern, 7(3)337--358
-
Martens, Bern, see De Schreye, Danny
-
Martí-Oliet, Narciso, 60(4)421--463,
see Aguirre, Luis
-
Martin, Enrique, Martin-, 59(1)47--85
-
Martin, Ursula, 4(4)381--396
-
Martin-Dorel, Érik, 54(1)1--29, 57(3)187--217, 67(4)z--z
-
Martin-Dorel:2015:FVC, 54(1)1--29
-
Martin-Dorel:2016:PTB, 57(3)187--217
-
Martin-Dorel:2023:EFP, 67(4)z--z
-
Martin-Martin, Enrique, 59(1)47--85
-
Martin-Martin, Enrique, see Albert, Elvira
-
Martín-Mateos, F. J., 52(3)331--360,
see Hidalgo-Doblado, M. J.
-
Martín-Mateos, Francisco Jesús, 47(3)229--250
-
Martín-Mateos, Francisco-Jesús, 32(4)z--99999999,
37(1)67--92, see Ruiz-Reina, José-Luis
-
Martin-Mateos:2004:FVG, 32(4)z--99999999
-
Martin-Mateos:2011:PPF, 47(3)229--250
-
Martin:1988:UBR, 4(4)381--396
-
Martinelli, Fabio, 41(3)325--364
-
Martinelli, Fabio, see Gorrieri, Roberto
-
Martinho, Joana, 46(3)293--323
-
Martinho:2011:ECP, 46(3)293--323
-
Masaki, Nakamura, 37(3)205--229
-
Masaki, Nakamura, see Keiichirou, Kusakari
-
Mashevitzky, G., 29(2)171--182
-
Mashevitzky:2002:UTC, 29(2)171--182
-
Mason, Ian A., 9(3)309--354
-
Mason, Ian A., see Avron, Arnon
-
Massacci, Fabio, 24(1)165--203, 24(3)319--364, 36(1)5--37
-
Massacci, Fabio, see Bella, Giampaolo
-
Massacci:2000:LCS, 24(1)165--203
-
Massacci:2000:SST, 24(3)319--364
-
Massanes, Francesc, 51(3)281--324
-
Massanes, Francesc, see Creus, Carles
-
Masthoff, Judith, 39(4)431--470
-
Masthoff, Judith, see Stapleton, Gem
-
match, 2(1)75--88, 11(3)391--428
-
Match-Bounds, 34(4)365--385
-
matching, 3(4)379--381, 9(3)391--406, 14(2)317--323, 23(2)107--136,
28(1)35--51
-
Matentzoglu, Nicolas, 59(4)455--482, 60(4)385--419
-
Matentzoglu, Nicolas, see Parsia, Bijan
-
Matentzoglu:2018:ORS, 60(4)385--419
-
Mateos, F. J., Martín-, 52(3)331--360
-
Mateos, Francisco Jesús, Martín-, 47(3)229--250
-
Mateos, Francisco-Jesús, Martín-, 32(4)z--99999999,
37(1)67--92
-
Mathematica, 66(2)215--238
-
mathematical, 11(2)213--248, 16(1)1--1, 29(1)91--106, 35(1)265--293,
35(4)429--431, 36(4)311--344, 50(2)191--202, 52(2)123--153,
61(1)9--32
-
mathematician, 50(2)119--121
-
mathematics, 21(1)69--97, 26(3)269--289, 29(3)183--188, 32(3)227--258,
37(4)277--322, 50(2)119--121, 52(2)191--213
-
Mathlib, 67(2)z--99999999
-
MathsTiles, 39(2)181--218
-
Matichuk, Daniel, 56(3)261--282
-
Matichuk:2016:EPM, 56(3)261--282
-
Matijasevich, 7(3)439--446
-
Matita, 39(2)109--139, 49(3)427--451
-
matrix, 7(4)475--487, 8(1)77--90, 32(2)121--166, 40(2)195--220,
60(3)365--383
-
Matroid-Based, 68(1)z--99999999
-
Matsuda, Noboru, 32(1)3--33
-
Matsuda:2004:GGT, 32(1)3--33
-
Matthes, Ralph, 63(2)285--318
-
Matthes, Ralph, see Ahrens, Benedikt
-
Matthews, John, 40(4)245--269
-
Matthews, John, see Ray, Sandip
-
Matuszewski, Roman, 61(1)9--32
-
Matuszewski, Roman, see Bancerek, Grzegorz
-
Mauceri, John G., 1(4)357--390
-
Mauceri:1985:RSE, 1(4)357--390
-
Maude, 60(4)421--463
-
Maury, Olivier, 45(4)415--435
-
Maury, Olivier, see Bousquet, Lydie du
-
Max--Flow, 66(4)585--610
-
MAX--SAT, 24(1)205--223
-
Mayer, Marta Cialdea, 51(2)197--239, 53(3)305--315, 55(2)185--185,
64(1)135--165
-
Mayer, Marta Cialdea, see Cerrito, Serenella
-
Mayer:2014:EDP, 53(3)305--315, 55(2)185--185
-
Mayer:2015:EED, 53(3)305--315, 55(2)185--185
-
Mayer:2020:PDN, 64(1)135--165
-
Mayero, Micaela, 50(4)423--456, 54(1)1--29, 66(2)175--213
-
Mayero, Micaela, see Boldo, Sylvie,
see Martin-Dorel, Érik
-
Mayr, K., 13(3)297--337
-
Mayr, K., see Letz, R.
-
Mayr, Klaus, 18(2)237--246
-
Mayr, Klaus, see Moser, Max
-
McAloon, K. W., 9(3)381--389
-
McAloon, K. W., see Kuper, G. M.
-
McBride, Conor, 49(2)141--159
-
McBride, Conor, see Benton, Nick
-
McCasland, Roy, 40(2)221--243
-
McCasland, Roy, see Sorge, Volker
-
McCune, 9(2)145--146
-
McCune, William, 1(3)231--261, 2(3)287--327, 3(1)91--107, 9(2)147--167,
18(2)211--220, 29(1)1--16
-
McCune, William, see Boyer, Robert
-
Mccune, William, 19(3)263--276
-
McCune, William W., 5(2)239--255, 10(1)1--13, 11(3)317--331
-
McCune, William W., see Lusk, Ewing L.,
see Wick, Cynthia A.
-
Mccune, William W., 9(1)1--24
-
McCune:1985:ESP, 1(3)231--261
-
McCune:1987:CSA, 3(1)91--107
-
Mccune:1992:ADN, 9(1)1--24
-
McCune:1992:EDT, 9(2)147--167
-
McCune:1993:SAG, 10(1)1--13
-
McCune:1997:OCC, 18(2)211--220
-
Mccune:1997:SRP, 19(3)263--276
-
McCune:2002:SSA, 29(1)1--16
-
McKinna, James, 23(3)373--409
-
McKinna:1999:SLC, 23(3)373--409
-
McNaughton, Robert, 26(4)409--431
-
McNaughton:2001:STS, 26(4)409--431
-
McRobbie, Michael A., 7(4)447--451, 7(4)635--637
-
McRobbie, Michael A., see Thistlewaite, Paul B.
-
McRobbie:1991:ARN, 7(4)447--451
-
MDP, 64(7)1483--1522
-
Meadows, Catherine, 48(2)133--134
-
Meadows, Catherine, see Comon-Lundh, Hubert
-
mean, 2(1)43--62, 16(1)181--222, 30(1)33--58, 61(1)33--71
-
measure, 35(4)355--371, 67(3)z--99999999
-
Measuring, 67(1)z--99999999
-
mechanical, 1(4)407--434, 2(3)219--220, 2(3)221--252, 3(3)291--299,
4(2)173--190, 4(3)237--267, 5(1)67--91, 6(4)403--417, 7(2)171--191,
8(1)3--21, 15(1)69--93, 25(2)83--121, 30(2)153--177, 40(4)245--269
-
mechanically, 5(4)461--492, 5(4)493--518, 34(4)z--z
-
mechanically-checked, 7(1)109--158
-
mechanics, 7(2)171--191, 10(2)161--172, 10(2)173--189
-
Mechanisation, 65(2)205--256
-
Mechanised, 55(1)1--37
-
Mechanising, 61(1)243--332, 67(3)z--99999999
-
mechanism, 1(3)263--283
-
Mechanization, 23(3)445--498, 34(4)387--423, 40(1)61--85
-
Mechanized, 26(2)161--203, 26(3)269--289, 40(4)271--292, 43(3)263--288,
49(3)453--491, 50(4)423--456, 51(4)357--370, 62(1)1--68,
63(3)625--665, 66(4)585--610
-
Mechanizing, 17(3)291--323, 29(3)183--188, 37(3)155--203, 43(1)1--18,
52(2)215--239, 55(3)211--221, 56(3)309--341
-
Media, 61(1)113--139
-
Meeting, 6(2)213--232
-
Meets, 63(3)597--623, 64(6)1001--1050, 68(2)z--z
-
Mehlhorn, Kurt, 52(3)241--273
-
Mehlhorn, Kurt, see Alkassar, Eyad
-
Meier, Andreas, 35(1)201--235, 40(2)221--243
-
Meier, Andreas, see Sorge, Volker
-
Meier:2005:ASS, 35(1)201--235
-
Melis, Erica, 20(3)255--282, 22(2)117--147, 33(1)51--88
-
Melis, Erica, see Zimmer, Jürgen
-
Melis:1998:HBC, 20(3)255--282
-
Melis:1999:AIT, 22(2)117--147
-
Mellouli, Taäieb, 12(1)47--87
-
Mellouli:1994:TTS, 12(1)47--87
-
Melquiond, Guillaume, 50(4)423--456, 54(2)135--163, 57(3)187--217,
62(2)281--300, 67(4)z--z
-
Melquiond, Guillaume, see Boldo, Sylvie,
see Mahboubi, Assia,
see Martin-Dorel, Érik
-
Membership, 34(1)49--72
-
Memoriam, 55(3)187--190
-
Memory, 41(1)1--31, 42(2)189--227, 42(2)229--264, 42(2)265--300,
56(2)95--98, 57(4)319--387, 58(1)33--65, 62(4)433--480,
64(7)1307--1330, 64(8)1685--1729, 65(4)569--598, 66(1)141--171,
66(4)437--438
-
Memory-Aware, 63(2)369--392
-
Mendler, Michael, 44(3)207--243
-
Mendler:2010:TCD, 44(3)207--243
-
Meng, Jia, 40(1)35--60
-
Meng:2008:THO, 40(1)35--60
-
Mengshoel, Ole J., 46(2)103--160
-
Mengshoel:2011:PSL, 46(2)103--160
-
Ménissier-Morain, Valérie, 23(3)319--346,
see Dubois, Catherine
-
Mercier, Antoine, 48(2)197--217
-
Mercier, Antoine, see Kremer, Steve
-
Meredith, 27(2)175--199
-
Mergesort, 51(4)357--370
-
Merino, Pedro, 42(2)229--264
-
Merino, Pedro, see Gallardo, María del Mar
-
Méry, Daniel, 51(1)3--26, see Galmiche, Didier
-
Merz, Stephan, 41(3)191--192, 62(2)169--170
-
Merz, Stephan, see Autexier, Serge,
see Blanchette, Jasmin Christian
-
Meseguer, José, 64(8)1611--1662, see Lucas, Salvador
-
Message, 65(2)155--155
-
Met, 66(4)565--574
-
meta-interpretation, 13(2)189--210
-
Meta-Level, 35(4)429--431
-
Meta-level, 4(1)15--27
-
MetaCoq, 64(5)947--999
-
Metalanguages, 27(1)1--2
-
Metalogic, 67(1)z--z
-
Metalogical, 22(2)171--221
-
metamathematics, 1(4)407--434
-
Metatheory, 49(3)427--451, 49(3)453--491, 52(2)215--239, 63(3)625--665,
63(4)967--1002
-
METEOR, 13(3)283--296
-
method, 3(3)285--289, 3(3)291--299, 4(3)237--267, 5(1)1--23,
5(4)533--540, 6(3)287--297, 10(2)161--172, 10(2)173--189,
11(1)1--22, 11(2)269--288, 14(1)3--42, 15(3)317--337, 18(1)5--24,
21(1)1--21, 24(1)277--296, 24(3)297--317, 28(4)371--396,
33(3)221--249, 38(1)57--78, 40(2)133--177, 46(3)225--259,
48(4)489--532, 50(2)217--228, 52(2)191--213, 56(3)261--282,
58(1)149--179, 59(3)331--344, 62(1)93--126, 63(2)323--345,
63(4)1055--1075, 64(1)97--134, 64(2)197--251, 67(1)z--99999999,
68(1)z--z
-
Methodological, 29(2)107--124
-
methodology, 15(1)95--165, 63(2)489--515
-
MetiTarski, 44(3)175--205
-
Metric, 60(2)237--254, 64(8)1553--1610
-
Meyer, Robert K., 7(4)597--630
-
Meyer, Roland, 64(7)1419--1444
-
Meyer, Roland, see Chini, Peter
-
Meyer:1991:ILF, 7(4)597--630
-
Meyers, Joshua, 66(4)805--844
-
Meyers:2022:FLK, 66(4)805--844
-
Mhalla, Mehdi, 68(1)z--99999999
-
Mhalla, Mehdi, see Echenim, Mnacho
-
Michael, Neophytos, 31(3)231--260
-
Michael, Neophytos, see Appel, Andrew W.
-
Michaelis, Julius, 61(1)191--242
-
Michaelis, Julius, see Diekmann, Cornelius
-
Michaylov, Spiro, 8(2)153--181, 9(2)231--260
-
Michaylov, Spiro, see Bose, Soumitra,
see Heintze, Nevin
-
Microkernel, 42(2)349--388
-
Microprocessor, 5(4)429--460
-
Micskei, Zoltán, 64(6)1051--1091, see Hajdu, Ákos
-
Miculan, Marino, 39(1)1--47
-
Miculan, Marino, see Ciaffaglione, Alberto
-
Middeldorp, Aart, 43(2)173--201, 47(4)481--501, 50(3)279--315,
50(3)317--354, 54(2)101--133, 58(3)311--312, 67(2)z--z
-
Middeldorp, Aart, see Felty, Amy,
see Hirokawa, Nao, \see{Winkler, Sarah,
see Zankl, Harald
-
Middeldorp:2023:FOT, 67(2)z--z
-
Middle-out, 16(1)113--145
-
Miglioli, Pierangelo, 13(3)361--373
-
Miglioli:1994:IRS, 13(3)361--373
-
Milawa, 55(2)117--183
-
Milestone, 27(2)89--95, 61(1)1--8
-
Mili{\v{c}}i{\'c}, Maja, 38(1)227--259, see Lutz, Carsten
-
Miller, Alice, 41(3)z--z
-
Miller, Alice, see Donaldson, Alastair F.
-
Miller, Dale, 45(2)157--188, 49(2)241--273, 59(3)287--330,
63(3)625--665, 63(4)857--885
-
Miller, Dale, see Chihani, Zakaria,
see Gacek, Andrew, \see{Heath, Quentin,
see Nigam, Vivek
-
Miller, Michael, 3(3)329--338
-
Miller:1987:PSU, 3(3)329--338
-
Miller:2019:MMR, 63(3)625--665
-
Mills, Patrick, 24(1)205--223
-
Mills:2000:GLS, 24(1)205--223
-
Milner, Damas-, 23(3)319--346
-
Min--Cut, 66(4)585--610
-
Minett, James W., 39(4)z--z
-
Minett, James W., see Brooks, Daniel R.
-
minimal, 8(1)39--44, 9(1)99--139, 10(2)237--263, 25(1)35--82, 40(1)1--33,
42(1)35--76, 51(2)129--149
-
minimal, domain-, 10(2)237--263
-
Minimality, 25(1)1--34
-
minimization, 4(1)1--13, 13(3)375--390, 57(3)245--280
-
miniscoped, 13(3)391--407
-
Minker, Jack, 5(3)293--307, 11(2)249--267, 13(1)117--143, 17(2)171--197
-
Minker, Jack, see Fernández, José Alberto,
see Grant, John, \see{Rajasekar, Arcot,
see Yahya, Adnan
-
Minkowski, 66(4)953--988, 67(1)z--99999999
-
minor, 64(5)795--825
-
Minteh, Cheng, 21(1)1--21
-
Minteh, Cheng, see Hongbo, Li
-
Mints, Grigori, 7(4)587--596
-
Mints:1991:CDC, 7(4)587--596
-
Mirrored, 52(1)1--29
-
Missing, 27(2)201--225
-
Mitchell, John C., 30(3)271--321
-
Mitchell, John C., see Freund, Stephen N.
-
Mitter, Sanjoy K., 29(1)91--106
-
Mitter, Sanjoy K., see Borkar, Vivek S.
-
Mitterwallner, Fabian, 67(2)z--z
-
Mitterwallner, Fabian, see Middeldorp, Aart
-
mixed, 7(3)337--358
-
MIZAR, 29(3)189--224
-
MizAR, 55(3)245--256
-
Mizar, 29(3)389--411, 39(2)141--160, 50(2)123--133, 50(2)147--160,
50(2)161--172, 50(2)191--202, 50(2)203--210, 50(2)229--241,
55(3)191--198, 55(3)211--221, 55(3)245--256, 55(3)257--268,
55(3)285--294, 61(1)9--32, 63(3)557--595
-
ML, 23(3)319--346
-
Mobile, 31(3)335--370
-
modal, 4(2)191--213, 6(1)1--38, 7(4)489--510, 12(1)103--129,
22(4)379--396, 24(3)297--317, 24(3)319--364, 28(2)143--171,
28(2)173--204, 28(2)205--232, 28(4)397--415, 66(1)1--41,
66(4)639--666, 66(4)1099--1099
-
Modality, 14(1)43--91, 51(2)197--239
-
Modalized, 49(4)551--582
-
model, 4(1)1--13, 6(4)389--402, 7(2)271--284, 7(3)359--368, 7(4)475--487,
7(4)597--630, 13(1)117--143, 13(2)189--210, 13(3)283--296,
13(3)339--359, 17(2)171--197, 19(1)117--141, 19(2)205--262,
22(4)433--483, 23(2)137--193, 23(3)265--298, 25(1)35--82,
27(4)391--421, 28(2)205--232, 30(3)399--444, 33(2)133--170,
36(3)177--212, 39(1)49--75, 41(1)1--31, 41(3)219--249,
41(3)325--364, 41(3)365--398, 42(2)189--227, 42(2)229--264,
45(4)397--414, 46(2)205--221, 47(2)191--227, 48(1)1--42,
56(2)113--141, 57(4)319--387, 58(4)413--481, 60(1)3--21,
60(4)465--501, 61(1)243--332, 62(4)433--480, 63(1)1--51,
63(2)393--413, 63(2)415--438, 63(4)857--885, 64(2)197--251,
64(6)1051--1091, 64(7)1307--1330, 64(7)1445--1481, 65(1)31--73,
65(2)157--203, 65(4)569--598, 65(6)727--773, 65(7)941--969,
66(1)141--171, 66(3)357--407, 66(4)861--904, 66(4)1031--1063
-
model-based, 12(2)157--208, 20(1)81--105
-
Model-Checking, 63(4)1077--1101
-
Model-Theoretic, 22(3)263--309, 33(3)221--249
-
Modeling, 44(1)z--99999999
-
Models, Counter-, 51(2)129--149
-
Modern, 43(1)81--119, 44(3)277--301
-
Modes, 56(1)49--94
-
modified, 12(1)47--87
-
Modifying, 30(1)33--58
-
modifying, Self-, 56(3)283--308
-
Modular, 32(4)z--99999999
-
Modularity, 60(4)385--419
-
module, 3(4)437--451, 5(2)141--165, 52(2)123--153, 66(1)43--91
-
module, -, 3(4)437--451, 5(2)141--165
-
Modulo, 31(1)33--72, 33(1)1--28, 33(3)271--317, 35(4)373--390,
48(1)107--131, 48(2)135--158, 48(3)293--362, 51(3)325--356,
56(2)143--154, 60(4)421--463, 64(3)423--460, 64(6)1001--1050,
65(7)1001--1025, 65(7)1071--1096, 67(3)z--99999999
-
Moffat, Nick, 41(3)365--398
-
Moffat:2008:ACS, 41(3)365--398
-
Moghaddam, G. I., 64(4)689--697
-
Moghaddam:2020:ARP, 64(4)689--697
-
Molfino, Maria Teresa, 20(1)167--190
-
Molfino, Maria Teresa, see Forcheri, Paola
-
Möller, Ralf, 41(2)99--142, see Haarslev, Volker
-
Momigliano, Alberto, 48(1)43--105, 55(4)307--372
-
Momigliano, Alberto, see Felty, Amy P.,
see Felty, Amy
-
Monadic, 64(3)611--640, 64(7)1287--1306
-
Monads, 63(2)285--318
-
Monk, Leonard G., 4(4)445--462
-
Monk:1988:IRU, 4(4)445--462
-
Monniaux, David, 53(3)271--304
-
Monniaux, David, see Braibant, Thomas
-
Monnier, Stefan, 31(3)191--229
-
Monnier, Stefan, see Hamid, Nadeem A.
-
Monotone, 33(3)251--269
-
Monotonic, Non-, 50(1)51--98
-
Monotonicity, 47(4)369--398
-
Monroy, Raúl, 43(1)53--80
-
Monroy:2009:PEE, 43(1)53--80
-
Montanari, A., 15(3)317--337
-
Montanari, A., see D'Agostino, G.
-
Montanari, Angelo, 28(4)397--415, 38(1)173--199, 68(2)z--z
-
Montanari, Angelo, see Bresolin, Davide,
see Geatti, Luca
-
Montanari:2002:ATT, 28(4)397--415
-
Montesi, Fabrizio, 67(2)z--99999999
-
Montesi, Fabrizio, see Cruz-Filipe, Luís
-
Montoya, Antonio, Flores-, 59(1)47--85
-
Moore, Boyer-, 1(2)121--139, 9(3)355--372, 15(2)217--235,
16(1)181--222
-
Moore, J. Strother, 1(1)5--48, 2(3)219--220, 4(2)117--172, 5(4)409--410,
5(4)411--428, 5(4)461--492, 12(1)33--45, 26(2)161--203,
31(2)107--127, 40(4)245--269, 40(4)293--306, 64(3)391--422
-
Moore, J. Strother, see Bevier, William R.,
see Boyer, Robert S., \see{Brock, Bishop,
see Kaufmann, Matt,
see Manolios, Panagiotis,
see Ray, Sandip, \see{Wos, L.
-
Moore:1986:EPL, 2(3)219--220, 2(3)221--252
-
Moore:1989:MVL, 5(4)461--492
-
Moore:1989:SV, 5(4)409--410
-
Moore:1994:IOA, 12(1)33--45
-
Morain, Valérie, Ménissier-, 23(3)319--346
-
Morawska, Barbara, 39(1)77--106
-
Morawska:2007:GUE, 39(1)77--106
-
more, 3(2)113--200, 7(1)105--107, 7(2)285--286, 26(1)51--66, 29(1)59--66,
44(1)z--99999999
-
Morley, 60(4)503--526
-
Morrisett, Greg, 60(3)257--277
-
Morrisett, Greg, see Tan, Gang
-
Mörtberg, Anders, 63(2)285--318, see Ahrens, Benedikt
-
Moscato, Ugo, 13(3)361--373
-
Moscato, Ugo, see Miglioli, Pierangelo
-
Moser, Max, 18(2)237--246
-
Moser:1997:SSC, 18(2)237--246
-
Moskal, Micha{\l}, 44(1)z--z, see B{\"o}hme, Sascha
-
Most, 46(2)103--160, 62(3)301--329
-
Mostly, 62(2)193--213
-
Motik, Boris, 39(3)351--384, 40(2)89--116, 40(4)357--357, 53(3)245--269
-
Motik, Boris, see Glimm, Birte,
see Hustadt, Ullrich,
see Kazakov, Yevgeny
-
Motivated, 19(3)319--346
-
Motivation, 33(3)319--339
-
Moufang, 6(1)79--109, 17(2)215--257
-
Moura, Leonardo de, 35(4)373--390, 44(4)401--424, 47(2)161--189,
50(3)243--277, 51(1)79--108, 64(3)511--511
-
Moura, Leonardo de, see Barrett, Clark,
see Bonacina, Maria Paola,
see Jovanovi{\'c}, Dejan,
see Piskac, Ruzica
-
Moves, 40(4)307--326
-
Moving, 60(1)85--105
-
MPTP, 33(3)319--339, 37(1)21--43
-
MSP--Entailment, 45(1)39--59
-
Muller, Serge, 21(2)233--275
-
Muller, Serge, see Chazarain, Jacques
-
Multi-Attacker, 46(3)353--388
-
Multi-Completion, 50(3)317--354
-
Multi-cost, 64(7)1483--1522
-
Multicast, 41(3)325--364
-
Multilevel, 7(2)193--230, 7(2)231--256, 7(2)257--270
-
Multiparty, 36(1)39--83
-
Multiple, 23(1)25--42, 29(3)225--252, 62(2)171--192
-
Multiple-Valued, 21(1)39--67
-
Multiplicative, 32(2)121--166, 33(3)251--269, 63(4)911--939
-
multisets, 2(1)75--88
-
Multithreaded, 61(1)243--332
-
Munch, Klaus Heje, 4(4)425--444
-
Munch:1988:NRR, 4(4)425--444
-
Munive, Jonathan Julián, Huerta y, 66(1)93--139
-
Muñoz, César, 51(2)151--196, 54(4)285--326, 63(2)319--321,
see Ayala-Rincón, Mauricio,
see Narkawicz, Anthony
-
Muñoz, César A., 60(1)1--2
-
Munoz:2013:FBP, 51(2)151--196
-
Munoz:2018:SEP, 60(1)1--2
-
Murray, Neil V., 18(1)47--83, 18(3)337--356, 21(1)39--67, 38(1)155--172
-
Murray, Neil V., see Lu, James J.,
see Ramesh, Anavai
-
Murray, Toby, 56(3)261--282
-
Murray, Toby, see Matichuk, Daniel
-
Murray:2007:EQP, 38(1)155--172
-
Mutation, 63(4)1103--1134
-
Mutually, 19(1)1--29
-
Mycielski, Jan, 50(2)211--216
-
Mycielski:2013:FT, 50(2)211--216
-
Myers, Dale, 20(3)215--253
-
Myers, Dale, see Huang, Guoxiang
-
Myhill--Nerode, 52(4)451--480
-
Myreen, Magnus O., 55(2)117--183, 56(3)221--259, 63(2)463--488,
64(7)1287--1306
-
Myreen, Magnus O., see Abrahamsson, Oskar,
see Davis, Jared,
see Ericsson, Adam Sandberg,
see Kumar, Ramana