Browse by Subject: Models of Computation (F.4.1)

• (Top Level)
• Theory of Computation
• COMPUTATION BY ABSTRACT DEVICES (0)
• Models of Computation (F.4.1) (1)

Leavens, Gary T. and Pigozzi, Don (2002) Equational Reasoning with Subtypes. Technical Report TR02-07, Computer Science, Iowa State University.