Michael Christian Fink Amores

According to our database, Michael Christian Fink Amores authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version).

Michael Christian Fink Amores, David Sabel

CoRR, 2021