Clelia De Felice, Antonio Restivo

Developments in Language Theory - 2005

978-3-540-31682-4


Computation by Abstract Devices
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Computer Science