Login / Signup

Hybrid Logics: Characterization, Interpolation and Complexity.

Carlos ArecesPatrick BlackburnMaarten Marx
Published in: J. Symb. Log. (2001)
Keyphrases