Index
Browse
Bibliographies
My selection
S
earch:
in
All
Authors
Titles
Conferences
Journals
Keywords
Comments
(word length ≥ 3)
Login
Reference no #23
Type : Html |
Bib
|
Both
Created:
2007-12-12 11:30:26
23
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
