Altug Anis

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Manfred Schmidt-Schauß, David Sabel, Altug Anis
Congruence Closure of Compressed Terms in Polynomial Time. FroCoS (2011)