 | 2009 |
|---|
| 8 |       | Renata P. de Freitas,
Sheila R. M. Veloso,
Paulo A. S. Veloso,
Jorge Petrúcio Viana:
Positive Fork Graph Calculus.
LFCS 2009: 152-163 |
| 7 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
On graph reasoning.
Inf. Comput. 207(10): 1000-1014 (2009) |
| 2008 |
|---|
| 6 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
On a Graph Calculus for Algebras of Relations.
WoLLIC 2008: 298-312 |
| 5 | | Renata P. de Freitas,
Jorge Petrúcio Viana:
A note on proofs with graphs.
Sci. Comput. Program. 73(2-3): 129-135 (2008) |
| 2007 |
|---|
| 4 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
On Positive Relational Calculi.
Logic Journal of the IGPL 15(5-6): 577-601 (2007) |
| 2006 |
|---|
| 3 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
Reasoning with Graphs.
Electr. Notes Theor. Comput. Sci. 165: 201-212 (2006) |
| 2005 |
|---|
| 2 | | Balder ten Cate,
Maarten Marx,
Jorge Petrúcio Viana:
Hybrid logics with Sahlqvist axioms.
Logic Journal of the IGPL 13(3): 293-300 (2005) |
| 2002 |
|---|
| 1 | | Renata P. de Freitas,
Jorge Petrúcio Viana:
A Completeness Result for Relation Algebra with Binders.
Electr. Notes Theor. Comput. Sci. 67: (2002) |
