Arthur Ramos
- An alternative approach to the calculation of fundamental groups based on labeled natural deduction
2019/06/19 by Tiago M. L. de Veras, Arthur Ramos, de Veras, Tiago M. L. +5 · 1 citation
Computer Science · Mathematics · #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Logic, programming, and type systems