Subject
Computational Mathematics,Algebra and Number Theory
Reference9 articles.
1. Automated Theorem Proving;Bibel,1982
2. Unification and matching in equational theories;Fages,1983
3. Rèsolution d'Équations dans des Langages d'Order 1, 2,..., ω;Huet,1976
4. Confluent reductions, abstract properties and applications to term rewriting systems;Huet;J. Assoc. Comp. Mach.,1980
5. An efficient unification algorithm;Martelli;ACM Transactions on Programming Languages and Systems,1982
Cited by
95 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Efficiency strong Gröbner bases computation over principal ideal ring;THE 3RD INTERNATIONAL CONFERENCE ON MATHEMATICS AND ITS APPLICATIONS (ICOMATHAPP) 2022: The Latest Trends and Opportunities of Research on Mathematics and Mathematics Education;2024
2. Some properties of substitutions in the framework of similarity relations;Fuzzy Sets and Systems;2023-08
3. A Term Matching Algorithm and Substitution Generality;Logic-Based Program Synthesis and Transformation;2023
4. Logic Programming Paradigm;Undergraduate Topics in Computer Science;2023
5. On the membership problem for finite automata over symmetric groups;Discrete Mathematics and Applications;2022-12-01