| http://www.w3.org/ns/prov#value | - While an undergraduate he had already published some important papers (all in Russian): Simple examples of unsolvable canonical calculi (1967), Simple examples of unsolvable associative calculi (1967), Arithmetic representations of powers (1968), A connection between systems of word and length equations and Hilbert's tenth problem (1968), and Two reductions of Hilbert's tenth problem (1968).
|
