Using the VIRT programming language for automatic theorem proving

DOI10.1007/BF02742284MaRDI QIDQ1582918zbMATH OpenFDO

Authors A. I. Baranovskii

Publication date 16 October 2000

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

zbMATH Keywords

VIRT programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites work

• scientific article; zbMATH DE number 3819689 (Why is no real title available?)
• VIRT: A universal programming language

Cited in

(1)

• scientific article; zbMATH DE number 549074 (Why is no real title available?)

Describes a project that uses

Uses Software

• VIRT

This page was built for publication: Using the VIRT programming language for automatic theorem proving

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