Pages that link to "Item:Q875516"
From MaRDI portal
The following pages link to Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516):
Displaying 12 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Declarative debugging of rewriting logic specifications (Q1931907) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Metalevel algorithms for variant satisfiability (Q2413027) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- Metalevel Algorithms for Variant Satisfiability (Q2827841) (← links)
- Declarative Debugging of Rewriting Logic Specifications (Q3184739) (← links)
- A Declarative Debugger for Maude Functional Modules (Q5179130) (← links)
