Login / Signup

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).

Francisco DuránSteven EkerSantiago EscobarNarciso Martí-OlietJosé MeseguerRubén RubioCarolyn L. Talcott
Published in: IJCAR (2022)
Keyphrases