Jean-Yves Moyen

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
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 Algebra Universalis	2018-07-16	Paper
Chains, antichains, and complements in infinite partition lattices Algebra Universalis	2018-07-16	Paper
Resource control graphs ACM Transactions on Computational Logic	2015-09-17	Paper
Chains, Antichains, and Complements in Infinite Partition Lattices (available as arXiv preprint)	2015-01-21	Paper
On quasi-interpretations, blind abstractions and implicit complexity MSCS. Mathematical Structures in Computer Science	2012-09-06	Paper
Quasi-interpretations. A way to control resources Theoretical Computer Science	2011-06-06	Paper
Static complexity analysis of higher order programs Foundational and Practical Aspects of Resource Analysis	2010-09-14	Paper
Term Rewriting and Applications Lecture Notes in Computer Science	2005-11-11	Paper
scientific article; zbMATH DE number 2084367 (Why is no real title available?)	2004-08-06	Paper
scientific article; zbMATH DE number 1696756 (Why is no real title available?)	2002-07-22	Paper

Research outcomes over time

This page was built for person: Jean-Yves Moyen