VIRT: A universal programming language

DOI10.1007/BF02667049zbMath0944.68507MaRDI QIDQ1968567

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)

Related Items (2)

VIRT ⋮ Using the VIRT programming language for automatic theorem proving

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