Fundamenta Informaticae, Volume 117

Volume 117, Numbers 1-4, 2012