Progress in Theoretical Computer Science

Series Editors:



Edited by

Book, R.V., University of California, Santa Barbara, USA

Progress in Theoretical Computer Science is a

series that focuses on the theoretical aspects of computer science and on the logical and mathematical foundations of computer science, as well as the applications of computer theory. It addresses itself to research workers and graduate students in computer and information science departments and research laboratories, as well as to departments of mathematics and electrical engineering where an interest in computer theory is found.