Deciding the confluence of ordered term rewrite systems
ACM Transactions on Computational Logic (TOCL)
AI Communications - CASC
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications
WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Scheme-based theorem discovery and concept invention
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |