Author: "Viana, Petrucio" / Journal: lecture notes in computer science - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Viana, Petrucio"' showing total 6 results

Start Over Author "Viana, Petrucio" Journal lecture notes in computer science

6 results on '"Viana, Petrucio"'

1. Presenting Basic Graph Logic

Author: Cerioli, Márcia R., primary, Suguitani, Leandro, additional, and Viana, Petrucio, additional
Published: 2021
Full Text: View/download PDF

2. The Second Venn Diagrammatic System

Author: de Freitas, Renata, primary and Viana, Petrucio, additional
Published: 2014
Full Text: View/download PDF

3. On Distributed Stochastic Logics for Mobile Systems

Author: Küster Filipe Bowles, Juliana, primary and Viana, Petrucio, additional
Published: 2014
Full Text: View/download PDF

4. A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

Author: de Freitas, Renata, primary and Viana, Petrucio, additional
Published: 2012
Full Text: View/download PDF

5. A Calculus for Graphs with Complement

Author: de Freitas, Renata, primary, Veloso, Paulo A. S., additional, Veloso, Sheila R. M., additional, and Viana, Petrucio, additional
Published: 2010
Full Text: View/download PDF

6. Positive Fork Graph Calculus

Author: de Freitas, Renata, primary, Veloso, Sheila R. M., additional, Veloso, Paulo A. S., additional, and Viana, Petrucio, additional
Published: 2008
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results