Skip to content

On the Knuth-Bendix Completion for Concurrent Processes.

Volker Diekert

VenueA*ICALP
Year1987
ProceedingsICALP

Browse the full ICALP paper archive.