Skip to content

Formalization and abstract implementation of rewriting with nested rules.

Sergio Antoy, Stephen Johnson

VenueCPPDP
Year2004
ProceedingsPPDP

Browse the full PPDP paper archive.