VIRT: A universal programming language

DOI10.1007/BF02667049MaRDI QIDQ1968567zbMATH OpenFDO

Authors A. I. Baranovskii

Publication date 18 September 2000

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited in

(2)

• VIRT
• Using the VIRT programming language for automatic theorem proving

This page was built for publication: VIRT: A universal programming language

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