期刊名称:JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for programming in its broadest sense. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.
Topics of interest to the journal include: logic programming constraint programming abstract data types classes and objects components process algebra and pi-calculus term rewriting lambda calculus algebraic specification and verification of systems algebraic methods for syntax and semantics applications of algebras, categories, domains, topological spaces and co-algebras to programming applications of proof theory and model theory to programming programming with topological data types
The Journal of Logic and Algebraic Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations of logical, algebraic and categorical methods for programming.
|
|
Instructions to Authors
Submissions. Manuscripts should be sent to an appropriate Editor or to the Editors-in-Chief. Manuscripts are submitted with the understanding that they are original, unpublished works and are not being submitted elsewhere. Authors should provide an original and one copy of the manuscript. Please make sure to include a complete mailing address for the corresponding author with telephone and facsimile numbers and e-mail addresses. To facilitate the review process authors may submit their initial manuscripts electronically in Postscript?format. Contact the Editorial Assistant for additional instructions.
Manuscript preparation. All manuscripts should be written in good English. The paper copies of the text should be prepared with double line spacing and wide margins, on numbered sheets. Please note that it is not helpful to emulate the final printed product. However, the journal text width should be observed in the layout of equations. See notes below on the electronic version of manuscripts. Structure. Please adhere to the following order of presentation: Article title, Author(s), Affiliation(s), Abstract, Keywords, Main text, Acknowledgements, Appendices, References, Figure captions, Tables. Corresponding author. The name, complete postal address, telephone and fax numbers and the e-mail address of the corresponding author should be given on the first page of the manuscript. Keywords. Please supply about 5 keywords of your own choice for indexing purposes. References. References to other work should be consecutively numbered in the text using square brackets and listed by number in the Reference list. Please refer to recent issues for examples.
Illustrations. Illustrations should also be submitted in fivefold: one master set and four sets of copies. Those in the master set should be originals, not integrated in the text but ready for separate processing.
After acceptance. Notification: You will be notified by the Editor of the journal of the acceptance of your article and invited to supply an electronic version of the accepted text, if this is not already available. Copyright transfer: In the course of the production process you will be asked to transfer the copyright of the article to the Publisher. This transfer will ensure the widest possible dissemination of information.
Electronic manuscripts. An electronic version of your accepted manuscript is essential for further processing. For LaTeX articles, the general Elsevier style file should be used. From the internet address /locate/latex a complete LaTeX package containing this Elsart.sty can be retrieved. Please note that when you supply the source file no deviations from the version accepted by the Editor of the journal are permissible without the prior and explicit approval by the Editor. Such changes should be clearly indicated on an accompanying printout of the file.
Papers submitted to the Journal of Logic and Algebraic Programming may also be posted on The Mathematics Preprint Server (http://www.mathpreprints.com). Posting on The Mathematics Preprint Server is in conformity with Elsevier Science copyright policy and in no way conflicts with submission to the Journal of Logic and Algebraic Programming.
Author benefits. No page charges: Publishing in the Journal of Logic and Algebraic Programming is free. Free offprints: The corresponding author will receive 50 offprints free of charge. An offprint order form will be supplied by the Publisher for ordering any additional paid offprints. Discount: Contributors to Elsevier Science journals are entitled to a 30% discount on all Elsevier Science books.
Further information (after acceptance): Elsevier Science, Issue Management, The Journal of Logic and Algebraic Programming, P.O. Box 2759, 1000 CT Amsterdam, The Netherlands. Fax: +31 20 485 2319, e-mail: f.kop@elsevier.nl
Editorial Board
-
- Editors-in-Chief:
- J.A. Bergstra, University of Amsterdam, Programming Resarch Group, Faculty of Science, Kruislaan 403, 1098 SJ, Amsterdam, The Netherlands. Tel: +31 20 525 7591, Fax: +31 20 525 7490, Email: janb@science.uva.nl
J.V. Tucker, University College of Swansea, Dept. of Computer Science, Singleton Park, Swansea, SA2 8PP, UK. Tel: +44 1792 205649, Fax: +44 1792 295618, Email: j.v.tucker@swan.ac.uk
- Editorial Assistant:
- I. Bethke, University of Amsterdam, Programming Research Group, Faculty of Science, Kruislaan 403, 1098 SJ, Amsterdam, The Netherlands,. Tel: +31 20 525 7583, Fax: +31 20 525 7591, Email: inge@science.uva.nl
- Editorial Board:
- U. Berger, University of Wales, Swansea, UK
N.S. Nikichenko, Taras Schevchenko University of Kiev, Ukraine A. Ponse, University of Amsterdam, The Netherlands R.F. Staerk, ETH Zentrum, Zurich, Switzerland V. Stoltenberg-Hansen, Uppsala University, Sweden E.G. Wagner, Wagner Mathematics, Garrison, NY 10524, USA K. Weihrauch, FernUniversität Hagen, Germany H. Zantema, Utrecht University, The Netherlands J.I. Zucker, Mcmaster University, Hamilton ON, Canada
|