Temur Kutsia

• Mathematical Aspects of Computer and Information Sciences
• Intelligent Computer Mathematics
• Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming