scientific article
From MaRDI portal
Publication:2723408
zbMath0963.68040MaRDI QIDQ2723408
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Proof producing synthesis of arithmetic and cryptographic hardware ⋮ Nominal techniques in Isabelle/HOL ⋮ Adapting functional programs to higher order logic
Uses Software
This page was built for publication:
