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

Renata P. de Freitas (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana: A Calculus for Graphs with Complement. Diagrams 2010: 84-98
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado: On vague notions and modalities: a modular approach. Logic Journal of the IGPL 18(3): 381-402 (2010)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrúcio Viana: Positive Fork Graph Calculus. LFCS 2009: 152-163
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata 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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Renata P. de Freitas, Jorge Petrúcio Viana, Mario R. F. Benevides, Sheila R. M. Veloso: On Fork Arrow Logic and its Expressive Power. J. Philosophical Logic 36(5): 489-509 (2007)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata 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)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata 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)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheila 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)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata P. de Freitas, Jorge Petrúcio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso: Squares in Fork Arrow Logic. J. Philosophical Logic 32(4): 343-355 (2003)

Selection of 11 from 16 records - Renata P. de Freitas has 5 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page