Search results

Calculi and Applications. Lecture Notes in Computer Science. Vol. 1210. Springer. pp. 373–389. doi:10.1007/3-540-62688-3_47. ISBN 978-3-540-62688-6. v t e...

 300–318. CiteSeerX 10.1.1.47.2354. doi:10.1007/3-540-62688-3_43. ISBN 978-3-540-62688-6. Non-commutative logic I: the multiplicative fragment by V. Michele...