Author:
Durán Francisco,Eker Steven,Escobar Santiago,Martí-Oliet Narciso,Meseguer José,Talcott Carolyn
Publisher
Springer International Publishing
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Optimizing Maude Programs via Program Specialization;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
2. Associative unification in Maude;Journal of Logical and Algebraic Methods in Programming;2022-04
3. Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description);Automated Reasoning;2022
4. Optimization of rewrite theories by equational partial evaluation;Journal of Logical and Algebraic Methods in Programming;2022-01
5. Expressiveness within Sequence Datalog;Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2021-06-20