Anjolina Grisi de Oliveira

According to our database, Anjolina Grisi de Oliveira authored at least 30 papers between 1999 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Computational Paths - A Weak Groupoid.

Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira

CoRR, 2020

2019

Propositional intuitionistic multiple-conclusion calculus via proof graphs.

Ruan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2019

An alternative approach to the calculation of fundamental groups based on labeled natural deduction.

Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2019

A Topological Application of Labelled Natural Deduction.

Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2019

2018

On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths.

Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2018

On the Use of Computational Paths in Path Spaces of Homotopy Type Theory.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras

CoRR, 2018

Sequentialization for full N-Graphs via sub-N-Graphs.

Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

CoRR, 2018

2017

On the identity type as the type of computational paths.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

Log. J. IGPL, 2017

2016

Computational Paths and Identity Types.

Arthur Freitas Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2016

2015

Normalization of N-Graphs via Sub-N-Graphs.

Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

On Computational Paths and the Fundamental Groupoid of a Type.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2015

On the Groupoid Model of Computational Paths.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2015

2014

Intuitionistic N-Graphs.

Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva

Log. J. IGPL, 2014

Sequences of Rewrites: A Categorical Interpretation.

Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2014

Sequentialization for N-Graphs via Sub-N-Graphs.

Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, Language, Information, and Computation, 2014

2013

Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.

Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, Language, Information, and Computation, 2013

2011

The Functional Interpretation of Logical Deduction

Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Dov M. Gabbay

Advances in Logic 5, World Scientific, ISBN: 978-981-4458-36-8, 2011

Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property.

Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Fundam. Informaticae, 2011

Propositional equality, identity types, and direct computational paths

Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

CoRR, 2011

2010

Modelling and querying geographical data warehouses.

Joel da Silva, Anjolina Grisi de Oliveira, Robson do Nascimento Fidalgo, Ana Carolina Salgado, Valéria Cesário Times

Inf. Syst., 2010

The Functional Interpretation of Direct Computations.

Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

2009

A Metamodel for the Specification of Geographical Data.

Valéria Cesário Times, Robson do Nascimento Fidalgo, Rafael Leão da Fonseca, Joel da Silva, Anjolina Grisi de Oliveira

Proceedings of the New Trends in Data Warehousing and Data Analysis, 2009

The impact of spatial data redundancy on SOLAP query performance.

Thiago Luís Lopes Siqueira, Cristina Dutra de Aguiar Ciferri, Valéria Cesário Times, Anjolina Grisi de Oliveira, Ricardo Rodrigues Ciferri

J. Braz. Comput. Soc., 2009

Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization.

Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic, 2009

2008

Especificação e Avaliação de Algoritmos para Processamento Multidimensional-Geográfico.

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

Proceedings of the XXIII Simpósio Brasileiro de Banco de Dados, 2008

A set of aggregation functions for spatial measures.

Joel da Silva, Valéria Cesário Times, Ana Carolina Salgado, Clenúbio Souza, Robson do Nascimento Fidalgo, Anjolina Grisi de Oliveira

Proceedings of the DOLAP 2008, 2008

2007

Querying Geographical Data Warehouses With GeoMDQL.

Joel da Silva, Ausberto S. Castro Vera, Anjolina Grisi de Oliveira, Robson do Nascimento Fidalgo, Ana Carolina Salgado, Valéria Cesário Times

Proceedings of the XXII Simpósio Brasileiro de Banco de Dados, 2007

2005

A New Basic Set of Transformations between Proofs.

Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2003

Geometry of Deduction Via Graphs of Proofs.

Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Proceedings of the Logic for Concurrency and Synchronisation, 2003

1999

A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction.

Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz

Log. J. IGPL, 1999