inria-00549320, version 1
Special Issue on Hybrid Logics
Special Issue on Hybrid Logics (2010) 303-474
- 1:
- CNRS : UMR7503 – INRIA – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- Domain : Computer Science/Logic in Computer Science
- Comment : Special Issue of the Journal of Applied Logic. C. Areces and P. Blackburn (editors).
- inria-00549320, version 1
- http://hal.inria.fr/inria-00549320
- oai:hal.inria.fr:inria-00549320
- From:
- Submitted on: Tuesday, 21 December 2010 17:06:57
- Updated on: Friday, 17 June 2011 17:34:03




Export