Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems.

Emma Ahrens, Jan-Christoph Kassing, Jrgen Giesl, Joost-Pieter Katoen

Browse the full FSCD paper archive.