scientific article; zbMATH DE number 6790165

DOI10.23638/LMCS-13(3:28)2017zbMath1459.68108arXiv1611.09633MaRDI QIDQ5367067

Dmitriy Traytel

Publication date: 12 October 2017

Full work available at URL: https://arxiv.org/abs/1611.09633

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Isabelle

This page was built for publication: