An efficient method for synthesizing correct recognition algorithms
From MaRDI portal
Publication:3731045
DOI10.1016/0041-5553(84)90232-5zbMath0597.68065OpenAlexW2046180966MaRDI QIDQ3731045
Publication date: 1984
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(84)90232-5
This page was built for publication: An efficient method for synthesizing correct recognition algorithms