scientific article
From MaRDI portal
zbMath0974.68187MaRDI QIDQ2754029
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Flyspeck II: The basic linear programs, Rewriting conversions implemented with continuations, Verification of the Miller-Rabin probabilistic primality test., A Brief Overview of HOL4, A Compiled Implementation of Normalization by Evaluation, Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus, Validating QBF Validity in HOL4
Uses Software
