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

Renata P. de Freitas

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

2009
8EERenata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrúcio Viana: Positive Fork Graph Calculus. LFCS 2009: 152-163
2008
7EERenata 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
6EERenata P. de Freitas, Jorge Petrúcio Viana: A note on proofs with graphs. Sci. Comput. Program. 73(2-3): 129-135 (2008)
2007
5EERenata 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
4EERenata 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
3EESheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas: An Application of Logic Engineering. Logic Journal of the IGPL 13(1): 29-46 (2005)
2004
2EEMario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso: On Modalities for Vague Notions. SBIA 2004: 1-10
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

1Mario R. F. Benevides [2]
2Carla A. D. M. Delgado [2]
3Paulo A. S. Veloso [2] [3] [4] [5] [7] [8]
4Sheila R. M. Veloso [2] [3] [4] [5] [7] [8]
5Jorge Petrúcio Viana [1] [4] [5] [6] [7] [8]

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