Pages that link to "Item:Q2817918"
From MaRDI portal
The following pages link to Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918):
Displaying 6 items.
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Terminating non-disjoint combined unification (Q2119106) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Assertion-based analysis via slicing with<tt>ABETS</tt>(system description) (Q4593040) (← links)
