Factorize Factorization
Published in DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) • May 4, 2020
Authors:,,
Beniamino Accattoli
Claudia Faggian
Giulio Guerrieri
Abstract
Factorization -- a simple form of standardization -- is concerned with reduction strategies, i.e. how a result is computed. We present a new technique for proving factorization theorems for compound rewriting systems in a modular way, which is inspired by the Hindley-Rosen technique for confluence. ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!