Skip to content

Weakly commuting term rewriting systems : application to automatic recursion removal.

Ernesto Jorge Costa

VenueAECAI
Year1982
ProceedingsECAI

Browse the full ECAI paper archive.