Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 2 of 7 found articles
 
 
  Efficient Equivalence-Checking Algorithms for Procedural Programs in Progressive Semigroup Gateway Models
 
 
Title: Efficient Equivalence-Checking Algorithms for Procedural Programs in Progressive Semigroup Gateway Models
Author: Podymov, V. V.
Appeared in: Moscow University computational mathematics and cybernetics
Paging: Volume 43 () nr. 4 pages 181-187
Year: 2019
Contents:
Publisher: Pleiades Publishing, Moscow
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 2 of 7 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands