Femke van Raamsdonk

Available identifiers

zbMath Open van-raamsdonk.femkeWikidataQ102253237 ScholiaQ102253237MaRDI QIDQ1286371

List of research outcomes

Publication	Date of Publication	Type
Confluence and superdevelopments	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q2844809	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Femke van Raamsdonk