Decidability of Linear Affine Logic (1995)

Download From

IEEE
Download from IEEE

Download Links

by Alexei P. Kopylov
Venue:10-th Annual IEEE Symposium on Logic in Computer Science
Citations:21 - 0 self