Subject Index – Volume 57 (2003)

The Journal of Logic and Algebraic Programming 57 (2003) 111 www.elsevier.com/locate/jlap

Subject Index – Volume 57 (2003) (The issue number is given in front of the page numbers) Automatic reasoning (1–2) 1 Binary decision diagrams (1–2) 1 Concurrent objects (1–2) 23 First-order predicate logic (1–2) 1

doi:10.1016/S1567-8326(03)00065-1

Inheritance (1–2) 23 Polymorphism (1–2) 23 Safety properties (1–2) 23 Type systems (1–2) 23