Back to Search Start Over

Arithmetic as a theory modulo

Authors :
Dowek, Gilles
Werner, Benjamin
Publication Year :
2023

Abstract

We present constructive arithmetic in Deduction modulo with rewrite rules only.

Subjects

Subjects :
Computer Science - Logic in Computer Science

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.2310.10326
Document Type :
Working Paper

Tools

Authors Abstract Subjects Details