Index file section M for tcs1985.bib
Last update: Thu Sep 27 02:46:57 MDT 2018
Return to index directory
M
-
m-bit, 44(1)1--16
-
M-variety, 43(2)315--335
-
machine, stack-, 56(1)59--133
-
macro, 42(3)251--368
-
Madhavan, C. E., Veni, 54(1)103--128
-
Madlener, K., 67(2)143--172
-
Madlener:1989:ADP, 67(2)143--172
-
MAGIC, 63(3)253--274
-
magic, 63(3)253--274
-
Mahaney, S. R., 39(2)207--224, 68(3)267--276
-
Mahaney, S. R., see Immerman, N.
-
Mahaney:1985:RAP, 39(2)207--224
-
Maher, M. J., 39(1)15--25
-
Maher, M. J., see Lassez, J.-L.
-
Mahler-Lech, Skolem-, 43(1)91--98
-
mailboxes, 61(1)93--102
-
Main, M. G., 49(2)113--119
-
Main:1987:AIS, 49(2)113--119
-
Maindreville, Christophe, de, 63(3)253--274
-
majority, 41(1)19--32
-
Makowsky, J. A., 36(1)71--87, 66(3)299--321
-
Makowsky, J. A., see Tiomkin, M. L.
-
Makowsky:1989:WSO, 66(3)299--321
-
Maluszynski, Jan, 59(1)133--155
-
Maluszynski, Jan, see Drabent, Wlodzimierz
-
management, 52(3)281--306, 58(1)57--68, 62(1)3--38, 62(1)187--220,
62(3)251--266, 69(1)1--53
-
Manber, U., 49(2)267--282
-
Manber, U., see Kurtz, T. G.
-
Manipulating, 45(1)87--119
-
manipulation, 50(2)137--181, 54(2)215--236, 64(2)135--157
-
manipulators, 48(1)75--94
-
Manna-Cooper, 50(3)285--321
-
Mannila, H., 39(1)47--68
-
Mannila, H., see Back, R. J. R.
-
Mansour, Y., 53(2)169--185
-
Mansour, Y., see Attiya, H.
-
manufacturing, 40(1)67--84
-
many, 39(2)297--308
-
Many-One, 58(1)175--181
-
many-one, 39(2)207--224, 68(3)267--276
-
many-sorted, 48(2)257--272, 50(2)103--135
-
many-valued, 47(3)247--262, 48(2)257--272, 52(1)145--153, 68(2)135--154
-
Maon, Y., 41(1)105--107, 47(3)247--262, 47(3)277--298
-
Maon:1985:EPC, 41(1)105--107
-
Maon:1986:BMV, 47(3)247--262
-
Maon:1986:PED, 47(3)277--298
-
map, 38(2)167--192
-
mapping, 38(2)323--341, 39(2)327--332, 43(1)59--79, 68(1)49--56
-
Marberg, J. M., 52(3)193--203
-
Marberg:1987:DSA, 52(3)193--203
-
Marchetti-Spaccamela, A., 54(1)53--64
-
Marchetti-Spaccamela:1987:NPE, 54(1)53--64
-
Marek, W., 48(2)145--152, 56(2)187--209
-
Marek:1986:ASE, 48(2)145--152
-
Marek:1988:NSM, 56(2)187--209
-
Margaria, I., 45(2)121--157
-
Margaria, I., see Dezani-Ciancaglini, M.
-
Markov, 35(1)1--15, 49(2)267--282, 53(1)99--124
-
Markovian, 53(1)99--124
-
Marongiu, G., 67(1)87--97
-
Marongiu:1989:CBT, 67(1)87--97
-
Martelli, M., 69(3)289--318
-
Martelli, M., see Falaschi, M.
-
Martin, Ursula, 67(1)37--54
-
Martin-Löf, 51(1)1--26
-
Martin-Löf, 41(1)113--120, 48(1)9--33, 51(1)1--26
-
Martin:1989:GAM, 67(1)37--54
-
Martinez, S., 44(1)107--110
-
Martinez, S., see Blanchard, F.
-
Martini, S., 46(2)197--217
-
Martini, S., see Longo, G.
-
Martino, A., 56(3)303--320
-
Martino:1988:QIG, 56(3)303--320
-
Mascari, G., 40(2)211--235
-
Mascari:1985:WPN, 40(2)211--235
-
MAT, 62(3)251--266
-
match, 62(3)251--266
-
match, partial-, 62(3)251--266
-
matchers, 43(2)189--200
-
matching, 41(2)141--167, 43(2)189--200, 43(2)239--249, 51(3)341--348,
54(1)129--137, 60(3)231--254, 61(2)121--136, 64(1)125--132,
66(1)99--104
-
Matching, String-, 57(1)131--145
-
matching, string-, 35(1)109--114, 45(1)63--86, 57(1)131--145
-
mathematical, 36(2)145--171, 45(1)1--61, 57(0)3--159, 57(1)131--145,
57(1)147--152, 57(1)153--159, 58(0)3--397, 58(1)17--56,
58(1)103--128, 58(1)143--154, 58(1)183--199, 58(1)201--208,
58(1)209--229, 58(1)263--324, 58(1)325--346, 58(1)361--378,
58(1)379--397, 59(3)277--286, 59(3)297--307, 60(1)1--82,
60(3)297--340, 61(2)121--136, 61(2)175--198, 61(2)225--258,
61(2)289--297, 61(2)299--306, 61(2)307--316, 62(1)221--233,
62(3)235--249, 62(3)251--266, 63(1)43--61, 63(1)63--90,
63(2)223--237, 63(3)239--252, 63(3)253--274, 63(3)275--294,
63(3)295--302, 64(1)1--13, 64(1)15--23, 64(1)83--96, 64(1)107--118,
64(1)125--132, 64(2)135--157, 64(2)159--173, 65(0)123--270,
65(2)123--130, 65(2)131--141, 65(2)143--148, 65(2)149--152,
65(2)153--169, 65(2)189--196, 65(2)197--212, 65(2)213--220,
65(2)221--242, 65(2)243--248, 65(2)249--263, 65(2)265--270,
66(0)117--232, 66(2)137--155, 66(2)157--180, 66(2)181--203,
66(2)205--232, 67(1)5--18, 67(1)37--54, 67(1)55--63, 67(1)111--113,
67(1)115--120
-
matrix, 35(2)271--293, 36(2)309--317, 39(1)69--88, 40(2)245--255,
40(2)257--274, 44(3)247--257, 52(3)307--340, 54(1)65--85,
57(1)147--152, 59(3)277--286, 59(3)297--307, 64(2)135--157,
65(2)243--248, 67(1)115--120
-
Matrix, Techniques-, 59(3)277--286, 64(2)135--157,
67(1)115--120
-
matroid, 66(1)113--114
-
Matsuno, H., 36(2)291--308
-
Matsuno:1985:ASM, 36(2)291--308
-
max, 41(2)141--167
-
maxima, 51(1)53--80
-
maximal, 36(1)99--108, 38(1)1--16, 40(1)3--11, 43(2)149--167,
53(2)187--200, 56(3)339--344, 58(1)103--128, 61(1)33--47,
63(2)157--184, 64(1)125--132, 64(3)221--269
-
maximally, 43(2)213--238
-
maximisation, 40(2)195--210
-
maximum, 38(2)293--306, 54(1)129--137
-
Mayr, Ernst W., 64(3)343--350
-
Mayr, Ernst W., see Kleine Büning, Hans
-
Mazoyer, J., 50(2)183--238
-
Mazoyer:1987:SSM, 50(2)183--238
-
Mazurkiewicz, Antoni, 64(3)281--304
-
Mazurkiewicz:1989:CSI, 64(3)281--304
-
MCB, 52(3)193--203
-
McDiarmid, C., 36(2)345--348
-
McDiarmid, C., see Farr, G.
-
McNaughton, 39(2)123--133, 43(2)315--335
-
McNaughton, see Kapur, D.
-
McNaughton, R., 35(1)109--114
-
McNaughton, R., see Kapur, D.
-
McNulty, G. F., 69(3)319--345
-
McNulty, G. F., see Baker, K. A.
-
means, 45(2)193--260, 53(1)25--65
-
measure, 35(1)71--87, 36(2)291--308, 44(1)17--49, 47(3)335--343,
48(1)53--73, 59(3)277--286, 63(2)203--221, 64(1)1--13,
65(2)171--188, 65(2)249--263, 65(2)z--z, 67(1)99--110
-
mechanics, 65(2)189--196, 65(2)197--212
-
mechanism, 45(1)87--119, 50(2)137--181, 59(1)25--84, 66(3)255--272,
67(1)5--18, 67(2)173--201
-
medical, 64(1)107--118
-
medicine, 64(1)107--118
-
medium, 39(2)267--280, 59(3)259--276
-
Megiddo, Nimrod, 61(2)307--316
-
Megiddo:1988:FMD, 61(2)307--316
-
MEIJE, 40(2)329--337
-
MEIJE-SCCS, 37(3)245--267
-
Meinel, Christoph, 62(3)319--325
-
Meinel:1988:PNP, 62(3)319--325
-
membership, 36(2)173--202, 37(2)217--243, 41(1)81--93, 45(1)87--119,
47(1)39--60, 52(3)177--191, 54(1)103--128, 56(2)211--222,
64(2)203--219
-
membership-inclusion, 56(2)211--222
-
Memmi, G., 35(2)191--214
-
Memmi:1985:IFN, 35(2)191--214
-
memory, 36(2)231--237, 47(1)15--26, 48(1)53--73, 48(2)201--228,
51(1)239--247, 58(1)183--199, 64(2)159--173
-
Mendes France, M., 65(2)213--220
-
MendesFrance:1989:GEI, 65(2)213--220
-
Mentrasti, P., 66(3)289--297
-
Mentrasti, P., see Jacopini, G.
-
Merge, 59(3)235--257
-
merging, 45(2)193--260
-
Merritt, Michael, 62(1)123--185
-
Merritt, Michael, see Lynch, Nancy
-
metalanguage, 56(1)59--133
-
Metatheory, 57(0)3--159, 58(0)3--397, 58(1)129--142, 58(1)209--229,
59(0)3--209, 59(1)25--84, 59(1)85--114, 59(1)115--131,
59(1)181--209, 59(3)211--234, 59(3)235--257, 59(3)287--296,
59(3)317--325, 60(3)231--254, 60(3)255--283, 60(3)297--340,
61(2)103--119, 61(2)199--224, 62(3)289--310, 62(3)311--317,
62(3)319--325, 63(1)1--17, 63(1)19--41, 63(1)43--61, 63(1)91--111,
63(2)113--139, 63(2)203--221, 63(3)239--252, 63(3)253--274,
63(3)275--294, 63(3)303--331, 63(3)333--348, 64(1)1--13,
64(1)15--23, 64(1)25--38, 64(1)55--66, 64(1)67--81, 64(1)97--105,
64(1)119--124, 64(3)221--269, 64(3)271--280, 64(3)281--304,
64(3)305--329, 64(3)331--342, 64(3)343--350, 65(0)123--270,
65(1)1--33, 65(1)35--83, 65(1)85--119, 65(2)123--130, 65(2)131--141,
65(2)143--148, 65(2)149--152, 65(2)153--169, 65(2)189--196,
65(2)197--212, 65(2)213--220, 65(2)243--248, 65(2)249--263,
65(2)265--270, 65(3)271--290, 65(3)291--342, 65(3)343--371,
66(0)117--232, 66(2)205--232, 67(1)19--35, 67(1)87--97
-
Metatheory--Formal, 62(0)3--233, 62(1)39--65
-
Metatheory--Programming, 58(1)263--324, 59(1)3--23, 59(1)133--155,
59(1)157--180, 61(2)225--258, 61(2)259--277, 67(1)129--139
-
method, 35(2)345--348, 36(2)145--171, 39(2)107--121, 41(1)19--32,
41(1)33--50, 44(1)1--16, 44(2)127--153, 45(2)193--260,
46(2)285--303, 47(3)277--298, 50(3)285--321, 52(3)193--203,
52(3)307--340, 53(2)345--352, 54(1)65--85, 54(1)129--137,
56(3)277--288, 58(1)183--199, 59(1)133--155, 62(1)187--220,
63(3)253--274, 63(3)275--294, 63(3)303--331, 65(1)1--33,
65(2)213--220, 65(3)291--342, 67(1)55--63, 69(1)55--68
-
methodological, 69(1)69--115
-
methodologies, 68(2)175--202
-
Metivier, Y., 35(1)71--87, 35(2)179--189, 58(1)201--208
-
Metivier, Y., see Cori, R.
-
Metivier:1985:CLR, 35(1)71--87
-
Metivier:1988:RSF, 58(1)201--208
-
metric, 60(2)109--176, 65(2)249--263
-
Meyer Auf Der Heide, F., 41(2)325--330
-
Meyer auf der Heide, Friedhelm, 58(1)57--68
-
Meyer auf der Heide, Friedhelm, see Borodin, Allan
-
Meyer, J.-J. C., 49(2)87--112, 57(2)251--282
-
Meyer, J.-J. C., see de Bakker, J. W.
-
Meyer, J.-J. Ch, 45(2)193--260
-
Meyer:1986:MRP, 45(2)193--260
-
Meyer:1988:ACS, 57(2)251--282
-
MeyerAufDerHeide:1985:SPD, 41(2)325--330
-
Mezei, 48(2)183--199
-
Mezghiche, M., 66(3)323--331
-
Mezghiche:1989:PCB, 66(3)323--331
-
Meznik, I., 61(1)25--32
-
Meznik:1988:SIR, 61(1)25--32
-
MFCS, 57(0)3--159
-
Mi-automata, 43(2)315--335
-
Mignosi, Filippo, 65(2)221--242
-
Mignosi:1989:IWL, 65(2)221--242
-
Milner, 37(1)77--121
-
Milner, Egli-, 59(3)211--234
-
MIMD, 64(2)135--157
-
mimd, 64(2)135--157, 64(2)175--189
-
Min, 58(1)209--229
-
mincing, 61(2)299--306
-
minima, 51(1)53--80
-
minimal, 35(1)17--42, 35(2)261--269, 36(2)203--216, 36(2)345--348,
43(2)189--200, 50(2)183--238, 51(3)265--280, 58(1)17--56,
60(3)285--296, 63(1)1--17, 67(1)65--73
-
minimax, 54(1)87--102
-
minimisation, 38(2)293--306, 40(1)67--84, 51(1)53--80
-
minimization, 40(1)67--84, 41(2)141--167
-
minimize, 38(2)293--306
-
minimum, 47(3)237--246, 58(1)379--397, 60(3)231--254, 61(2)307--316,
63(1)91--111, 66(2)181--203
-
minimum-length, 36(2)265--289
-
Minker, J., 41(2)271--287
-
Minker, J., see Grant, J.
-
Minkowski, 41(2)125--139, 65(2)197--212
-
minor, 68(2)155--173
-
minsum, 54(1)87--102
-
Mishra, B., 38(2)269--291
-
Mishra:1985:HVA, 38(2)269--291
-
mismatches, 43(2)239--249, 51(3)341--348
-
mixed, 43(2)149--167, 48(2)183--199, 64(2)203--219
-
modal, 36(1)127--137, 39(1)27--45, 49(2)311--347, 49(2)z--z,
56(2)187--209, 61(2)259--277, 65(1)1--33
-
modality, 36(1)127--137
-
mode, 46(2)329--338, 49(1)23--42
-
model, 35(2)191--214, 37(1)77--121, 37(3)269--304, 37(3)305--336,
39(1)47--68, 39(2)107--121, 40(2)149--162, 40(2)275--300,
42(2)123--249, 43(2)213--238, 44(1)1--16, 45(1)1--61, 45(2)159--192,
47(2)111--120, 48(1)95--100, 48(1)109--115, 48(2)229--255,
48(2)297--328, 49(2)171--184, 49(2)267--282, 49(2)283--309,
51(1)129--176, 52(3)193--203, 52(3)239--249, 52(3)251--267,
54(1)65--85, 56(2)187--209, 58(1)249--261, 59(1)85--114,
59(3)277--286, 60(2)109--176, 60(3)297--340, 61(1)49--66,
61(2)149--174, 61(2)199--224, 62(3)251--266, 63(1)63--90,
63(2)203--221, 64(3)221--269, 64(3)305--329, 65(1)85--119,
66(0)117--232, 66(2)205--232, 68(1)19--36, 68(2)203--220,
68(3)343--346, 69(1)1--53, 69(3)289--318
-
model, finite-, 61(2)259--277
-
modeling, 69(3)289--318
-
modelling, 37(3)305--336, 46(2)239--259
-
modification, 47(2)111--120
-
modular, 39(1)47--68
-
modulator, 39(1)z--z
-
module, 39(2)107--121
-
modulo, 58(1)17--56, 59(1)115--131, 64(3)271--280, 67(1)19--35,
67(2)173--201
-
modulus, 44(1)1--16
-
Mohrherr, J., 56(2)243--248
-
Mohrherr:1988:RLP, 56(2)243--248
-
Moiso, Corrado, 59(1)3--23
-
Moiso, Corrado, see Bosco, Pier Giorgio
-
molecular, 64(1)107--118
-
monadic, 37(1)51--75, 37(2)123--150, 46(1)91--99, 55(2)141--181,
68(3)319--332
-
Monien, B., 41(2)141--167, 58(1)209--229
-
Monien:1985:BCN, 41(2)141--167
-
Monien:1988:MCN, 58(1)209--229
-
monogeneous, 35(2)191--214
-
monogeneous, nets-, 35(2)191--214
-
monoid, 35(2)179--189, 35(2)227--243, 35(2)271--293, 37(3)245--267,
38(1)123--132, 39(1)3--13, 40(1)13--30, 40(2)85--99, 41(1)121--123,
41(2)215--222, 43(1)117--122, 44(3)333--339, 46(2)159--174,
46(2)319--327, 47(2)191--203, 48(2)183--199, 48(2)329--337,
49(1)13--22, 51(1)215--220, 52(1)59--75, 54(2)165--179,
55(2)183--263, 56(3)345--353, 57(2)239--249, 58(1)81--101,
58(1)201--208, 60(3)285--296, 64(3)271--280, 66(1)55--63,
66(2)117--136, 66(3)233--245, 67(1)19--35, 67(1)65--73,
67(2)143--172
-
monoide, 35(1)71--87
-
monotone, 36(1)59--69, 38(1)55--68, 43(2)201--211, 44(3)247--257,
48(1)53--73, 53(2)267--279, 64(3)331--342, 66(1)15--25,
66(1)113--114
-
monotonic, 48(1)9--33, 61(2)289--297
-
Moran, S., 64(1)125--132
-
Moran, S., see Korach, E.
-
more, 39(2)267--280, 43(2)201--211, 51(1)53--80
-
Mori, Makoto, 65(2)243--248
-
Mori:1989:FDP, 65(2)243--248
-
Moriya, Etsuro, 67(1)75--85
-
Moriya, T., 52(1)165--171
-
Moriya, Tetsuo, 61(2)137--147
-
Moriya:1987:TCI, 52(1)165--171
-
Moriya:1988:ACA, 61(2)137--147
-
Moriya:1989:GCA, 67(1)75--85
-
morphic, 51(3)301--308
-
morphism, 37(3)269--304, 38(1)117--122, 39(2)171--188, 41(1)105--107,
46(1)101--106, 47(3)247--262, 48(2)183--199, 48(2)283--296,
51(1)215--220, 53(1)3--24, 59(3)235--257, 66(1)45--53,
68(3)347--348
-
Morris-Pratt, Knuth-, 57(1)131--145
-
Morse, Thue-, 63(1)1--17, 63(3)333--348
-
Moscarini, M., 35(2)165--177
-
Moscarini, M., see Ausiello, G.
-
Mosse, Brigitte, 65(2)249--263
-
Mosse:1989:QAS, 65(2)249--263
-
most, 69(2)117--242
-
most-recent, 56(1)3--15
-
motivation, 46(2)197--217
-
Motohashi, Y., 43(2)277--291
-
Motohashi, Y., see Suzuki, I.
-
mots, 58(1)231--248, 60(3)255--283
-
moves, 53(1)151--167
-
mu, 45(2)193--260
-
Muller, 43(2)315--335
-
Muller, D. E., 37(1)51--75, 54(2)267--276
-
Muller, H., 53(2)257--265
-
Muller:1985:TEP, 37(1)51--75
-
Muller:1987:AAI, 54(2)267--276
-
Muller:1987:NCS, 53(2)257--265
-
multi-channel, 52(3)193--203
-
multi-linear, 60(3)231--254
-
multi-unit, 52(1)155--163
-
multichannel, 52(3)193--203
-
multicounter, 38(2)223--247, 48(2)329--337, 51(3)325--330,
67(1)111--113
-
multidimensional, 56(2)233--241
-
multigraph, 52(1)155--163
-
multihead, 36(2)291--308, 48(2)153--181, 52(3)341--342, 59(3)259--276,
61(2)149--174
-
Multilinear, 60(3)231--254
-
multiple, 44(2)155--174, 49(2)171--184, 62(3)251--266, 63(1)91--111,
64(2)203--219
-
multiplication, 36(2)309--317, 36(2)333--339, 40(2)319--322,
51(3)341--348, 59(3)277--286, 59(3)297--307, 64(2)135--157
-
multiplicative, 65(2)171--188, 65(2)249--263, 68(3)333--342
-
multiplicity, 36(1)113--117
-
multiprocessing, 36(1)1--19, 36(1)27--58, 38(1)1--16, 38(2)193--122,
55(1)1--45
-
multiprocessor, 47(3)323--328, 64(1)83--96, 64(1)125--132,
64(2)175--189, 64(2)191--201
-
multiprogramming, 45(1)1--61
-
multipushdown, 36(2)341--344
-
multiset, 67(1)37--54
-
multistage, 64(2)191--201
-
multitape, 35(2)215--225, 44(1)1--16
-
multivalued, 47(1)71--84, 54(1)103--128, 62(0)3--233, 62(1)105--122,
62(1)221--233
-
Mundici, D., 52(1)145--153, 66(1)113--114
-
Mundici:1987:SMV, 52(1)145--153
-
Mundici:1989:FCM, 66(1)113--114
-
mutual, 59(3)211--234
-
mutually, 45(1)1--61
-
MVD, 62(1)221--233
-
MVD-intersection, 62(1)105--122