Abstract is missing.
- Symbolic Computation in Maude: Some TapasJosé Meseguer. 3-36 [doi]
- Runtime Complexity Analysis of Logically Constrained RewritingSarah Winkler, Georg Moser. 37-55 [doi]
- Confluence and Commutation for Nominal Rewriting Systems with Atom-VariablesKentaro Kikuchi, Takahito Aoto 0001. 56-73 [doi]
- Pattern Eliminating TransformationsHoratiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau. 74-92 [doi]
- Nominal Unification with Letrec and Environment-VariablesManfred Schmidt-Schauß, Yunus D. K. Kutz. 95-112 [doi]
- Terminating Non-disjoint Combined UnificationSerdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. 113-130 [doi]
- slepice: Towards a Verified Implementation of Type Theory in Type TheoryFrantisek Farka. 133-150 [doi]
- Resourceful Program Synthesis from Graded Linear TypesJack Hughes, Dominic Orchard. 151-170 [doi]
- Reasoning in the Theory of Heap: Satisfiability and InterpolationZafer Esen, Philipp Rümmer. 173-191 [doi]
- Algorithm Selection for Dynamic Symbolic Execution: A Preliminary StudyRoberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. 192-209 [doi]
- Translation of Interactive Datalog Programs for Microcontrollers to Finite State MachinesMario Wenzel, Stefan Brass. 210-227 [doi]
- Generating Functions for Probabilistic ProgramsLutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. 231-248 [doi]
- Verification of Multiplayer Stochastic Games via Abstract Dependency GraphsSøren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba. 249-268 [doi]
- Testing Your (Static Analysis) TruthsIgnacio Casso, José F. Morales, Pedro López-García 0001, Manuel V. Hermenegildo. 271-292 [doi]
- Slicing Unconditional Jumps with Unnecessary Control DependenciesCarlos Galindo 0002, Sergio Pérez 0001, Josep Silva. 293-308 [doi]
- A Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear LogicSatoshi Matsuoka. 311-328 [doi]
- Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic LogicPaul Tarau. 329-344 [doi]