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