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
-
The degrees of relative computable categoricity
I. Sh. Kalimullin
Seminars
"Proof Theory" and "Logic Online Seminar"
April 11, 2023 18:30
-
Computable families of sets and numberings
Iskander Kalimullin
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
October 27, 2022 18:05
-
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