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
A Matrix Characterization for Multiplicative Exponential Linear Logic
Journal of Automated Reasoning
On Linear Logic Planning and Concurrency
Language and Automata Theory and Applications
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
On linear logic planning and concurrency
Information and Computation
Computing ramifications by postprocessing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The boundary between decidable and undecidable fragments of the fluent calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
| Hi-index | 0.00 |