Ruy J. G. B. de Queiroz

1. On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics
   2008/10/23 by Ruy J. G. B. de Queiroz · 4 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #semigroups and automata theory
2. Propositional equality, identity types, and direct computational paths
   2011/07/10 by Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, de Queiroz, Ruy J. G. B. +1 · 5 citations
   Computer Science · #03F03 #03Fxx #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings
   2009/01/01 by Hutchison, David, Goebel, Randy, Siekmann, Jörg +21 · 2 citations
   Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
4. A Topological Application of Labelled Natural Deduction
   2019/06/19 by Tiago M. L. de Veras, Veras, Tiago M. L., Arthur Ramos +5 · 2 citations
   Computer Science · Mathematics · #Advanced Algebra and Logic #Algebraic Topology (math.AT) #Data Management and Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO)
5. Logic, Language, Information, and Computation
   2014/01/01 by Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms
6. Logic, Language, Information and Computation
   2008/01/01 by Wilfrid Hodges, Ruy J. G. B. de Queiroz · 1 citation
   Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
7. An alternative approach to the calculation of fundamental groups based on labeled natural deduction
   2019/06/19 by Tiago M. L. de Veras, de Veras, Tiago M. L., Arthur Ramos +5 · 2 citations
   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
8. Multiplier obstructions for Legendre pairs of length 333
   2026/07/22 by Arthur F. Ramos, David B. Hulak, Ruy J. G. B. de Queiroz
   Mathematics · #math.CO