ACM Transactions on Computational Logic (TOCL)

Accepted Papers, 2003

Volume 4, Number 1 (January 2003)

Volume 4, Number 2 (April 2003)

Volume 4, Number 3 (July 2003)

Editorial, Erich Grädel, Joseph Y. Halpern, Radha Jaghadeesan and Adolfo Piperno

Regular Papers


Volume 4, Number 4 (October 2003)
Back to home page