Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)
Authors: Francisco Durán, Steven Eker, Santiago Escobar, Narciso Marti-Oliet, Jose Meseguer, Ruben Rubio and Carolyn Talcott
Paper Information
| Title: | Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description) |
| Authors: | Francisco Durán, Steven Eker, Santiago Escobar, Narciso Marti-Oliet, Jose Meseguer, Ruben Rubio and Carolyn Talcott |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | rewriting logic, equational unification, symbolic reachability |
| Pages: | 12 |
| Talk: | Aug 09 14:55 (Session 104D: Proof Search and Generalizations) |
| Paper: |  |