Electronic Notes in Theoretical Computer ScienceVolume 185, 13 July 2007, Pages 1-2PrefaceAuthor links open overlay panelStephan Merz, Tobias NipkowShow moreShareCitehttps://doi.org/10.1016/j.entcs.2007.05.024Get rights and contentUnder a Creative Commons licenseopen accessPrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2007 Elsevier B.V.