Anjolina Grisi de Oliveira

Publication Activity (10 Years)

Years Active: 1999-2020
Publications (10 Years): 13

Top Topics

Intuitionistic Logic

Graph Theoretic

Natural Deduction

Top Venues

Publications

Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira
Computational Paths - A Weak Groupoid. CoRR (2020)
Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Propositional intuitionistic multiple-conclusion calculus via proof graphs. Log. J. IGPL 27 (1) (2019)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
An alternative approach to the calculation of fundamental groups based on labeled natural deduction. CoRR (2019)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
A Topological Application of Labelled Natural Deduction. CoRR (2019)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths. CoRR (2018)
Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Sequentialization for full N-Graphs via sub-N-Graphs. CoRR (2018)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory. CoRR (2018)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the identity type as the type of computational paths. Log. J. IGPL 25 (4) (2017)
Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
Computational Paths and Identity Types. CoRR (2016)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the Groupoid Model of Computational Paths. CoRR (2015)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On Computational Paths and the Fundamental Groupoid of a Type. CoRR (2015)
Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Normalization of N-Graphs via Sub-N-Graphs. LSFA (2015)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the Identity Type as the Type of Computational Paths. CoRR (2015)
Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Sequentialization for N-Graphs via Sub-N-Graphs. WoLLIC (2014)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
Sequences of Rewrites: A Categorical Interpretation. CoRR (2014)
Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva
Intuitionistic N-Graphs. Log. J. IGPL 22 (2) (2014)
Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach. WoLLIC (2013)
Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. Fundam. Informaticae 106 (2-4) (2011)
Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
Propositional equality, identity types, and direct computational paths CoRR (2011)
Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
The Functional Interpretation of Direct Computations. LSFA (2010)
Joel da Silva, Anjolina Grisi de Oliveira, Robson do Nascimento Fidalgo, Ana Carolina Salgado, Valéria Cesário Times
Modelling and querying geographical data warehouses. Inf. Syst. 35 (5) (2010)
Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. WoLLIC (2009)
Thiago Luís Lopes Siqueira, Cristina Dutra de Aguiar Ciferri, Valéria Cesário Times, Anjolina Grisi de Oliveira, Ricardo Rodrigues Ciferri
The impact of spatial data redundancy on SOLAP query performance. J. Braz. Comput. Soc. 15 (2) (2009)
Vivianne Medeiros, Robson do Nascimento Fidalgo, Valéria Cesário Times, Ana Carolina Salgado, Marcília A. Campos, Anjolina Grisi de Oliveira, Joel da Silva
Especificação e Avaliação de Algoritmos para Processamento Multidimensional-Geográfico. SBBD (2008)
Joel da Silva, Valéria Cesário Times, Ana Carolina Salgado, Clenúbio Souza, Robson do Nascimento Fidalgo, Anjolina Grisi de Oliveira
A set of aggregation functions for spatial measures. DOLAP (2008)
Joel da Silva, Ausberto S. Castro Vera, Anjolina Grisi de Oliveira, Robson do Nascimento Fidalgo, Ana Carolina Salgado, Valéria Cesário Times
Querying Geographical Data Warehouses With GeoMDQL. SBBD (2007)
Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
A New Basic Set of Transformations between Proofs. We Will Show Them! (2) (2005)
Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction. Log. J. IGPL 7 (2) (1999)