( en | de | ru )

 

Disambiguation of "Nascimento, Thiago"

Author of the publication

copydeleteadd this publication to your clipboard
Algebraic Semantics for Quasi-Nelson Logic.

, and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 450-466. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thiago Marrara

Thiago Rausch

Amós Nascimento

Nazem Nascimento

Thiago Aquino

 

Other publications of authors with the same name

Algebraic Semantics for Nelson's Logic S S., , , and . WoLLIC, volume 10944 of Lecture Notes in Computer Science, page 271-288. Springer, (2018)Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras., , and . IPMU (3), volume 1239 of Communications in Computer and Information Science, page 634-653. Springer, (2020)On the representation of (weak) nilpotent minimum algebras., , and . FUZZ-IEEE, page 1-8. IEEE, (2020)Nelson's logic ℒ., , , and . Log. J. IGPL, 28 (6): 1182-1206 (2020)Algebraic Semantics for Quasi-Nelson Logic., and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 450-466. Springer, (2019)Hemoglobin Estimation from Smartphone-Based Photoplethysmography with Small Data., , , and . CBMS, page 75-78. IEEE, (2023)A Non-Speculative Parallelization of Reverse Cuthill-McKee Algorithm for Sparse Matrices Reordering., , and . FedCSIS, volume 11 of Annals of Computer Science and Information Systems, page 527-536. (2017)X-SBR: On the Use of the History of Refactorings for Explainable Search-Based Refactoring and Intelligent Change Operators., , , , and . IEEE Trans. Software Eng., 48 (10): 3753-3770 (2022)Refactorings and Technical Debt in Docker Projects: An Empirical Study., , , and . ASE, page 781-791. IEEE, (2021)Many-objective Search-based Selection of Software Product Line Test Products with Nautilus., , and . SPLC (B), page 1-4. ACM, (2020)