Pages that link to "Item:Q2628298"
From MaRDI portal
The following pages link to Equational formulas and pattern operations in initial order-sorted algebras (Q2628298):
Displayed 4 items.
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras (Q5743584) (← links)