Search Results - Hirshfeld, Yoram

  • Showing 1 – 3 results of 3
Filter by
  1. 1
    Cover Image

    Congruences in commutative semigroups
    by Hirshfeld, Yoram

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  2. 2
    Cover Image

    A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes
    by Hirshfeld, Yoram, Jerrum, Mark 1955-, Moller, Faron

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  3. 3
    Cover Image

    Deciding equivalences in simple process algebras
    by Hirshfeld, Yoram

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: