Abstract versus concrete computation on metric partial algebras (2004)

by J. V. Tucker
Venue:ACM Transactions on Computational Logic
Citations:31 - 19 self