Matthew Collinson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A logic of hypothetical conjunction Journal Of Logic And Computation	2020-01-29	Paper
Layered graph logic as an assertion language for access control policy models Journal Of Logic And Computation	2017-05-17	Paper
Erratum to: ``A substructural logic for layered graphs Journal Of Logic And Computation	2017-05-17	Paper
A substructural logic for layered graphs Journal Of Logic And Computation	2015-01-12	Paper
A discipline of mathematical systems modelling Systems	2013-10-25	Paper
Bunching for regions and locations	2013-10-10	Paper
Erratum to: ``Algebra and logic for access control Formal Aspects of Computing	2010-05-28	Paper
Algebra and logic for access control Formal Aspects of Computing	2010-05-05	Paper
A logical and computational theory of located resource Journal Of Logic And Computation	2010-01-14	Paper
Algebra and logic for resource-based systems modelling Mathematical Structures in Computer Science	2009-11-11	Paper
Bunched polymorphism Mathematical Structures in Computer Science	2008-12-10	Paper
Errata for ``A calculus and logic of resources and processes and their consequences Formal Aspects of Computing	2007-11-28	Paper
Computer Science Logic Lecture Notes in Computer Science	2006-11-01	Paper

Research outcomes over time

This page was built for person: Matthew Collinson