Electronic Notes in Theoretical Computer Science, Volume 273
Volume 273, July 2011
- Dario Della Monica, Valentin Goranko, Guido Sciavicco: Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. 3-19
- Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker: Constructive Description Logics Hybrid-Style. 21-31
- Jens Ulrik Hansen: A Hybrid Public Announcement Logic with Distributed Knowledge. 33-50
- Katsuhiko Sano: Axiomatizing Hybrid Products of Monotone Neighborhood Frames. 51-67
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team