Pedro Baltazar
From MaRDI portal
Person:2254551
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 |
|---|---|---|
| Linearly refined session types (available as arXiv preprint) | 2021-04-27 | Paper |
| Linearly refined session types | 2021-04-27 | Paper |
| Deciding theoremhood in fibered logics without shared connectives Studies in Universal Logic | 2017-08-28 | Paper |
| Probabilization of logics: completeness and decidability Logica Universalis | 2015-02-05 | Paper |
| Exogenous probabilistic computation tree logic Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
| M-solid varieties of languages | 2009-03-19 | Paper |
| Temporalization of Probabilistic Propositional Logic Logical Foundations of Computer Science | 2009-02-24 | Paper |
| QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS International Journal of Quantum Information | 2008-11-03 | Paper |
Research outcomes over time
This page was built for person: Pedro Baltazar
