A Matrix Characterization for MELL
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
linTAP: A Tableau Prover for Linear Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Two paradigms of logical computation in affine logic?
Logic for concurrency and synchronisation
Parsing for semidirectional Lambek Grammar is NP-complete
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
A Matrix Characterization for Multiplicative Exponential Linear Logic
Journal of Automated Reasoning
Proof-search in implicative linear logic as a matching problem
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
| Hi-index | 0.00 |