What are weak arithmetics?

Authors
Citation
B. Richard, What are weak arithmetics?, THEOR COMP, 257(1-2), 2001, pp. 17-29
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
257
Issue
1-2
Year of publication
2001
Pages
17 - 29
Database
ISI
SICI code
0304-3975(20010428)257:1-2<17:WAWA>2.0.ZU;2-1