Abstract versus concrete computation on metric partial algebras (0)

by J V Tucker, J I Zucker
Venue:ACM Transactions on Computational Logic