Robin Houston

From MaRDI portal
Person:2457283

Available identifiers

zbMath Open houston.robinMaRDI QIDQ2457283

List of research outcomes





PublicationDate of PublicationType
A New Formula for the Determinant and Bounds on Its Tensor and Waring Ranks2023-01-16Paper
No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete2018-04-23Paper
Proof equivalence in MLL is PSPACE-complete2016-03-03Paper
Tackling the Minimal Superpermutation Problem2014-08-21Paper
Linear Logic without Units2013-05-09Paper
Finite products are biproducts in a compact closed category2007-10-30Paper
Modelling Linear Logic Without Units (Preliminary Results)2005-04-03Paper

Research outcomes over time

This page was built for person: Robin Houston

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