Skip to content

Term Rewriting Systems and Algebra.

Pierre Lescanne

VenueACADE
Year1984
ProceedingsCADE

Browse the full CADE paper archive.