Author:
Hendrix Joe,Meseguer José
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. Unification in order-sorted algebras with overloading;Boudet,1992
2. Unification and narrowing in Maude 2. 4;Clavel,2009
3. CiME: Completion modulo E;Contejean,1996
4. Escobar, S., J. Hendrix, C. Meadows and J. Meseguer, Diffie-Hellman cryptographic reasoning in the Maude-NRL protocol analyzer, in: Proc. of SecRet 2007, 2007.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Variants and satisfiability in the infinitary unification wonderland;Journal of Logical and Algebraic Methods in Programming;2023-08
2. A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems;Journal of Logical and Algebraic Methods in Programming;2023-01
3. Associative unification in Maude;Journal of Logical and Algebraic Methods in Programming;2022-04
4. Symbolic Computation in Maude: Some Tapas;Logic-Based Program Synthesis and Transformation;2021
5. Variant-based satisfiability in initial algebras;Science of Computer Programming;2018-03