Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

References of Maarten Marx   Order by:   Type | Year

<< 1999 >>

1 Carlos Areces, Patrick Blackburn and Maarten Marx. Hybrid Logics: Characterization, Interpolation and Complexity. Technical report, CLAUS-Report 108, Universität des Saarlandes, Saarbrücken, February 1999. [Abstract]     google [Annote]

Last modified: Thu October 16 2014 19:11:34