Presentations in Math-Net.Ru
-
Punctual structures, automatic structures and index sets. Part 2
N. A. Bazhenov, I. Sh. Kalimullin
Seminars
"Proof Theory" and "Logic Online Seminar"
April 8, 2024 18:30
-
Punctual structures, automatic structures and index sets. Part 1
N. A. Bazhenov, I. Sh. Kalimullin
Seminars
"Proof Theory" and "Logic Online Seminar"
April 1, 2024 18:30
-
Learning for families of algebraic structures
N. A. Bazhenov
Seminars
"Proof Theory" and "Logic Online Seminar"
April 4, 2023 18:30
-
Primitive recursive and automatic structures
N. A. Bazhenov, I. Sh. Kalimullin
Adian 90: Conference on Mathematical Logic, Algebra, and Computation
July 7, 2021 11:30
© , 2024