1. A new explanation of the glitch phenomenon

   • James H. Anderson
   • Mohamed G. Gouda

   OriginalPaper Pages: 297 - 309

2. Sufficient-completeness, ground-reducibility and their complexity

   • Deepak Kapur
   • Paliath Narendran
   • Hantao Zhang

   OriginalPaper Pages: 311 - 350

3. Effective construction of the syntactic algebra of a recognizable series on trees

   • Symeon Bozapalidis

   OriginalPaper Pages: 351 - 363

   

4. Theoretical foundations of handling large substitution sets in temporal integrity monitoring

   • K. Hülsmann
   • G. Saake

   OriginalPaper Pages: 365 - 407