Mathematical Foundations of Computer Science 1984, 11th Symposium, MFCS 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
1984
Decidability of Monadic Theories
-
Semenov Alexei
-
в сборнике Mathematical Foundations of Computer Science 1984, 11th Symposium, MFCS 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 176, с. 162-175
DOI