The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv

First Page		Document Content
Theoretical computer science Rajeev Alur Logic in computer science Symposium on Logic in Computer Science Automata Hybrid automaton Formal languages Timed automaton		The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given to Rajeev Alur and David Dill for their inv Add to Reading List Source URL: eacsl.kahle.ch Download Document from Source Website File Size: 41,85 KB Share Document on Facebook