Search Results - "разрешающий алгоритм"

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image
    Academic Journal

    Finite state automata in the theory of algebraic program schemata

    R. I. Podlovchenko

    Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 161-172 (2018)

    Get it
  2. 2
    Cover Image
    Academic Journal

    A polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators

    V. V. Podymov, V. A. Zakharov

    Труды Института системного программирования РАН, Vol 26, Iss 3, Pp 145-166 (2018)

    Get it
  3. 3
    Cover Image
    Academic Journal

    On the application of equivalence checking algorithms for program minimization

    V. A. Zakharov, V. V. Podymov

    Труды Института системного программирования РАН, Vol 27, Iss 4, Pp 145-174 (2018)

    Get it
  4. 4
    Cover Image
    Academic Journal

    Modeling and analysis of the behavior of successive reactive programs

    V. A. Zakharov

    Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 221-250 (2018)

    Get it

Search Tools: