Skip to content

Diagrammatic Confluence and Completion.

Jean-Pierre Jouannaud, Vincent van Oostrom

VenueA*ICALP
Year2009
ProceedingsICALP (2)

Browse the full ICALP paper archive.