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

Journal of Logic and Algebraic Programming, Volume 59

Volume 59, Number 1-2, April - May 2004

Annotated Terms (ATerms)

Copyright © Fri Jul 4 19:15:46 2008 by Michael Ley (ley@uni-trier.de)