dblp.uni-trier.de www.uni-trier.de

ACM Transactions on Computational Logic (TOCL), Volume 10

Volume 10, Number 1, January 2009

Volume 10, Number 2, February 2009

Volume 10, Number 3, April 2009

Volume 10, Number 4, August 2009

Copyright © Mon Nov 2 21:58:54 2009 by Michael Ley (ley@uni-trier.de)