Automated protocol verification in linear logic
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
An effective fixpoint semantics for linear logic programs
Theory and Practice of Logic Programming
Hi-index | 0.00 |