Petrucio Viana is a computer scientist who works on logical aspects of graph theory, foundations of combinatorics, mathematical logic, modal logic, reasoning with diagrams, relational semantics and formal relational systems.
Here are the works of Viana included in the bibliographic records of this encyclopedia:
- Basu et al. (Eds.) (2021): Basu, Amrita et al. (Eds.). (2021) Diagrammatic Representation and Inference: 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings. Springer.
To add a bibliographic record by this author, enter the citation key below:
Citation keys normally include author names followed by the publication year in brackets. E.g. Aristotle (1984), Einstein, Podolsky, Rosen (1935), Musgrave and Pigden (2016), Kuhn (1970a), Lakatos and Musgrave (Eds.) (1970). If a record with that citation key already exists, you will be sent to a form to edit that page.