Femke van Raamsdonk
From MaRDI portal
Person:1286371
Available identifiers
zbMath Open van-raamsdonk.femkeWikidataQ102253237 ScholiaQ102253237MaRDI QIDQ1286371
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 |
|---|---|---|
| Confluence and superdevelopments | 2022-12-09 | Paper |
| Eliminating proofs from programs | 2013-08-19 | Paper |
| Dynamic dependency pairs for algebraic functional systems | 2012-07-03 | Paper |
| Higher order dependency pairs for algebraic functional systems | 2012-04-24 | Paper |
| Reduction Strategies and Acyclicity | 2009-03-06 | Paper |
| A Higher-Order Iterative Path Ordering | 2009-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024914 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778883 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508290 | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501166 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938608 | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944875 | 2000-03-22 | Paper |
| Perpetual reductions in \(\lambda\)-calculus | 1999-09-09 | Paper |
| Combinatory reduction systems: Introduction and survey | 1994-09-26 | Paper |
Research outcomes over time
This page was built for person: Femke van Raamsdonk