Showing 1 - 7 results of 7 for search 'Ariola, Zena M.', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Lambda calculus with explicit recursion

    Lambda calculus with explicit recursion by Ariola, Zena M.

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    An algebraic approach to the compilation and operational semantics of functional language with I-structures

    An algebraic approach to the compilation and operational semantics of functional language with I-structures by Ariola, Zena M.

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation

    Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation by Ariola, Zena M

    Published 2022
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Bisimilarity in term graph rewriting

    Bisimilarity in term graph rewriting by Ariola, Zena M.

    Published 1998
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Equational term graph rewriting

    Equational term graph rewriting by Ariola, Zena M., Klop, Jan Willem 1945-

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Equational term graph rewriting

    Equational term graph rewriting by Ariola, Zena M.

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    5th International Conference on Formal Structures for Computation and Deduction FSCD 2020, June 29–July 6, 2020, Paris, France (Virtual Conference)

    5th International Conference on Formal Structures for Computation and Deduction FSCD 2020, June 29–July 6, 2020, Paris, France (Virtual Conference)

    Published 2020
    Other Authors: “…Ariola, Zena M.…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: