Leyla Khatbullina

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Digital Topology

Machine Intelligence

Intuitionistic Logic

Top Venues

Publications

Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev
Bar-Hillel Theorem Mechanization in Coq. WoLLIC (2019)