Anjolina Grisi de Oliveira - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2019

Propositional intuitionistic multiple-conclusion calculus via proof graphsRuan V. B. Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. igpl, 27(1):33-59, 2019. [doi]

2017

On the identity type as the type of computational pathsArthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira. igpl, 25(4):562-584, 2017. [doi]

2016

Normalization of N-Graphs via Sub-N-GraphsLaís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. ENTCS, 323:3-19, 2016. [doi]

2014

Sequentialization for N-Graphs via Sub-N-GraphsRuan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. wollic 2014: 94-108 [doi]

Intuitionistic N-GraphsMarcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva. igpl, 22(2):274-285, 2014. [doi]

2013

Linear Time Proof Verification on N-Graphs: A Graph Theoretic ApproachLaís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. wollic 2013: 34-48 [doi]

2011

Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula PropertyGleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. FUIN, 106(2-4):119-147, 2011. [doi]

The Functional Interpretation of Direct ComputationsRuy J. G. B. de Queiroz, Anjolina Grisi de Oliveira. ENTCS, 269:19-40, 2011. [doi]

The Functional Interpretation of Logical DeductionRuy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Dov M. Gabbay. Volume 5 of Advances in Logic, World Scientific, 2011. [doi]

2010

Modelling and querying geographical data warehousesJoel da Silva, Anjolina Grisi de Oliveira, Robson do Nascimento Fidalgo, Ana Carolina Salgado, Valéria Cesário Times. is, 35(5):592-614, 2010. [doi]

2009

The impact of spatial data redundancy on SOLAP query performanceThiago Luís Lopes Siqueira, Cristina Dutra de Aguiar Ciferri, Valéria Cesário Times, Anjolina Grisi de Oliveira, Ricardo Rodrigues Ciferri. jbcs, 15(2):19-34, 2009. [doi]

A Metamodel for the Specification of Geographical DataValéria Cesário Times, Robson do Nascimento Fidalgo, Rafael Leão da Fonseca, Joel da Silva, Anjolina Grisi de Oliveira. In Stanislaw Kozielski, Robert Wrembel, editors, New Trends in Data Warehousing and Data Analysis. Volume 3 of Annals of Information Systems, pages 1-22, Springer, 2009. [doi]

2008

A set of aggregation functions for spatial measuresJoel da Silva, Valéria Cesário Times, Ana Carolina Salgado, Clenúbio Souza, Robson do Nascimento Fidalgo, Anjolina Grisi de Oliveira. dolap 2008: 25-32 [doi]

Especificação e Avaliação de Algoritmos para Processamento Multidimensional-GeográficoVivianne Medeiros, Robson do Nascimento Fidalgo, Valéria Cesário Times, Ana Carolina Salgado, Marcília A. Campos, Anjolina Grisi de Oliveira, Joel da Silva. sbbd 2008: 61-75 [doi]

2007

Querying Geographical Data Warehouses With GeoMDQLJoel da Silva, Ausberto S. Castro Vera, Anjolina Grisi de Oliveira, Robson do Nascimento Fidalgo, Ana Carolina Salgado, Valéria Cesário Times. sbbd 2007: 223-237 [doi]

2005

A New Basic Set of Transformations between ProofsAnjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. BIRTHDAY 2005: 499-528

2003

Geometry of Deduction Via Graphs of ProofsAnjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. In Ruy J. G. B. de Queiroz, editor, Logic for Concurrency and Synchronisation. Volume 18 of Trends in Logic, pages 3-88, Kluwer, 2003. [doi]

1999

A Normalization Procedure for the Equational Fragment of Labelled Natural DeductionAnjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz. igpl, 7(2):173-215, 1999. [doi]

Sign in or sign up to see more results.

runs on WebDSL