Information and Computation

ISSNs: 0890-5401

Academic Press, United States

FI (2012): 2, ISI indexed (2012): yes

Central database

Journal

Publications

(8)

Published
Probabilistic Logical Characterization
Publication: Research - peer-review › Journal article – Annual report year: 2011
Published
On the complexity of some colorful problems parameterized by treewidth
Publication: Research - peer-review › Journal article – Annual report year: 2011
Published
Hybrid Logical Analyses of the Ambient Calculus
Publication: Research - peer-review › Conference article – Annual report year: 2010

ID: 218826