Index file section M for tocl.bib
Last update: Thu Oct 19 02:13:38 MDT 2023
Return to index directory
M
-
M, 19(3)19--19, 19(4)24--24
-
m, 12(1)4--4, 12(1)5--5
-
machine, 1(1)77--111, 2(2)216--254, 4(4)578--651, 5(3)403--435,
8(3)15--15, 8(3)16--16, 9(1)6--6, 9(3)16--16, 9(3)19--19,
12(2)16--16, 13(2)18--18, 14(4)29--29, 16(3)27--27, 17(3)16--16,
18(3)18--18, 18(3)25--25, 19(2)7--7, 19(3)21--21, 21(2)12--12,
21(3)23--23
-
machine-checked, 21(1)2--2
-
machine-independent, 18(3)20--20
-
machinery, 21(1)6--6
-
Macpherson, H. Dugald, 14(4)30--30
-
Macpherson, H. Dugald, see Bodirsky, Manuel
-
macro-level, 20(1)5--5
-
macro-levels, 20(1)5--5
-
Madali{\'n}ska-Bugaj, Ewa, 13(4)32--32
-
Madalinska-Bugaj:2012:GQE, 13(4)32--32
-
made, 9(1)2--2, 10(2)13--13, 13(4)29--29, 16(4)33--33, 17(1)6--6,
19(1)1--1, 19(2)9--9, 24(4)31--31
-
Madelaine, Florent, 13(1)5--5, 24(1)5--5
-
Madelaine, Florent, see Carvalho, Catarina
-
Madelaine:2012:CPF, 13(1)5--5
-
Madhusudan, P., 19(2)10--10
-
Madhusudan, P., see Neider, Daniel
-
magic, 16(2)15--15
-
Magidor, 10(3)18--18
-
Magniez, Frédéric, 8(4)20--20,
see Laplante, Sophie
-
magnitude, 8(4)23--23, 18(2)13--13
-
Mahajan, Meena, 19(1)1--1, 24(1)8--8, 24(2)10--10
-
Mahajan, Meena, see Beyersdorff, Olaf,
see Filmus, Yuval
-
Maher, Michael, 12(1)6--6
-
Maher, Michael, see Billington, David
-
Maher, Michael J., 2(2)255--287
-
Maher, Michael J., see Antoniou, Grigoris
-
Mahmood, Yasir, 24(3)26--26
-
Mahmood:2023:PCL, 24(3)26--26
-
main, 1(1)33--59, 2(2)255--287, 8(3)16--16, 8(4)20--20, 10(1)5--5,
10(2)13--13, 10(3)20--20, 11(3)16--16, 11(3)20--20, 12(1)1--1,
12(2)12--12, 12(3)19--19, 13(1)8--8, 13(3)21--21, 13(4)33--33,
14(1)7--7, 14(3)19--19, 14(3)20--20, 15(1)6--6, 15(2)15--15,
15(2)16--16, 15(2)17--17, 15(4)35--35, 16(1)2--2, 16(1)7--7,
16(1)9--9, 17(1)7--7, 17(2)10--10, 17(2)14--14, 17(4)24--24,
18(1)5--5, 18(2)12--12, 18(3)21--21, 18(3)23--23, 19(1)1--1,
19(1)2--2, 19(2)7--7, 19(3)23--23, 20(2)11--11, 20(2)12--12,
21(1)1--1, 21(1)5--5, 22(2)12--12, 22(3)16--16, 22(3)17--17
-
mainly, 9(4)27--27, 14(4)33--33, 15(3)23--23
-
maintain, 1(1)33--59, 14(2)16--16
-
maintainable, 13(3)19--19
-
maintained, 13(3)19--19
-
maintaining, 15(4)34--34
-
maintenance, 16(4)31--31
-
maintenance, Reason-, 21(1)3--3
-
maintenance, reason-, 21(1)3--3
-
major, 1(1)162--170, 15(3)21--21, 16(4)28--28, 16(4)31--31, 17(2)14--14,
17(3)18--18, 24(3)26--26
-
majority, 10(1)7--7, 10(2)13--13, 23(1)5--5
-
Majumdar, Rupak, 6(1)1--32
-
Majumdar, Rupak, see Henzinger, Thomas A.
-
make, 1(1)33--59, 2(3)340--387, 10(3)17--17, 11(3)19--19, 12(1)7--7,
12(2)16--16, 13(4)28--28, 14(1)2--2, 14(1)7--7, 14(2)10--10,
15(2)14--14, 15(3)18--18, 15(4)27--27, 15(4)35--35, 16(2)16--16,
16(3)27--27, 17(1)5--5, 17(1)7--7, 17(2)14--14, 18(1)1--1,
18(2)10--10, 18(2)13--13, 18(3)18--18, 18(4)30--30, 18(4)31--31,
19(1)5--5, 19(2)7--7, 19(2)14--14, 19(3)22--22, 19(4)24--24,
20(2)7--7, 20(2)12--12, 20(3)13--13, 20(4)21--21, 23(3)20--20
-
making, 1(2)208--246, 6(1)33--60, 8(3)14--14, 9(1)7--7, 9(4)27--27,
15(4)35--35, 19(2)14--14, 24(3)20--20
-
making, decision-, 15(4)30--30
-
Makino, 13(3)23--23
-
Makino, Kazuhisa, 13(3)23--23
-
Makino:2012:DII, 13(3)23--23
-
Makinson, 13(4)30--30
-
MALL, 13(1)2--2, 19(4)25--25
-
Mamino, Marcello, 23(1)7--7
-
Mamino, Marcello, see Bodirsky, Manuel
-
Mamouras, Konstantinos, 17(2)13--13
-
Mamouras:2016:HLD, 17(2)13--13
-
manage, 13(2)18--18
-
management, 1(2)208--246, 14(4)33--33, 18(4)27--27
-
managers, 14(2)10--10
-
Managing, 18(4)27--27
-
Mancini, Toni, 10(3)17--17
-
Mancini, Toni, see Bordeaux, Lucas
-
Manes, 15(1)3--3
-
manifest, 13(4)28--28
-
manipulate, 19(2)13--13
-
manipulating, 12(1)2--2, 20(1)6--6
-
manipulation, 1(1)60--76, 2(1)93--134, 16(4)28--28
-
Manna, Marco, 20(2)12--12
-
Manna, Marco, see Leone, Nicola
-
manner, 11(3)16--16, 14(3)17--17
-
Mansutti, Alessio, 22(2)14--14, 24(2)12--12
-
Mansutti, Alessio, see Bednarczyk, Bartosz,
see Demri, Stéphane
-
manual, 15(4)31--31
-
manually, 17(2)9--9
-
many, 1(2)175--207, 1(2)247--284, 2(1)57--92, 2(1)135--153, 2(2)182--215,
7(2)261--268, 8(4)20--20, 9(3)18--18, 10(1)3--3, 10(1)4--4,
10(3)20--20, 11(3)18--18, 11(4)26--26, 11(4)27--27, 12(2)14--14,
12(2)15--15, 12(4)25--25, 12(4)26--26, 13(1)6--6, 13(2)15--15,
14(1)2--2, 14(1)4--4, 14(2)10--10, 14(3)18--18, 14(3)19--19,
14(4)27--27, 14(4)29--29, 14(4)30--30, 14(4)33--33, 15(1)2--2,
15(2)16--16, 15(3)18--18, 15(3)24--24, 15(4)26--26, 15(4)30--30,
15(4)31--31, 16(1)3--3, 16(1)6--6, 16(3)25--25, 16(3)27--27,
16(4)33--33, 16(4)34--34, 17(1)1--1, 17(1)5--5, 17(2)12--12,
17(3)15--15, 18(2)12--12, 18(2)16--16, 18(3)21--21, 18(3)23--23,
19(1)2--2, 19(2)7--7, 19(2)13--13, 19(3)22--22, 20(1)6--6, 20(2)7--7,
20(3)15--15, 20(3)18--18, 20(4)20--20, 21(1)1--1, 21(2)16--16,
22(1)1--1, 23(3)15--15, 24(4)30--30
-
many, logarithmically-, 15(1)2--2
-
many-one, 18(2)11--11
-
many-sorted, 16(2)14--14
-
many-valued, 2(3)289--339
-
Maoz, 17(2)14--14
-
map, 8(4)20--20, 13(4)30--30, 16(1)1--1, 16(1)6--6, 18(3)25--25,
19(3)21--21
-
Map-Reduce, 19(2)14--14
-
map-reduce, 19(2)14--14
-
mapped, 13(4)30--30
-
mapping, 9(2)13--13, 12(3)18--18, 18(4)28--28, 21(1)6--6
-
mapping-restricted, 18(4)28--28
-
Marc, Jean-, 15(3)21--21
-
Marchioni, Enrico, 16(4)33--33
-
Marchioni:2015:LGL, 16(4)33--33
-
Marek, Victor, 2(4)623--654
-
Marek, Victor, see Denecker, Marc
-
Marion, Jean-Yves, 10(4)23--23, 10(4)27--27, 13(2)18--18
-
Marion, Jean-Yves, see Baillot, Patrick,
see Gaboardi, Marco
-
Marion:2009:SIS, 10(4)27--27
-
marketing, 14(2)10--10
-
marketplace, 19(4)28--28
-
markets, 10(1)1--1
-
Markey, Nicolas, 24(3)21--21
-
Markey, Nicolas, see Bouyer, Patricia
-
Markov, 1(1)162--170, 9(1)5--5, 12(1)1--1, 13(2)12--12, 14(4)33--33,
15(3)24--24, 16(1)4--4, 16(2)11--11, 18(2)12--12, 20(4)19--19,
21(4)32--32
-
Markovian, 13(2)13--13
-
Markovi{\'c}, Petar, 18(1)2--2, 23(3)14--14,
see Dapi{\'c}, Petar,
see Larose, Benoît
-
markups, 8(4)24--24
-
Marquardt, Marcel, 13(3)19--19
-
Marquardt, Marcel, see Gelade, Wouter
-
Marquis, Pierre, 14(3)24--24
-
Marquis, Pierre, see Herzig, Andreas
-
marriage, 4(1)1--32
-
Martin, Barnaby, 13(1)5--5, 18(1)2--2, 23(3)14--14, 24(1)5--5
-
Martin, Barnaby, see Carvalho, Catarina,
see Dapi{\'c}, Petar,
see Larose, Benoît,
see Madelaine, Florent
-
Martin, Enrique, Martin-, 17(2)11--11
-
Martin, Ursula, 11(1)7--7
-
Martin, Ursula, see Arthan, Rob
-
Martin-Löf, 13(3)24--24, 16(2)18--18, 19(2)15--15, 21(3)25--25
-
Martin-L{\``o}f, 13(1)3--3
-
Martin-Martin, Enrique, 17(2)11--11
-
Martin-Martin, Enrique, see Albert, Elvira
-
Martinez, Maria Vanina, 23(1)4--4
-
Martinez, Maria Vanina, see Gallo, Fabio R.
-
Martini, Simone, 7(2)219--260, 11(4)21--21, 22(3)19--19
-
Martini, Simone, see Coppola, Paolo,
see Kaminski, Michael
-
Martini:2021:SLN, 22(3)19--19
-
Marx, 16(1)9--9, 17(2)14--14
-
Masini, Andrea, 10(2)12--12, 22(3)19--19
-
Masini, Andrea, see Guerrini, Stefano,
see Martini, Simone
-
Massacci, Fabio, 2(4)542--580
-
Massacci, Fabio, see Aiello, Luigia Carlucci
-
massive, 15(1)6--6, 19(2)14--14
-
master, 18(4)31--31
-
Mastroeni, Isabella, 18(1)7--7
-
Mastroeni:2017:APS, 18(1)7--7
-
Masud, Abu Naser, 14(3)22--22
-
Masud, Abu Naser, see Albert, Elvira
-
match, 13(4)30--30, 16(3)20--20, 17(2)8--8, 24(3)23--23
-
matching, 10(4)27--27, 12(4)26--26, 13(4)29--29, 16(2)13--13, 17(2)8--8
-
material, 8(3)15--15
-
materialize, 9(1)6--6
-
Mateus, P., 16(1)4--4
-
Mateus, P., see Biscaia, M.
-
Matheja, Christoph, 24(1)1--1
-
Matheja:2023:DPG, 24(1)1--1
-
mathematical, 1(1)33--59, 1(1)112--130, 1(2)175--207, 1(2)247--284,
1(2)285--320, 2(1)12--56, 2(1)57--92, 2(1)93--134, 2(1)135--153,
2(2)155--181, 2(2)182--215, 2(2)216--254, 2(2)255--287,
2(3)340--387, 2(3)388--407, 9(2)14--14, 14(4)26--26, 17(3)22--22,
17(4)29--29, 20(4)24--24, 23(2)13--13
-
mathematically, 17(3)22--22
-
mathematics, 1(1)162--170, 9(2)14--14, 11(2)11--11, 15(3)23--23,
17(4)29--29, 19(3)19--19
-
Mathiesen, Erik A., 11(1)7--7
-
Mathiesen, Erik A., see Arthan, Rob
-
\mathord, 23(1)2--2
-
\mathrmH, 23(3)14--14
-
\mathrmQCSP\mathrmH, 23(3)14--14
-
MathSAT, 16(2)12--12
-
\\mathsf, 24(2)12--12
-
matrices, mwp-, 10(4)28--28
-
matrix, 23(1)6--6
-
matrix, mwp-, 10(4)28--28
-
matter, 15(2)16--16, 15(4)34--34, 16(3)25--25, 20(1)4--4, 21(1)2--2
-
mature, 14(4)26--26
-
Maubert, Bastien, 19(3)23--23, 22(1)5--5, 22(1)7--7, 24(3)21--21
-
Maubert, Bastien, see Berthon, Raphaël,
see Bouyer, Patricia, \see{Dima, Catalin
-
MAV1, 20(4)22--22
-
Max-SMT, 20(4)25--25
-
Max-SMTQF-NIA, 20(4)25--25
-
MaxDiff, 24(4)28--28
-
maxdiff, 24(4)28--28
-
maximal, 2(1)93--134, 14(2)10--10, 15(3)18--18, 15(4)27--27, 16(1)6--6,
18(3)18--18, 18(3)21--21, 19(2)7--7, 19(4)31--31
-
Maximally, 17(3)19--19
-
maximally, 2(1)93--134
-
maximize, 2(3)388--407
-
maximized, 14(2)12--12
-
maximum, 2(3)388--407, 9(3)18--18, 11(4)23--23, 14(4)31--31, 16(3)21--21,
17(2)10--10, 18(3)21--21
-
MaxRes, 24(1)8--8
-
MaxResW, 24(1)8--8
-
MaxSAT, 18(4)26--26, 24(1)8--8
-
may, 1(1)77--111, 1(2)208--246, 2(2)216--254, 8(3)17--17, 8(4)24--24,
9(1)1--1, 9(2)13--13, 9(4)26--26, 9(4)27--27, 10(1)1--1, 10(3)16--16,
10(3)20--20, 10(4)29--29, 11(4)25--25, 12(1)3--3, 12(2)13--13,
12(3)21--21, 13(1)5--5, 14(2)9--9, 14(3)24--24, 15(2)16--16,
15(3)24--24, 15(4)27--27, 15(4)33--33, 15(4)34--34, 16(1)6--6,
16(1)7--7, 16(2)13--13, 16(3)23--23, 17(1)1--1, 17(2)9--9,
17(2)11--11, 17(3)19--19, 18(2)15--15, 18(2)16--16, 18(3)24--24,
19(3)23--23, 20(1)6--6, 20(3)14--14, 20(4)20--20, 20(4)21--21,
21(4)30--30
-
May-Happen-in-Parallel, 17(2)11--11
-
may-happen-in-parallel, 17(2)11--11
-
Maybe, 19(4)24--24
-
MayPar, 17(2)11--11
-
Mayr, 15(4)26--26
-
Mazowiecki, Filip, 17(4)32--32, 20(3)14--14, 24(1)3--3
-
Mazowiecki, Filip, see Benaim, Saguy,
see Blondin, Michael,
see Clemente, Lorenzo
-
Mazzullo, Andrea, 24(4)34--34
-
Mazzullo, Andrea, see Artale, Alessandro
-
Mcallester, David, 3(4)521--541
-
Mcallester, David, see Givan, Robert
-
McCarthy, 24(4)28--28
-
McDowell, Raymond C., 3(1)80--136
-
McDowell:2002:RHO, 3(1)80--136
-
Mcilraith, Sheila, 7(4)613--657
-
Mcilraith, Sheila, see Son, Tran Cao
-
McIver, Annabelle, 8(1)z--99999999
-
McIver:2007:RQC, 8(1)z--99999999
-
McKinley, Richard, 14(1)5--5
-
McKinley:2013:PNH, 14(1)5--5
-
MDL, 21(1)6--6
-
MDL/CQ, 21(1)6--6
-
MDL/UCQ, 21(1)6--6
-
meadows, 24(3)22--22
-
mean, 2(1)93--134, 8(3)15--15, 8(3)16--16, 10(4)28--28, 12(2)16--16,
13(2)18--18, 14(3)23--23, 15(2)13--13, 15(2)17--17, 15(3)19--19,
15(4)34--34, 16(1)6--6, 16(4)35--35, 17(1)7--7, 17(2)14--14,
18(1)4--4, 19(3)19--19, 19(3)23--23, 20(1)4--4, 21(2)10--10,
22(1)7--7, 23(2)8--8
-
mean-field, 20(4)19--19
-
mean-payoff, 15(4)27--27, 18(2)12--12
-
meaning, 1(1)3--32, 1(1)60--76, 1(1)162--170, 1(1)171--174, 2(1)1--11,
2(3)388--407, 2(3)408--429, 9(2)9--9, 9(2)13--13, 10(2)12--12,
20(4)20--20, 22(1)4--4
-
meaningful, 10(1)1--1
-
measure, 1(1)131--161, 1(2)175--207, 9(3)20--20, 10(4)25--25,
10(4)29--29, 11(3)18--18, 12(4)23--23, 15(3)24--24, 16(4)28--28,
17(2)14--14, 17(4)25--25, 19(1)1--1, 19(2)9--9, 20(3)15--15,
20(4)19--19, 20(4)22--22, 24(1)6--6, 24(3)23--23
-
measure-preserving, 19(3)21--21
-
measured, 17(1)7--7
-
measuring, 2(3)388--407
-
mechanical, 1(1)3--32, 1(1)60--76, 1(1)171--174, 2(1)93--134,
2(3)340--387, 2(3)408--429
-
mechanically, 14(2)11--11, 14(4)32--32, 15(3)21--21, 17(1)6--6
-
mechanisation, 15(4)31--31
-
mechanism, 1(1)33--59, 2(1)57--92, 10(2)10--10, 12(4)26--26, 14(4)28--28,
14(4)33--33, 15(1)1--1, 15(1)7--7, 15(4)30--30, 16(1)8--8, 20(1)5--5
-
mechanized, 1(1)3--32
-
Mechanizing, 1(1)3--32, 12(2)15--15
-
median, 20(3)17--17
-
Mediated, Ontology-, 21(3)20--20
-
mediated, ontology-, 21(3)20--20
-
mediates, 23(4)25--25
-
mediating, 24(1)5--5
-
medication, 14(2)10--10
-
medium, 16(4)35--35
-
meet, 2(1)57--92, 13(4)30--30, 14(2)9--9, 16(3)25--25, 19(2)12--12,
20(1)1--1
-
Meier, Arne, 13(2)17--17, 18(1)1--1, 21(1)7--7, 24(3)26--26
-
Meier, Arne, see Creignou, Nadia,
see Hella, Lauri, \see{L{\"u}ck, Martin,
see Mahmood, Yasir
-
MELL, 12(4)23--23, 16(3)20--20
-
Mello, Paola, 9(4)29--29
-
Mello, Paola, see Alberti, Marco
-
member, 20(2)8--8
-
Members, 10(1)1--1
-
membership, 9(3)15--15, 13(2)15--15
-
memories, 9(1)4--4
-
memory, 10(4)27--27, 11(4)26--26, 13(2)18--18, 15(2)16--16, 17(4)30--30,
18(1)3--3, 18(2)14--14, 19(2)13--13, 20(1)6--6, 23(4)27--27
-
memory'', ``bounded-, 19(3)23--23
-
memory'', ``infinite-, 19(3)23--23
-
memory, finite-, 9(1)5--5, 15(2)16--16
-
memory., 10(4)29--29
-
Mendelzon, Katsuno-, 14(3)24--24
-
Mendez, Patrice, Ossona De, 21(2)11--11, 21(4)29--29
-
Mendler, Michael, 3(1)1--41
-
Mendler, Michael, see Lüttgen, Gerald
-
Menghi, Claudio, 21(3)26--26
-
Menghi:2020:MCM, 21(3)26--26
-
mental, 20(4)21--21
-
mentioned, 13(1)4--4, 18(1)3--3, 18(2)16--16
-
Meo, Maria Chiara, 5(4)706--731, 10(2)11--11, 13(1)6--6
-
Meo, Maria Chiara, see De Boer, Frank S.,
see Di Giusto, Cinzia,
see Gabbrielli, Maurizio
-
Mereacre, Alexandru, 14(4)33--33
-
Mereacre, Alexandru, see Chen, Taolue
-
merely, 9(3)17--17
-
merge, 10(1)6--6, 17(4)29--29, 23(4)22--22
-
Mergesort, 17(1)6--6
-
merging, 14(2)14--14, 17(2)9--9, 17(3)20--20, 18(1)6--6
-
Meseguer, José, 5(3)528--576, see Basin, David
-
Mesnard, Fred, 4(2)207--259
-
Mesnard:2003:PLT, 4(2)207--259
-
message, 8(3)14--14, 9(1)5--5, 14(3)23--23, 21(1)1--1, 21(1)5--5
-
meta-language, 19(1)6--6
-
meta-level, 19(1)6--6, 19(3)17--17
-
meta-logic-that, 19(4)24--24
-
meta-logical, 19(4)24--24
-
meta-theorems, 14(4)32--32
-
meta-theory, 11(4)28--28, 23(3)20--20
-
metalanguages, 17(1)5--5
-
metalogic, 9(3)16--16
-
metalogical, 5(3)528--576, 9(3)16--16
-
metaproperties, 18(2)15--15
-
metaquerying, 4(2)149--180
-
metatheoretic, 12(2)15--15
-
metatheory, 12(2)15--15
-
metavariables, 9(3)23--23
-
Metcalfe, 20(1)2--2
-
Metcalfe, George, 6(3)578--613, 20(1)2--2
-
Metcalfe, George, see Cabrer, Leonardo M.
-
Metcalfe:2005:SHC, 6(3)578--613
-
method-level, 17(2)11--11
-
methodically, 9(1)6--6
-
methodology, 1(1)60--76, 1(1)77--111, 1(1)131--161, 1(1)171--174,
1(2)175--207, 1(2)208--246, 1(2)247--284, 2(1)12--56, 2(2)155--181,
2(2)182--215, 2(2)255--287, 2(3)289--339, 2(3)340--387, 10(1)3--3
-
metric, 4(2)260--294, 5(4)611--668, 9(3)20--20, 12(1)5--5, 12(1)8--8,
17(3)16--16, 21(2)12--12, 21(4)30--30
-
Meyden, Ron, Van Der, 19(4)26--26, 21(4)32--32
-
Meyden, Ron van der, 1(2)247--284
-
Meyden, Ron van der, see Lomuscio, Alessio R.
-
Meyer, 10(4)26--26
-
Meyer, Thomas, 22(1)1--1
-
Meyer, Thomas, see Britz, Katarina
-
MHP, 17(2)11--11
-
Michaliszyn, Jakub, 17(1)2--2
-
Michaliszyn:2015:DEM, 17(1)2--2
-
Michel, Laurent, 5(2)351--383
-
Michel:2004:DBI, 5(2)351--383
-
micro, 20(1)5--5
-
micro-level, 20(1)5--5
-
microprocessors, 2(1)93--134
-
microseconds, 20(3)16--16
-
Middeldorp, Aart, 16(2)14--14
-
Middeldorp, Aart, see Felgenhauer, Bertram
-
Mielniczuk, Pawel, 5(3)385--402
-
Mielniczuk:2004:BTF, 5(3)385--402
-
might, 10(4)29--29, 12(2)16--16, 14(3)18--18, 15(4)35--35, 16(1)7--7,
16(3)27--27, 20(2)11--11
-
Miksa, Mladen, 16(4)28--28
-
Miksa, Mladen, see Filmus, Yuval
-
Mikulás, 16(1)9--9
-
mild, 10(2)13--13, 16(3)27--27
-
Milius, Stefan, 14(1)7--7, 20(1)3--3, 21(3)23--23, 22(4)23--23
-
Milius, Stefan, see Adámek, Jirí,
see Bonsangue, Marcello M.,
see Goncharov, Sergey
-
Miller, 14(1)5--5
-
Miller, Dale, 6(4)749--783, 11(2)13--13
-
Miller, Dale, see Tiu, Alwen
-
Miller, Dale A., 3(1)80--136
-
Miller, Dale A., see McDowell, Raymond C.
-
Miller-Tiu, 20(4)22--22
-
Miller:2005:PTG, 6(4)749--783
-
Mills, 17(4)26--26
-
Milner, 15(4)35--35, 18(1)4--4
-
Milner, Hennessy-, 15(2)14--14, 16(1)2--2
-
Milner, Hindley-, 21(2)13--13
-
Milo, Tova, 4(3)315--354
-
Milo, Tova, see Alon, Noga
-
mind, 18(3)21--21
-
minimal, 3(2)177--225, 8(3)18--18, 9(1)1--1, 9(2)11--11, 10(2)12--12,
11(4)27--27, 14(2)16--16, 15(1)3--3, 15(3)19--19, 15(4)35--35,
16(1)1--1, 16(1)6--6, 16(1)9--9, 17(4)24--24, 19(2)8--8, 20(2)8--8,
21(2)10--10, 22(3)20--20, 23(2)9--9
-
Minimal, -, 23(2)9--9
-
minimality, 9(1)7--7, 15(4)35--35
-
minimally, 9(1)6--6
-
minimization, 4(2)181--206, 15(1)3--3, 16(1)1--1, 16(1)6--6, 16(2)12--12
-
minimize, 2(3)388--407, 14(2)10--10, 15(1)3--3, 16(2)12--12, 20(4)25--25
-
Minimizing, 16(1)1--1
-
minimum, 2(3)388--407, 6(2)441--467, 14(3)21--21, 16(3)21--21,
18(2)12--12
-
mining, 18(2)8--8
-
Minkowski, 19(3)20--20
-
minor, 8(3)15--15, 12(2)15--15
-
Minsky, 16(3)27--27
-
Mints., 15(1)4--4
-
Mirroring, 21(1)4--4
-
misleads, 13(1)1--1
-
mismatch, 13(4)30--30
-
Misra, 1(1)3--32
-
missing, 11(4)25--25, 12(3)18--18, 16(1)6--6, 17(3)22--22, 19(2)12--12
-
mitigate, 11(3)16--16
-
MITL, 21(3)26--26
-
mixed, 12(4)23--23, 13(4)33--33, 19(1)1--1, 24(3)27--27
-
MKNF, 14(2)16--16
-
ML, 21(2)15--15, 24(2)12--12
-
ML-like, 19(1)6--6
-
MLL, 7(3)473--498
-
Mmt, 19(4)24--24
-
mobile, 5(1)79--128, 15(4)35--35
-
modal-layered, 20(4)23--23
-
modality, 9(4)25--25, 10(3)18--18, 13(3)25--25, 14(4)34--34, 15(1)4--4,
15(4)27--27, 15(4)30--30, 18(3)19--19, 20(2)7--7, 20(2)10--10,
22(2)9--9, 23(2)10--10, 23(3)18--18, 23(4)25--25, 24(2)12--12,
24(3)21--21
-
mode, 2(1)57--92, 2(3)408--429, 9(3)17--17, 12(2)17--17, 18(3)19--19
-
moded, 5(3)470--507
-
model-, 22(2)12--12
-
model-based, 12(2)11--11, 13(3)23--23, 14(2)16--16, 16(4)31--31
-
Model-Checking, 15(3)22--22, 15(4)34--34, 21(2)11--11
-
model-checking, 1(1)162--170, 8(4)21--21, 9(2)12--12, 10(3)15--15,
12(2)13--13, 13(1)1--1, 15(3)22--22, 15(4)27--27, 15(4)34--34,
19(1)2--2, 21(2)11--11, 21(4)29--29, 21(4)34--34, 22(1)5--5
-
model-complete, 18(3)23--23
-
Model-Theoretic, 14(2)14--14
-
model-theoretic, 8(4)21--21, 8(4)24--24, 14(4)30--30, 16(3)25--25
-
model-theoretically, 12(2)17--17
-
model., 10(1)3--3
-
modeled, 9(4)28--28, 10(3)19--19, 16(1)2--2, 16(1)3--3, 17(4)23--23,
20(1)4--4, 24(4)33--33
-
modeling, 1(1)77--111, 1(2)285--320, 7(1)38--83, 8(4)23--23, 9(3)17--17,
9(4)28--28, 10(1)3--3, 11(4)23--23, 12(1)8--8, 13(1)7--7,
13(2)17--17, 14(2)12--12, 15(3)22--22, 15(4)30--30, 16(1)1--1,
18(2)15--15
-
modelled, 16(4)30--30, 20(4)21--21, 20(4)22--22
-
modelling, 13(4)28--28, 14(4)33--33, 15(3)25--25, 16(2)11--11,
17(4)23--23, 20(4)22--22, 21(3)21--21, 21(3)26--26
-
models, PDEL-, 20(4)24--24
-
modern, 18(2)10--10, 18(3)24--24, 19(4)28--28, 23(2)13--13
-
modification, 1(1)60--76, 8(3)15--15, 11(4)27--27, 12(2)16--16,
23(3)17--17
-
modified, 15(1)8--8, 16(3)24--24, 16(4)32--32
-
modular, 2(1)57--92, 6(3)539--577, 8(3)17--17, 9(4)24--24, 10(2)11--11,
10(3)20--20, 12(2)17--17, 14(2)15--15, 18(4)29--29, 19(2)13--13,
19(4)24--24, 20(2)7--7, 23(4)23--23
-
Modularisation, 20(2)7--7
-
modularity, 7(4)765--797, 8(1)z--99999999, 9(2)14--14, 10(1)4--4,
16(2)14--14, 18(2)16--16
-
modularly, 8(3)17--17, 14(4)32--32, 15(1)5--5, 17(2)11--11
-
module, 8(3)14--14, 14(4)32--32, 16(3)25--25
-
modulo, 9(2)8--8, 10(1)4--4, 10(1)6--6, 10(4)25--25, 12(1)7--7, 14(1)7--7,
16(2)12--12, 19(3)19--19, 20(4)25--25, 21(2)15--15, 24(4)32--32
-
modulo-counting, 18(4)33--33
-
Mogavero, Fabio, 13(3)25--25, 15(4)34--34, 16(3)25--25, 24(1)4--4
-
Mogavero, Fabio, see Bellier, Dylan,
see Benerecetti, Massimo,
see Bianco, Alessandro
-
Mogavero:2014:RAS, 15(4)34--34
-
Molinari, Alberto, 20(1)4--4
-
Molinari, Alberto, see Bozzelli, Laura
-
Molinaro, Cristian, 14(2)10--10, 15(3)18--18
-
Molinaro, Cristian, see Shakarian, Paulo
-
Molinaro:2014:SSS, 15(3)18--18
-
Moller, 23(4)22--22
-
Möller, Bernhard, 7(4)798--833, see Desharnais, Jules
-
moment, 15(3)25--25, 15(4)34--34
-
momentum, 19(4)28--28
-
Momigliano, Alberto, 4(4)493--529
-
Momigliano:2003:HOP, 4(4)493--529
-
monad, 4(1)1--32, 14(1)7--7, 22(4)23--23
-
monad-based, 21(3)23--23
-
monadic, 2(2)216--254, 12(1)3--3, 12(2)12--12, 14(3)19--19, 14(4)25--25,
16(3)27--27, 17(2)13--13, 17(4)25--25, 18(3)20--20, 18(4)33--33,
19(3)23--23, 20(3)17--17, 21(1)6--6, 21(2)11--11, 21(2)15--15,
22(2)12--12
-
Monet, Mikaël, 22(4)21--21, see Arenas, Marcelo
-
Money, 11(3)18--18
-
Monica, Dario, Della, 24(1)4--4
-
monitor, 16(2)11--11, 18(2)12--12, 18(4)31--31, 21(1)5--5
-
monitoring, 16(1)1--1
-
Monmege, Benjamin, 15(2)15--15
-
Monmege, Benjamin, see Bollig, Benedikt
-
Monodic, 7(1)108--150
-
monoids, 18(4)30--30, 20(1)3--3
-
monoids, bi-, 17(4)28--28
-
monomials, 20(4)25--25
-
monotone, 9(2)13--13, 9(2)14--14, 17(4)27--27, 19(1)4--4, 21(1)4--4
-
monotone, non-, 9(2)14--14
-
monotonic, 16(4)35--35, 20(3)14--14, 24(2)16--16
-
monotonically, 2(1)93--134, 24(2)16--16
-
Monotonicity, 16(4)35--35
-
Monreale, Giacoma Valentina, 15(4)35--35
-
Monreale, Giacoma Valentina, see Bonchi, Filippo
-
Montagna, Franco, 9(3)21--21
-
Montagna, Franco, see Bova, Simone
-
Montanari, 20(1)4--4
-
Montanari, Angelo, 20(1)4--4, 24(3)24--24
-
Montanari, Angelo, see Bozzelli, Laura
-
Montanari, Ugo, 7(3)563--589, 12(1)5--5
-
Montanari, Ugo, see Bistarelli, Stefano
-
Montenegro, Manuel, 21(2)13--13
-
Montenegro:2020:ELT, 21(2)13--13
-
Montoya, Antonio, Flores-, 17(2)11--11
-
Moodley, Kody, 22(1)1--1
-
Moodley, Kody, see Britz, Katarina
-
Moore, 10(3)22--22, 13(2)17--17, 15(1)3--3
-
Moraes, Luis F. T., 18(2)17--17
-
Moraes, Luis F. T., see Radcliffe, Nicholas R.
-
more, 2(1)57--92, 2(3)289--339, 2(3)340--387, 2(3)388--407, 8(3)17--17,
8(4)20--20, 9(2)9--9, 9(2)12--12, 9(3)15--15, 9(3)17--17, 10(1)7--7,
10(2)12--12, 10(3)16--16, 10(3)17--17, 10(4)29--29, 12(2)9--9,
12(2)10--10, 12(3)18--18, 12(3)21--21, 13(3)24--24, 13(3)25--25,
13(4)34--34, 14(2)12--12, 14(3)24--24, 14(4)28--28, 14(4)32--32,
15(1)5--5, 15(1)9--9, 15(3)18--18, 15(4)28--28, 15(4)32--32,
15(4)33--33, 15(4)34--34, 15(4)35--35, 16(1)1--1, 16(1)3--3,
16(1)6--6, 16(1)9--9, 16(2)17--17, 16(3)21--21, 16(3)26--26,
16(3)27--27, 16(4)28--28, 16(4)29--29, 16(4)34--34, 17(1)1--1,
17(1)5--5, 17(2)11--11, 17(3)22--22, 17(4)31--31, 18(2)9--9,
18(2)10--10, 18(2)13--13, 18(2)15--15, 19(1)1--1, 19(1)6--6,
19(2)7--7, 19(2)12--12, 19(2)13--13, 19(3)22--22, 19(4)24--24,
20(1)4--4, 20(2)7--7, 20(4)19--19, 21(1)4--4, 23(1)1--1, 23(1)4--4,
23(3)19--19, 24(1)8--8
-
More, Sara Miner, 13(3)22--22
-
More:2012:CCG, 13(3)22--22
-
moreover, 1(2)247--284, 2(2)182--215, 2(3)289--339, 8(4)22--22, 9(1)3--3,
9(2)11--11, 9(3)21--21, 9(4)26--26, 10(2)9--9, 10(2)13--13,
10(4)26--26, 13(2)10--10, 14(2)8--8, 14(3)21--21, 14(4)32--32,
15(3)24--24, 15(4)27--27, 15(4)30--30, 15(4)32--32, 15(4)34--34,
16(1)9--9, 17(3)19--19, 17(4)23--23, 18(1)6--6, 18(2)9--9,
18(2)13--13, 18(3)21--21, 18(4)30--30, 19(3)21--21, 19(4)24--24,
19(4)30--30
-
Morgan, 20(4)22--22
-
Morgan, Carroll, 8(1)z--99999999
-
Morgan, Carroll, see McIver, Annabelle
-
morphic, 18(3)20--20
-
morphism, 17(1)5--5, 20(1)2--2
-
Mörtberg, 19(2)15--15
-
Mörtberg, Anders, 14(4)26--26,
see Heras, Jónathan
-
Moschovakis, Yiannis N., 10(1)2--2
-
Moschovakis, Yiannis N., see Van Den Dries, Lou
-
Moses, 1(2)247--284
-
most, 1(1)33--59, 1(2)175--207, 2(3)388--407, 8(4)21--21, 10(1)2--2,
10(2)9--9, 10(3)17--17, 11(4)23--23, 11(4)25--25, 12(2)14--14,
13(1)5--5, 13(2)10--10, 13(2)17--17, 13(3)21--21, 14(1)3--3,
14(1)4--4, 14(2)9--9, 14(2)16--16, 14(3)22--22, 14(4)26--26,
14(4)31--31, 15(1)1--1, 15(1)5--5, 15(1)8--8, 15(3)25--25, 16(1)6--6,
16(1)7--7, 16(3)22--22, 16(3)27--27, 16(4)30--30, 16(4)31--31,
17(1)5--5, 17(3)15--15, 17(3)16--16, 18(1)4--4, 18(2)10--10,
18(2)13--13, 18(2)17--17, 18(3)18--18, 18(4)27--27, 19(1)4--4,
19(1)5--5, 19(2)7--7, 19(2)8--8, 19(2)9--9, 19(4)24--24, 19(4)29--29,
20(1)1--1, 20(2)10--10, 21(4)30--30, 22(1)1--1, 23(2)8--8,
23(2)12--12, 24(1)6--6, 24(2)10--10
-
mostly, 16(3)27--27, 17(3)20--20, 21(3)26--26
-
Mostowski, Rabin-, 17(4)24--24
-
motion, 5(4)732--767
-
motivate, 19(4)26--26
-
motivated, 14(4)30--30, 18(2)10--10, 19(4)24--24, 21(3)21--21,
22(4)26--26
-
motivation, 2(2)216--254, 2(3)340--387, 22(3)16--16
-
move, 10(2)9--9, 12(3)19--19, 12(4)28--28, 15(4)34--34
-
move, win-, 18(1)5--5
-
movements, 14(4)34--34
-
moving, 9(2)13--13, 10(3)19--19
-
Moyen, Jean-Yves, 10(4)29--29
-
Moyen:2009:RCG, 10(4)29--29
-
MPI, 8(3)14--14
-
MS-algebras, 20(1)2--2
-
MSO, 2(2)216--254, 12(1)3--3, 14(4)25--25, 18(3)20--20, 18(4)33--33,
19(3)23--23, 20(3)17--17
-
mso, 2(2)216--254, 17(4)25--25
-
MSO-LCC, 12(2)12--12
-
mt, 19(4)24--24
-
MTL, 12(1)8--8, 17(3)16--16, 21(1)5--5, 21(2)12--12
-
\mu, 19(1)3--3, 19(1)4--4, 21(1)4--4
-
Mu-Calculus, 19(3)23--23
-
mu-calculus, 19(3)23--23
-
much, 2(3)340--387, 10(3)17--17, 13(3)20--20, 14(2)13--13, 16(1)1--1,
16(1)6--6, 16(3)21--21, 16(4)31--31, 16(4)33--33, 17(3)16--16,
18(1)4--4, 18(2)12--12, 23(3)19--19
-
muddy, 14(4)34--34
-
Muller, 13(4)29--29
-
Müller, 20(3)17--17
-
Müller, Moritz, 18(4)29--29, see Chen, Hubie
-
Müller, Sebastian, 11(4)22--22, see Beyersdorff, Olaf
-
multi-agent, 1(2)208--246, 6(1)124--174, 9(2)9--9, 16(4)35--35,
22(2)8--8, 23(2)10--10
-
multi-player, 22(1)5--5
-
multi-stack, 21(3)23--23
-
multiagent, 1(2)247--284, 9(2)9--9, 9(4)29--29, 11(1)3--3, 15(4)34--34,
16(4)33--33, 20(4)21--21
-
multiarity, 12(3)22--22
-
multiary, 12(3)22--22
-
multicast, 12(1)5--5
-
multicriteria, 15(4)28--28
-
multidimensional, 12(1)5--5, 14(4)33--33, 19(2)8--8
-
Multigranulation, 19(4)30--30
-
multiheaded, 10(2)11--11, 13(1)6--6
-
multimodal, 20(2)7--7, 20(4)23--23
-
multiparadigm, 14(1)1--1
-
multiparty, 13(3)22--22
-
multiplayer, 20(4)21--21, 23(4)21--21
-
multiple, 9(2)9--9, 12(2)9--9, 13(1)6--6, 13(4)30--30, 14(1)1--1,
14(3)22--22, 16(1)3--3, 18(1)3--3, 18(1)6--6, 21(1)2--2
-
multiple-source, 19(4)30--30
-
multiple-valued, 8(3)18--18
-
multiplication, 10(1)2--2, 19(3)19--19, 23(1)5--5
-
multiplicative, 13(1)2--2, 16(3)20--20, 19(1)5--5, 19(4)25--25,
20(4)22--22
-
multiplicative-additive, 6(4)784--842
-
multiprocessor, 8(3)14--14
-
multirelational, 16(4)30--30
-
multirelations, 17(4)28--28
-
multiset, 9(3)15--15, 12(3)18--18, 14(1)1--1
-
multiset-based, 20(4)22--22
-
Multiteam, 23(2)13--13
-
multivalued, 5(3)508--527, 16(1)6--6
-
multivariate, 15(1)6--6, 23(3)16--16
-
multiway, 20(3)18--18
-
Mundhenk, Martin, 12(2)13--13
-
Mundhenk, Martin, see Bauland, Michael
-
Muñoz, Pablo, 18(2)10--10, see Barceló, Pablo
-
Muñoz-Velasco, Emilio, 18(3)22--22,
see Bresolin, Davide
-
Murano, Aniello, 13(3)25--25, 15(4)34--34, 16(3)25--25, 22(1)5--5,
22(1)7--7, 24(3)21--21
-
Murano, Aniello, see Benerecetti, Massimo,
see Berthon, Raphaël,
see Bianco, Alessandro,
see Bouyer, Patricia,
see Mogavero, Fabio
-
Murawski, Andrzej S., 6(4)701--726, 7(3)473--498, 18(3)25--25,
22(3)16--16
-
Murawski, Andrzej S., see Broadbent, Christopher H.,
see Hague, Matthew
-
Murawski:2005:AUP, 6(4)701--726
-
Murawski:2006:FVM, 7(3)473--498
-
Murlak, Filip, 17(4)24--24
-
Murlak, Filip, see Facchini, Alessandro
-
Muscholl, Anca, 12(4)27--27
-
Muscholl, Anca, see Boja{\'n}czyk, Miko{\l}aj
-
must, 2(1)135--153, 13(2)16--16, 15(1)6--6, 15(4)33--33, 16(1)3--3,
17(3)19--19, 18(4)29--29, 21(4)31--31
-
mutable, 9(1)4--4
-
mutual, 1(1)3--32, 15(4)30--30, 18(2)8--8
-
mutually, 11(3)16--16, 18(1)6--6
-
MWeb, 12(2)17--17
-
MWebAS, 12(2)17--17
-
MWebWFS, 12(2)17--17
-
mwp-bounds, 10(4)28--28
-
mwp-matrices, 10(4)28--28
-
mwp-matrix, 10(4)28--28
-
Myers, Robert S. R., 20(1)3--3
-
Myers, Robert S. R., see Adámek, Jirí
-
Myhill--Nerode, 16(1)1--1