Algebraic approach to the problem of solving systems of linear inequalities. (English)
Cybern. Syst. Anal. 46, No. 2, 326-338 (2010); translation from Kibern. Sist. Anal. 2010, No. 2, 175-188 (2010).
1
Series and parallel operations on pomsets. (English)
Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 316-328 (1999).
2
The algorithmic specification method of abstract data types: an overview. (English)
Mathematical methods of specification and synthesis of software systems ’85, Proc. Int. Spring Sch., Wendisch-Rietz/GDR 1985, Math. Res. 31, 194-200 (1986).
3
Start
Contact
Print
General Help
