scientific article; zbMATH DE number 7552936

DOI10.4204/EPTCS.70zbMath1490.68018MaRDI QIDQ5088165

No author found.

Publication date: 4 July 2022

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/content.cgi?ACL22011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

System-level non-interference of constant-time cryptography. I: Model ⋮ From LCF to Isabelle/HOL

Uses Software

• ACL2

This page was built for publication: