Automated complexity analysis based on ordered resolution
Journal of the ACM (JACM)
Deciding the confluence of ordered term rewrite systems
ACM Transactions on Computational Logic (TOCL)
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Combining superposition, sorts and splitting
Handbook of automated reasoning
Complexity Analysis Based on Ordered Resolution
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
AI Communications - CASC
Fast, automatic checking of security protocols
WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
AI Communications - Practical Aspects of Automated Reasoning
| Hi-index | 0.00 |