Journal of AlgorithmsVolume 64, Issue 4, October 2009, Pages 125-126EditorialPrefaceAuthor links open overlay panelKostas Stathis a, Artur d'Avila Garcez b, Robert Givan cShow moreShareCitehttps://doi.org/10.1016/j.jalgor.2009.04.001Get rights and contentRecommended articlesReferences (0)Cited by (0)View full textCopyright © 2009 Elsevier Inc. Published by Elsevier Inc. All rights reserved.