Jorge Petrucio Viana

13 papers C 4Misc 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2010 C conf
A Calculus for Graphs with Complement.
Diagrams
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2010 J jnl
On vague notions and modalities: a modular approach.
Log. J. IGPL
Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado
2010 — conf
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition.
LSFA
Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana
2009 J jnl
On graph reasoning.
Inf. Comput.
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2009 Misc conf
Positive Fork Graph Calculus.
LFCS
Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana
2008 J jnl
A note on proofs with graphs.
Sci. Comput. Program.
Renata P. de Freitas, Jorge Petrucio Viana
2008 C conf
On a Graph Calculus for Algebras of Relations.
WoLLIC
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2007 J jnl
On Fork Arrow Logic and its Expressive Power.
J. Philos. Log.
Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso
2007 J jnl
On Positive Relational Calculi.
Log. J. IGPL
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2006 C conf
Reasoning with Graphs.
WoLLIC
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2005 J jnl
Hybrid logics with Sahlqvist axioms.
Log. J. IGPL
Balder ten Cate, Maarten Marx, Jorge Petrucio Viana
2003 J jnl
Squares in Fork Arrow Logic.
J. Philos. Log.
Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso
2002 C conf
A Completeness Result for Relation Algebra with Binders.
WoLLIC
Renata P. de Freitas, Jorge Petrucio Viana