Aminof

First name: 
Benjamin
Department / Field: 
Computer Sciences
Faculty: 
Science
Title: 
Translations Among Automata on Infinite Objects, and their Applications
Supervisor: 
Prof. O. Kupferman
Year of Graduation: 
2010