Reasoning with higher-order abstract syntax in a logical framework
ACM Transactions on Computational Logic (TOCL)
Automated protocol verification in linear logic
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Proceedings of the 17th International Conference on Logic Programming
A Purely Logical Account of Sequentiality in Proof Search
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Resource Management in Linear Logic Search Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
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 Local System for Linear Logic
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Multi-agent Systems Development as a Software Engineering Enterprise
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Higher-Order Quantification and Proof Search
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
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
A Matrix Characterization for MELL
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Correct Object-Oriented Systems in Computational Logic
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
linTAP: A Tableau Prover for Linear Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Using Linear Logic to Reason about Sequent Systems
TABLEAUX '02 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
Combining Mobile Processes and Declarative Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Non-commutativity and MELL in the Calculus of Structures
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
The Expressive Power of Horn Monadic Linear Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Encoding transition systems in sequent calculus
Theoretical Computer Science - Linear logic
A Meta-Notation for Protocol Analysis
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
MELL in the calculus of structures
Theoretical Computer Science
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
An effective fixpoint semantics for linear logic programs
Theory and Practice of Logic Programming
A Matrix Characterization for Multiplicative Exponential Linear Logic
Journal of Automated Reasoning
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Model checking linear logic specifications
Theory and Practice of Logic Programming
Monadic concurrent linear logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Disjunction and modular goal-directed proof search
ACM Transactions on Computational Logic (TOCL)
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
On structuring proof search for first order linear logic
Theoretical Computer Science
A system of interaction and structure
ACM Transactions on Computational Logic (TOCL)
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Reasoning in Abella about Structural Operational Semantics Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic specifications in linear logic with subexponentials
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
On the algebraic structure of declarative programming languages
Theoretical Computer Science
Focusing and polarization in linear, intuitionistic, and classical logics
Theoretical Computer Science
On linear logic planning and concurrency
Information and Computation
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Least and greatest fixed points in linear logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Expanding the realm of systematic proof theory
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Journal of Automated Reasoning
Proof-theoretic and higher-order extensions of logic programming
A 25-year perspective on logic programming
Specifying Proof Systems in Linear Logic with Subexponentials
Electronic Notes in Theoretical Computer Science (ENTCS)
Least and Greatest Fixed Points in Linear Logic
ACM Transactions on Computational Logic (TOCL)
Journal of Automated Reasoning
Reducing nondeterminism in the calculus of structures
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On the specification of sequent systems
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Aspect-Oriented programming in higher-order and linear logic
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Logical approximation for program analysis
Higher-Order and Symbolic Computation
From proofs to focused proofs: a modular proof of focalization in linear logic
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
A formal framework for specifying sequent calculus proof systems
Theoretical Computer Science
| Hi-index | 0.00 |