Tijn Borghuis
From MaRDI portal
Person:1289101
Available identifiers
zbMath Open borghuis.tijnMaRDI QIDQ1289101
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 |
|---|---|---|
| Formalizing Belief Revision in Type Theory | 2003-07-16 | Paper |
| A Constructive Logic for Services and Information Flow in Computer Networks | 2001-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944847 | 2000-06-21 | Paper |
| Modal pure type systems. Type theory for knowledge representation | 1999-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4833770 | 1995-05-23 | Paper |
Research outcomes over time
This page was built for person: Tijn Borghuis
