Proof theory

相关论文数: 1

顶级研究者

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

研究机构: —

Andrey Nechesov

研究机构: —

最高引用论文

Axiomatization of Blockchain Theory

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

引用数: 8 • 2023

相关技术

Artificial intelligenceComputer scienceMathematicsImplementationTheoretical computer scienceProgramming languageComputer securityMathematical proofAxiomBlockchain