The following pages link to Twenty years of rewriting logic (Q1931904):
Displaying 27 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- On the accuracy of formal verification of selective defenses for TDoS attacks (Q1683703) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Capturing constrained constructor patterns in matching logic (Q2096417) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- A constraint-based language for multiparty interactions (Q2229145) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Limited second-order functionality in a first-order setting (Q2303245) (← links)
- Labelled port graph -- a formal structure for models and computations (Q2333309) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Rewriting-based repairing strategies for XML repositories (Q2436514) (← 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)
- Formal Universes (Q2945710) (← links)
- Generic Proof Scores for Generate & Check Method in CafeOBJ (Q2945712) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- Algebraic Reinforcement Learning (Q2945728) (← links)
- Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications (Q2949707) (← links)
- From Outermost Reduction Semantics to Abstract Machine (Q3453649) (← links)
- The Maude strategy language (Q6113021) (← links)
