Synthesis of rewrite programs by higher-order and semantic unification
From MaRDI portal
(Redirected from Synthesis of rewrite programs by higher-order and semantic unification)
WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.
