Petrucio Viana
Revision as of 16:18, 21 September 2021 by Hakob Barseghyan (talk | contribs) (Created page with "{{Author |First Name=Petrucio |Last Name=Viana |DOB Era= |DOB Year= |DOB Month= |DOB Day= |DOB Approximate=No |DOD Era= |DOD Year= |DOD Month= |DOD Day= |DOD Approximate=No |B...")
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.
Publications
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.
