2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023
ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
Publicações
2023
Computational paths - a weak groupoid
DE VERAS, TIAGO M L; RAMOS, ARTHUR F; DE QUEIROZ, RUY J G B; DE OLIVEIRA, ANJOLINA G
JOURNAL OF LOGIC AND COMPUTATION
2021
Conversão de Termos, Homotopia, e Estrutura de Grupóide
RAMOS, ARTHUR F.; QUEIROZ, RUY J. G. B. DE; OLIVEIRA, ANJOLINA G. DE
Workshop Brasileiro de Lógica
2021
Calculation of Fundamental Groups via Computational Paths
VERAS, T. M. L. DE; RAMOS, A. F.; QUEIROZ, R. J. G. B. DE; OLIVEIRA, A. G. DE
Encontro de Teoria da Computação
2021
Computational Paths and the Fundamental Groupoid of a Type
RAMOS, ARTHUR F.; QUEIROZ, RUY J. G. B. DE; OLIVEIRA, ANJOLINA G. DE
Encontro de Teoria da Computação
2019
Propositional Intuitionistic Multiple-Conclusion Calculus via Proof-Graphs
CARVALHO, R. V. B.; DE OLIVEIRA, ANJOLINA G.; DE QUEIROZ, RUY J. G. B.
LOGIC JOURNAL OF THE IGPL
2018
Explicit Computational Paths
RAMOS, A. F.; de QUEIROZ, R. J. G. B.; DE OLIVEIRA, ANJOLINA G.; VERAS, T. M. L.
SOUTH AMERICAN JOURNAL OF LOGIC
2017
On the identity type as the type of computational paths
RAMOS, ARTHUR F.; DE QUEIROZ, RUY J. G. B.; DE OLIVEIRA, ANJOLINA G.
LOGIC JOURNAL OF THE IGPL
2016
Normalization of N-Graphs via Sub-N-Graphs
ANDRADE, LAÍS; CARVALHO, RUAN; DE OLIVEIRA, ANJOLINA; DE QUEIROZ, RUY
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
2016
Propositional Equality, Identity Types, and Computational Paths
DE QUEIROZ, RUY J. G. B.; DE OLIVEIRA, ANJOLINA G.; RAMOS, A. F.
SOUTH AMERICAN JOURNAL OF LOGIC
2014
Sequentialization for N-Graphs via Sub-N-Graphs
CARVALHO, R. V. B.; ANDRADE, L. S.; DE OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014
2014
Intuitionistic N-Graphs
QUISPE-CRUZ, M.; DE OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.; de Paiva, V.
LOGIC JOURNAL OF THE IGPL (ONLINE)
2013
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach
ANDRADE, L. S.; CARVALHO, R. V. B.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
20th International Workshop on Logic, Language, Information and Computation, WoLLIC 2013
2011
Intuitionistic N-Graphs
Cruz, M. Q.; OLIVEIRA, A. G.; de Paiva, V.; de QUEIROZ, R. J. G. B.
6th Workshop on Logical and Semantic Frameworks, with Applications
2011
The functional interpretation of direct computations.
de QUEIROZ, R. J. G. B.; OLIVEIRA, A. G.
Electronic Notes in Theoretical Computer Science
2011
Proof-graphs: a thorough cycle treatment, normalization and subformula property
ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Fundamenta Informaticae
2010
Modelling and querying geographical data warehouses
Joel da Silva; OLIVEIRA, A. G.; Robson do N. Fidalgo; Ana C. Salgado; TIMES, V. C.
Information Systems (Oxford)
2009
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
16th Workshop on Logic, Language, Information and Computation - WoLLIC 2009
2009
The impact of spatial data redundancy on SOLAP query performance
Siqueira, Thiago Luis Lopess; Ciferri, Cristina Dutra de Aguiar; TIMES, V. C.; OLIVEIRA, A. G.; Ciferri, Ricardo Rodrigues
Journal of the Brazilian Computer Society (Impresso)
2008
Especificação e Avaliação de Algoritmos para Processamento Multidimensional-Geográfico
Medeiros, V. N.; Robson do N. Fidalgo; TIMES, V. C.; SALGADO, A. C.; CAMPOS, M. A.; OLIVEIRA, A. G.; Joel da Silva
[SBBD]
SBBD 2008
2008
A Set of Aggregation Functions for Spatial Measures
Joel da Silva; OLIVEIRA, A. G.; SALGADO, A. C.; TIMES, V. C.; Robson do N. Fidalgo
DOLAP 2008
2007
Querying Geographical Data Warehouses with GeoMDQL
Joel da Silva; Ausberto S. Castro Vera; OLIVEIRA, A. G.; Robson do N. Fidalgo; Ana C. Salgado; Valéria C. Times
22nd Brazilian Symposium on Databases
2005
Towards normalization for proof-graphs
ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Logic Cooloquium
2004
Normalization for Proof-Graphs
ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
I Encontro Norte-Nordeste de Matemática Aplicada e Computacional
2004
Towards Normalization for Proof-graphs: Basic Transformations
ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Logic Colloquium 2004
2001
Uma Introducao `a Teoria da Prova
Ana Tereza C. Martins; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Jornada de Atualizacao em Inteligencia Artificial, JAIA, paralelo ao XXI congresso da SBC
1999
A Normalization Procedure for the LND Equational Fragment
OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Logic Journal of the Interest Group in Pure and Applied Logics
1997
A New Basic Set of Proof Transformations
OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Logical Colloquium
1996
A Normalization Procedure for the LND Equational Fragment (abstract)
OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Journal of the Interest Group in Pure and Applied Logic
1994
Gentzen e a Analise da Deducao
OLIVEIRA, A. G.; Gorender, S.
Semana de Informatica da UFBA
1994
Term Rewriting Systems with LDS
OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Brazilian Symposium on Artificial Intelligence, SBIA'94
Publicações
2023
Computational paths - a weak groupoid
DE VERAS, TIAGO M L; RAMOS, ARTHUR F; DE QUEIROZ, RUY J G B; DE OLIVEIRA, ANJOLINA G
JOURNAL OF LOGIC AND COMPUTATION
2021
Conversão de Termos, Homotopia, e Estrutura de Grupóide
RAMOS, ARTHUR F.; QUEIROZ, RUY J. G. B. DE; OLIVEIRA, ANJOLINA G. DE
Workshop Brasileiro de Lógica
2021
Calculation of Fundamental Groups via Computational Paths
VERAS, T. M. L. DE; RAMOS, A. F.; QUEIROZ, R. J. G. B. DE; OLIVEIRA, A. G. DE
Encontro de Teoria da Computação
2021
Computational Paths and the Fundamental Groupoid of a Type
RAMOS, ARTHUR F.; QUEIROZ, RUY J. G. B. DE; OLIVEIRA, ANJOLINA G. DE
Encontro de Teoria da Computação
2019
Propositional Intuitionistic Multiple-Conclusion Calculus via Proof-Graphs
CARVALHO, R. V. B.; DE OLIVEIRA, ANJOLINA G.; DE QUEIROZ, RUY J. G. B.
LOGIC JOURNAL OF THE IGPL
2018
Explicit Computational Paths
RAMOS, A. F.; de QUEIROZ, R. J. G. B.; DE OLIVEIRA, ANJOLINA G.; VERAS, T. M. L.
SOUTH AMERICAN JOURNAL OF LOGIC
2017
On the identity type as the type of computational paths
RAMOS, ARTHUR F.; DE QUEIROZ, RUY J. G. B.; DE OLIVEIRA, ANJOLINA G.
LOGIC JOURNAL OF THE IGPL
2016
Normalization of N-Graphs via Sub-N-Graphs
ANDRADE, LAÍS; CARVALHO, RUAN; DE OLIVEIRA, ANJOLINA; DE QUEIROZ, RUY
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
2016
Propositional Equality, Identity Types, and Computational Paths
DE QUEIROZ, RUY J. G. B.; DE OLIVEIRA, ANJOLINA G.; RAMOS, A. F.
SOUTH AMERICAN JOURNAL OF LOGIC
2014
Sequentialization for N-Graphs via Sub-N-Graphs
CARVALHO, R. V. B.; ANDRADE, L. S.; DE OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014
2014
Intuitionistic N-Graphs
QUISPE-CRUZ, M.; DE OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.; de Paiva, V.
LOGIC JOURNAL OF THE IGPL (ONLINE)
2013
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach
ANDRADE, L. S.; CARVALHO, R. V. B.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
20th International Workshop on Logic, Language, Information and Computation, WoLLIC 2013
2011
Intuitionistic N-Graphs
Cruz, M. Q.; OLIVEIRA, A. G.; de Paiva, V.; de QUEIROZ, R. J. G. B.
6th Workshop on Logical and Semantic Frameworks, with Applications
2011
The functional interpretation of direct computations.
de QUEIROZ, R. J. G. B.; OLIVEIRA, A. G.
Electronic Notes in Theoretical Computer Science
2011
Proof-graphs: a thorough cycle treatment, normalization and subformula property
ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Fundamenta Informaticae
2010
Modelling and querying geographical data warehouses
Joel da Silva; OLIVEIRA, A. G.; Robson do N. Fidalgo; Ana C. Salgado; TIMES, V. C.
Information Systems (Oxford)
2009
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
16th Workshop on Logic, Language, Information and Computation - WoLLIC 2009
2009
The impact of spatial data redundancy on SOLAP query performance
Siqueira, Thiago Luis Lopess; Ciferri, Cristina Dutra de Aguiar; TIMES, V. C.; OLIVEIRA, A. G.; Ciferri, Ricardo Rodrigues
Journal of the Brazilian Computer Society (Impresso)
2008
Especificação e Avaliação de Algoritmos para Processamento Multidimensional-Geográfico
Medeiros, V. N.; Robson do N. Fidalgo; TIMES, V. C.; SALGADO, A. C.; CAMPOS, M. A.; OLIVEIRA, A. G.; Joel da Silva
[SBBD]
SBBD 2008
2008
A Set of Aggregation Functions for Spatial Measures
Joel da Silva; OLIVEIRA, A. G.; SALGADO, A. C.; TIMES, V. C.; Robson do N. Fidalgo
DOLAP 2008
2007
Querying Geographical Data Warehouses with GeoMDQL
Joel da Silva; Ausberto S. Castro Vera; OLIVEIRA, A. G.; Robson do N. Fidalgo; Ana C. Salgado; Valéria C. Times
22nd Brazilian Symposium on Databases
2005
Towards normalization for proof-graphs
ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Logic Cooloquium
2004
Normalization for Proof-Graphs
ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
I Encontro Norte-Nordeste de Matemática Aplicada e Computacional
2004
Towards Normalization for Proof-graphs: Basic Transformations
ALVES, G. V.; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Logic Colloquium 2004
2001
Uma Introducao `a Teoria da Prova
Ana Tereza C. Martins; OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Jornada de Atualizacao em Inteligencia Artificial, JAIA, paralelo ao XXI congresso da SBC
1999
A Normalization Procedure for the LND Equational Fragment
OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Logic Journal of the Interest Group in Pure and Applied Logics
1997
A New Basic Set of Proof Transformations
OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Logical Colloquium
1996
A Normalization Procedure for the LND Equational Fragment (abstract)
OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Journal of the Interest Group in Pure and Applied Logic
1994
Gentzen e a Analise da Deducao
OLIVEIRA, A. G.; Gorender, S.
Semana de Informatica da UFBA
1994
Term Rewriting Systems with LDS
OLIVEIRA, A. G.; de QUEIROZ, R. J. G. B.
Brazilian Symposium on Artificial Intelligence, SBIA'94
ago
Anjolina Grisi de Oliveira
Professor Associado IV
Vice-Coordenadora Geral de Ensino
Processamento e Sintese de midias digitais
Design Thinking
E-mail
ago@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4057
Sala
B204
•
Publicações
Publicações
•
Projetos
Projetos
•
Orientações Acadêmicas
Orientações
ago
Anjolina Grisi de Oliveira
Professor Associado IV
Vice-Coordenadora Geral de Ensino
Processamento e Sintese de midias digitais
Design Thinking
E-mail
ago@cin.ufpe.br
Telefone
+55 81 2126-8430
R:
4057
Sala
B204
•
Publicações
Publicações
•
Projetos
Projetos
•
Orientações Acadêmicas
Orientações
