Skip to main navigation Skip to search Skip to main content

Equivalence of Stream Specifications

  • Clemens Grabmayer (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period28 Mar 2010
    Event titleWorkshop on Proof Theory and Rewriting
    Event typeOther
    LocationObergurgl, OostenrijkShow on map