Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

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 Petrucio Viana

> Home > Persons > Renata P. de Freitas

Publications

2015
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/FreitasV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/FreitasV15
Renata P. de Freitas, Petrucio Viana:
Set Venn Diagrams Applied to Inclusions and Non-inclusions. J. Log. Lang. Inf. 24(4): 457-485 (2015)
2014
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/CarnielliV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/CarnielliV14
Walter Alexandre Carnielli, Renata P. de Freitas, Petrucio Viana:
The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface. Log. J. IGPL 22(2): 181-185 (2014)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/diagrams/FreitasV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/diagrams/FreitasV14
Renata P. de Freitas, Petrucio Viana:
The Second Venn Diagrammatic System. Diagrams 2014: 293-307
2012
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/diagrams/FreitasV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/diagrams/FreitasV12
Renata P. de Freitas, Petrucio Viana:
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations. Diagrams 2012: 324-326
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
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BenevidesFV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BenevidesFV11
Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana:
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. LSFA 2010: 95-107
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
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/FreitasV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/FreitasV08
Renata P. de Freitas, Jorge Petrucio Viana:
A note on proofs with graphs. Sci. Comput. Program. 73(2-3): 129-135 (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
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FreitasV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FreitasV09
Renata P. de Freitas, Petrucio Viana:
Introducing Polymodal Neighbourhood Logics. LSFA 2008: 51-66
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
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)
2002
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FreitasV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FreitasV02
Renata P. de Freitas, Jorge Petrucio Viana:
A Completeness Result for Relation Algebra with Binders. WoLLIC 2002: 204-217

a service of

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.