Hicham Tahiri

According to our database, Hicham Tahiri authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder.

Ian M. Hodkinson, Hicham Tahiri

Rev. Symb. Log., 2010