Pages that link to "Item:Q1931906"
From MaRDI portal
The following pages link to On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906):
Displayed 16 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Language definitions as rewrite theories (Q730476) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
- Equational Abstractions in Rewriting Logic and Maude (Q2797862) (← links)
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
- Two Decades of Maude (Q2945709) (← links)
- The Formal System of Dijkstra and Scholten (Q2945729) (← links)
- Functional Logic Programming in Maude (Q5403075) (← links)