ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
On unification for bounded distributive lattices
ACM Transactions on Computational Logic (TOCL)
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |