Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

FI (2012): 1, ISI indexed (2012): no

Central database

Journal

Publications

(17)

Published
Preface
Publication: Research - peer-review › Editorial – Annual report year: 2011
Published
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
Publication: Research - peer-review › Conference article – Annual report year: 2011
Published
Two-sorted Point-Interval Temporal Logics
Publication: Research - peer-review › Conference article – Annual report year: 2011

ID: 219651