1. Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation

   • R. I. Podlovchenko

   OriginalPaper 27 May 2010 Pages: 125 - 137

2. Unifying behavioral equivalences of timed transition systems

   • I. B. Virbitskaite
   • N. S. Gribovskaya

   OriginalPaper 27 May 2010 Pages: 138 - 148

3. Automaton recognition of doubly connected labyrinths with finite cyclic diameter

   • B. Stamatovich

   OriginalPaper 27 May 2010 Pages: 149 - 156

4. On one application of computations with oracle

   • A. P. Lisitsa
   • A. P. Nemytykh

   OriginalPaper 27 May 2010 Pages: 157 - 165

5. Development of the value numbering method

   • A. N. Filippov

   OriginalPaper 27 May 2010 Pages: 166 - 176

6. Mapping loop nests to multipipelined architecture

   • R. B. Steinberg

   OriginalPaper 27 May 2010 Pages: 177 - 185