TPLP Volume 2, 2002

Please use the TPLP citation in your papers, not the corr one!
Volume 2, Issue 1

Regular Papers

Book Review

  • Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7, Krzysztof R. Apt. (pp 123-124) [html] [pdf]

Volume 2, Issue 2

Regular Papers

Volume 2, Issue 3

Regular Papers

Book Review

  • Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6,Yde Venema. (pp 419-421) [html] [pdf]

Volume 2, Issue 4 & Issue 5

Special Issue Program Development


Volume 2, Issue 6

Regular Papers