by European Association for Computer Science Logic. Conference
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20–24, 2004 in Karpacz, Poland. The CSL conference series sta…