Contents
Programming and Computer Software

Vol. 41, No. 3, 2015

A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.

Comparative Trace Semantics of Time Petri Nets

D. I. Bushin and I. B. Virbitskaite p. 131  abstract

Ontology Population as Algebraic Information System Processing Based
on Multi-agent Natural Language Text Analysis Algorithms

N. O. Garanina and E. A. Sidorova p. 140  abstract

Proving Properties of Functional Programs by Equality Saturation

S. A. Grechanik p. 149  abstract

Computer Algebra, Applied Logic, Circuit Synthesis

Algorithmic Issues of AND-Decomposition of Boolean Formulas

P. G. Emelyanov and D. K. Ponomaryov p. 162  abstract

Supercompilation for Martin–Lof’s Type Theory

I. G. Klyuchnikov and S. A. Romanenko p. 170  abstract

Pattern-Based Environment Modeling for Static Verification
of Linux Kernel Modules

I. S. Zakharov, V. S. Mutilin, and A. V. Khoroshilov p.183  abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.