Implementation of some multioperations on sequential computers
From MaRDI portal
Publication:1052112
DOI10.1007/BF01093283zbMath0515.68071OpenAlexW1970089739MaRDI QIDQ1052112
N. B. Stsiborskaya, T. N. Smirnova, A. A. Aleksandrova
Publication date: 1983
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01093283
Formal languages and automata (68Q45) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Implementation of some multioperations on sequential computers