Optimizing modular logic languages
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Linear logic programming with an ordered context
Proceedings of the 2nd 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
Resource Management in Linear Logic Search Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Linear Logic Treatment of Phrase Structure Grammars for Unbounded Dependencies
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
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
Natural Deduction for Intuitionistic Non-communicative Linear Logic
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Information and Computation
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Constraint Logic Programming with Hereditary Harrop formulas
Theory and Practice of Logic Programming
Encoding of Planning Problems and Their Optimizations in Linear Logic
Applications of Declarative Programming and Knowledge Management
Hi-index | 0.00 |