Femke van Raamsdonk

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 Rewriting Techniques and Applications	2022-12-09	Paper
Eliminating proofs from programs	2013-08-19	Paper
Dynamic dependency pairs for algebraic functional systems Logical Methods in Computer Science	2012-07-03	Paper
Higher order dependency pairs for algebraic functional systems	2012-04-24	Paper
Reduction Strategies and Acyclicity Rewriting, Computation and Proof	2009-03-06	Paper
A Higher-Order Iterative Path Ordering Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper
scientific article; zbMATH DE number 2185721 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 1722711 (Why is no real title available?)	2002-03-21	Paper
scientific article; zbMATH DE number 1512607 (Why is no real title available?)	2000-10-03	Paper
scientific article; zbMATH DE number 1499112 (Why is no real title available?)	2000-09-03	Paper
scientific article; zbMATH DE number 1405629 (Why is no real title available?)	2000-04-25	Paper
scientific article; zbMATH DE number 1420810 (Why is no real title available?)	2000-03-22	Paper
Perpetual reductions in -calculus Information and Computation	1999-09-09	Paper
Combinatory reduction systems: Introduction and survey Theoretical Computer Science	1994-09-26	Paper

Research outcomes over time

This page was built for person: Femke van Raamsdonk