1. OBSCURE a specification language for abstract data types

   • Thomas Lehmann
   • Jacques Loeckx

   OriginalPaper Pages: 303 - 350

2. On the synchronization in parallel communicating grammar systems

   • Gheorghe Păun

   OriginalPaper Pages: 351 - 367

3. Speeding up dynamic transitive closure for bounded degree graphs

   • Daniel M. Yellin

   OriginalPaper Pages: 369 - 384

4. Unavoidable binary patterns

   • Julien Cassaigne

   OriginalPaper Pages: 385 - 395

5. Satisfiability of co-nested formulas

   • Jan Kratochvíl
   • Mirko Křivánek

   OriginalPaper Pages: 397 - 403