Linguistic Applications of First Order Intuitionistic Linear Logic
Journal of Logic, Language and Information
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Proceedings of the 17th 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
A Matrix Characterization for MELL
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
linTAP: A Tableau Prover for Linear Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An effective theory of type refinements
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A Query System for Texts with Macros
IEICE - Transactions on Information and Systems
A logical calculus for modelling interferences
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Proof-theoretic and higher-order extensions of logic programming
A 25-year perspective on logic programming
A redundancy analysis of sequent proofs
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Hi-index | 0.00 |