Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales

zbMath0976.68079MaRDI QIDQ5947813

Vladimir A. Zakharov

Publication date: 28 October 2001

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

zbMATH Keywords

computer scienceeffective algorithmsequivalence of programs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Analysis of algorithms (68W40) Graph theory (including graph drawing) in computer science (68R10) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (1)

Program equivalence checking by two-tape automata

This page was built for publication: Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales