Extension of the system of equivalent transformations of expressions

DOI10.1016/0041-5553(72)90196-6zbMath0259.68007OpenAlexW2115623365MaRDI QIDQ5674961

Vladas Tumasonis

Publication date: 1973

Published in: USSR Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0041-5553(72)90196-6

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Some work of Lithuanian mathematicians in the domain of mathematical logic and programming

This page was built for publication: Extension of the system of equivalent transformations of expressions