hal-00646013, version 1

Logic in Action

Johan van Benthem, Jan van Eijck ¹, Jan Jaspars, Hans Van Ditmarsch

Logic in Action (2011) all

• 1:  ATEAMS (INRIA Lille - Nord Europe)
• INRIA – CWI

• Domain : Computer Science/Computation and Language

• hal-00646013, version 1
• http://hal.inria.fr/hal-00646013
• oai:hal.inria.fr:hal-00646013
• From: Jurgen Vinju <>
• Submitted on: Tuesday, 29 November 2011 08:13:20
• Updated on: Tuesday, 29 November 2011 08:13:20