Index file section M for tcs1980.bib
Last update: Thu Sep 27 02:46:46 MDT 2018
Return to index directory
M
-
M, 23(2)217--225
-
m-completeness, 21(2)163--178
-
Maass, W., 24(3)279--289
-
Maass, W., see Homer, S.
-
Machi, A., 21(1)91--98
-
Machi, A., see Cori, R.
-
machine, k-, 14(3)247--265
-
machinery, 13(1)17--43
-
macro, 20(2)95--207
-
macroprocessing, 18(1)41--67
-
Madhavan, C. E. Veni, 33(1)107--116
-
Madhavan:1984:SAR, 33(1)107--116
-
Madlener, K., 32(1)61--76, 32(3)279--295
-
Madlener, K., see Avenhaus, J.
-
Maggiolo-Schettini, A., 13(1)61--83, 15(2)213--221
-
Maggiolo-Schettini, A., see Germano, G.
-
Maggiolo-Schettini:1980:MSC, 13(1)61--83
-
Mahanti, A., 24(2)207--219
-
Mahanti, A., see Bagchi, A.
-
Maher, M. J., 29(1)167--184
-
Maher, M. J., see Lassez, J.-L.
-
Mahr, B., 20(3)209--263, 31(1)49--59
-
Mahr, B., see Ehrig, H.
-
Mahr:1984:CSL, 31(1)49--59
-
Maier, D., 32(1)185--199
-
Maier:1984:CAH, 32(1)185--199
-
Main, M. G., 16(1)93--98, 31(1)211--223
-
Main, M. G., see Ehrenfeucht, A.
-
Main:1981:FUR, 16(1)93--98
-
Mainframes, 12(1)39--60, 23(2)107--127
-
Makowsky, J. A., 31(1)49--59
-
Makowsky, J. A., see Mahr, B.
-
malicious, 34(1)215--225
-
Maluszynski, J., 28(1)13--43
-
Maluszynski:1984:TPL, 28(1)13--43
-
management, 10(1)93--105, 13(1)109--136, 19(2)143--160, 19(3)267--285,
22(1)175--194, 23(1)11--36, 24(2)143--159, 26(1)149--195,
26(3)243--286, 32(1)77--86, 34(1)215--225
-
Manders, 21(1)1--25
-
manipulation, 11(3)247--275, 18(1)41--67
-
many, 11(3)337--339, 34(1)157--168
-
many-one, 14(1)91--101
-
Maon, Y., 33(2)239--240
-
Maon:1984:TSC, 33(2)239--240
-
map, 17(2)151--161, 19(2)219--227, 21(1)91--98, 27(1)217--224
-
mapping, 14(3)211--226, 17(2)229--231, 19(2)219--227
-
Marchetti-Spaccamela, A., 12(1)83--96, 23(3)273--286
-
Marchetti-Spaccamela, A., see Ausiello, G.
-
Marchetti-Spaccamela:1983:LTR, 23(3)273--286
-
Margolis, S. W., 21(2)225--230
-
Margolis:1982:STS, 21(2)225--230
-
Maruoka, A., 14(3)211--226, 27(1)217--224
-
Maruoka:1981:PDT, 14(3)211--226
-
Maruoka:1983:OMT, 27(1)217--224
-
Marvellous, 21(2)163--178
-
Masalagiu, C., 26(1)83--103
-
Masalagiu, C., see Istrail, S.
-
matching, 12(3)303--314, 24(2)179--194, 32(1)25--46
-
matching, string-, 13(3)331--336
-
mathematic, 17(1)75--89
-
mathematical, 11(3)227--245, 22(1)19--55, 27(1)39--60, 34(1)17--32
-
matrix, 11(2)123--143, 11(3)341--z, 17(1)99--102, 19(1)39--67,
21(2)213--224, 22(1)95--126, 22(3)317--330, 23(1)95--101,
23(2)171--185, 28(3)287--298, 31(1)125--138, 31(3)227--261,
33(1)117--138
-
matrix-vector, 28(1)135--150
-
Maurer, H. A., 12(2)135--159, 14(3)227--246, 16(3)329--336,
22(3)331--346, 28(3)277--285
-
Maurer, H. A., see Bucher, W.,
see Edelsbrunner, H.
-
Maurer:1980:SEF, 12(2)135--159
-
Maurer:1983:CNS, 22(3)331--346
-
Maxflow, 21(1)99--103
-
maximal, 14(1)103--111, 14(3)289--303, 15(3)279--289, 16(2)211--221
-
maximality, 10(2)157--170
-
maximum, 21(1)105--111
-
McAloon, D., 32(1)173--183
-
McAloon:1984:PNL, 32(1)173--183
-
McNaughton, R., 31(1)165--174
-
McNaughton, R., see Narendran, P.
-
Mealy, 23(1)95--101
-
measure, 12(1)19--37, 15(3)291--309, 19(1)39--67, 23(2)107--127,
26(3)327--333
-
mechanism, 28(1)45--81, 31(1)211--223
-
Megiddo, N., 19(3)337--341
-
Megiddo:1982:BEA, 19(3)337--341
-
Mehlhorn, K., 11(3)303--320
-
Mehlhorn, K., see Blum, N.
-
MEIJE, 30(1)133--138
-
membership, 11(3)277--301, 22(1)175--194, 33(2)305--326, 34(3)315--335
-
memory, 23(1)103--105, 32(1)157--172, 34(1)227--240
-
memory-allocation, 22(1)71--93
-
mEOL, 21(2)163--178
-
merge, 18(2)173--206, 34(1)135--156
-
merging, 14(1)19--37, 32(1)25--46, 32(1)157--172
-
merging, minimum-comparison-, 14(1)19--37
-
Meseguer, 17(2)151--161
-
Meshulam, R., 32(1)215--219
-
Meshulam:1984:GCS, 32(1)215--219
-
metatheorem, 23(1)49--68
-
metatheory, 22(1)19--55
-
method, 10(1)53--61, 11(3)341--z, 12(1)97--108, 12(2)193--228,
12(3)315--323, 13(2)175--192, 13(3)239--270, 17(1)99--102,
17(3)259--278, 19(1)29--38, 22(1)195--208, 23(1)91--94,
23(2)211--215, 24(1)1--20, 25(1)67--94, 27(1)167--196,
27(3)241--253, 28(3)287--298, 29(1)27--39, 30(2)139--204
-
method, invariant-, 14(3)317--336
-
methodology, 16(1)43--60
-
metric, 11(2)181--205, 16(1)5--24, 24(2)195--205, 28(3)287--298
-
Meyer Auf Der Heide, F., 13(3)315--322
-
Meyer, A. R., 18(3)301--323
-
Meyer, J.-J. C., 21(3)269--279, 34(1)135--156
-
Meyer, J.-J. C., see Bergstra, J. A.,
see de Bakker, J. W.
-
Meyer, J.-J. Ch, 26(1)53--82
-
Meyer, J.-J. Ch., see de Bakker, J. W.
-
Meyer-Stockmeyer, 26(3)287--300
-
Meyer:1982:EPL, 18(3)301--323
-
MeyerAufDerHeide:1981:CTV, 13(3)315--322
-
Mezghiche, M., 31(1)151--162
-
Mezghiche:1984:NRC, 31(1)151--162
-
Miller, Karp-, 23(2)107--127, 32(1)173--183
-
Milner's, Egli-, 31(1)73--82
-
Milner, R., 25(3)267--310
-
Milner:1983:CSA, 25(3)267--310
-
minicomputers, 12(1)39--60, 23(2)107--127
-
minimal, 12(3)325--332, 14(3)289--303, 16(2)211--221, 17(1)103--110,
19(1)1--16, 23(3)305--315, 30(2)205--239, 31(1)41--48
-
minimization, 31(1)1--11
-
minimizing, 16(3)307--319
-
minimum-comparison-merging, 14(1)19--37
-
misere, 29(1)49--73
-
mixed, 18(1)41--67, 31(1)83--100
-
mixing, 23(2)129--154
-
Miyano, S., 21(1)27--37, 32(3)321--330
-
Miyano:1982:TWD, 21(1)27--37
-
Miyano:1984:AFA, 32(3)321--330
-
modal, 27(3)333--354
-
mode, 12(3)255--263, 20(2)95--207
-
model, 11(2)117--121, 16(2)199--210, 17(2)193--212, 17(3)259--278,
20(1)3--32, 24(1)73--94, 24(2)123--130, 26(1)105--120,
26(1)149--195, 27(3)297--310, 27(3)333--354, 28(1)45--81,
28(1)171--196, 28(3)263--276, 29(3)309--324, 30(3)241--318,
32(1)121--156, 32(1)157--172, 33(1)3--11, 33(2)139--174,
33(2)195--238, 34(1)83--133, 34(3)343--350
-
Modeling, 13(1)61--83
-
modelling, 13(1)109--136, 23(2)107--127, 24(2)123--130, 25(1)67--94,
25(3)267--310
-
modular, 25(3)221--265
-
module, 13(1)61--83, 20(1)3--32
-
modulo, 23(2)211--215
-
modulus, 20(3)323--352
-
Moldavanskii, 32(3)279--295
-
monadic, 11(2)123--143, 18(3)325--331, 19(3)231--251, 25(2)171--192,
27(1)3--38, 33(2)261--278
-
monadic, non-, 33(2)261--278
-
Monien, B., 21(3)237--253
-
Monien:1982:ENT, 21(3)237--253
-
Monier, L., 12(1)97--108, 24(2)123--130
-
Monier, L., see Chazelle, B.
-
Monier:1980:ECT, 12(1)97--108
-
monogenic, 14(3)211--226
-
monoid, 11(2)167--180, 12(3)325--332, 13(2)137--150, 14(2)195--208,
16(1)61--73, 17(2)229--231, 18(3)279--300, 18(3)325--331,
23(1)83--89, 24(3)301--312, 25(2)95--169, 28(3)329--336,
29(3)277--284, 29(3)285--308, 30(1)133--138, 32(1)201--213,
32(3)249--260, 33(2)331--334
-
monotone, 16(2)177--185, 21(2)213--224
-
monotonicity, 24(3)313--322
-
Monte, 23(2)211--215
-
Monting, J., Schulte, 14(1)19--37
-
Moore, D. J., 15(3)279--289
-
Moore, D. J., see Leggett, Jr., E. W.
-
Moran, S., 14(3)289--303, 15(3)251--277, 19(1)17--28, 24(1)35--52
-
Moran, S., see Ibarra, O. H., \see{Paz, A.
-
Moran:1981:GAA, 14(3)289--303
-
more, 12(2)119--126, 15(3)223--249, 18(1)33--40, 26(1)105--120,
27(3)287--295
-
morphism, 18(2)221--226, 18(3)279--300, 19(1)29--38, 22(3)331--346,
29(3)285--308, 32(1)1--24, 33(2)239--240, 33(2)327--329,
34(1)33--82
-
Moscarini, M., 19(3)267--285
-
Moscarini, M., see Atzeni, P.
-
mu, 27(3)333--354
-
mu-calculus, 27(3)333--354
-
multi-weak-counter, 21(1)27--37
-
multicounter, 13(3)295--314
-
multidimensional, 15(3)311--320, 19(3)253--266, 21(2)145--161
-
multihead, 13(3)331--336, 21(2)145--161, 27(1)121--125
-
multilists, 33(1)107--116
-
multiparenthesis, 31(3)337--349
-
multiple, 24(1)95--104, 33(1)107--116, 34(1)157--168
-
multiplication, 14(1)79--90, 15(2)201--211, 22(3)285--296,
23(2)171--185, 28(3)263--276, 33(1)117--138
-
multiplicative, 10(1)53--61
-
multiplicities, 15(1)77--110
-
multiprocessing, 12(1)1--17, 17(2)213--216, 25(3)221--265,
34(1)215--225
-
multiprocessor, 17(2)213--216
-
multireset, 34(3)241--254
-
multisets, 12(3)255--263
-
multitape, 26(1)1--24, 34(1)157--168
-
multivalued, 10(1)93--105, 22(1)175--194
-
multivariate, 12(3)303--314, 15(1)77--110, 34(1)207--213
-
Munro, J. I., 12(3)255--263, 12(3)315--323
-
Munro, J. I., see Dobkin, D.
-
Munro:1980:SSL, 12(3)315--323
-
mutual, 34(1)215--225
-
Myhill-like, 27(1)211--215
-
Myhill-Nerode, 27(3)311--332