×

zbMATH — the first resource for mathematics

de Oliveira, Anjolina Grisi

Compute Distance To:
Author ID: de-oliveira.anjolina-grisi Recent zbMATH articles by "de Oliveira, Anjolina Grisi"
Published as: de Oliveira, Anjolina G.; de Oliveira, A. G.; de Oliveira, Anjolina; de Oliveira, Anjolina Grisi
Documents Indexed: 18 Publications since 1999, including 2 Books

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 15 times in 6 Documents Cited by Year
Geometry of deduction via graphs of proofs. Zbl 1036.03038
de Oliveira, Anjolina Grisi; de Queiroz, Ruy J. G. B.
2
2003
A normalization procedure for the equational fragment of labelled natural deduction. Zbl 0923.03064
de Oliveira, Anjolina Grisi; de Queiroz, Ruy J. G. B.
2
1999
Natural deduction for equality: the missing entity. Zbl 1339.03052
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.
2
2014
A new basic set of transformations between proofs. Zbl 1272.03153
de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.
2
2005
The functional interpretation of logical deduction. Zbl 1248.03003
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.; Gabbay, Dov M.
2
2012
Sequentialization for \(n\)-graphs via sub-\(n\)-graphs. Zbl 1430.03072
Carvalho, Ruan; Andrade, Laís; de Oliveira, Anjolina; de Queiroz, Ruy
1
2014
Intuitionistic N-graphs. Zbl 1328.03054
Quispe-Cruz, Marcela; de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.; de Paiva, Valeria
1
2014
Odd periodic window and bifurcations on 2D parameter space of low frequency oscillations. Zbl 1184.37065
da Silva, S. L.; Rubinger, R. M.; de Oliveira, A. G.; Ribeiro, G. M.; Viana, E. R.
1
2009
Bifurcation diagram, noise reduction and period-four cycle on low frequency current oscillations in a semi-insulating GaAs sample. Zbl 1076.82522
da Silva, R. L.; Albuquerque, H. A.; Rubinger, R. M.; de Oliveira, A. G.; Ribeiro, G. M.; Rodrigues, W. N.
1
2004
Proof-graphs: a thorough cycle treatment, normalization and subformula property. Zbl 1252.03126
Alves, Gleifer V.; de Oliveira, Anjolina G.; de Queiroz, Ruy
1
2011
Natural deduction for equality: the missing entity. Zbl 1339.03052
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.
2
2014
Sequentialization for \(n\)-graphs via sub-\(n\)-graphs. Zbl 1430.03072
Carvalho, Ruan; Andrade, Laís; de Oliveira, Anjolina; de Queiroz, Ruy
1
2014
Intuitionistic N-graphs. Zbl 1328.03054
Quispe-Cruz, Marcela; de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.; de Paiva, Valeria
1
2014
The functional interpretation of logical deduction. Zbl 1248.03003
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G.; Gabbay, Dov M.
2
2012
Proof-graphs: a thorough cycle treatment, normalization and subformula property. Zbl 1252.03126
Alves, Gleifer V.; de Oliveira, Anjolina G.; de Queiroz, Ruy
1
2011
Odd periodic window and bifurcations on 2D parameter space of low frequency oscillations. Zbl 1184.37065
da Silva, S. L.; Rubinger, R. M.; de Oliveira, A. G.; Ribeiro, G. M.; Viana, E. R.
1
2009
A new basic set of transformations between proofs. Zbl 1272.03153
de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.
2
2005
Bifurcation diagram, noise reduction and period-four cycle on low frequency current oscillations in a semi-insulating GaAs sample. Zbl 1076.82522
da Silva, R. L.; Albuquerque, H. A.; Rubinger, R. M.; de Oliveira, A. G.; Ribeiro, G. M.; Rodrigues, W. N.
1
2004
Geometry of deduction via graphs of proofs. Zbl 1036.03038
de Oliveira, Anjolina Grisi; de Queiroz, Ruy J. G. B.
2
2003
A normalization procedure for the equational fragment of labelled natural deduction. Zbl 0923.03064
de Oliveira, Anjolina Grisi; de Queiroz, Ruy J. G. B.
2
1999

Citations by Year