Maarten M. Fokkinga
From MaRDI portal
Person:808722
Available identifiers
zbMath Open fokkinga.maarten-mMaRDI QIDQ808722
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 |
|---|---|---|
| The Hough transform | 2011-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4799358 | 2003-03-19 | Paper |
| The associativity of equivalence and the Towers of Hanoi problem | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251111 | 1999-06-17 | Paper |
| Datatype laws without signatures | 1996-06-16 | Paper |
| Calculate categorically! | 1993-02-04 | Paper |
| Subtyping can have a simple semantics | 1992-06-26 | Paper |
| An exercise in transformational programming: Backtracking and Branch-and- Bound | 1991-01-01 | Paper |
| A correctness proof of sorting by means of formal procedures | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3766840 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4151139 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068066 | 1974-01-01 | Paper |
Research outcomes over time
This page was built for person: Maarten M. Fokkinga
