de Queiroz, Ruy J. G. B.

1. A Topological Application of Labelled Natural Deduction
   2019/06/19 by Veras, Tiago M. L., Ramos, Arthur F., de Queiroz, Ruy J. G. B. +1 · 2 citations
   #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
2. 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