International Journal of Foundations of Computer Science