×

zbMATH — the first resource for mathematics

Edit Profile

Ariola, Zena M.

Compute Distance To:
Author ID: ariola.zena-m
Published as: Ariola, Zena; Ariola, Zena M.
External Links: MGP
Documents Indexed: 30 Publications since 1994, including 1 Book
all top 5

Co-Authors

2 single-authored
10 Downen, Paul
7 Herbelin, Hugo
5 Klop, Jan Willem
5 Sabry, Amr
3 Blom, Stefan
3 Johnson-Freyd, Philip
2 Plump, Detlef
2 Saurin, Alexis
1 Arvind, Kim P. Gostelow
1 de Vries, Fer-Jan J.
1 Felleisen, Matthias
1 Ghilezan, Silvia
1 Jones, Simon Peyton
1 Kennaway, Richard
1 Maurer, Luke
1 Nakata, Keiko
1 Sleep, Ronan
1 Xiao, Yong
all top 5

Serials

4 Journal of Functional Programming
3 Higher-Order and Symbolic Computation
2 Information and Computation
1 Theoretical Computer Science
1 Annales Societatis Mathematicae Polonae. Series IV
1 Annals of Pure and Applied Logic
1 Applicable Algebra in Engineering, Communication and Computing
1 Fundamenta Informaticae
1 LIPIcs – Leibniz International Proceedings in Informatics
1 Journal of Logical and Algebraic Methods in Programming

Fields

28 Computer science (68-XX)
14 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription