×

zbMATH — the first resource for mathematics

Edit Profile

Uustalu, Tarmo

Compute Distance To:
Author ID: uustalu.tarmo
Published as: Uustalu, T.; Uustalu, Tarmo
Homepage: http://cs.ioc.ee/~tarmo/
External Links: MGP · ORCID · dblp · GND
Documents Indexed: 68 Publications since 1990, including 7 Books
all top 5

Co-Authors

8 single-authored
16 Vene, Varmo
8 Chapman, James T. E.
5 Altenkirch, Thorsten
5 Veltri, Niccolò
4 Ahman, Danel
4 Capretta, Venanzio
4 Ghani, Neil
4 Matthes, Ralph
4 Nakata, Keiko
4 Saabas, Ando
3 Pinto, Luis
3 Vain, Jüri
2 Abel, Andreas M.
2 Firsov, Denis
2 Katsumata, Shin-ya
2 Tyugu, Enn H.
1 Barthe, Gilles
1 Bezem, Marc
1 Breuvart, Flavien
1 Fischer, Bernd
1 Frade, Maria João
1 Gaboardi, Marco
1 Giménez, Eduardo
1 Hamana, Makoto
1 Hasuo, Ichiro
1 Jacobs, Bart
1 Johann, Patricia
1 Laud, Peeter
1 Lorents, Peeter
1 Mayoh, Brian H.
1 Orchard, Dominic A.
1 Pardo, Alberto
1 Sato, Tetsuya
all top 5

Serials

5 Theoretical Computer Science
5 Logical Methods in Computer Science
3 The Journal of Logic and Algebraic Programming
3 Lecture Notes in Computer Science
3 Journal of Logical and Algebraic Methods in Programming
2 MSCS. Mathematical Structures in Computer Science
2 Nordic Journal of Computing
2 Proceedings of the Estonian Academy of Sciences. Physics, Mathematics
2 RAIRO. Theoretical Informatics and Applications
2 Journal of Formalized Reasoning
1 Science of Computer Programming
1 Information and Computation
1 Journal of Logic and Computation
1 Izvestiya Akademii Nauk Èstonskoĭ SSR. Fizika. Matematika
1 Journal of Functional Programming
1 Informatica (Vilnius)
1 Higher-Order and Symbolic Computation
1 Fundamenta Informaticae
1 LIPIcs – Leibniz International Proceedings in Informatics
all top 5

Fields

61 Computer science (68-XX)
18 Mathematical logic and foundations (03-XX)
17 Category theory; homological algebra (18-XX)
9 General and overarching topics; collections (00-XX)
1 General algebraic systems (08-XX)
1 Group theory and generalizations (20-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription