Pages that link to "Item:Q2104541"
From MaRDI portal
The following pages link to Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541):
Displaying 5 items.
- Maude (Q18367) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Verification of the ROS NavFn planner using executable specification languages (Q2693303) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← links)
