Home Advanced Search

Advanced Search - Page 1

Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lawrence E. Blume, David A. Easley, Joseph Y. Halpern (auth.), Kamal Lodaya (eds.)
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Max A. Alekseyev, Pavel A. Pevzner (auth.), Kamal Lodaya, Meena Mahajan (eds.)
CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joseph Y. Halpern (auth.), Franck van Breugel, Marsha Chechik (eds.)
Reasoning about uncertainty
  • PDF
  • English
  • Year: 2017
  • Author: Halpern, Joseph Y
Actual Causality
  • PDF
  • English
  • Year: 2016
  • Author: Joseph Y. Halpern
Actual Causality
  • PDF
  • english
  • Year: 2016
  • Author: Joseph Y. Halpern
Reasoning about uncertainty
  • PDF
  • English
  • Year: 2003
  • Author: Halpern, Joseph Y
Reasoning about Uncertainty
  • PDF
  • English
  • Year: 2003
  • Author: Joseph Y. Halpern
Theoretical Aspects of Reasoning About Knowledge. Proceedings of the 1986 Conference
  • PDF
  • English
  • Year: 1986
  • Author: Joseph Y. Halpern
Behavioural and Experimental Economics
  • PDF
  • English
  • Year: 2010
  • Author: Steven N. Durlauf, Lawrence E. Blume (eds.)
search