J. A. Harland

1 published title

On resolution in fragments of classical linear logic (extended abstract)

1 edition

LFCS, Dept. of Computer Science, University of Edinburgh
1992
Details

obnb.uk is a Good Stuff website.