Ariola, Zena M.
Inverse relations
[ .. ] → schema:author → Ariola, Zena M.
Bisimilarity in term graph rewriting / Z.M. Ariola, J.W. Klop, D. Plumpschema:ProductModel
Equational term graph rewriting / Z.M. Ariola, J.W. Klopschema:ProductModel
Equational term graph rewriting / Zena M. Ariola, Jan Willem Klopschema:ProductModel
Lambda calculi plus letrec / Z.M. Ariola, S. Blomschema:ProductModel
Lambda calculus with explicit recursion / Z.M. Ariola, J.W. Klopschema:ProductModel
Lambda calculus with explicit recursion / Z.M. Ariola, J.W. Klopschema:ProductModel