Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Logical Methods in Computer Science
open-in-new
<p><i>Logical Methods in Computer Science</i> (LMCS) is a <a href="/facts/Peer-reviewed/ly6yEgcW">peer-reviewed</a> <a href="/facts/Open_access/r7rLYN6C">open access</a> <a href="/facts/Scientific_journal/A4Slzknw">scientific journal</a> covering <a href="/facts/Theoretical_computer_science/jSkGGuvy">theoretical computer science</a> and applied <a href="/facts/Logic/8JnpJLtt">logic</a>. It opened to submissions on September 1, 2004. The <a href="/facts/Editor-in-chief/d76Qb3Tr">editor-in-chief</a> is Stefan Milius (<a href="/facts/Friedrich-Alexander-Universit%25C3%25A4t_Erlangen-N%25C3%25BCrnberg/RhawVM96">Friedrich-Alexander Universität Erlangen-Nürnberg</a>). </p>