 | | | |
|
|
| THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
| |
| | |
|
|
Editors-in-Chief:
J.A. Bergstra, J.V. Tucker
See editorial board for all editors information
Top 25 of most downloaded articles
Description
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.
Bibliographic & ordering information
ISSN: 1567-8326
Imprint: NORTH-HOLLAND
Commenced publication 2000
Subscriptions for the year 2008,
Volumes 74-77,
8 issues
NEW!! Elsevier's Theoretical Computer Science Student Collection
This journal is included in a bundle of 12 premier Theoretical
Computer Science journals at a discounted student rate:
Click here for more information on eligibility AND/OR to get your online personal student
collection today!
Institutional online access: ScienceDirect eSelect
For purchase of online access to this journal on ScienceDirect.
Personal price: Order form
EUR 155 for European countries and Iran
USD 207 for all countries except Europe, Japan and Iran
JPY 23,900 for Japan
Institutional price: Order form
JPY 159,800 for Japan
USD 1,343 for all countries except Europe, Japan and Iran
EUR 1,201 for European countries and Iran
Conditions of sale & ordering procedures, and links to our regional sales offices.
For an overview of recently-dispatched issues, see the Journal issue
dispatch dates
Audience
Researchers and Educators Concerned with the Theory of Computing, Artificial Intelligence and Programming Languages; Software Engineers
and Developers.
Sponsored Articles:
The Journal of Logic and Algebraic Programming offers authors or their institutions
the option to sponsor non-subscriber access to their articles on Elsevier's electronic publishing platforms. For more information please
click here.
Impact factor of this journal
2007: 0.873
© Journal Citation Reports 2008, published by Thomson Reuters
600/144
Last update: 5 Jul 2008
|
|
| |
| | |
|
|
| |
|
