Abstract is missing.
- Rewriting, Inference, and ProofNatarajan Shankar. 1-14 [doi]
- Twenty Years of Rewriting LogicJosé Meseguer. 15-17 [doi]
- Proving Termination in the Context-Sensitive Dependency Pair FrameworkRaúl Gutiérrez, Salvador Lucas. 18-34 [doi]
- A Dependency Pair Framework for ::::A:::: OR ::::C::::-TerminationBeatriz Alarcón, Salvador Lucas, José Meseguer. 35-51 [doi]
- Folding Variant Narrowing and Optimal Variant TerminationSantiago Escobar, Ralf Sasse, José Meseguer. 52-68 [doi]
- A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude SpecificationsFrancisco Durán, José Meseguer. 69-85 [doi]
- A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite TheoriesFrancisco Durán, José Meseguer. 86-103 [doi]
- K-Maude: A Rewriting Based Tool for Semantics of Programming LanguagesTraian-Florin Serbanuta, Grigore Rosu. 104-122 [doi]
- Collecting Semantics under Predicate Abstraction in the K FrameworkIrina Mariuca Asavoae, Mihail Asavoae. 123-139 [doi]
- Concurrent Rewriting Semantics and Analysis of Asynchronous Digital CircuitsMichael Katelman, Sean Keller, José Meseguer. 140-156 [doi]
- A Formal Pattern Architecture for Safe Medical SystemsMu Sun, José Meseguer, Lui Sha. 157-173 [doi]
- On the Behavioral Semantics of Real-Time Domain Specific Visual LanguagesJosé Eduardo Rivera, Francisco Durán, Antonio Vallecillo. 174-190 [doi]
- Multiset Rewriting: A Semantic Framework for Concurrency with Name BindingFernando Rosa Velardo. 191-207 [doi]
- The Linear Temporal Logic of Rewriting Maude Model CheckerKyungmin Bae, José Meseguer. 208-225 [doi]
- Enhancing the Debugging of Maude SpecificationsAdrián Riesco, Alberto Verdejo, Narciso Martí-Oliet. 226-242 [doi]
- The Third Rewrite Engines CompetitionFrancisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark G. J. van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser. 243-261 [doi]