POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Metalogical Frameworks II: Developing a Reflected Decision Procedure
Journal of Automated Reasoning
Algorithms and reductions for rewriting problems. II
Information Processing Letters
Hi-index | 0.00 |