Zümrüt Akçam

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 2

Top Topics

Problems Involving

Theorem Proving

Top Venues

Publications

Zümrüt Akçam, Daniel S. Hono II, Paliath Narendran, Andrew Pulver
On Problems Dual to Unification: The String-Rewriting Case. CoRR (2021)
Zümrüt Akçam, Daniel S. Hono II, Paliath Narendran
On Problems Dual to Unification. CoRR (2017)