Pages that link to "Item:Q2864357"

The following pages link to Deduction, Strategies, and Rewriting (Q2864357):

Displaying 12 items.

• A Maude environment for CafeOBJ (Q520244) (← links)
• A rewriting logic approach to operational semantics (Q1012130) (← links)
• Twenty years of rewriting logic (Q1931904) (← links)
• Parameterized strategies specification in Maude (Q2185882) (← links)
• Programming and symbolic computation in Maude (Q2291818) (← links)
• (Q5089038) (← links)
• Compositional Specification in Rewriting Logic (Q5108529) (← links)
• Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)
• Patterns for Maude Metalanguage Applications (Q5179132) (← links)
• Proof Search for the First-Order Connection Calculus in Maude (Q5179137) (← links)
• A Rewriting Semantics for Maude Strategies (Q5179141) (← links)
• The Maude strategy language (Q6113021) (← links)