Search results for: Zena M. Ariola
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 39--92
Lecture Notes in Computer Science > Automata, Languages and Programming > Logic and Lambda-Calculus > 871-885
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 368-403
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 27-44
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 1-15
Higher-Order and Symbolic Computation > 2009 > 22 > 3 > 233-273
Higher-Order and Symbolic Computation > 2007 > 20 > 4 > 403-429
Annals of Pure and Applied Logic > 2002 > 117 > 1-3 > 95-168
Higher-Order and Symbolic Computation > 2001 > 14 > 4 > 387-409
Information and Computation > 2000 > 156 > 1-2 > 2-24
Information and Computation > 1997 > 139 > 2 > 154-233
Applicable Algebra in Engineering, Communication and Computing > 1996 > 7 > 5 > 401-426
Theoretical Computer Science > 1995 > 146 > 1-2 > 69-108