David Sabel

Identifiers

• name variant David Sabel 0.50 · backfill

Papers (1)

1. Termination of Cycle Rewriting by Transformation and Matrix Interpretation cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Hans Zantema 1 shared papers