V. I. Martyanov

Available identifiers

Publication	Date of Publication	Type
Combinatorial problems of high complexity and analysis of sketch images	2015-03-16	Paper
About the elementary subgroup theory of abelian groups	2012-09-05	Paper
Testing the covariant-tensor multivalent structure of a continuous control system using the SVD-expansion technology	2002-12-04	Paper
Implementation of proof schemes in the method of invariant transformations	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3826518	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3770496	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3808065	1986-01-01	Paper
Invariant transformations of formulas	1984-01-01	Paper
Undecidability of the theory of Boolean algebras with automorphism	1983-01-01	Paper
Universal theories of integers and the extended Bliznetsov hypothesis	1983-01-01	Paper
Specification methods and partial construction of theory by computer	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3968915	1982-01-01	Paper
Undecidability of the theory of Abelian groups with an automorphism	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4163571	1978-01-01	Paper
Extended universal theories of the integers	1977-01-01	Paper
The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4116443	1975-01-01	Paper

This page was built for person: V. I. Martyanov