Open AccessPrimitive Program Schemes with Procedures
Author(s) -
Р. И. Подловченко
Publication year - 2014
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2014-4-116-131
Subject(s) - equivalence (formal languages) , computer science , scheme (mathematics) , decidability , algebraic number , construct (python library) , theoretical computer science , programming language , algebra over a field , mathematics , discrete mathematics , pure mathematics , mathematical analysis