Specialization of the A-language for linear algebra problems
From MaRDI portal
Publication:2545846
zbMath0215.56102MaRDI QIDQ2545846
K. V. Shakhbazyan, T. N. Smirnova, M. M. Lebedinskij
Publication date: 1968
Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Specialization of the A-language for linear algebra problems