Abstract
We present constructive arithmetic in Deduction modulo with rewrite rules only. © Springer-Verlag Berlin Heidelberg 2005.
Cite
CITATION STYLE
APA
Dowek, G., & Werner, B. (2005). Arithmetic as a theory modulo. In Lecture Notes in Computer Science (Vol. 3467, pp. 423–437). Springer Verlag. https://doi.org/10.1007/978-3-540-32033-3_31
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free