Fucusing and Proof-Nets in Linear and Non-commutative Logic
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Non-commutative Extension of MELL
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Lexicalized Proof-Nets and TAGs
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Using Linear Logic to Reason about Sequent Systems
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Non-commutativity and MELL in the Calculus of Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Handsome proof-nets: perfect matchings and cographs
Theoretical Computer Science - Linear logic
MELL in the calculus of structures
Theoretical Computer Science
Mathematical Structures in Computer Science
Journal of Functional Programming
A system of interaction and structure
ACM Transactions on Computational Logic (TOCL)
Electronic Notes in Theoretical Computer Science (ENTCS)
A system of interaction and structure IV: The exponentials and decomposition
ACM Transactions on Computational Logic (TOCL)
Encoding phases using commutativity and non-commutativity in a logical framework
LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Reducing nondeterminism in the calculus of structures
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Naming proofs in classical propositional logic
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A formal framework for specifying sequent calculus proof systems
Theoretical Computer Science
| Hi-index | 0.00 |