Skip to main navigation Skip to search Skip to main content

Modularity of Constructive Confluence

  • Vincent van Oostrom (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period21 Aug 2007
    Event title2nd Austria–Japan Summer Workshop on Term Rewriting
    Event typeOther
    LocationObergurgl, AustriaShow on map