Arithmetic as a theory modulo

Gilles Dowek; Benjamin Werner

doi:10.1007/978-3-540-32033-3_31

Arithmetic as a theory modulo

Gilles Dowek
, Benjamin Werner

Research output: Contribution to journal › Conference article › peer-review

Abstract

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

Original language	English
Pages (from-to)	423-437
Number of pages	15
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3467
DOIs	https://doi.org/10.1007/978-3-540-32033-3_31
Publication status	Published - 1 Jan 2005
Externally published	Yes
Event	16th International Conference on Term Rewriting and Applications, RTA 2005 - Nara, Japan Duration: 19 Apr 2005 → 21 Apr 2005

Access to Document

10.1007/978-3-540-32033-3_31

Cite this

@article{586fcd82ca304f4a840f1d490f9b0d95,

title = "Arithmetic as a theory modulo",

abstract = "We present constructive arithmetic in Deduction modulo with rewrite rules only.",

author = "Gilles Dowek and Benjamin Werner",

year = "2005",

month = jan,

day = "1",

doi = "10.1007/978-3-540-32033-3\_31",

language = "English",

volume = "3467",

pages = "423--437",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

note = "16th International Conference on Term Rewriting and Applications, RTA 2005 ; Conference date: 19-04-2005 Through 21-04-2005",

}

TY - JOUR

T1 - Arithmetic as a theory modulo

AU - Dowek, Gilles

AU - Werner, Benjamin

PY - 2005/1/1

Y1 - 2005/1/1

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

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

UR - https://www.scopus.com/pages/publications/24944522542

U2 - 10.1007/978-3-540-32033-3_31

DO - 10.1007/978-3-540-32033-3_31

M3 - Conference article

AN - SCOPUS:24944522542

SN - 0302-9743

VL - 3467

SP - 423

EP - 437

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 16th International Conference on Term Rewriting and Applications, RTA 2005

Y2 - 19 April 2005 through 21 April 2005

ER -

Arithmetic as a theory modulo

Abstract

Access to Document

Other files and links

Fingerprint

Cite this