Renata P. de Freitas

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Paulo A. S. Veloso

> Home > Persons > Renata P. de Freitas

Publications

2010
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/VelosoVVFBD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/VelosoVVFBD10
Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado:
On vague notions and modalities: a modular approach. Log. J. IGPL 18(3): 381-402 (2010)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/diagrams/FreitasVVV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/diagrams/FreitasVVV10
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana:
A Calculus for Graphs with Complement. Diagrams 2010: 84-98
2009
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FreitasVVV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FreitasVVV09
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana:
On graph reasoning. Inf. Comput. 207(10): 1000-1014 (2009)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/FreitasVVV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/FreitasVVV09
Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana:
Positive Fork Graph Calculus. LFCS 2009: 152-163
2008
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/FreitasVVV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/FreitasVVV08
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana:
On a Graph Calculus for Algebras of Relations. WoLLIC 2008: 298-312
2007
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/FreitasVVV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/FreitasVVV07
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana:
On Positive Relational Calculi. Log. J. IGPL 15(5-6): 577-601 (2007)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/VelosoFVBV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/VelosoFVBV07
Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso:
On Fork Arrow Logic and its Expressive Power. J. Philos. Log. 36(5): 489-509 (2007)
2006
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FreitasVVV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FreitasVVV06
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana:
Reasoning with Graphs. WoLLIC 2006: 201-212
2005
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/VelosoVF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/VelosoVF05
Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas:
An Application of Logic Engineering. Log. J. IGPL 13(1): 29-46 (2005)
2004
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sbia/BenevidesDFVV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbia/BenevidesDFVV04
Mario 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
2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/FreitasVBVV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/FreitasVBVV03
Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso:
Squares in Fork Arrow Logic. J. Philos. Log. 32(4): 343-355 (2003)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.