References in zbMATH (referenced in 32 articles , 1 standard article )

Showing results 1 to 20 of 32.
Sorted by year (citations)

1 2 next

  1. Lvov, M.S.; Peschanenko, V.S.: Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling (2012)
  2. Andon, P.I.; Doroshenko, A.Yu.; Zhereb, K.A.: Programming high-performance parallel computations: formal models and graphics processing units (2011)
  3. Kolchin, A.V.: An automatic method for the dynamic construction of abstractions of states of a formal model (2010)
  4. Letichevsky, A.A.; German, V.N.; Morokhovets, M.K.; Shchogoleva, N.N.: Parallel inference search in logical calculus based on the algebraic programming system (2010)
  5. Goncharov, S.V.; Rudich, A.Ye.: Translation of algebraic programs into executable codes (2005)
  6. Letichevsky, A.Ad.; Kapitonova, Yu.V.; Volkov, V.A.; Letichevsky, A.A.; Baranov, S.N.; Kotlyarov, V.P.; Weigert, T.: Systems specification by basic protocols (2005)
  7. Letichevsky, A.; Kapitonova, J.; Letichevsky, A.jun.; Volkov, V.; Baranov, S.; Weigert, T.: Basic protocols, message sequence charts, and the verification of requirements specifications (2005)
  8. Letichevskij, A.A.; Khomenko, V.V.: A rewriting machine and optimization of strategies of term rewriting (2002)
  9. Tseitlin, G.E.; Amons, A.A.; Golovin, O.V.; Zubtsov, A.Yu.: Integrated tools for design and synthesis of classes of algorithms and programs (2000)
  10. Degtyarev, A.I.; Kapitonova, Yu.V.; Letichevskii, A.A.; Lyaletski, A.V.; Morokhovets, M.K.: The evidence algorithm and problems of representation and processing of mathematical computer knowledge (1999)
  11. Letichevsky, A.A.; Kapitonova, J.V.; Volkov, V.A.; Chugayenko, A.; Khomenko, V.; Gilbert, D.R.: The development of interactive algorithms for the mathematical environment (1999)
  12. Letichevsky, Alexander A.; Kapitonova, Julia V.; Volkov, Vladislav A.; Chugayenko, A.; Khomenko, Victor; Gilbert, David R.: The development of interactive algorithms for the mathematical environment. (1999)
  13. Matveeva, L.E.; Chugaenko, A.V.: Tools for simulation of parallel computations in a system of algebraic programming (1999)
  14. Vinnichuk, I.P.: Algebra of algorithmics and design of systems for synthesis of multimedia applications in the windows environment (1999)
  15. Kapitonova, Yu.V.; Letichevskij, A.A.: Theorem proving in a mathematical information environment (1998)
  16. Letichevskij, A.A.: The development of a partial evaluator for extended lambda calculus (1997)
  17. Letichevskij, A.A.; Denisenko, P.N.; Bilenko, V.I.; Volkov, V.A.: Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations (1997)
  18. Letichevskij, A.A.; Marinchenko, V.G.: Objects in algebraic programming system (1997)
  19. Godlevskij, A.B.: Parallel dynamic semantics of sequential programs with speculative and incremental computation (1996)
  20. Val’kevich, T.A.; Kapitonova, Yu.V.; Letichevskij, A.A.; Mishchenko, N.M.: Paradigm of software component dictionaries for software development (1996)

1 2 next