Tarmo Uustalu profile picture

Tarmo Uustalu

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Mathematics of Program Construction
Advanced Functional Programming
2nd APPSEM II Workshop APPSEM 2004, Tallinn, Estonia, 14-16 April 2004 : Proceedings
Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings
Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
Abstracts
Automated Reasoning with Analytic Tableaux and Related Methods 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
Theoretical Aspects of Computing – ICTAC 2018