Jean-Yves Moyen

Available identifiers

zbMath Open moyen.jean-yvesMaRDI QIDQ1652871

List of research outcomes

Publication	Date of Publication	Type
Subrecursive equivalence relations and (non-)closure under lattice operations	2022-03-22	Paper
More intensional versions of Rice's theorem	2020-05-12	Paper
Chains, antichains, and complements in infinite partition lattices	2018-07-16	Paper
Resource control graphs	2015-09-17	Paper
Chains, Antichains, and Complements in Infinite Partition Lattices	2015-01-21	Paper
On quasi-interpretations, blind abstractions and implicit complexity	2012-09-06	Paper
Quasi-interpretations. A way to control resources	2011-06-06	Paper
Static Complexity Analysis of Higher Order Programs	2010-09-14	Paper
Term Rewriting and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4475109	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q2767004	2002-07-22	Paper

Research outcomes over time

This page was built for person: Jean-Yves Moyen