Clelia De Felice, Antonio Restivo Developments in Language Theory - 2005 ISBN: 978-3-540-31682-4 Subjects--Topical Terms: Computation by Abstract DevicesDiscrete Mathematics in Computer ScienceLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesComputer Science