Cavalcanti de Moura, Flávio Leonardo
Author ID: | de-moura.flavio-l-c |
Published as: | de Moura, Flávio L. C.; De Moura, Flávio L. C.; de Moura, Flávio Leonardo Cavalcanti; de Moura, F. L. C. more... |
External Links: | MGP · ResearchGate · dblp · GND |
Documents Indexed: | 11 Publications since 2002, including 1 Book |
Co-Authors: | 6 Co-Authors with 10 Joint Publications |
108 Co-Co-Authors |
all
top 5
Co-Authors
1 | single-authored |
10 | Ayala-Rincón, Mauricio |
6 | Kamareddine, Fairouz D. |
2 | Avelar, Andréia Borges |
2 | Galdino, André Luiz |
1 | Barbosa, Adriano V. |
1 | Kesner, Delia |
Serials
1 | Annals of Pure and Applied Logic |
1 | Journal of Applied Non-Classical Logics |
1 | Logic Journal of the IGPL |
1 | Journal of Applied Logic |
1 | Undergraduate Topics in Computer Science |
Fields
9 | Computer science (68-XX) |
7 | Mathematical logic and foundations (03-XX) |
1 | General and overarching topics; collections (00-XX) |
Publications by Year
all
top 5
Cited by 13 Authors
Cited in 3 Serials
2 | Journal of Automated Reasoning |
1 | Journal of Applied Non-Classical Logics |
1 | Journal of Applied Logic |
Cited in 5 Fields
8 | Computer science (68-XX) |
6 | Mathematical logic and foundations (03-XX) |
1 | Commutative algebra (13-XX) |
1 | Associative rings and algebras (16-XX) |
1 | Group theory and generalizations (20-XX) |