Henrik Forssell
From MaRDI portal
Person:1935869
Available identifiers
zbMath Open forssell.henrikMaRDI QIDQ1935869
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 |
|---|---|---|
| On Equivalence and Cores for Incomplete Databases in Open and Closed Worlds | 2023-02-07 | Paper |
| Type theoretical databases | 2020-04-29 | Paper |
| CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES | 2020-01-10 | Paper |
| Constructive completeness and non-discrete languages | 2017-09-18 | Paper |
| Type Theoretical Databases | 2017-07-21 | Paper |
| Subgroupoids and quotient theories | 2013-09-04 | Paper |
| Filtered Colimit Preserving Functors on Models of a Regular Theory | 2013-06-28 | Paper |
| First-order logical duality | 2013-02-19 | Paper |
| Topological representation of geometric theories | 2012-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5701016 | 2005-11-02 | Paper |
Research outcomes over time
This page was built for person: Henrik Forssell