Search results for: Tarmo Uustalu
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 253-265
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 1086-1094
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Categorical and Coalgebraic Methods > 297-311
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 295-309
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 375-390
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 54-69
Lecture Notes in Computer Science > Programming Languages and Systems > Session 7: Certification and Logic > 353-368
Lecture Notes in Computer Science > ECOOP ’92 European Conference on Object-Oriented Programming > 98-113
Lecture Notes in Computer Science > Functional and Logic Programming > Functional Programming > 260-275
Electronic Notes in Theoretical Computer Science > 2015 > 319 > Complete > 403-421
Electronic Notes in Theoretical Computer Science > 2014 > 308 > Complete > 25-48