On an equivalence checking technique for algebraic models of programs
type: Item
instance of: scholarly article
title: On an equivalence checking technique for algebraic models of programs
zbMATH Open document ID: 1251.68105
DOI: 10.1134/S0361768811060065
author: R. I. Podlovchenko
published in: Programming and Computer Software
publication date: 2012-11-16T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6107891
zbMATH Keywords: program schema
zbMATH Keywords: equivalence problem
zbMATH Keywords: decision algorithm
zbMATH Keywords: polynomial complexity
MaRDI profile type: Publication
cites work: A polynomial-time algorithm that recognizes the commutative equivalence of program schemata
description: scientific article; zbMATH DE number 6107891