1. Comparative trace semantics of time Petri nets

   • D. I. Bushin
   • I. B. Virbitskaite

   OriginalPaper 29 May 2015 Pages: 131 - 139

2. Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms

   • N. O. Garanina
   • E. A. Sidorova

   OriginalPaper 29 May 2015 Pages: 140 - 148

3. Proving properties of functional programs by equality saturation

   • S. A. Grechanik

   OriginalPaper 29 May 2015 Pages: 149 - 161

4. Algorithmic issues of AND-decomposition of boolean formulas

   • P. G. Emelyanov
   • D. K. Ponomaryov

   Computer Algebra, Applied Logic, Circuit Synthesis 29 May 2015 Pages: 162 - 169

5. Supercompilation for Martin-Lof’s type theory

   • I. G. Klyuchnikov
   • S. A. Romanenko

   Computer Algebra, Applied Logic, Circuit Synthesis 29 May 2015 Pages: 170 - 182

6. Pattern-based environment modeling for static verification of Linux kernel modules

   • I. S. Zakharov
   • V. S. Mutilin
   • A. V. Khoroshilov

   Computer Algebra, Applied Logic, Circuit Synthesis 29 May 2015 Pages: 183 - 195