ACM Transactions on Computational Logic (TOCL)

Accepted Papers, 2000

Volume 1, Number 1 (July 2000)

Editorial, Krzysztof R. Apt

Regular Papers


Volume 1, Number 2 (October 2000) Back to home page