Patrícia Engrácia

From MaRDI portal
Person:435191



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!

PublicationDate of PublicationType
scientific article; zbMATH DE number 7377974 (Why is no real title available?)2021-08-03Paper
The bounded functional interpretation of bar induction
Annals of Pure and Applied Logic
2012-07-11Paper
The bounded functional interpretation of the double negation shift
Journal of Symbolic Logic
2010-06-24Paper


Research outcomes over time


This page was built for person: Patrícia Engrácia