Vol-1491⫷ Vol-1492 ⫸Vol-1493
urn:nbn:de:0074-1492-0


Vol-1492/Paper_32⫷Vol-1492/Paper_33⫸Vol-1492/Paper_34
Vladislav V. Podymov

An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements