1 Table of Contents: “... the Hilbert Basis of a Linear Diophantine System -- Solving Combinatorial Problems with Regular Local Search...”

2 Table of Contents: “...On Confluence of Infinitary Combinatory Reduction Systems -- Matching with Regular Constraints...”

3 Table of Contents: “... Transducers -- Relaxed Parsing of Regular Approximations of String-Embedded Languages -- Branching Processes...”

4 Table of Contents: “...Treating enhanced entity relationship models in a declarative style -- Processing of ground regular...”

5 Table of Contents: “... in Executable Z: A Case Study for the ZETA System -- Behavioural Constructor Implementation for Regular Algebras...”

6 Table of Contents: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”

7 Table of Contents: “... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”

8 Table of Contents: “... of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees -- An Approach to the Validation...”

9 Table of Contents: “... of Loops by Parallelization -- On Computing Fixpoints in Well-Structured Regular Model Checking...”

10 Table of Contents: “... for Distributed Systems -- Why Automata Models Are Sexy for Testers? (Invited Talk) -- Regular Papers...”

11 Table of Contents: “...Recurrent Reachability Analysis in Regular Model Checking -- Alternation Elimination...”

12 “.... There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission...”

13 “..., Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers...”

14 “..., Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular...”

15 “... regular papers and 8 tool descriptions and experimental papers included in this volume were carefully...”