I agree that this site is using cookies. You can find further informations here.
X
de Oliveira, Anjolina G.
24  results:
Search for persons X
?
1

Computational paths - a weak groupoid:

de Veras, Tiago M L ; Ramos, Arthur F ; de Queiroz, Ruy J G B.
Journal of Logic and Computation.  , 2023
Link: https://doi.org/10.1093/..
 
?
2

Propositional intuitionistic multiple-conclusion calculus v..:

Carvalho, Ruan V B ; de Oliveira, Anjolina G ; de Queiroz, Ruy J G B
Logic Journal of the IGPL.  , 2018
Link: https://doi.org/10.1093/..
 
?
3

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.  25 (2017)  4 - p. 562-584 , 2017
Link: https://doi.org/10.1093/..
 
?
4

Logic, Language, Information, and Computation 

22nd International Workshop, WoLLIC 2015, Bloomington, IN, ...  Lecture Notes in Computer Science ; 9160;SpringerLink, Bücher
de Paiva, Valeria ; de Queiroz, Ruy ; de Oliveira, Anjolina G... , 2015
Link: https://doi.org/10.1007/..
 
?
5

The functional interpretation of logical deduction 

Advances in logic ; 5
Queiroz, Ruy J. G. B. de ; Oliveira, Anjolina G. de ; Oliveria, Anjolina G. de , 2012
Copies:  Zentrale:E02 a mat 010/799
 
?
6

The functional interpretation of logical deduction 

Advances in logic, v. 5
Queiroz, Ruy J. G. B. de ; Oliveira, Anjolina G. de ; Gabbay, Dov M , 2012
Link: https://search.ebscohost..
 
?
7

The Functional Interpretation of Direct Computations:

de Queiroz, Ruy J.G.B. ; de Oliveira, Anjolina G.
Electronic Notes in Theoretical Computer Science.  269 (2011)  - p. 19-40 , 2011
Link: https://doi.org/10.1016/..
 
?
8

Modelling and querying geographical data warehouses:

da Silva, Joel ; de Oliveira, Anjolina G. ; Fidalgo, Robson N...
Information Systems.  35 (2010)  5 - p. 592-614 , 2010
Link: https://doi.org/10.1016/..
 
?
9

Computational Paths -- An approach in the $LND_{EQ}-TRS_{2}..:

Veras, Tiago M. L ; Ramos, Arthur F ; de Queiroz, Ruy J. G. B.
http://arxiv.org/abs/2007.07769.  , 2020
Link: http://arxiv.org/abs/200..
 
?
10

An alternative approach to the calculation of fundamental g..:

de Veras, Tiago M. L ; Ramos, Arthur F ; de Queiroz, Ruy J. G. B.
http://arxiv.org/abs/1906.09107.  , 2019
Link: http://arxiv.org/abs/190..
 
?
11

A Topological Application of Labelled Natural Deduction:

Veras, Tiago M. L ; Ramos, Arthur F ; de Queiroz, Ruy J. G. B.
http://arxiv.org/abs/1906.09105.  , 2019
Link: http://arxiv.org/abs/190..
 
?
12

On the Calculation of Fundamental Groups in Homotopy Type T..:

de Veras, Tiago Mendonça Lucena ; Ramos, Arthur F ; de Queiroz, Ruy J. G. B.
http://arxiv.org/abs/1804.01413.  , 2018
Link: http://arxiv.org/abs/180..
 
?
13

On the Use of Computational Paths in Path Spaces of Homotop..:

Ramos, Arthur F ; de Queiroz, Ruy J. G. B ; de Oliveira, Anjolina G.
http://arxiv.org/abs/1803.01709.  , 2018
Link: http://arxiv.org/abs/180..
 
?
14

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

Carvalho, Ruan V. B ; Andrade, Lais S ; de Oliveira, Anjolina G.
http://arxiv.org/abs/1803.00555.  , 2018
Link: http://arxiv.org/abs/180..
 
?
15

Explicit Computational Paths:

Ramos, Arthur Freitas ; de Queiroz, Ruy J. G. B ; de Oliveira, Anjolina G
http://arxiv.org/abs/1609.05079.  , 2016
Link: http://arxiv.org/abs/160..
 
1-15