Automated protocol verification in linear logic
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
A Purely Logical Account of Sequentiality in Proof Search
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Higher-Order Quantification and Proof Search
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
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
Encoding transition systems in sequent calculus
Theoretical Computer Science - Linear logic
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Concurrent programming as proof net construction
Mathematical Structures in Computer Science
Model checking linear logic specifications
Theory and Practice of Logic Programming
Toward a general theory of names: binding and scope
Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
A proof theory for generic judgments
ACM Transactions on Computational Logic (TOCL)
Collection analysis for Horn clause programs
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Composition of semantic web services using linear logic theorem proving
Information Systems - Special issue: The semantic web and web services
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
On Linear Logic Planning and Concurrency
Language and Automata Theory and Applications
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
On linear logic planning and concurrency
Information and Computation
Composition of Semantic Web services using Linear Logic theorem proving
Information Systems
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Hi-index | 0.00 |