# Altug Anis

- Citations Per Year

- Citations Per Year

- Full text PDF available (1)

Learn More

- Manfred Schmidt-Schauß, David Sabel, Altug Anis
- FroCoS
- 2011

The word-problem for a finite set of equational axioms between ground terms is the question whether for terms s, t the equation s = t is a consequence. We consider this problem under grammar based compression of terms, in particular compression with singleton tree grammars (STGs) and with directed acyclic graphs (DAGs) as a special case. We show that given… (More)

- ‹
- 1
- ›