Vladimir Ivanovich Mart'yanov

Available identifiers

zbMath Open martyanov.vladimir-ivanovichMaRDI QIDQ446184

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2783619	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vladimir Ivanovich Mart'yanov