On the construction of complete systems of equivalent transformations of program schemes
type: Item
instance of: scholarly article
title: On the construction of complete systems of equivalent transformations of program schemes
zbMATH Open document ID: 0909.68027
DOI: 10.1134/S0361768816010060
author: R. I. Podlovchenko
author: M. G. Airapetyan
published in: Programming and Computer Software
publication date: 1999-01-31T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 1246873
zbMATH Keywords: multitape automata
MaRDI profile type: Publication
cites work: On an equivalence checking technique for algebraic models of programs
cites work: Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
description: scientific article; zbMATH DE number 1246873