Search alternatives:
"arithmetic domain" » "arithmetic brain", "arithmetic dynamic", "arithmetic data"
Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... in Type Theory -- Complexity in Predicative Arithmetic -- Domain-Theoretic Formulation of Linear Boundary...”
Cover Image
Read Now

2
by O'Meara, O. Timothy
Published 2000
Springer Berlin Heidelberg
“... on the existence of decomposable and indecomposable quadratic forms over arithmetic domains...”