Yoann Marquer

From MaRDI portal
Person:2011203


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!

PublicationDate of PublicationType
An imperative language characterizing PTIME algorithms
 
2020-02-03Paper
Axiomatization and characterization of BSP algorithms
Journal of Logical and Algebraic Methods in Programming
2019-11-28Paper
Algorithmic completeness of imperative programming languages
Fundamenta Informaticae
2019-10-31Paper


Research outcomes over time


This page was built for person: Yoann Marquer