Editor: | Erik Sandewall |
ISSN: | 1403-2031 (Printed version) |
1403-204X (Electronic version) | |
URL: | http://www.ep.liu.se/ej/enrac/1999/ |
General Info: | http://www.ep.liu.se/ej/enrac/ |
Note: | Information about recalculation of checksum |
Issue | Month | Pages | postscript | Contents | Checksum | |
---|---|---|---|---|---|---|
01 | January - March | postscript | |
Front page | Checksum Checksum (old) |
|
*, 1-21 | postscript | |
Received articles; Discussions about articles | Checksum Checksum (old) |
||
22-24 | postscript | |
Ontologies of Time (Discussion) | Checksum Checksum (old) |
||
25-28 | postscript | |
Ernest Davis: Guide to Axiomatizing Domains in First-Order Logic. | Checksum Checksum (old) |
||
04 | April | postscript | |
Front page | Checksum Checksum (old) |
|
*, 29-50 | postscript | |
Received articles; Discussions about articles | Checksum Checksum (old) |
||
51-65 | postscript | |
Graham White: Simulation, Ramification, and Linear Logic. | Checksum Checksum (old) |
||
05 | May - June | postscript | |
Front page | Checksum Checksum (old) |
|
*, 67-87 | postscript | |
Received articles; Discussions about articles | Checksum Checksum (old) |
An asterisk (*) before the page number indicates that the file also includes four pages of front matter numbered (i) - (iv) and containing, in particular, the table of contents for that issue.
Each monthly issue also contains a committee page containing the names of members of the ETAI Policy Committee and the ETAI Area Editorial Committee for Reasoning about Actions and Change. This page is customarily included at the end of each monthly issue, and after the main contents. It is equal for all the monthly issues in a given year.
Checksums apply to the postscript version.