Pierre Valarcher

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
Preface	2024-09-18	Paper
Preface	2024-09-18	Paper
Preface	2024-09-18	Paper
Preface	2024-09-18	Paper
Intensionality versus extensionality and primitive recursion	2024-06-21	Paper
An imperative language characterizing PTIME algorithms	2020-02-03	Paper
Classes of algorithms: formalization and comparison	2018-09-04	Paper
Functionals using bounded information and the dynamics of algorithms 2012 27th Annual IEEE Symposium on Logic in Computer Science	2017-05-16	Paper
Extending the loop language with higher-order procedural variables ACM Transactions on Computational Logic	2015-09-17	Paper
A representation theorem for primitive recursive algorithms Fundamenta Informaticae	2012-07-04	Paper
scientific article; zbMATH DE number 5999715 (Why is no real title available?)	2012-01-23	Paper
A total functional programming language computing APRA	2011-10-05	Paper
A complete characterization of primitive recursive intensional behaviours RAIRO - Theoretical Informatics and Applications	2008-07-21	Paper
A complete characterization of primitive recursive intensional behaviours RAIRO - Theoretical Informatics and Applications	2008-07-21	Paper
Mahler's expansion and Boolean functions	2008-05-13	Paper
Mahler's expansion and Boolean functions	2008-05-13	Paper
On the expressive power of the loop language	2007-04-10	Paper
scientific article; zbMATH DE number 2127876 (Why is no real title available?)	2005-01-14	Paper
scientific article; zbMATH DE number 1531380 (Why is no real title available?)	2001-02-28	Paper

Research outcomes over time

This page was built for person: Pierre Valarcher