Altug Anis

According to our database, Altug Anis authored at least 1 paper in 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Congruence Closure of Compressed Terms in Polynomial Time.

Manfred Schmidt-Schauß, David Sabel, Altug Anis

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011