|
All final versions of articles must be formated using the Logical Methods in Computer Science LaTeX style (Version of Oct-31-2008). Here you can see an example use.
Since the article is published in PDF and PostScript format we suggest to
prepare your text to have clickable PDF links and/or cross references.
Live Links in Papers
Live links in papers can be either internal, for example to
theorems or bibliography entries, or external, for example to
journal papers or university repositories.
The Logical Methods in Computer Science style file includes the hyperref
package, see:
http://www.tug.org/applications/hyperref/manual.html
http://arxiv.org/hypertex/
Authors are required to use only commands from that package to
create their links. These links will be live in the pdf but not the ps
versions of the published paper. A variety of internal links are
automatically created; authors will not, generally speaking, need to add
their own.
Only archival quality external live links (known as persistent
identifiers) are permitted. Links considered to be of archival quality
are:
See the relevant web pages for more information. Any others will
not be accepted without prior agreement from the editor-in-chief.
As regards non-live links, e.g. giving the text of a URL, these
can be included at the discretion of authors. However, they should bear
in mind that most non-archival quality links have unexpectedly short lifetimes.
NOTE All papers in this journal can be linked to using a Digital Object
Identifier. For example the digital object identifier of the first paper
published in the journal is 10.2168/LMCS-1 (1:1) 2005. This can be cited
and turned into a live link using the hyperref \href macro.:
\href{http://dx.doi.org/10.2168/LMCS-1(1:1)2005}
{doi: 10.2168/LMCS-1 (1:1) 2005}
Additionally, both ordinary and special issues as well as the journal itself
have DOI numbers. All DOI numbers are given on the relevant web pages.
|