( en | de | ru )

 

Disambiguation of "Viana, Petrucio"

Author of the publication

copydeleteadd this publication to your clipboard
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations.

, and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 324-326. Springer, (2012)

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.

Michael Viana

Andréa Dorofeeff Viana Daker

Wellistony Viana

Gustavo Viana

Rafael Muñoz Viana

 

Other publications of authors with the same name

A partial characterization by forbidden subgraphs of edge path graphs., , and . CTW, page 109-112. (2011)Set Venn Diagrams Applied to Inclusions and Non-inclusions., and . J. Log. Lang. Inf., 24 (4): 457-485 (2015)Foreword., , and . Logic Journal of the IGPL, 25 (4): 381-386 (2017)The Proceedings of the XIX EBL ? 19th Brazilian Logic Conference, 2019. A preface., , , and . FLAP, 9 (1): 1-4 (2022)Presenting Basic Graph Logic., , and . Diagrams, volume 12909 of Lecture Notes in Computer Science, page 132-148. Springer, (2021)A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations., and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 324-326. Springer, (2012)The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface., , and . Logic Journal of the IGPL, 22 (2): 181-185 (2014)On admissible orders over closed subintervals of 0, 1., , , and . Fuzzy Sets Syst., (2020)Introducing Polymodal Neighbourhood Logics., and . LSFA, volume 247 of Electronic Notes in Theoretical Computer Science, page 51-66. Elsevier, (2008)On Distributed Stochastic Logics for Mobile Systems., and . WoLLIC, volume 8652 of Lecture Notes in Computer Science, page 195-205. Springer, (2014)