Goncharov Sergey Savostyanovich

Presentations in Math-Net.Ru

1. The computability via definability in semantic modeling
   Sergei S. Goncharov
   Logical Perspectives 2018
   May 17, 2018 11:30   
2. Decidability, complexity and index sets of classes of computable models
   S. S. Goncharov
   Mathematical Logic, Algebra and Computation: A two-day conference dedicated to 85-th anniversary of S. I. Adian
   July 18, 2016 12:10