Anjolina de Oliveira
Author
Alternate names A. De Oliveira, Anjolina de Oliveira
Institution Universidade Federal de Pernambuco
Past institution Universidade Federal de Pernambuco
H-index: 2
I10-index: 1
Works count: 6
Citations count: 19
A normalization procedure for the equational fragment of labelled natural deduction
1999 · Anjolina de Oliveira · Logic Journal of IGPL
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach
2013 · Laís Andrade, Ruan Carvalho, et al. · Lecture notes in computer science
Sequentialization for N-Graphs via Sub-N-Graphs
2014 · Ruan Carvalho, Laís Andrade, et al. · Lecture notes in computer science