Pages that link to "Item:Q683741"

The following pages link to Strict coherence of conditional rewriting modulo axioms (Q683741):

Displaying 17 items.

• Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
• Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← 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)
• A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
• Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
• Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
• Metalevel Algorithms for Variant Satisfiability (Q2827841) (← links)
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
• Tactics for Reasoning Modulo AC in Coq (Q3100211) (← links)
• Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
• Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* (Q4988927) (← links)
• (Q5020553) (← links)
• (Q5020960) (← links)
• An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948) (← links)
• Variant-based equational anti-unification (Q6160760) (← links)