Author:
Alpuente M.,Escobar S.,Iborra J.
Publisher
Oxford University Press (OUP)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Most General Variant Unifiers;Electronic Proceedings in Theoretical Computer Science;2019-09-19
2. Variant-based satisfiability in initial algebras;Science of Computer Programming;2018-03
3. Symbolic Reasoning Methods in Rewriting Logic and Maude;Logic, Language, Information, and Computation;2018
4. Variant-Based Satisfiability in Initial Algebras;Communications in Computer and Information Science;2016
5. Folding variant narrowing and optimal variant termination;The Journal of Logic and Algebraic Programming;2012-10