Skip to content

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Grard P. Huet

VenueA*FOCS
Year1977
ProceedingsFOCS

Browse the full FOCS paper archive.