Showing 1 - 4 results of 4 for search 'Romulo Albano de Freitas', query time: 0.02s
Refine Results
-
1
A new tableaux system for KD by Romulo Albano de Freitas, Hércules de Araujo Feitosa
Published 2020-12-01
Article -
2
A new tableaux system for KD by Romulo Albano de Freitas, Hércules de Araujo Feitosa
Published 2020-12-01
Article -
3
Reticulados distributivos com uma adjunção by Romulo Albano de Freitas, Hercules de Araújo Feitosa
Published 2023-07-01
Article -
4
Two deductions systems for the Logic PM4N by Hércules de Araújo Feitosa, Romulo Albano de Freitas, Marcelo Reicher Soares
Published 2022-12-01
Article