Dorit Pardo (Ordentlich)
From MaRDI portal
Person:259066
Available identifiers
zbMath Open pardo.doritMaRDI QIDQ259066
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 |
|---|---|---|
| No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic | 2016-03-10 | Paper |
| A finite basis for `almost future' temporal logic over the reals | 2012-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4824486 | 2004-11-01 | Paper |
Research outcomes over time
This page was built for person: Dorit Pardo (Ordentlich)