Back to Search
Start Over
LINEAR TWO-SORTED ARITHMETIC
- Source :
- Proofs and Computations
- Publication Year :
- 2011
- Publisher :
- Cambridge University Press, 2011.
Details
- Database :
- OpenAIRE
- Journal :
- Proofs and Computations
- Accession number :
- edsair.doi...........81eb03307c1b255c6e0d4db4450aa759
- Full Text :
- https://doi.org/10.1017/cbo9781139031905.010