Complexity of the Lambek Calculus with One Division and a Negative-Polarity Modality for Weakening by Pentus, A. E., Pentus, M. R.

Get full text

Proof Nets for the Lambek Calculus with One Division and a Negative-Polarity Modality for Weakening by Pentus, A. E., Pentus, M. R.

Get full text

The Atomic Theory of Division and Intersection of Semiring Ideals by Pentus, A. E., Pentus, M. R.

Get full text

The atomic theory of left division of two-sided ideals of semirings with unit by Pentus, A. E., Pentus, M. R.

Get full text

Sergei Ivanovich Adian by Atabekyan, V. S., Beklemishev, L. D., Buchstaber, V. M., Goncharov, S. S., Guba, V. S., Ershov, Yu. L., Kozlov, V. V., Lysenok, I. G., Novikov, S. P., Osipov, Yu. S., Pentus, M. R., Podolskii, V. V., Razborov, A. A., Sadovnichii, V. A., Semenov, A. L., Talambutsa, A. L., Treschev, D. V., Shevrin, L. N.

Get full text

The atomic theory of multiplication and division of semiring ideals by Pentus, A. E., Pentus, M. R.

Get full text

Vladimir Andreevich Uspensky (27/11/1930-27/6/2018) by Adian, S. I., Andreev, N. N., Beklemishev, L. D., Goncharov, S. S., Ershov, Yu. L., Matiyasevich, Yu. V., Osipov, Yu. S., Pentus, M. R., Plungyan, V. A., Rakhilina, E. V., Sadovnichii, V. A., Semenov, A. L., Tatevosov, S. G., Tikhomirov, V. M., Shen, A. Kh

Get full text

The atomic theory of division of semiring ideals by Pentus, A. E., Pentus, M. R.

Get full text

Object-oriented representation of hierarchical graphs by Pentus, A. E., Pentus, M. R.

Get full text

Sergei Ivanovich Adian (on his 75th birthday) by Beklemishev, L D, Lysenok, I G, Mal'tsev, A A, Novikov, S P, Pentus, M R, Razborov, A A, Semenov, A L, Uspenskii, V A

Get full text