- Email: [email protected]
Author Index – Volume 57 (2003)
The Journal of Logic and Algebraic Programming 57 (2003) 109 www.elsevier.com/locate/jlap
Author Index – Volume 57 (2003) (The issue number is given in front of the page numbers) Fournet, C., C. Laneve, L. Maranget and D. Remy, Inheritance in the join calculus Fox, A.J.C. and N.A. Harman, Algebraic models of correctness for abstract pipelines Groote, J.F. and O. Tveretina, Binary decision diagrams for first-order predicate logic Harman, N.A., see Fox, A.J.C. Laneve, C., see Fournet, C. Maranget, L., see Fournet, C. Remy, D., see Fournet, C. Tveretina, O., see Groote, J.F.
doi:10.1016/S1567-8326(03)00064-X
(1–2) 23 (1–2) 71 (1–2) (1–2) (1–2) (1–2) (1–2) (1–2)
1 71 23 23 23 1
Author Index – Volume 57 (2003) (The issue number is given in front of the page numbers) Fournet, C., C. Laneve, L. Maranget and D. Remy, Inheritance in the join calculus Fox, A.J.C. and N.A. Harman, Algebraic models of correctness for abstract pipelines Groote, J.F. and O. Tveretina, Binary decision diagrams for first-order predicate logic Harman, N.A., see Fox, A.J.C. Laneve, C., see Fournet, C. Maranget, L., see Fournet, C. Remy, D., see Fournet, C. Tveretina, O., see Groote, J.F.
doi:10.1016/S1567-8326(03)00064-X
(1–2) 23 (1–2) 71 (1–2) (1–2) (1–2) (1–2) (1–2) (1–2)
1 71 23 23 23 1