The following pages link to Petrucio Viana (Q465284):
Displayed 20 items.
- Decomposition by maxclique separators (Q465285) (← links)
- On graph reasoning (Q731892) (← links)
- A note on proofs with graphs (Q955713) (← links)
- On admissible orders over closed subintervals of \([0, 1]\) (Q2035294) (← links)
- On fork arrow logic and its expressive power (Q2454871) (← links)
- Set Venn diagrams applied to inclusions and non-inclusions (Q2629220) (← links)
- Presenting basic graph logic (Q2671594) (← links)
- (Q2857350) (← links)
- (Q2918475) (← links)
- On Distributed Stochastic Logics for Mobile Systems (Q2938142) (← links)
- On a Graph Calculus for Algebras of Relations (Q3511467) (← links)
- On vague notions and modalities: a modular approach (Q3577907) (← links)
- Positive Fork Graph Calculus (Q3605526) (← links)
- Reasoning with Graphs (Q4917998) (← links)
- (Q5039179) (← links)
- Introducing Polymodal Neighbourhood Logics (Q5178960) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
- (Q5365492) (← links)
- On Positive Relational Calculi (Q5436993) (← links)
- Hybrid logics with Sahlqvist axioms (Q5697717) (← links)