Renata P. de Freitas
From MaRDI portal
Person:1402580
Available identifiers
zbMath Open de-freitas.renata-pMaRDI QIDQ1402580
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q5365492 | 2017-10-06 | Paper |
| Set Venn diagrams applied to inclusions and non-inclusions | 2016-07-05 | Paper |
| Propositional dynamic logic with storing, recovering and parallel composition | 2015-03-18 | Paper |
| Introducing polymodal neighbourhood logics | 2015-03-18 | Paper |
| Reasoning with graphs | 2013-05-03 | Paper |
| A completeness result for relation algebra with binders | 2013-04-19 | Paper |
| On vague notions and modalities: a modular approach | 2010-07-26 | Paper |
| On graph reasoning | 2009-10-09 | Paper |
| Positive Fork Graph Calculus | 2009-02-24 | Paper |
| A note on proofs with graphs | 2008-11-20 | Paper |
| On a Graph Calculus for Algebras of Relations | 2008-07-10 | Paper |
| On Positive Relational Calculi | 2008-01-18 | Paper |
| On fork arrow logic and its expressive power | 2007-10-22 | Paper |
| An Application of Logic Engineering | 2005-08-03 | Paper |
| Squares in fork arrow logic | 2003-08-28 | Paper |
Research outcomes over time
This page was built for person: Renata P. de Freitas
