Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A New Class of Symbolic Abstract Neural Nets: Tissue P Systems
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Multiset Constraints and P Systems
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
A logic-based framework for attribute based access control
Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Multi-valued dependencies in the presence of lists
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Decidability results for sets with atoms
ACM Transactions on Computational Logic (TOCL)
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
Theory and Practice of Logic Programming
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic (TOCL)
The Implication Problem of Functional Dependencies in Complex-value Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
A 25-year perspective on logic programming
A declarative coordination language
Computer Languages
Hi-index | 0.01 |