Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Using the VIRT programming language for automatic theorem proving - MaRDI portal

Using the VIRT programming language for automatic theorem proving

From MaRDI portal

Publication:1582918

Jump to:navigation, search

DOI10.1007/BF02742284zbMath0967.68540MaRDI QIDQ1582918

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)

Uses Software

Unnamed Item

Cites Work

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1582918&oldid=13873132"