Home | Site map | Elsevier websites | Alerts
Elsevier
Product information search
Search all Elsevier sites
Search
Advanced Product Search
Go to Elsevier home page
Products
The Journal of Logic and Algebraic Programming
Journal information
Product description
Editorial board
Audience
Abstracting/indexing
Special issues and supplements
Subscription information
Bibliographic and ordering information
Conditions of sale
Dispatch dates
Journal-related information
Contact the publisher
Most downloaded articles
Other journals in same subject area
Related publications
Support & contact
About Elsevier
Select your view
SiteStat.jsp
THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING


Special issues & Supplements
Sort listing by:
Volume
(Guest) editor
(31 special issues and supplements)
(Guest)editorsVolume & journal title
L. Aceto, A. Ingolfsdottir
Volume 73, Numbers 1-2:
Foundations of Software Science and Computation Structures 2006 (FOSSACS 2006)
( 146 pages )
D. Clark, S. Danicic, R. Giacobazzi
Volume 72, Number 2:
Programming Language Interference and Dependence
( 118 pages )
L. Aceto, M. Bravetti, W. Fokkink et al.
Volume 72, Number 1:
Algebraic Process Calculi: The First Twenty Five Years and Beyond II
( 122 pages )
L. Aceto, M. Bravetti, W. Fokkink et al.
Volume 70, Number 2:
Algebraic Process Calculi: The First Twenty Five Years and Beyond
( 120 pages )
M. Bravetti, G. Zavattaro
Volume 70, Number 1:
Web Services and Formal Methods
( 118 pages )
J.C.M. Baeten, S.P. Luttik
Volume 68, Numbers 1-2:
Process Theory for Hybrid Systems
( 214 pages )
F. Orejas
Volume 67, Numbers 1-2:
Algebraic Specification
( 298 pages )
B. Möller
Volume 66, Number 2:
Relation algebra and Kleene algebra
( 204 pages )
R.M. Amadio
Volume 64, Number 2:
Modelling and Verification of Cryptographic Protocols
( 168 pages )
N. Müller, M. Escardo, P. Zimmermann
Volume 64, Number 1:
Practical development of exact real number computation
( 154 pages )
M. Bernardo, C.A. Middelburg
Volume 63, Number 2:
Special Issue on Process Algebra and System Architecture
( 124 pages )
U. Nestmann, B. Victor
Volume 63, Number 1:
Special issue on The pi-calculus
( 174 pages )
H. Hermanns, J-P. Katoen
Volume 52-53:
Model Checking
( 220 pages )
C.A. Middelburg
Volume 51, Number 2:
Program Algebra
( 96 pages )
S. Muggleton, D. Page
Vol. 40, no. 2/3:
Inductive Logic Programming
( 184 pages )
K. Marriott, P.J. Stuckey
Volume 37, no. 1/3:
Constraint Logic Programming
( iv + 284 pages )
V. Lifschitz
Volume 31, no. 1/3:
Reasoning about Action and Change
( iv + 330 pages )
G. Gupta, M. Carlsson
Volume 29, no. 1/3:
Implementations
( iv + 294 pages )
L. Sterling
Volume 26, no. 2:
Applications of Logic Programming
( iv + 234 pages )
V. Dahl
Volume 24, no. 1/2:
Computational Linguistics and Logic Programming
( iv + 160 pages )
M. Bruynooghe, S. Debray, M. Hermenegildo et al.
Volume 23, no. 2:
Ten Years of Logic Programming "special selection"
( iv + 64 pages )
M. Bruynooghe, S. Debray, M. Hermenegildo et al.
Volume 19 & 20:
Ten Years of Logic Programming
( iv + 718 pages )
P. Przymusinski
Volume 17, no. 2/3/4:
Non-Monotonic Reasoning and Logic Programming
( iv + 366 pages )
P. Van Hentenryck
Volume 16, no. 3/4:
Constraint Logic Programming
( iv + 418 pages )
J. Komorowski
Volume 16, no. 1/2:
Partial Deduction
( iv + 190 pages )
S.K. Debray
Volume 13, no. 2/3:
Abstract Interpretation
( iv + 342 pages )
P. Lescanne, W. Wechler
Volume 12, no. 3:
Algebraic and Logic Programming
( iv + 204 pages )
M.Y. Vardi
Vol. 10, no. 3/4:
Database Logic Programming
( iv + 184 pages )
G. Mints, E. Tyugu
Volume 9, no. 2/3:
Logic Programming in the USSR
( iv + 146 pages )
L. Sterling
Vol. 8, no. 1/2:
Logic Programming Applications
( iv + 186 pages )
S. Haridi, R. Keller
Vol. 6, no. 1/2:
Third IEEE Symposium on Logic Programming
( iv + 212 pages )
The Journal of Logic and Algebraic Programming
Printer-friendly version   Printer-friendly version
 Home | Site map | Privacy policy | Terms and Conditions | Feedback | A Reed Elsevier company
 Copyright © 2007 Elsevier B.V. All rights reserved.