Abstract is missing.
- Parallel Assembly SynthesisJingmei Hu, Stephen Chong, Margo I. Seltzer. 3-26 [doi]
- Improving Logic Programs by Adding FunctionsMichael Hanus. 27-44 [doi]
- Deciding Knowledge Problems Modulo Classes of Permutative TheoriesSerdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. 47-63 [doi]
- Binary Implication Hypergraphs for the Representation and Simplification of Propositional FormulaeJordina Francès de Mas. 64-81 [doi]
- Combined Abstract Congruence Closure for Theories with Associativity or CommutativityChristophe Ringeissen, Laurent Vigneron. 82-98 [doi]
- A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint SystemsPiotr Wojciechowski 0002, K. Subramani 0001. 99-114 [doi]
- Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge ApplicationsRoberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti 0002, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro. 117-127 [doi]
- An Axiomatic Category-Based Access Control Model for Smart HomesClara Bertolissi, Maribel Fernández, Bhavani Thuraisingham. 131-148 [doi]
- Towards Specification-Guarded RefactoringAdam D. Barwell, Christopher Brown 0002, Susmit Sarkar. 149-165 [doi]
- Impact and Performance of Randomized Test-Generation Using PrologMarcus Gelderie, Maximilian Luff, Maximilian Peltzer. 166-182 [doi]
- Proving Uniqueness of Normal Forms w.r.t Reduction of Term Rewriting SystemsTakahito Aoto 0001. 185-201 [doi]
- Rewriting Induction for Higher-Order Constrained Term Rewriting SystemsKasper Hagens, Cynthia Kop. 202-219 [doi]
- Introducing Quantification into a Hierarchical Graph Rewriting LanguageHaruto Mishina, Kazunori Ueda. 220-239 [doi]