scientific article; zbMATH DE number 7317246
From MaRDI portal
Publication:4964711
zbMath1457.68300arXiv1103.3322MaRDI QIDQ4964711
Publication date: 3 March 2021
Full work available at URL: https://arxiv.org/abs/1103.3322
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation ⋮ Comprehending Isabelle/HOL’s Consistency ⋮ Implicit definitions with differential equations for KeYmaera X (system description)
Uses Software
This page was built for publication:
