Journal: Programming and Computer Software

Volume 29, Issue 5

239 -- 244D. Yu. Buryak, Yu. V. Vizil ter. Automated Construction of Identification Procedures for Objects Belonging to Several Classes
245 -- 258Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin. Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
259 -- 270Alexandre V. Zamulin. Formal Semantics of Java Expressions and Statements
270 -- 276Rimma I. Podlovchenko. On Program Schemes with Commuting and Monotone Operators
277 -- 282V. A. Vasenin, E. E. Dolgalev. ProXForms Language at the Stage of Web Technologies Evolution from HTML Forms to XForms
283 -- 293L. G. Novak, Sergei D. Kuznetsov. Canonical Forms of XML Schemas