Modelling and querying geographical data warehouses
da Silva, Joel, de Oliveira, Anjolina G., Fidalgo, Robson N., Salgado, Ana Carolina, Times, Valéria C.
Published in Information systems (Oxford) (01.07.2010)
Published in Information systems (Oxford) (01.07.2010)
Get full text
Journal Article
Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Year of Publication 24.06.2015
Get full text
Conference Proceeding
Computational Paths -- An approach in the $LND_{EQ}-TRS_{2}$ system
Veras, Tiago M. L, Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G
Year of Publication 13.07.2020
Year of Publication 13.07.2020
Get full text
Journal Article
An alternative approach to the calculation of fundamental groups based on labeled natural deduction
de Veras, Tiago M. L, Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G
Year of Publication 19.06.2019
Year of Publication 19.06.2019
Get full text
Journal Article
A Topological Application of Labelled Natural Deduction
Veras, Tiago M. L, Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G
Year of Publication 19.06.2019
Year of Publication 19.06.2019
Get full text
Journal Article
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths
de Veras, Tiago Mendonça Lucena, Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G
Year of Publication 03.04.2018
Year of Publication 03.04.2018
Get full text
Journal Article
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory
Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G, de Veras, Tiago Mendonça Lucena
Year of Publication 02.03.2018
Year of Publication 02.03.2018
Get full text
Journal Article
Sequentialization for full N-Graphs via sub-N-Graphs
Carvalho, Ruan V. B, Andrade, Lais S, de Oliveira, Anjolina G, de Queiroz, Ruy J. G. B
Year of Publication 01.03.2018
Year of Publication 01.03.2018
Get full text
Journal Article
Explicit Computational Paths
Ramos, Arthur Freitas, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G
Year of Publication 16.09.2016
Year of Publication 16.09.2016
Get full text
Journal Article
A Topological Application of Labelled Natural Deduction
Veras, Tiago M L, Ramos, Arthur F, Ruy J G B de Queiroz, de Oliveira, Anjolina G
Published in arXiv.org (09.05.2021)
Get full text
Published in arXiv.org (09.05.2021)
Paper
Explicit Computational Paths
Arthur Freitas Ramos, Ruy J G B de Queiroz, de Oliveira, Anjolina G
Published in arXiv.org (26.04.2018)
Get full text
Published in arXiv.org (26.04.2018)
Paper
The Functional Interpretation of Direct Computations
de Queiroz, Ruy J.G.B., de Oliveira, Anjolina G.
Published in Electronic notes in theoretical computer science (22.04.2011)
Published in Electronic notes in theoretical computer science (22.04.2011)
Get full text
Journal Article