Logical Methods in Computer Science
Source
ISSN 1860-5974
Source type: journal
Publisher: Logical Methods in Computer Science e.V.
Alternate name LMCS
Fully open access: Yes
In DOAJ: Yes
2yr mean citedness: 1.038
H-index: 51
I10-index: 462
Works count: 1,298
Citations count: 15,350
Logical Methods in Computer Science
2006 · · Logical Methods in Computer Science
Linear Encodings of Bounded LTL Model Checking
2006 · Armin Biere, Keijo Heljanko, et al. · Logical Methods in Computer Science
Generic Trace Semantics via Coinduction
2007 · Ichiro Hasuo, Bart Jacobs, et al. · Logical Methods in Computer Science