Concepedia

Robin Houston

RH

5

Publications

103

Citations

5

H-Index

1913

Active since

Affiliations

University of Bath(Current)

Robin Houston is an author at University of Bath specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningSemanticsFuzzy LogicVerificationProof ComplexityFormal Verification

Publications per year

1913–2016

5

Publications

5

Finite products are biproducts in a compact closed category

Robin Houston · Journal of Pure and Applied Algebra · 2007 · 45 citations · Full text

Higher Category Theory, Algebraic Combinatorics, Universal Algebra +1

No proof nets for MLL with units

Willem Heijltjes, Robin Houston · 2014 · 23 citations

Full Mll, Inference Permutations, Engineering +12

An Introduction to Mathematical Physics.

A. C. Lunn, Robin Houston · American Mathematical Monthly · 1913 · 14 citations

Classical System

Proof equivalence in MLL is PSPACE-complete

Willem Heijltjes, Robin Houston · Logical Methods in Computer Science · 2016 · 11 citations · Full text

Modelling Linear Logic Without Units (Preliminary Results)

Robin Houston, Dominic J. D. Hughes, Andrea Schalk · arXiv (Cornell University) · 2005 · 10 citations · Full text

Applied Logic, Non-classical Logic, Fuzzy Logic +12

Rows per page

1–5 of 5