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
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Non-commutative logic III: focusing proofs
Information and Computation
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Concurrent programming as proof net construction
Mathematical Structures in Computer Science
A Matrix Characterization for Multiplicative Exponential Linear Logic
Journal of Automated Reasoning
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
A redundancy analysis of sequent proofs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hi-index | 0.00 |