On the Most Suitable Axiomatization of Signed Integers

DOI10.1007/978-3-319-72044-9_9zbMath1496.68374DBLPconf/wadt/Garavel16OpenAlexW2772762805WikidataQ56049543 ScholiaQ56049543MaRDI QIDQ5208503

Hubert Garavel

Publication date: 16 January 2020

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01667321/file/Garavel-17.pdf

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20)

Uses Software

• Unnamed Item

This page was built for publication: On the Most Suitable Axiomatization of Signed Integers