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):
Displaying 10 items.
- Equational completion in order-sorted algebras (Q912606) (← links)
- Dynamically typed computations for order-sorted equational presentations (Q1264443) (← links)
- 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)
- (Q3615308) (← links)
- Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras (Q5743584) (← links)
- Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)
- Maude2Lean: theorem proving for Maude specifications using Lean (Q6643468) (← links)