''Logical Methods in Computer Science'' (LMCS) is a
peer-reviewed
Peer review is the evaluation of work by one or more people with similar competencies as the producers of the work (peers). It functions as a form of self-regulation by qualified members of a profession within the relevant field. Peer review ...
open access
Open access (OA) is a set of principles and a range of practices through which research outputs are distributed online, free of access charges or other barriers. With open access strictly defined (according to the 2001 definition), or libre op ...
scientific journal
In academic publishing, a scientific journal is a periodical publication intended to further the progress of science, usually by reporting new research.
Content
Articles in scientific journals are mostly written by active scientists such as s ...
covering
theoretical computer science and applied
logic. It opened to submissions on September 1, 2004. The
editor-in-chief is Stefan Milius (
Friedrich-Alexander Universität Erlangen-Nürnberg).
History
The journal was initially published by the International Federation
for Computational Logic, and then by a dedicated non-profit. It moved to the . platform in 2017. The first editor-in-chief was
Dana Scott. In its first year, the journal received 75 submissions.
Abstracting and indexing
The journal is abstracted and indexed in
Current Contents/Engineering, Computing & Technology,
Mathematical Reviews
''Mathematical Reviews'' is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science.
The AMS also pu ...
,
Science Citation Index Expanded
The Science Citation Index Expanded – previously entitled Science Citation Index – is a citation index originally produced by the Institute for Scientific Information (ISI) and created by Eugene Garfield. It was officially launched in 1964 and ...
,
[ Scopus,]
References
External links
*
Publications established in 2005
Computer science journals
Open access journals
Logic journals
Logic in computer science
Formal methods publications
Quarterly journals
English-language journals
{{compu-journal-stub