Subject
Computational Mathematics,Algebra and Number Theory
Reference34 articles.
1. Solving word equations;Abdulrab;J. Symbolic Comput.,1990
2. General A- and AX-unification via optimized combination procedures;Baader,1991
3. Unification in the union of disjoint equational theories: Combining decision procedures;Baader;J. Symbolic Comput.,1996
4. Unification theory;Baader,2001
5. Set-Var;Bledsoe;J. Automat. Reason.,1993
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Unranked Nominal Unification;Lecture Notes in Computer Science;2022
2. Variadic equational matching in associative and commutative theories;Journal of Symbolic Computation;2021-09
3. A Rule-Based System for Computation and Deduction in Mathematica;Rewriting Logic and Its Applications;2020
4. Extending the $$\rho $$Log Calculus with Proximity Relations;Applications of Mathematics and Informatics in Natural Sciences and Engineering;2020
5. A Rule-based Approach to the Decidability of Safety of ABACα;Proceedings of the 24th ACM Symposium on Access Control Models and Technologies;2019-05-28