Open AccessA polynomial algorithm for checking the equivalence in models of programs with commutation and vast operators
Author(s) -
Vladislav V. Podymov,
Vladimir A. Zakharov
Publication year - 2014
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2014-26(3)-8
Subject(s) - equivalence (formal languages) , commutative property , decidability , computer science , formal equivalence checking , logical equivalence , model checking , mathematics , discrete mathematics , algebra over a field , programming language , theoretical computer science , pure mathematics