Using the VIRT programming language for automatic theorem proving

DOI10.1007/BF02742284zbMATH Open0967.68540MaRDI QIDQ1582918FDOQ1582918

Authors: A. I. Baranovskii 

Publication date: 16 October 2000

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

Recommendations

• scientific article; zbMATH DE number 549074
• scientific article; zbMATH DE number 1360950
• scientific article; zbMATH DE number 4092823
• scientific article; zbMATH DE number 13446
• scientific article; zbMATH DE number 3880145

zbMATH Keywords

VIRT programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• VIRT: A universal programming language
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

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)