Publisher
Defense Technical Information Center
Cited by
104 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatically deriving control-flow graph generators from operational semantics;Proceedings of the ACM on Programming Languages;2022-08-29
2. A Superposition-Based Calculus for Diagrammatic Reasoning;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06
3. Idempotent Anti-unification;ACM Transactions on Computational Logic;2020-04-30
4. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude;Journal of Automated Reasoning;2017-06-06
5. Termination of narrowing via termination of rewriting;Applicable Algebra in Engineering, Communication and Computing;2010-02-25