Treffer 1 – 3 von 3 für Suche 'Hirshfeld, Yoram', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Congruences in commutative semigroups

    Congruences in commutative semigroups von Hirshfeld, Yoram

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Deciding equivalences in simple process algebras

    Deciding equivalences in simple process algebras von Hirshfeld, Yoram

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: