Pages that link to "Item:Q2291818"

The following pages link to Programming and symbolic computation in Maude (Q2291818):

Displaying 15 items.

• Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
• Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← 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)
• Hardware Trojan detection via rewriting logic (Q2141287) (← links)
• A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
• Metalevel transformation of strategies (Q2667189) (← links)
• Safety enforcement via programmable strategies in Maude (Q2693298) (← links)
• Verification of the ROS NavFn planner using executable specification languages (Q2693303) (← links)
• An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948) (← links)
• Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
• Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
• The Maude strategy language (Q6113021) (← links)
• Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)