Publications of

Tel-Aviv University's Logic Group



Arnon Avron
Nachum Dershowitz
Yoram Hirshfeld
Alexander Rabinovich
Mooly Sagiv
Boaz Trakhtenbrot
Amiram Yehudai