Robin Houston
From MaRDI portal
Person:2457283
Available identifiers
zbMath Open houston.robinMaRDI QIDQ2457283
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
A New Formula for the Determinant and Bounds on Its Tensor and Waring Ranks | 2023-01-16 | Paper |
No proof nets for MLL with units | 2018-04-23 | Paper |
Proof equivalence in MLL is PSPACE-complete | 2016-03-03 | Paper |
Tackling the Minimal Superpermutation Problem | 2014-08-21 | Paper |
Linear Logic without Units | 2013-05-09 | Paper |
Finite products are biproducts in a compact closed category | 2007-10-30 | Paper |
Modelling Linear Logic Without Units (Preliminary Results) | 2005-04-03 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Robin Houston