A Logical and Computational Theory of Located Resource (0)

by M Collinson, B Monahan, D Pym
Venue:Journal of Logic and Computation