Subject
Computational Mathematics,Algebra and Number Theory
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Variants and satisfiability in the infinitary unification wonderland;Journal of Logical and Algebraic Methods in Programming;2023-08
2. Associative unification in Maude;Journal of Logical and Algebraic Methods in Programming;2022-04
3. Building and Combining Matching Algorithms;Lecture Notes in Computer Science;2019
4. Variant-based satisfiability in initial algebras;Science of Computer Programming;2018-03
5. Rewriting modulo SMT and open system analysis;Journal of Logical and Algebraic Methods in Programming;2017-01