Hicham Tahiri

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Ian M. Hodkinson, Hicham Tahiri
A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder. Rev. Symb. Log. 3 (2) (2010)