1. Efficient algorithms for the transformation between different types of binary decision diagrams

   • Petr Savický
   • Ingo Wegener

   Pages: 245 - 256

2. On the interdependence between shuffle and crossing-over operations

   • Victor Mitrana

   Pages: 257 - 266

3. Dynamic LL(\(k\)) parsing

   • Arnd Rußmann

   Pages: 267 - 289

4. Locality based semantics for process algebras

   • Flavio Corradini
   • Rocco De Nicola

   Pages: 291 - 324