We stand with Ukraine  

Robin Houston

Affiliations:
  • Kiln Enterprises
  • mySociety Ltd., London, UK
  • The University of Manchester, UK


According to our database1, Robin Houston authored at least 6 papers between 2005 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Proof equivalence in MLL is PSPACE-complete.
[BibTeX]
[DOI]
Willem Heijltjes
,
Robin Houston
Log. Methods Comput. Sci., 2016

2014
Tackling the Minimal Superpermutation Problem.
[BibTeX]
[DOI]
Robin Houston
CoRR, 2014

No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete.
[BibTeX]
[DOI]
Willem Heijltjes
,
Robin Houston
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013
Linear Logic without Units
[BibTeX]
[DOI]
Robin Houston
CoRR, 2013

2012
Zen Puzzle Garden is NP-complete.
[BibTeX]
[DOI]
Robin Houston
,
Joseph White
,
Martyn Amos
Inf. Process. Lett., 2012

2005
Modelling Linear Logic Without Units (Preliminary Results).
[BibTeX]
[DOI]
Robin Houston
,
Dominic J. D. Hughes
,
Andrea Schalk
CoRR, 2005


  Loading...