Login / Signup

An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements.

Vladislav V. Podymov
Published in: Fundam. Informaticae (2016)
Keyphrases