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):
Displaying 26 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)
- Symbolic computation in Maude: some tapas (Q2119100) (← 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)
- (Q5020553) (← links)
- (Q5020960) (← links)
- Functional Logic Programming in Maude (Q5403075) (← links)
- The Maude strategy language (Q6113021) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
- Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)
- Maude2Lean: theorem proving for Maude specifications using Lean (Q6643468) (← links)
