Matthieu Perrinel

From MaRDI portal
Person:715038

Available identifiers

zbMath Open perrinel.matthieuMaRDI QIDQ715038

List of research outcomes





PublicationDate of PublicationType
Paths-based criteria and application to linear logic subsystems characterizing polynomial time2018-06-14Paper
On context semantics and interaction nets2018-04-23Paper
On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets2016-01-07Paper
``Backward coinduction, Nash equilibrium and the rationality of escalation2012-10-15Paper

Research outcomes over time

This page was built for person: Matthieu Perrinel

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:715038&oldid=7002337"
Powered by MediaWiki