3 ?heoret?cal c?mputer ?cience jagiellonian ?niversity kra?ow ? b c