Specialization of the A-language for linear algebra problems

MaRDI QIDQ2545846zbMATH OpenFDO

Authors K. V. Shakhbazyan, M. M. Lebedinskij, T. N. Smirnova

Publication date 1968

Published in Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2545846)