ional Abstraction Steps Lone Leth Thomsena Bent Thomsena Kurt Nørmarka a. Department of Computer Science, Aalborg University, Denmark In this paper we discuss computational abstra...
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER McMaster University Abstract computable functions are defined by abstract finit...