Agent negotiation as proof search in linear logic
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A New Correctness Criterion for Cyclic Proof Nets
Journal of Logic, Language and Information
Linguistic Applications of First Order Intuitionistic Linear Logic
Journal of Logic, Language and Information
Glueing and orthogonality for models of linear logic
Theoretical Computer Science - Category theory and computer science
Handsome proof-nets: perfect matchings and cographs
Theoretical Computer Science - Linear logic
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Classical BI: a logic for reasoning about dualising resources
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A survey of automated deduction
Artificial intelligence today
LJQ: a strongly focused calculus for intuitionistic logic
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
| Hi-index | 0.00 |