Saturday, December 14, 2013

Set-Theoretic Models of Computations

Theories of Programming and Formal MethodsLecture Notes in Computer Science Volume 8051, 2013, pp 1-22Set-Theoretic Models of Computations

Abstract

No comments: