dblp.uni-trier.dewww.uni-trier.de

Jorge Petrúcio Viana

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
7EERenata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrúcio Viana: Positive Fork Graph Calculus. LFCS 2009: 152-163
2008
6EERenata 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
5EERenata P. de Freitas, Jorge Petrúcio Viana: A note on proofs with graphs. Sci. Comput. Program. 73(2-3): 129-135 (2008)
2007
4EERenata 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
3EERenata 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
2EEBalder ten Cate, Maarten Marx, Jorge Petrúcio Viana: Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL 13(3): 293-300 (2005)
2002
1EERenata P. de Freitas, Jorge Petrúcio Viana: A Completeness Result for Relation Algebra with Binders. Electr. Notes Theor. Comput. Sci. 67: (2002)

Coauthor Index

1Balder ten Cate [2]
2Renata P. de Freitas [1] [3] [4] [5] [6] [7]
3Maarten Marx [2]
4Paulo A. S. Veloso [3] [4] [6] [7]
5Sheila R. M. Veloso [3] [4] [6] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)