Proof theory

Related papers: 1

Top Researchers

С. С. Гончаров

Institution: —

Andrey Nechesov

Institution: —

Top Cited Papers

Axiomatization of Blockchain Theory

С. С. Гончаров, Andrey Nechesov

Citations: 8 • 2023

Related Technologies

Artificial intelligence Computer science Mathematics Implementation Theoretical computer science Programming language Computer security Mathematical proof Axiom Blockchain